1.条件:一次只能由一个方向的车通过,这一方的车全部通过(这一过程这一方向可以有车继续来过),之后另一方才可以通车。
2.需要几个信号量:单向行驶信号量(2)
允许K辆通过车信号量
互斥的访问计数信号量
计数:桥上的车的数计数(容易遗漏)
semaphore wait,mutex1,mutex2;
mutex1=mutex2=1;
bridge=k;wait1;
int counter1=counter2=0;
cobegin east{
P(mutex1);
counter1++;
if(counter1==1)P(wait);//只需要在第一车来时判断,因为已经触发了P(wait)
V(mutex1);
P(bridge);
/*过桥*/
V(bridge);
P(mutex1);
counter1--;
if(counter1==0) V(wait);
V(mutex1);
}
coend
cobegin west{
P(mutex2);
counter2++;
if(counter2==1)P(wait);
V(mutex2);
P(bridge);
/*过桥*/
V(bridge);
P(mutex2);
counter2--;
if(counter2==0) V(wait);
V(mutex2);
}
coend
PV操作详见上一篇操作系统