读者-写者问题

本文已参与「新人创作礼」活动，一起开启掘金创作之路。

这类同步互斥问题的关键在于计数器count的设置，以及要明白同一类的多个进程谁来执行上锁（第一个），谁来执行解锁（最后一个）

例一

解答：

1. 两类进程：由南向北的车，由北向南的车
2. 互斥关系：只能同时有一个方向的车能行驶
3. 如何知道能不能上桥，查看信号量（桥）的情况
4. 给双方分别设置一个count，以此进程判断是否对桥上锁和解锁
5. 为了保证不会多次锁住桥和解锁桥，需要让上锁和解锁的过程一气呵成

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)
}