单车道简易桥
一条东西方向架设的、可双向通行的单车道简易桥,最大载重负荷为4辆汽车。使用P、V操作写出任一车辆通过该简易桥的管理算法。
问题分析
- mutex:表示两个方向上车互斥使用的信号量;
- eastcount:表示从东到西方向上行车的数量;
- westcount:表示从西到东方向上行车的数量;
- eastmutex:表示 eastcount 计数量的互斥使用;
- westmutex:表示 westcount 计数量的互斥使用;
- Four: 表示桥上最多可通过四辆车的信号量;
代码
semaphore mutex=1,westmutex=1,eastmutex=1,Four=4;
int westcount=0,eastcount=0;
void east()
{
P(eastmutex);
if(eastcount=0) P(mutex);
eastcount++;
V(eastmutex);
P(Four);
过桥;
V(Four);
P(eastmutex);
eastcount--;
if(eastcount=0) V(mutex);
V(eastmutex);
}
void west()
{
P(westmutex);
if(westcount=0) P(mutex);
westcount++;
V(westmutex);
P(Four);
过桥;
V(Four);
P(westmutex);
westcount--;
if(westcount=0) V(mutex);
V(westmutex);
}
void main()
{
cobegin
east();west();
coend
}