2021-10-10 生产者-消费者问题

目录

知识回顾和考点

问题描述

问题分析 

如何实现

---

知识回顾和考点

PV 操作题目的解题思路：
1.关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。
2.整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
3. 设置信号量。设置需要的信号量，并根据题目条件确定信号量初值。(互斥信号量初值一般为
1，同步信号量的初始值要看对应资源的初始值是多少)

生产者消费者问题是一个互斥、同步的综合问题。
对于初学者来说最难的是发现题目中隐含的两对同步关系。
有时候是消费者需要等待生产者生产，有时候是生产者要等待消费者消费，这是两个不同的“一前一后问题”，因此也需要设置两个同步信号量。

易错点：实现互斥和实现同步的两个P操作的先后顺序。

问题描述

系统中有一组生产者进程和一组消费者进程，生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区中取出一个产品并使用。(注：这里的“产品”理解为某种数据)
生产者、消费者共享一个初始为空、大小为n的缓冲区。(刚开始空闲区的数量为n，非空闲缓冲区(产品)数量为0)
只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。(同步关系。缓冲区满时，生产者要等待消费者取走产品)
只有缓冲区不空时，消费者才能从中取出产品，否则必须等待。(同步关系。缓冲区空时(即没有产品时)，消费者要等待生产者放入产品)
缓冲区是临界资源，各进程必须互斥地访问。(互斥关系。)

问题分析 

如何用信号量机制(P,V操作)实现生产者，消费者进程的这些功能呢？

PV操作题目分析步骤：

1.关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。
2.整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
3.设置信号量。设置需要的信号量，并根据题目条件确定信号量初值（互斥信号量初值一般是1，同步信号量的初始值要看对应资源的初始值是多少)。

如何实现

思考：能否改变相邻P，V操作的顺序？

若此时缓冲区内已经放满产品，则empty=0，full=n。
则生产者进程执行1使mutex变为0，再执行2，由于已没有空闲缓冲区，因此生产者被阻塞。由于生产者阻塞，因此切换回消费者进程。消费者进程执行3，由于mutex为0，即生产者还没释放对临界资源的“锁”，因此消费者也被阻塞。
这就造成了生产者等待消费者释放空闲缓冲区，而消费者又等待生产者释放临界区的情况，生产者和消费者循环等待被对方唤醒，出现“死锁”。
同样的，若缓冲区中没有产品，即full=0，empty=n。按341的顺序执行就会发生死锁。

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