计算机操作系统 | 必学生产者-消费者问题 | 参考自王道考研 | 无知的我学习日记（图文排版无水印）

 

为了深入计算机底层，我正在基于《王道考研》学习计算机操作系统。

笔记特点是 我重新整理了涉及资料的一些语言描述、排版，而使用了自己比较容易理解的描述、同样是回答了一些常见关键问题

如果有遇到有任何无法进展问题或者疑惑的地方，应该在讨论区留言 或者 其他途径以寻求及时的帮助，以加快学习效率 或者 培养独立解决问题的能力、扫清盲点、补充细节
 

目录

2.3_6_生产者-消费者问题

生产者-消费者问题-运行机制

生产者-消费者问题-P、V操作实现

生产者-消费者问题-能否改变相邻P、V操作的顺序

2.3_7_多生产者-多消费者

多生产者-多消费者问题-描述

多生产者-多消费者问题-分析

多生产者-多消费者问题-伪代码实现

知识回顾与重要考点

---

2.3_6_生产者-消费者问题

生产者-消费者问题-运行机制

系统中有一组生产者进程和一组消费者进程

• 生产者进程每次生产一个产品放入缓冲区

• 消费进程每次从缓冲区中取出一个产品并使用。（这里的“产品”理解为某种数据）

生产者、消费者共享一个初始为空、大小为n的缓冲区。 //刚开始空闲缓冲区的数量为n， 非空闲缓冲区（产品）的数量为0

• 只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。就是缓冲区没满->生产者生产 //同步关系。这是因为缓冲区满时，生产者要等待消费者取走产品

• 只有缓冲区不空时，消费者才能从中取出产品，否则必须等待。 就是缓冲区没空->消费者消费 //同步关系。这是因为缓冲区空时，消费者需要等待生产者放入产品

缓冲区是临界资源，各进程必须互斥地访问 //互斥关系

生产者-消费者问题-P、V操作实现

PV操作题目分析步骤

1. 关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。

2. 整理思路。根据各进程的操作流程确定P、V操作的大致顺序。

   1. 生产者每次要消耗（P）一个空闲缓冲区，并生产（V）一个产品。

   2. 消费者每次要消耗（P）一个产品， 并释放一个空闲缓冲区（V）。

   3. //往缓冲区放入/取走产品需要互斥

3. 设置信号量。设置需要的信号量，并根据题目条件确定信号量初值。（互斥信号量初值一般为 1 ；同步信号量的初始值要看对应资源的初始值是多少）

实现关键

信号量机制可实现互斥、同步、对一类系统资源的申请和释放。

1. 互斥 设置初值为1的互斥信号量

2. 同步 设置初值为0的同步信号量（实现 “一前一后”）

3. 为一类系统资源的申请和释放设置一个信号量，初始值即为资源的数量（本质上也属于“同步问题”，若无空闲资源，则申请资源的进程需要等待别的进程释放资源后才能继续往下执行）

伪代码实现

semaphore mutex = 1; //互斥信号量，实现对缓冲区的互斥访问
semaphore empty = n; //同步信号量，表示空闲缓冲区的数量
semaphore full = 0; //同步信号量，表示产品的数量，也即非空缓冲区的数量

生产者-消费者问题-能否改变相邻P、V操作的顺序

若此时缓冲区内已经放满产品

• 则 empty=0，full=n。

• 则生产者进程执行① 使mutex变为0，

再执行②，由于已没有空闲缓冲区，因此生产者被阻塞。

由于生产者阻塞，因此切换回消费者进程。

消费者进程执行③，由于mutex为0，即生产者还没释放对临界资源的“锁”，因此消费者也被阻塞。

=>这就造成了生产者等待消费者释放空闲缓冲区，而消费者又等待生产者释放临界区的情况，生产者和消费者循环等待被对方唤醒，出现“死锁”。

同样的，若缓冲区中没有产品

即full=0，empty=n。按③④① 的顺序执行就会发生死锁。

因此实现互斥的P操作一定要在实现同步的P操作之后。 V操作不会导致进程阻塞，因此两个V操作顺序可以交换。

2.3_7_多生产者-多消费者

多生产者-多消费者问题-描述

桌子上有一只盘子，每次只能向其中放入一个水果。爸爸专向盘子中放苹果，妈妈专向盘子中放橘子，儿子专等着吃盘子中的橘子，女儿专等着吃盘子中的苹果。只有盘子空时，爸爸或妈妈才可向盘子中放一个水果。仅当盘子中有自己需要的水果时，儿子或女儿可以从盘子中取出水果。如图。

如何用PV操作实现上述过程？

多生产者-多消费者问题-分析

就是画出结构图

分析步骤

1. 关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。

2. 整理思路。根据各进程的操作流程确定P、V操作的大致顺序。

3. 设置信号量。设置需要的信号量，并根据题目条件确定信号量初值。（互斥信号量初值一般为 1，同步信号量的初始值要看对应资源的初始值是多少）

分析结果如下

互斥关系： 实现方式 在临界区前后分别PV

对缓冲区（盘子）的访问要互斥地进行

同步关系（一前一后）：实现方式 前V后P

1. 父亲将苹果放入盘子后，女儿才能取苹果

2. 母亲将橘子放入盘子后，儿子才能取橘子

3. 只有盘子为空时，父亲或母亲才能放入水果 //“盘子为空”这个事件可以由儿子或女儿触发，事件发生后才允许父亲或母亲放水果

多生产者-多消费者问题-伪代码实现

初始化整型变量

semaphore mutex = 1; //实现互斥访问盘子（缓冲区）
semaphore apple = 0; //盘子中有几个苹果
semaphore orange = 0; //盘子中有几个橘子
semaphore plate = 1; //盘子中还可以放多少个水果

各进程执行逻辑

引出问题-可不可以不用互斥信号量？

代码模拟过程

刚开始，儿子、女儿进程即使上处理机运行也会被阻塞。如果刚开始是父亲进程先上处理机运行，则：

父亲 P(plate)，可以访问盘子->母亲 P(plate)，阻塞等待盘子->父亲放入苹果 V(apple)，女儿进程被唤醒，其他进程即使运行也都会阻塞，暂时不可能访问临界资源（盘子）->女儿 P(apple)，访问盘子，V(plate)，等待盘子的母亲进程被唤醒->母亲进程访问盘子（其他进程暂时都无法进入临界区）->……

结论：即使不设置专门的互斥变量mutex，也不会出现多个进程同时访问盘子的现象

这是因为本题中的缓冲区大小为1，在任何时刻，apple、orange、plate 三个同步信号量中最多只有一个是1。因此在任何时刻，最多只有一个进程的P操作不会被阻塞，并顺利地进入临界区…

引出问题-当盘子容量为2能否继续实现？

代码模拟过程

父亲 P(plate)，可以访问盘子->母亲 P(plate)，可以访问盘子->父亲在往盘子里放苹果，同时母亲也可以往盘子里放橘子。于是就出现了两个进程同时访问缓冲区的情况，有可能导致两个进程写入缓冲区的数据相互覆盖的情况。

结论：如果缓冲区大小大于1，就必须专门设置一个互斥信号量 mutex 来保证互斥访问缓冲区。

需要注意的是，在生产者-消费者问题中，实现互斥的P操作一定要在实现同步的P操作之后，否则可能引起“死锁”。

知识回顾与重要考点

解决“多生产者-多消费者问题”的关键在于理清复杂的同步关系。

在分析同步问题（一前一后问题）的时候不能从单个进程行为的角度来分析，要把“一前一后”发生的事看做是两种“事件”的前后关系。

比如，如果从单个进程行为的角度来考虑的话，我们会有以下结论：

• 如果盘子里装有苹果，那么一定要女儿取走苹果后父亲或母亲才能再放入水果

• 如果盘子里装有橘子，那么一定要儿子取走橘子后父亲或母亲才能再放入水果

这么看是否就意味着要设置四个同步信号量分别实现这四个“一前一后”的关系了？

正确的分析方法应该 从“事件”的角度来考虑，我们可以把上述四对“进程行为的前后关系”抽象为一对“事件的前后关系”

盘子变空事件->放入水果事件

• “盘子变空事件”既可由儿子引发，也可由女儿引发；

• “放水果事件”既可能是父亲执行，也可能是母亲执行。这样的话，就可以用一个同步信号量解决问题了

上述两种分析方法结果如图

涉及资料

• 王道考研