2.4经典同步问题

1.生产者消费者问题
1）empty、full两者有天然的数量关系，在PV控制下值不断变化，但在值等于0的点上是控制顺序的关键
2）检查：
每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对地出现。
控制顺序的信号量empty和full的wait和signal操作，成对地出现在不同的进程中。
在每个程序中的多个wait操作顺序不能颠倒。且应先执行对资源信号量的wait操作，再执行对互斥信号量的wait操作，否则可能引起进程死锁。
模拟交替执行过程，检查控制是否正确。
3）模拟交叉运行：
两个生产者同时的情况
假设的时间片轮转顺序如下
produce;
produce;
wait(e);
wait(m);
buffer(in):=nexp;
wait(e);
wait(m);
buffer(in):=nexp;
in:=(in+1)mod n;
signal(m);
signal(f);
in:=(in+1)mod n;
signal(m);
signal(f);
4）AND信号量的方式
consumer :
repeat
Swait(full, mutex);
nextc:=buffer(out);
out:=(out+1) mod n;
Ssignal(mutex, empty);
consume the item in nexc;
until false;
2.哲学家就餐问题
五个哲学家共用一张圆桌，分别坐在周围的五张椅子上，在桌子上有五只碗和五只筷子，他们的生活方式是交替地进行思考和进餐。平时，一个哲学家进行思考，饥饿时便试图取用其左右最靠近他的筷子，只有在他拿到两只筷子时才能进餐。进餐毕，放下筷子继续思考。

1）记录型信号量解决哲学家进餐问题
筷子是临界资源，在一段时间内只允许一个哲学家使用。为实现对筷子的互斥使用，用一个信号量表示一只筷子，五个信号量构成信号量数组。
Var chopstick: array [0, …, 4] of semaphore;
所有信号量均被初始化为1。
2）就餐死锁问题
假如五位哲学家同时饥饿而各自拿起左边的筷子时，就会使五个信号量chopstick均为0，当他们再试图去拿右边的筷子时，都将因无筷子可拿而无限等待。
3）解决方法：
1.数量控制 假如五位哲学家同时饥饿而各自拿起左边的筷子时，就会使五个信号量chopstick均为0，当他们再试图去拿右边的筷子时，都将因无筷子可拿而无限等待。
2.一刀切：
仅当哲学家的左右两只筷子均可用时，才允许他拿起筷子进餐。—采用AND信号量。
3.IF编程控制
规定奇数号哲学家先拿他左边的筷子，然后再去拿右边的筷子；偶数号哲学家则相反。保证总会有一个哲学家能同时获得两只筷子而进餐
3.读者写者问题
一个数据文件被多个进程共享。Reader进程只要求读文件，Writer进程要求写入内容。
合理的同步关系是：
多个读进程可同时读；
Writer进程与任何其他进程（包括Reader进程或其他Writer进程）不允许同时访问文件。
写者操作要和其他的都互斥，所以必要判断互斥信号量，没有变化：
Writer :
repeat
wait(wmutex);
写入文件；
signal(wmutex);
until false;
只有第一个读进程进行互斥判断；
只要有一个“读进程”在读就不释放，“写进程”就不能写。（一种读者优先的方式）
4.
单行问题
同向不互斥，异向互斥
船闸问题
同闸航道不互斥，不同闸的互斥