2.4同步问题

• 1.生产者—消费者问题互斥、同步

  2.哲学家就餐问题互斥

  3.读者——写者问题有条件的互斥

1. 生产者—消费者问题

   ¡多个生产者和消费者对n个缓冲区的使用。不考虑互斥、同步问题会导致counter计数错误

2.  

   检查：

   1.每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对地出现。

   2.控制顺序的信号量empty和full的wait和signal操作，成对地出现在不同的进程中。

   3.在每个程序中的多个wait操作顺序不能颠倒。且应先执行对资源信号量的wait操作，再执行对互斥信号量的wait操作，否则可能引起进程死锁。

   4.模拟交替执行过程，检查控制是否正确。

3.  

    

   模拟交叉运行：

   1）两个生产者同时的情况

   假设的时间片轮转顺序如下

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

    

    

   生产者等待消费者情况：

    

    

   假设的时间片轮转顺序如下

   produce;

   wait(e);

   wait(m);

   buffer(in):=nexp;

     wait(f);

     wait(m);

   nextc:=buffer(out);

   in:=(in+1)mod n;

   signal(m);

   signal(f);

   out:=(out+1) mod n;

     signal(m);

     signal(e);

   consume;
4. AND信号量的方式：

   consumer :

       repeat

    

       nextc:=buffer(out);

       out:=(out+1) mod n;

    

       consume the item in nexc;

   until  false;

5.  

   哲学家进餐问题：记录型信号量解决哲学家进餐问题

     筷子是临界资源，在一段时间内只允许一个哲学家使用。为实现对筷子的互斥使用，用一个信号量表示一只筷子，五个信号量构成信号量数组。

       Var chopstick: array [0, …, 4] of semaphore;

       所有信号量均被初始化为1。

    

    

    

   就餐死锁问题，假如五位哲学家同时饥饿而各自拿起左边的筷子时，就会使五个信号量chopstick均为0，当他们再试图去拿右边的筷子时，都将因无筷子可拿而无限等待。

    

    

   解决方法：

   u数量控制：  至多只允许有四位哲学家同时去拿左边的筷子，最终能保证至少有一位哲学家能够进餐，并在用毕后释放出他用过的两只筷子，从而使更多的哲学家能够进餐。---限制并发执行的进程数

6.  

    

    

   读者——写者问题：

    

    

    

   ¡一个数据文件被多个进程共享。Reader进程只要求读文件，Writer进程要求写入内容。

   ¡合理的同步关系是：l多个读进程可同时读；

   lWriter进程与任何其他进程（包括Reader进程或其他Writer进程）不允许同时访问文件。