这类同步互斥问题的关键在于计数器count的设置,以及要明白同一类的多个进程谁来执行上锁(第一个),谁来执行解锁(最后一个)
例一
解答:
- 两类进程:由南向北的车,由北向南的车
- 互斥关系:只能同时有一个方向的车能行驶
- 如何知道能不能上桥,查看信号量(桥)的情况
- 给双方分别设置一个count,以此进程判断是否对桥上锁和解锁
- 为了保证不会多次锁住桥和解锁桥,需要让上锁和解锁的过程一气呵成
StoN() {
p(mutex1) // 对桥操作互斥访问,以下同理
if(count1 == 0) { // 是否第一个上桥
p(bridge) // 是就锁住桥
count1 ++
}
v(mutex1)
过桥
p(mutex1)
count1 --
if(count1 == 0) { // 是否最后一个过桥
v(bridge) // 是就解锁桥
}
v(mutex1)
}
NtoS() {
p(mutex2)
if(count2 == 0) { // 是否第一个上桥
p(bridge) // 是就锁住桥
count2 ++
}
v(mutex2)
过桥
p(metux2)
count2 --
if(count2 == 0) { // 是否最后一个过桥
v(bridge) // 是就解锁桥
}
v(mutex2)
}