【操作系统】经典进程同步问题

1. 生产者消费者问题

问题描述

存在若干生产者进程、若干消费者进程和由n个缓冲区组成的缓冲池。现规定最初缓冲池中没有数据，生产者需要在缓冲池未满的情况下向缓冲池写入数据，消费者需要在缓冲池未空的情况下从缓冲池读取数据。
过程如图：

可以将缓冲池视为循环队列，在循环队列的头部实现对缓冲池的写入，在循环队列的尾部实现对缓冲池的读取。

分析

显然，多个p进程（producer）之间为互斥关系，因为假如现在队头指针in指向第3个缓冲区，若存在多个p进程对第3个缓冲区进行写操作，会发生冲突。同样的，对于c程序（consumer）也是类似的，因此缓冲池为临界资源。综上可得，所有进程之间均为互斥关系。但是对于全部p进程与全部c进程而言，也存在着同步的关系，即生产之后方可消费。

因为所有进程互斥，因此设置一个mutex以控制一个进程访问缓冲池；设置empty信号，其实是对于空余缓冲区个数的统计，而full信号是对已填充缓冲区个数的统计，即二者的关系为