一、问题描述

image.png
上一个例子中的生产者只生产一种产品,消费者也只消费一种产品,而这里生产者和消费者生产和消费的产品类型是不同的,这里“多生产者和多消费者”的“多”不是多个,而是多类,多类生产者和多类消费者!

二、问题分析

image.png

三、如何实现

image.png
考虑一个问题,可不可以不要这个互斥信号量mutex?
image.png
原因在于:本题中的缓冲区大小为1,在任何时刻,apple、orange、plate三个同步信号量中最多只有一个是1,而这几个进程一开始都要对这三个信号量进行P操作,因此在任何时刻只有一个进程的P操作不会被阻塞,并顺利地进入临界区!
但如果盘子的容量是2,也就是缓冲区的容量是2的话……
如果设置 plate = 2
semaphore plate = 2;
image.png
若改一下规则,爸爸可向盘中放苹果或桔子,儿子专等吃盘中的桔子,女儿专等吃盘中的苹果,则代码描述如下:
操作系统——多生产者多消费者问题 - 图6
semaphore empty=1; semaphore orange=0; semaphore apple=0; dad() { P(empty); 将水果放入盘中; 若放入的是桔子, 则V(orange); 否则V(apple); } son() { P(orange); 从盘中取出桔子; V(empty); 吃桔子; } doughter() { P(apple); 从盘中取出苹果; V(empty); 吃苹果; }
操作系统——多生产者多消费者问题 - 图7

四、总结

image.pngimage.png
要从“事件”的角度来考虑,要把“进程行为的前后关系”抽象为一对“事件的前后关系”!