操作系统硕士研究生入学考试全真试题分类解析.doc

PAGE  PAGE 80 操作系统硕士研究生入学考试 全真试题分类解析 与时间有关错误类 进程管理及调度类 同步和互斥类 死锁问题类 存储管理类 文件管理类 设备管理类 与时间有关错误类 北航2001与时间有关错题 有两个优先级相同的进程P1和P2，各自执行的操作如下，信号量S1和S2初值均为0。试问P1、P2并发执行后，x、y、z的值各为多少？ P1： P2： begin begin y:=1; x:=1; y:=y+2; x:=x+1; V(S1); P(S1); z:=y+1; x:=x+y; P(S2); V(S2); y:=z+y z:=z+x; end. end. 答：现对进程语句进行编号，以方便描述。 P1： P2： begin begin y:=1; ① x:=1; ⑤ y:=y+2; ② x:=x+1; ⑥ V(S1); P(S1); z:=y+1; ③ x:=x+y; ⑦ P(S2); V(S2); y:=z+y ④ z:=z+x; ⑧ end. end. ①、②、⑤和⑥是不相交语句，可以任何次序交错执行，而结果是唯一的。接着无论系统如何调度进程并发执行，当执行到语句⑦时，可以得到x=5，y=3。按Bernstein条件，语句③的执行结果不受语句⑦的影响，故语句③执行后得到z=4。最后，语句④和⑧并发执行，最后结果为： 语句④先执行，再执行⑧：x=5，y=7，z=9。 语句⑧先执行，再执行④：x=5 ，y=12，z=9。 华中科技大2000、国防科大1999与时间有关错题 进程P0，P1共享变量flag和turn。若flag和turn单元内容的修改和访问是互斥的，它们如下进入临界区： var flag:array[0…1] of Boolean; turn:0…1;flag[0]:=flag[1]:=false;turn:=0; process i (i=0 or 1) while true do begin flag[i]:=true;…………………………… .① while turn≠i…………………………… . ② do begin while flag[j]==false do skip; turn:=i ………… ………….. ③ end; 临界区; flag[i]:=false; 出临界区; end. 该算法能正确实现互斥吗?应如何修改? 解：不能。若P0执行到①，flag[0]:=true;这时P0被打断，P1开始执行，首先执行.① ，使得flag[1]的值为true。接着执行②，由于turn的初值为0，故进入内循环时turn置为1。这时调度转向P0，P0也进入内循环，由于flag[1]的值己为true，故P0再次把turn值置为0。重复上述两个操作，没有进程能进临界区。修改算法如下： var flag:array[0…1] of Boolean; turn:0…1;flag[0]:=flag[1]:=false;turn:=0 or 1; process 0 while true do begin flag[0]:=true; turn:=1; while flag[1] and turn=1 do skip; 临界区; flag[0]:=f