操作系统 第2章 进程同步 经典进程同步问题

---

2.4经典进程同步问题

---

1.生产者——消费者问题
无论生产者、消费者使用缓冲池时应保证互斥使用（互斥信号量mutex ）
生产者和消费者间交叉有序：
有序的控制最根源在产品数量上。
设置两个信号量：分别针对生产者、消费者设置不同的信号量，empty和full分别表示缓冲池中空缓冲池和满缓冲池（即产品）的数量。
变量和信号量

buffer: array [ 0, …, n-1] of item;
in, out: integer :=0, 0;
//不使用Counter变量，而是用信号量
Var  mutex, empty, full: semaphore :=1, n, 0;


producer :
repeat
… 
produce an item in nexp;
…
wait(empty);
wait(mutex);
buffer(in):=nexp;
in:=(in+1) mod n;
singal(mutex);
singal(empty);
until  false; 



consumer :
repeat
wait(full);
wait(mutex);
nextc:=buffer(out);
out:=(out+1) mod n;
signal(mutex);
signal(empty);
consume the item in nexc; 
until  false;  

检查：
每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对地出现。
控制顺序的信号量empty和full的wait和signal操作，成对地出现在不同的进程中，在每个程序中的多个wait操作顺序不能颠倒。且应先执行对资源信号量的wait操作，再执行对互斥信号量的wait操作，否则可能引起进程死锁。

模拟交替执行过程，检查控制是否正确。
2.哲学家进餐问题
题目描述：
五个哲学家共用一张圆桌，分别坐在周围的五张椅子上，在桌子上有五只碗和五只筷子，他们的生活方式是交替地进行思考和进餐。平时，一个哲学家进行思考，饥饿时便试图取用其左右最靠近他的筷子，只有在他拿到两只筷子时才能进餐。进餐毕，放下筷子继续思考。
可见：相邻两位不能同时进餐；最多只能有两人同时进餐。
记录型信号量解决哲学家进餐问题

Var chopstick: array [0, …, 4] of semaphore;
  
  //所有信号量均被初始化为1。
  //第i 位哲学家的活动可描述为：

repeat
          wait(chopstick[ i ]);     
                wait(chopstick[ ( i +1) mod 5] );
                 …
              eat;
		…
		signal(chopstick[ i ]);
		signal(chopstick[ ( i +1) mod 5] );
		…
		think;
until  false;

3.读者——写者问题
情景：一个数据文件被多个进程共享。Reader进程只要求读文件，Writer进程要求写入内容。
合理的同步关系是：
多个读进程可同时读；
Writer进程与任何其他进程（包括Reader进程或其他Writer进程）不允许同时访问文件。

读者Reader：
begin
repeat
wait(rmutex); 
if Readcount=0 then
   wait(wmutex);
Readcount :=Readcount +1;
 signal(rmutex);
   …  
 perform read operation; 
 …
wait(rmutex);   
Readcount :=Readcount -1;
if Readcount=0 then
signal(wmutex);
signal(rmutex);
until  false;
end；