独木桥答案
假定有如下独木桥问题:过桥时,同一方向的行人可连续过桥,当某一方有人过桥时,另一方向的行人必须等待;当某一方向无人过桥时,另一方向的行人可以过桥。试用信号量机制解决。
(1) 需要设置几个信号量?分别是互斥信号量还是同步信号量?初值设为多少?并说明设置它们的意义。
(2) 写出用信号量机制解决此问题的算法。
答案:
(1) 将独木桥的两个方向分别标记为A和B。用整型变量countA和countB分
别表示A、B方向上已在独木桥上的行人数。初值为0。需要设置三个初值都为1的互斥信号量:SA用来实现对countA的互斥访问,SB用来实现对countB的互斥访问,mutex用来实现对独木桥的互斥使用。 (2)
A方向行人过桥:
Begin P(SA);
countA=countA+1; if (countA= =1) P(mutex); V(SA); 过桥; P(SA);
countA=countA-1; if(countA= =0) V(mutex); V(SA); End
B方向行人过桥:
Begin P(SB);
countB=countB+1; if (countB= =1) P(mutex); V(SB); 过桥; P(SB);
countB=countB-1; if(countB= =0) V(mutex); V(SB); End 2.
因篇幅问题不能全部显示,请点此查看更多更全内容