操作系统导论第26章课后答案

操作系统导论第26章课后答案

26.1

开始，我们来看一个简单的程序，“loop.s”。首先，阅读这个程序，看看你是否能理解它：cat loop.s。然后，用这些参数运行它：
./x86.py -p loop.s -t 1 -i 100 -R dx
这指定了一个单线程，每 100 条指令产生一个中断，并且追踪寄存器%dx。你能弄清楚%dx 在运行过程中的价值吗？你有答案之后，运行上面的代码并使用-c 标志来检查你的答案。注意答案的左边显示了右侧指令运行后寄存器的值（或内存的值）。

loop.S试图修改寄存器%dx的值，将寄存器%dx的值减一后，再测试其是否为0，如果大于等于0则跳转至top处。从运行结果来看，线程在第一轮减1操作后便终止了程序，所以可以推断出%dx的原值为0；

？0

？-1

？ -1

？ -1

？ -1

加上-c标志，验证正确

26.2

现在运行相同的代码，但使用这些标志：

./x86.py -p loop.s -t 2 -i 100 -a dx=3,dx=3 -R dx
这指定了两个线程，并将每个%dx 寄存器初始化为 3。%dx 会看到什么值？使用-c 标志验证你的答案。多个线程的存在是否会影响计算？这段代码有竞态条件吗？

可以看到看到线程T0进行4轮减1操作后，%dx的值为-1，然后终止了程序。此时发生中断，恢复上下文，线程T1再次进 行4轮减1操作后终止程序。所以最终结果并没有受到影响。

加上-c标志，可以看到中断时间大于线程执行时间，不存在竞态条件

26.3

现在运行以下命令：
./x86.py -p loop.s -t 2 -i 3 -r -a dx=3,dx=3 -R dx
这使得中断间隔非常小且随机。使用不同的种子和-s 来查看不同的交替。中断频率是否会改变这个程序的行为？

可以看到，两个线程之间频繁地发生中断。但是两个线程的行为未改变，都是进行了4轮减1操作后终止。所以中断频率并不会改变程序的行为。

加上-c标志， 可以看到，计算结果的确未收到影响，因为线程0和线程1修改的不是共享变量

26.4

接下来我们将研究一个不同的程序（looping-race-nolock.s）。
该程序访问位于内存地址 2000 的共享变量。简单起见，我们称这个变量为 x。使用单线程运行它，并确保你了解它的功能，如下所示：
./x86.py -p looping-race-nolock.s -t 1 -M 2000

在整个运行过程中，x（即内存地址为2000）的值是多少？使用-c 来检查你的答案。

looping-race-nolock.s将X加1后回存到内存2000，然后再将bx寄存器的值减一后，再检测bx%是否大于0，如果大于0则再次循环，否则终止程序。

因为不知道内存地址2000初始值，无法推断出x的值。

.main
.top	
mov 2000, %ax  # get 'value' at address 2000
add $1, %ax    # increment it
mov %ax, 2000  # store it back
sub  $1, %bx  
test $0, %bx
jgt .top	
halt

加上-c标志，可以看到x的初始值为0，执行程序后，x的值变为1