16利用信号量实现前驱关系

利用信号量实现前驱关系

信号量也可以用来描述程序之间或者语句之间的前驱关系。

实现算法如下：
Semaphore a1=a2=b1=b2=c=d=e=0; //初始化信号量
S1(){
…;
V(a1);V(a2); //S1已经运行完成
}
S2(){
P(a1); //检查S1是否运行完成
…;
V(b1);V(b2);//S2已经运行完成
}
S3(){
P(a2); //检查S1是否已经运行完成
…;
V©; //S3已经运行完成
}

S4(){
P(b1); //检查S2是否已经运行完成
…;
V(d); //S4已经运行完成
}
S5(){
P(b2); //检查S2是否已经运行完成
…;
V(e); //S5已经运行完成
}
S6(){
P©; //检查S3是否已经运行完成
P(d); //检查S4是否已经运行完成
P(e); //检查S5是否已经运行完成
…;
}