多生产者-多消费者问题-第三十一天

目录

多生产者-多消费者问题

可不可以不使用互斥信号量? 

当缓冲区的大小为2呢?

结论


多生产者-多消费者问题

多生产者-多消费者问题-第三十一天_第1张图片

多个不同类别的消费者和生产者,他们生产的和要消费的产品使不一样的

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

互斥关系:对缓冲区(盘子)的访问要互斥地进行

同步关系:

  1. 父亲将苹果放入盘子后(前操作),女儿才能取苹果(后操作)
  2. 母亲将橘子放入盘子后(前操作),儿子才能取橘子(后操作)
  3. 只有盘子为空时(孩子们的前操作),父亲或母亲才能放入水果(父母们的后操作)
  4. ”盘子为空“事件可由儿子或女儿触发,事件发生后才允许父亲或母亲放水果

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

多生产者-多消费者问题-第三十一天_第2张图片

 3、设置信号量:设置需要的信号量,并根据题目要求确定信号量初值(互斥信号量一般为1,同步信号量的初始值要看对应资源的初始值为多少)

多生产者-多消费者问题-第三十一天_第3张图片

1、plate信号量:开始时父母进程就可以向盘子中放一个水果,所以plate的初始值可以为1

2、apple与orange信号量:开始时孩子们并未获得父母们给的水果,所以信号量初始值为0

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

4、代码实现

多生产者-多消费者问题-第三十一天_第4张图片

可不可以不使用互斥信号量? 

多生产者-多消费者问题-第三十一天_第5张图片

semaphore apple = 0;  //盘子中有几个苹果
semaphore orange = 0; //盘子中有几个橘子
semaphore plate = 1;  //盘子中还可以放多少个水果

多生产者-多消费者问题-第三十一天_第6张图片

1、刚开始,儿子、女儿进程即使上处理机运行也会被阻塞

2、刚开始,如果是父进程先上处理机运行,则:

  1. 父亲准备完苹果后,P操作后plate--变为0,可以访问盘子,然后切换至母亲
  2. 母亲准备完橘子后,P操作后plate--变为-1,需要阻塞循环等待,然后切换至父亲
  3. 父亲将苹果放入盘子后,V操作后apple++变为1,女儿进程被唤醒,并且其它进程即使运行也会被阻塞
  4. 女儿进程被唤醒后,P操作后apple--变为0,可以访问盘子,然后执行V操作plate++变为0,然后母亲进程被唤醒(父进程已经完全结束)
  5. 母进程被唤醒后,不会再执行P操作,可以直接去访问盘子,然后执行V操作orange++变为1,然后儿子进程被唤醒(母进程已经完全结束)
  6. 儿子进程被唤醒后,P操作orange--变为0,可以访问盘子,然后执行V操作plate++变为1(重新变为初始值)

当缓冲区的大小为2呢?

多生产者-多消费者问题-第三十一天_第7张图片

semaphore apple = 0;  //盘子中有几个苹果
semaphore orange = 0; //盘子中有几个橘子
semaphore plate = 2;  //盘子中还可以放多少个水果

多生产者-多消费者问题-第三十一天_第8张图片

1、刚开始,儿子、女儿进程即使上处理机运行也会被阻塞

2、刚开始,如果是父进程先上处理机运行,则:

  1. 父亲准备完苹果后,P操作后plate--变为1,可以访问盘子,然后切换至母亲
  2. 母亲准备完橘子后,P操作后plate--变为0,可以访问盘子,然后切换至父亲
  3. 父亲向盘子中放苹果后,切换至母亲
  4. 母亲向盘子中放橘子后,可能覆盖原来父亲进程放入的苹果(数据覆盖)

结论

1、进程由阻塞被唤醒后,不再执行原来导致阻塞的代码段,而是直接执行后序的代码段

2、当缓冲区大小等于1,有可能(不绝对)即使不设置专门的互斥变量mutex,也不会出现多个进程同时访问盘子的现象:本题中的缓冲区大小为1,再任何时刻,apple、orange、plate三个同步信号量中最多只有一个是1,因此在任何时刻,最多只有一个进程的P操作不会被阻塞,并顺利地进入临界区

3、当缓冲区大小1时,必须设置专门的互斥变量mutex,保证不会出现数据覆盖的问题 

4、解决”多生产者-多消费者问题“的关键在于理清复杂的同步关系,在分析同步问题(一前一后问题)的时候不能从单个进程行为的角度来分析,要把”一前一后“发生的事看作是两种”事件“的前后关系,如果从单个进程行为的角度来考虑的话,我们会有以下结论:

多生产者-多消费者问题-第三十一天_第9张图片

~over~ 

你可能感兴趣的:(计算机操作系统-初阶,windows,linux,ubuntu,gnu,centos)