下面是一个并发进程的程序代码,正确的说法是( )。 semaphore x1=x2=y=1; int c1:c2=0: cobegin procedure P1 procedure P

admin2021-08-17  146

问题 下面是一个并发进程的程序代码,正确的说法是(          )。
    semaphore x1=x2=y=1;
    int c1:c2=0:
    cobegin
    procedure P1            procedure P2
        P(x1);                 P(x2);
        if(++cl=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,让后继车辆继续通过。双方的操作如出一辙。考虑出现一个极端情况,即当某方向的车辆首先占据单行线并后来者络绎不绝时,另一个方向的车辆就再没有机会通过该单行线了。从而造成饥饿。由于有信号量的控制,死锁的可能性没有了(即双方同时进入单行线,在中间相遇,造成双方均无法通过的情景)。
转载请注明原文地址:https://jikaoti.com/ti/6KDjFFFM
0

相关试题推荐
最新回复(0)