操作系统试题3章.docVIP

第3章 进程的同步与通信 3.2 例题解析 例3.2.1 多道程序系统程序的执行失去了封闭性和再现性，因此多道程序的执行不需要这些特性，这种说法是否正确 ？ 解 这种说法不正确。可以想象，如果一个程序在多道程序系统中，在相同的输入的情况下，多次执行所得结果是不同的，有谁还敢使用这个程序？因此，多道程序的执行也需要封闭性和再现性，只不过单道程序系统的封闭性和再现性是先天固有的，多道程序系统的程序执行要想获得封闭性和再现性，需通过程序员的精心设计才能得到。所使用的方法就是同步和互斥的方法。 例3.2.2 多个进程对信号量S进行了5次 P操作，2次V操作后，现在信号量的值是 -3，与信号量S相关的处于阻塞状态的进程有几个？信号量的初值是多少？ 解 因为S的当前值是-3，因此因为S处于阻塞状态的进程有3个； 因为每进行一次P(S)操作，S的值都减1，每执行1次V操作S的值加1，故信号量的初值为-3+5-2=0; 例3.2.3 如下锁的实现方法存在什么缺点？如何改进？ LOCK(X) UNLOCK(X) { { do while X=1 ; X=0; X=1 } } 解 存在的缺点是：当锁是关闭时，采用的是循环等待的方法，这样的等待还是要占用处理机的时间，应该采用阻塞等待的方法。 改进的锁实现如下： LOCK(X) UNLOCK(X) { { if X.value=1 if not empty(X.L) { insert( *, X.L); { P=remove(X.L); Block (*) Wakeup(P) } } else X.Value=1 else X.Value=0 } } 这里X.value是锁的值，X.L是存放由于锁X而阻塞的进程的队列。insert( *, X.L)将当前进程的进程号插入到X.L，remove(X.L)是从X.L中移出一个进程号。 例3.2.4 使用多个进程计算Y=F1(X)+F2 (X). 解 确定并发和顺序操作 在这个问题中，F1(X)和F2 (X)的计算是可以并行处理的，因此F1(X)和F2 (X)可以分别出现在两个进程中。 确定互斥或同步的规则 在F1(X)+F2 (X)中，必须在F1(X)和F2(X)计算完毕，才能进行加法运算，因此本问题是同步问题。 同步的操作流程 〈进程main〉 创立进程p1来计算F1(X)； 创立进程p2来计算F2(X)； F1(X)计算是否完成？没有，等待； = 1 \* GB3 ① F2(X)计算是否完成？没有，等待；② 进行加法运算。 〈进程p1〉 y1= F1(X)； 设置F1(X)计算完成标志； ③ 〈进程p2〉 y1= F2(X)； 设置F2(X)计算完成标志。 ④ 确定信号量的个数和含义 根据同步规则以及操作流程确定信号量的个数是2个，S1和S2： S1含义是F1(X)计算是否完成； S2含义是F2(X)计算是否完成。 确定信号量的初值 S1=0； S2=0。 (6) 确定P、V操作的位置 上面①处是一个P操作，P(S1)； 上面②处是一个P操作，P(S2)； 上面③处是一个V操作，V(S1)； 上面④处是一个V操作，V(S2)。 解法1 Main ( ) Public y, y1, y2,. P1, P2 Semaphore S1,S2 { S1=0; S2=0; P1=Creat(N-F1, F1,x,……); P2=Creat(N-F2, F2, x,……); P(S1); P(S2); y=y1+y2; } Procedure F1(x) { y1= 计算1; V(S1)； } Procedure F2(x) { y2=计算2; V(S2) } 解法2 Main ( ) Public y, y1, y2,. P1,x Semaphore S1 { input(x); S1=0; P1=Cre