进程同步和互斥的五大经典问题

已于 2023-08-04 12:07:00 修改
阅读量1.2k 收藏 36
点赞数 8
分类专栏： 操作系统 文章标签： windows linux ubuntu centos gnu
于 2023-04-07 16:49:20 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/zyb_020826/article/details/130015763
版权

进程同步和互斥的五大问题

目录

一、生产者 - 消费者问题

1.1问题描述

系统中有一组生产者进程和一组消费者进程，生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区中取一个产品并使用。（注：这里的“产品”理解为某种数据）

生产者、消费者共享一个初始为空、大小为n的缓冲区。

只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。——同步关系

只有缓冲区不空时，消费者才能从中取出产品，否则必须等待。——同步关系

缓冲区是临界资源，各进程必须互斥地访问。——互斥

在这里插入图片描述

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

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

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

  • PV操作题目分析步骤：

    • 1、关系分析。找出题目中描述的各个进程，分析他们之间的同步关系。
    • 2、整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
      • 生产者每次要消耗（P）一个空闲缓冲区，并生产（V）一个产品。
      • 消费者每次要消耗（P）一个产品，并释放一个空闲缓冲区（V）。
      • 往缓冲区放入/取走产品需要互斥。
    • 3、 设置信号量。根据设置的信号量，并根据题目条件确定信号量初值。（互斥信号量初值一般为1，同步信号量的初始值要看对应资源的初始值是多少）

根据题目，我们可以得知：刚开始空闲缓冲区的数量为n，非空闲缓冲区（产品）的数量为0。

在这里插入图片描述

1.2实现方法

在这里插入图片描述

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

像下图这样：在这里插入图片描述

若此时缓冲区内已经放满产品，则empty=0，full=n；

则生产者进程执行①使mutex变为0，再执行②，由于已没有空闲缓冲区，因此生产者被阻塞；

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

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

同样的，如果缓冲区中没有产品，即full=0，empty=n。按③④①的顺序执行就会发生死锁。

因此，实现互斥的P操作一定要在实现同步的P操作之后。

V操作不会导致进程阻塞，因此两个V操作顺序可以交换。

1.3知识回顾

在这里插入图片描述

二、多生产者 - 多消费者问题

2.1问题描述

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

用PV操作实现上述过程。

在这里插入图片描述

2.2问题分析

  • 1、关系分析：找出题目中描述的各个进程，分析它们之间的同步、互斥关系。
    • 互斥关系：对缓冲区（盘子）的访问要互斥地进行。
    • 同步关系（一前一后）：
      • 1、父亲将苹果放入盘子后，女儿才能取苹果
      • 2、母亲将橘子放入盘子后，儿子才能取橘子
      • 3、只有盘子为空时，父亲或母亲才能放入水果：“盘子为空”这个事件可以由儿子或女儿触发，事件发生后才允许父亲或母亲放水果
  • 2、整理思路：根据各进程的操作流程确定P、V操作的大致顺序。

在这里插入图片描述

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

在这里插入图片描述

2.3实现方法

声明四个信号量

semaphore mutex = 1; //实现互斥访问盘子（缓冲区）

semaphore apple = 0; //盘子中有几个苹果

semaphore orange = 0; //盘子中有几个橘子

semaphore plate = 1; //盘子中还可以再放几个水果

在这里插入图片描述

分析：

dad进程和mom进程需要做的就是不断准备自己的水果，然后将水果放入盘子中

daughter和son进程需要做的就是从盘子中取出水果，然后吃掉水果

dad进程在放入水果之前，需要先检查盘子中是否还能放水果，即判断plate是否等于1，所以dad进程在往盘子中放入水果之前，需要用P操作检查plate，当dad进程进入临界区后，执行将苹果放入盘子操作之后，dad进程就需要对apple同步信号量执行V操作，也就是+1，来告诉daughter进程此时盘子中的苹果数量已经+1了

mom进程也一样，在将水果放入盘子之前需要和dad进程执行相同的操作

daughter进程和son进程在取出自己要吃的水果之前，分别需要对自己要吃的水果进行P检查操作，即daughter进程需要执行P（apple）操作，son进程需要执行P（orange）操作

在daughter进程或son进程取出自己的苹果之后，需要对plate信号量执行V操作，用来告诉dad进程和mom进程此时盘子已经变空了

另外，我们还需要实现各个进程对盘子的互斥访问，所以我们在这些进程访问盘子之前，对互斥信号量mutex执行P操作，访问之后执行V操作即可

  • 思考：可不可以不使用互斥信号量？

在这里插入图片描述

分析：

刚开始的时候，son和daughter进程即使上处理机运行也会被阻塞，因为两种水果的初始信号量为0；

如果刚开始是dad进程先上处理机运行，则：dad进程执行P(plate)，可以访问盘子

此时mom进程如果执行P(plate)，则阻塞等待盘子

dad进程放入苹果V(apple)，daughter进程被唤醒

此时其他进程即使运行也都会阻塞，因为现在plate还为0，只有apple为1

daughter进程执行P(apple)后，访问盘子，拿走水果，执行V(plate)

此时plate=1，等待盘子的母亲进程被唤醒 —>母亲进程访问盘子…

我们发现，即使不加互斥信号量，也不妨碍我们对盘子临界区的互斥访问

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

  • 思考：如果盘子（缓冲区）容量为2？

如果plate的值为2的话，根据上图的过程，dad进程和mom进程可能会同时访问缓冲区，这就可能会导致两个进程写入缓冲区的数据相互覆盖的情况。

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

2.4知识回顾

  • 总结：在生产者 — 消费者问题中，如果缓冲区大小为1，那么有可能不需要设置互斥信号量就可以实现互斥访问缓冲区的功能。当然，这不是绝对的，需要具体问题具体分析。

在这里插入图片描述

三、吸烟者问题

3.1问题描述

假设一个系统有三个抽烟者进程和一个供应者进程。每个抽烟者不停地卷烟并抽掉它，但是要卷起并抽掉一跟烟，需要三种材料：烟草、纸和胶水。三个抽烟者中，第一个拥有烟草、第二个拥有纸、第三个拥有胶水。供应者进程无限地提供三种材料，供应者每次将两种材料放在桌子上，拥有剩下那种材料的抽烟者卷一根烟并抽掉它，并给供应者进程一个信号告诉完成了，供应者就会放另外两种材料在桌子上，这个过程一直重复（让三个抽烟者轮流抽烟）。

在这里插入图片描述

3.2问题分析

  • 1、关系分析：

    • 互斥关系：桌子可以抽象为容量为1的缓冲区，要互斥访问
      • 组合一：纸+胶水
      • 组合二：烟草+胶水
      • 组合三：烟草+纸
    • 同步关系（从事件的角度来分析）
      • 桌子上有组合一—>第一个抽烟者取走东西
      • 桌子上有组合二—>第二个抽烟者取走东西
      • 桌子上有组合三—>第三个抽烟者取走东西
      • 抽烟者发出完成信号—>供应者将下一个组合放到桌上

  • 2、同步关系：

    • 解决进程互斥需要先P后V
    • 解决进程同步需要先V后P

  • 3、设置信号量

在这里插入图片描述

3.3如何实现

在这里插入图片描述

3.4知识回顾

在这里插入图片描述

四、读者 - 写者问题

4.1问题描述

在这里插入图片描述

4.2问题分析

在这里插入图片描述

4.3实现方法

①给count加mutex互斥访问

  • 这里说一下问什么要加mutex，比如：当count=0时，第一个读者进程执行到p(rw)，rw=0，假设此时时间片到了，切换到第二个读者进程，第二个进程发现count=0，则执行p(rw)，于是第二个进程被堵在这里，同理，后面的多个进程都会堵在p（rw），只有当第一个进程再次获得时间片，执行count++，让count！=0后，其它进程就能绕过if直接进行count++来访问文件，但是第三个读者进程和后面的几个可能堵在p（rw）的多个读者进程则必须等count–为0后才可以再次和写进程竞争来访问文件，对count的访问没有做到一气呵成，会导致本来一些进程一直堵在p（rw）。

在这里插入图片描述

②加一个w实现“读写公平法”

  • 在上面的算法中，读进程是优先的，即当存在读进程时，写操作将被延迟，且只要有一个读进程活跃，随后而来的读进程都将被允许访问文件。这样的方式会导致写进程可能等待的时间很长，且存在写进程“饿死”的情况。
  • 若希望写进程优先，即当有读进程正在读共享文件时，有写进程请求访问，这时应禁止后续进程的请求，等到已在共享文件的读进程执行完毕，立即让写进程执行，只有在无写进程的情况下才允许读进程再次运行。为此，增加一个信号量，并在上面程序的writer（）和reader（）函数中各增加一对PV操作，就可以得到写进程优先的解决程序。

在这里插入图片描述

4.4知识回顾

在这里插入图片描述

五、哲学家进餐问题

5.1问题描述

在这里插入图片描述

5.2问题分析

在这里插入图片描述

5.3实现方法

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

5.4知识回顾

在这里插入图片描述

喜欢喝椰奶
关注
  • 8
    点赞
  • 踩
  • 36
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
操作系统养成计划之篇一：同步互斥经典问题
Metero的技术博客
06-19 492
生产者消费者问题；读者写者问题
【操作系统】进程同步
weixin_33924312的博客
09-21 3455
2.9 进程同步的基本概念：临界资源、同步和互斥 在多道程序环境下，进程是并发执行的，不同进程之间存在着不同的相互制约关系。为了协调进程之间的相互制约关系，引入了进程同步的概念。 临界资源 虽然多个进程可以共享系统中的各种资源，但其中许多资源一次只能为一个进程所使用，我们把一次仅允许一个进程使用的资源称为临界资源。许多物理设备都属于临界资源，如打印机等。此外，还有许多变量、数据等都可以被若干...
操作系统之四：进程的同步与互斥
喜欢喝椰奶的博客
04-06 3752
一、进程同步和进程互斥 1.1思维导图 1.2进程同步 1.3进程互斥 二、进程互斥的软件实现方法 2.1思维导图 2.2单标志法 2.3双标志先检查 2.4双标志后检查 2.5Peterson算法 三、进程互斥的硬件实现方法 3.1思维导图 3.2中断隐藏方法 3.3TestAndSet指令 3.4Swap指令 四、信号量机制 4.1思维导图 4.2概述 4.3整型信号量 4.4记录型信号量 五、用信号量机制实现进程互斥、同步、前驱关系 5.1思维导图 5.2实现进程互斥 5.3实现进程同步 5.4实现进
进程同步与互斥 生产者与消费者问题--操作系统大作业
12-17
大连理工大学操作系统大作业， 进程同步与互斥 生产者与消费者问题
进程的同步和互斥
一个菜鸡的博客
07-03 1007
当一次需要N个单位时，便要进行N次wait(S)操作，这显然是低效的，甚至会增加死锁的概率。此外，在有些情况下，为确保系统的安全性，当所申请的资源数量低于某一下限值时，还必须进行管制，不予以分配。因此，当进程申请某类临界资源时，在每次分配之前，都必须测试资源的数量，判断是否大于可分配的下限值，决定是否予以分配。为使多个进程能互斥地访问某临界资源，只需为该资源设置一互斥信号量mutex，并设其初始值为1，然后将各进程访问该资源的临界区CS置于wait(mutex)和signal(mutex)操作之间即可。
进程同步互斥问题
2301_76371717的博客
10-14 115
生产者生产产品——>缓冲区(供两者共享使用)——>消费者取出产品使用；缓冲区是临界资源，各进程必须互斥访问，避免数据覆盖问题。两组并发进程共享一个文件，可允许多个读者对文件进行读-不互斥，但有仅只允许一个写者对文件进行写-互斥。实现互斥的P操作-P(mutex)一定要在实现同步的P操作-P(empty)之后,否则会发生死锁。实现互斥的P操作-P(mutex)一定要在实现同步的P操作-P(empty)之后,否则会发生死锁。每个哲学家进程需同时持有多个临界资源问题。二、多生产者-多消费者问题。
进程同步、互斥问题
Hello World
11-16 394
进程同步、互斥问题什么是进程同步什么是进程互斥总结 什么是进程同步 知识点回顾: 进程具有异步性的特征。异步性是指,各并发执行的进程以各自独立的、不可预知的速度向前推进。 但是有时候操作系统需要有一些进程按照特定的顺序来执行。 比如： 同步亦称直接制约关系,它是指为完成某种任务而建立的两个或多个进程,这些进程因为需要在某些位置上协调它们的工作次序而产生的制约关系。进程间的直接制约关系就是源于它们之间的相互合作。 什么是进程互斥 进程的“并发”需要“共享”的支持。各个并发执行的进程不可避免的需要共 享一些
详解线程同步和线程互斥，Java如何实现线程同步和互斥
做兴趣使然的Hero
06-09 1086
最开始我们的操作系统的作业的调度单位是进程，但是由于每个进程都单独占据一个资源，而且进程的形态转换非常的耗费系统资源。为了系统的调度更加轻量级，能够更好的支持并发，因此引入了线程这个概念。...
操作系统实训报告进程同步和互斥
12-24
### 操作系统实训报告：进程同步和互斥 #### 一、设计目的 本次实训的主要目的是通过实现哲学家进餐问题来深入理解进程同步和互斥的基本原理。哲学家进餐问题是并发控制领域中的经典问题之一，通过解决这个问题，...
操作系统实验报告——进程同步与互斥.doc
09-25
为了避免出现问题，我们需要使用同步对象来实现进程同步和互斥。 三、实验环境 本实验使用 Windows 2000/XP 作为实验环境，并使用 Visual C++ 6.0 作为开发工具。 四、设计思路和流程框图 实验的设计思路是使用...
操作系统 4种经典同步互斥问题
06-10
操作系统中4类经典同步问题实验。Windows下，包括4个C++代码：生产者与消费者 、读者和写者 、哲学家问题 、理发师问题和1份实验报告
进程的同步与互斥，生产者与消费者同步机制问题
最新发布
05-04
### 进程的同步与互斥，生产者与消费者同步机制问题 #### 一、基础知识概述 在操作系统中，进程的同步与互斥是两个重要的概念。这些概念主要用于解决多进程或多线程环境下资源访问冲突的问题。理解这些概念对于...
实验二进程线程的同步及互斥.doc
10-08
本实验的目的是掌握进程和线程的同步及互斥机制，了解 Windows 中的同步对象和相关 API 的使用方法。实验中，我们将使用生产者消费者模型来模拟进程和线程的同步及互斥。 一、实验目的 * 掌握根本的同步与互斥算法...
进程同步与通信2优秀文档.ppt
11-14
综上所述，这些经典问题展示了如何利用P、V操作和信号量来解决进程间的同步和互斥问题，确保并发执行的进程能正确协调，避免数据竞争和死锁的发生。通过深入理解这些问题及其解决方案，我们可以更好地设计和管理多...
二、进程管理（三）同步与互斥
24考研人晴落的博客
11-25 1500
条件变量和信号量的比较：条件变量的wait和signal和信号量的P/V操作是不同的，条件变量的wait和signal操作类似于P/V操作中的block和wakeup原语，，当一个进程进入临界区使用临界资源时，另一个进程必须等待，当占用临界资源的进程退出临界区后，另一进程才允许去访问此临界资源。进程同步的解决的就是进程由于异步性而出现的错误，错误也包括两个进程同时进入了临界区，所以同步机制应该遵循以下准则。，是用硬件实现的，执行的过程是一气呵成的，双标志先检查由于上锁和检查不是一气呵成的而出错。
二、进程管理（四）经典同步互斥问题
24考研人晴落的博客
11-25 1809
4.1生产者-消费者问题 4.1.1单类生产者-单类消费者问题 4.1.2多类生产者-多类消费者问题 4.1.3吸烟者问题 4.2读者-写者问题 4.3哲学家进餐问题
信号的同步互斥——五个经典问题
JosiasAnas的博客
04-28 1595
单生产者和单消费者问题 描述： 有两个进程：一组生产者进程和一组消费者进程共享一个初始为空、固定大小为n的缓存（缓冲区）。生产者的工作是制造一段数据，只有缓冲区没满时，生产者才能把消息放入到缓冲区，否则必须等待，如此反复; 同时，只有缓冲区不空时，消费者才能从中取出消息，一次消费一段数据（即将其从缓存中移出），否则必须等待。由于缓冲区是临界资源，它只允许一个生产者放入消息，或者一个消费者从中取出消...
进程(线程)间的同步互斥问题(五) 读者-作者问题
llin-黎辰
11-05 3157
问题描述：用读者和写者来模拟并行计算的过程: 读者在读的时候，写者不能写,必须等到读者读完 多个读者可以读一本书 同时只能一个作者在写 在写的时候，读者不能读 问题分析： 作品是共享的资源，作者和读者要竞争这个资源，要避免决策导致某一方被饿死(长时间竞争不到资源)。 共享资源不是简单的只能有一个人能使用,而是在读者读的时候能够多人同时共享资源，在写者占有资源的时候，只能有一个写者持有这个资源 基本思
进程管理（几种典型的进程同步问题）
qq_48843954的博客
06-27 1135
进程同步问题
经典进程同步问题C语言
05-25
经典的进程同步问题通常包括生产者-消费者问题、读者-写者问题和哲学家就餐问题等。这里以生产者-消费者问题为例，简单介绍一下如何在 C 语言中实现进程同步。 生产者-消费者问题是指多个进程共享同一个缓冲区，其中生产者进程向缓冲区中写入数据，而消费者进程则从缓冲区中读取数据。为了避免竞争条件和死锁等问题，需要使用同步机制来保证进程之间的协调工作。 使用信号量可以实现进程同步。信号量是一个计数器，用于控制对共享资源的访问。在 C 语言中，我们可以使用 POSIX 信号量库来创建和使用信号量。 下面是一个简单的生产者-消费者问题的代码示例： ```c #include <stdio.h> #include <stdlib.h> #include <pthread.h> #include <semaphore.h> #define BUFFER_SIZE 10 int buffer[BUFFER_SIZE]; int in = 0, out = 0; sem_t empty; // 缓冲区空闲信号量 sem_t full; // 缓冲区满信号量 pthread_mutex_t mutex; // 互斥锁 void *producer(void *arg) { int item; while (1) { item = rand() % 100; // 生产一个随机数 sem_wait(&empty); // 当缓冲区空间为 0 时等待 pthread_mutex_lock(&mutex); buffer[in] = item; in = (in + 1) % BUFFER_SIZE; // 循环缓冲区 printf("Producer produced item %d\n", item); pthread_mutex_unlock(&mutex); sem_post(&full); // 增加缓冲区中的项目数 } pthread_exit(NULL); } void *consumer(void *arg) { int item; while (1) { sem_wait(&full); // 当缓冲区中没有项目时等待 pthread_mutex_lock(&mutex); item = buffer[out]; out = (out + 1) % BUFFER_SIZE; // 循环缓冲区 printf("Consumer consumed item %d\n", item); pthread_mutex_unlock(&mutex); sem_post(&empty); // 增加缓冲区的空闲空间 } pthread_exit(NULL); } int main(int argc, char **argv) { pthread_t producer_thread, consumer_thread; sem_init(&empty, 0, BUFFER_SIZE); // 初始化信号量 sem_init(&full, 0, 0); pthread_mutex_init(&mutex, NULL); pthread_create(&producer_thread, NULL, producer, NULL); pthread_create(&consumer_thread, NULL, consumer, NULL); pthread_join(producer_thread, NULL); pthread_join(consumer_thread, NULL); sem_destroy(&empty); // 销毁信号量和互斥锁 sem_destroy(&full); pthread_mutex_destroy(&mutex); return 0; } ``` 在这个示例中，我们使用了两个信号量 `empty` 和 `full` 来控制缓冲区的空闲空间和项目数。当 `empty` 为 0 时，表示缓冲区已满，生产者需要等待；当 `full` 为 0 时，表示缓冲区没有项目，消费者需要等待。使用互斥锁 `mutex` 来保护共享资源的访问，避免竞争条件。 当生产者生成一个随机数时，将其写入缓冲区，同时增加 `in` 指针，表示缓冲区中的项目数增加了一个。当消费者读取缓冲区中的项目时，将其存储到 `item` 中，并将 `out` 指针增加，表示缓冲区中的项目数减少了一个。 上述代码中，生产者和消费者都是无限循环运行的，可以使用 `pthread_cancel()` 函数来终止它们的运行。此外，还需要注意的是，在使用信号量等同步机制时，不要忘记释放已经申请的资源，否则可能会导致死锁等问题。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值