问题 单项选择题

下面是一个并发进程的程序代码,正确的说法是______。
semaphore x1=x2=y=1;
int c1=c2=0;
cobegin
procedure P1 procedure P2
P(x1);P(x2);
if(++c1=1)P(y);if(++c2=1)P(y);
V(x1);V(x2);
computer(A); computer(B);
P(x1);P(x2);
if(--c1=0)V(y); if(--c2=0)V(y);
V(x1);V(x2);
end end
coend

A.进程不会死锁,也不会饥饿
B.进程不会死锁,但是会饥饿
C.进程会死锁,但是不会饥饿
D.进程会死锁,也会饥饿

答案

参考答案:B

解析: 本题考查PV操作与死锁以及饥饿的关系。仔细考察程序代码,我们似曾相识,可以看出是一个扩展的“单行线”的问题。也就是说,某单行线只允许单方向的车辆通过,在单行线的入口设置信号量y,在告示牌上显示某一时刻各方向来车的数量c1和c2,要修改告示牌上的车辆数量必须互斥进行,为此设置信号量x1和x2。若某方向的车辆需要通过时,首先要将该方向来车数量c1或c2增加1,并查看自己是否是第一个进入单行线的车辆,若是,则获取单行线的信号量y,进入单行线。通过此路段以后出单行线时,将该方向的车辆数c1或c2减1(当然是利用x1或x2来互斥修改),并察看自己是否是最后一辆车,若是,则释放单行线的互斥量y,否则,保留信号量y,让后继车辆继续通过。双方的操作如出一辙。考虑出现一个极端情况,即当某方向的车辆首先占据单行线并后来者络绎不绝时,另一个方向的车辆就再没有机会通过该单行线了。从而造成饥饿。由于有信号量的控制,死锁的可能性没有了(即双方同时进入单行线,在中间相遇,造成双方均无法通过的情景)。

写作题
选择题