2.3.6 操作系统之进程同步与互斥经典问题(生产者-消费者问题、多生产者-多消费者问题、吸烟者问题、读者-写者问题、哲学家进餐问题)


0.前言

  • 同步时,前V后P。

在这里插入图片描述

1.生产者-消费者问题

(1)问题描述
  • 系统中有一组生产者进程一组消费者进程,生产者进程每次生产一个产品放入缓冲区,消费者进程每次从缓冲区中取出一个产品并使用。(注: 这里的“产品”理解为某种数据)
  • 生产者、消费者共享一个初始为空、大小为n的缓冲区
  • 只有缓冲区没满时,生产者才能把产品放入缓冲区,否则必须等待。
  • 只有缓冲区不空时,消费者才能从中取出产品,否则必须等待。
  • 缓冲区是临界资源,各进程必须互斥地访问。

在这里插入图片描述

(2)问题分析
  • 1)关系分析。生产者和消费者对缓冲区互斥访问是互斥关系,同时生产者和消费者又是一个相互协作的关系,只有生产者生产之后,消费者才能消费,它们也是同步关系
  • 2)整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
    生产者每次要消耗(P)一个空闲缓冲区,并生产(V)一个产品。
    消费者每次要消耗(P)一个产品,并释放一个空闲缓冲区(V)。
    往缓冲区放入/取走产品需要互斥。
  • 3)信号量设置。设置信号量。设置需要的信号量,并根据题目条件确定信号量初值。( 互斥信号量初值一般为1,同步信号量的初始值要看对应资源的初始值是多少)

在这里插入图片描述

(3)如何实现?

在这里插入图片描述

(4)实现互斥的P操作一定要在实现同步的P操作之后

在这里插入图片描述

(5)知识回顾与重要考点

在这里插入图片描述

2.多生产者-多消费者问题

(1)问题描述

在这里插入图片描述

(2)问题分析

在这里插入图片描述

(3)实现方法
① 有mutex

在这里插入图片描述

② 无mutex

在这里插入图片描述

③ 为什么有mutex和没有mutex一样呢?
  • 原因在于:本题中的缓冲区大小为1,在任何时刻,apple、 orange、 plate 三个同步信号量中最多只有一个是1。因此在任何时刻,最多只有一个进程的P操作不会被阻塞,并顺利地进入临界区…
④ 如果有两个盘子plate

在这里插入图片描述

(4)知识总结与重要考点
  • 总结:在生产者_消费者问题中,如果缓冲区大小为1,那么有可能不需要设置互斥信号量就可以实现互斥访问缓冲区的功能。当然,这不是绝对的,要具体问题具体分析。
  • 建议:在考试中如果来不及仔细分析,可以加上互斥信号量,保证各进程一定会互斥地访问缓冲区。但需要注意的是,·实现互斥的P操作一定要在实现同步的P操作之后·,否则可能引起·“死锁”·。

在这里插入图片描述

3.读者-写者问题

(1)问题描述

在这里插入图片描述

(2)问题分析

在这里插入图片描述

(3)实现方法
① 给count加mutex互斥访问
  • 这里说一下为什么要加mutex。
  • 比如:当count=0时,第一个读者进程执行到p(rw),rw=0,假设此时时间片到了,切换到第二个读者进程,第二个进程发现count=0,则执行p(rw),但是此时rw=0,于是第二个进程被堵在p(rw)这里,同理,后面的可能会有多个进程堵在p(rw),只有当第一个进程再次获得时间片,执行count++,让count不为0,然后其他进程就可以直接绕过if直接进行count++来访问文件,但是第三个读者进程和后面的几个可能堵在p(rw)的多个读者进程则必须得等count–为0后才可以再次和写进程竞争来访问文件,对count的访问没有做到一气呵成,会导致本来一些进程一直堵在p(rw)。
    在这里插入图片描述
② 加一个w实现“读写公平法”
  • 在上面的算法中,读进程是优先的,即当存在读进程时,写操作将被延迟,且只要有 一个读进程活跃,随后而来的读进程都将被允许访问文件。这样的方式会导致写进程可能长时间等待,且存在写进程“饿死”的情况。
  • 若希望写进程优先,即当有读进程正在读共享文件时,有写进程请求访问,这时应禁止后续读进程的请求,等到已在共享文件的读进程执行完毕,立即让写进程执行,只有在无写进程执行的情况下才允许读进程再次运行。为此,增加一个信号量并在上面程序的writer()和 reader()函数中各增加一对PV操作,就可以得到写进程优先的解决程序。
    在这里插入图片描述
(4)知识回顾与重要考点

4.吸烟者问题

(1)问题描述

在这里插入图片描述

(2)问题分析

在这里插入图片描述
在这里插入图片描述

(3)实现方法

在这里插入图片描述

(4)知识回顾与重要考点

在这里插入图片描述

5.哲学家进餐问题

(1)问题描述

在这里插入图片描述

(2)问题分析

在这里插入图片描述

(3)如何实现

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

(4)知识回顾与重要考点

在这里插入图片描述

参考:https://www.bilibili.com/video/BV1YE411D7nH?p=26

发布了91 篇原创文章 · 获赞 95 · 访问量 1万+

猜你喜欢

转载自blog.csdn.net/weixin_43914604/article/details/105120888