第十二讲 同步与互斥

第三节 管程与条件变量

管程（Monitor）、条件变量（Condition Variable）



向勇 陈渝 李国良 任炬

2024年春季

课程幻灯片列表

提纲

1. 管程与条件变量

  1. 管程实现方式
  2. 条件变量的实现
  3. 生产者-消费者问题的管程实现

为什么引入管程？

传统PV和锁机制的可读性差

  • 程序可读性差：要了解对于一组共享变量及信号量的操作是否正确，则必须通读整个系统或者并发程序
  • 程序不利于修改和维护：程序局部性很差，所以任一组变量或一段代码的修改都可能影响全局
  • 正确性难以保证：操作系统或并发程序通常很大，很难保证一个复杂的系统没有逻辑错误。
  • 容易发生死锁：如果不使用好P、V操作时，逻辑上发生错误，很有可能会导致死锁。

管程

  • 管程是一种用于多线程互斥访问共享资源的程序结构
  • 采用面向对象方法，简化了线程间的同步控制
  • 任一时刻最多只有一个线程执行管程代码
  • 正在管程中的线程可临时放弃管程的互斥访问，等待事件出现时恢复

管程

  • 模块化，一个管程是一个基本程序单位，可以单独编译

  • 抽象数据类型，管程是一种特殊的数据类型，其中不仅有数据，而且有对数据进行操作的代码

  • 信息隐蔽，管程是半透明的，管程中的过程（函数）实现了某些功能，在其外部则是不可见的

管程的外部特征

管程中的共享变量在管程外部是不可见的，外部只能通过调用管程中所说明的外部过程 (函数）来间接地访问管程中的共享变量

  • 互斥：任一时刻管程中只能有一个活跃进程，通过锁竞争进入管程
  • 等待：进入管程的线程因资源被占用而进入等待状态
    • 每个条件变量表示一种等待原因，对应一个等待队列
    • 入口队列管理未进入管程的线程/进程
  • 唤醒：管程中等待的线程可以在其他线程释放资源时被唤醒
  • 管程操作：进入enter, 离开leave, 等待wait, 唤醒signal

条件变量

  • 条件变量是多线程编程中的一种同步机制，用于线程间通信和协调
    • 它是一个结构体，包含了一个等待队列和一些基本操作函数
    • 通过条件变量实现线程的阻塞、唤醒和通讯等功能
  • 条件变量与互斥锁（mutex）配合，可实现线程间的同步和互斥
    • 共享资源被占用时，线程可通过条件变量挂起自己
    • 其他线程释放该资源后，继续执行

条件变量的主要操作

  • 初始化：通过pthread_cond_init()函数初始化一个条件变量
  • 销毁：通过pthread_cond_destroy()函数销毁一个条件变量
  • 等待：通过pthread_cond_wait()函数在条件变量上等待，线程会自动解锁互斥锁并进入等待状态，直到被唤醒
  • 唤醒：通过pthread_cond_signal()或pthread_cond_broadcast()函数唤醒一个或多个等待在条件变量上的线程

条件变量的使用步骤

  • 创建条件变量和互斥锁，并初始化它们
  • 线程在持有互斥锁时，可修改或访问共享资源
  • 当共享资源被其他线程占用时，当前线程阻塞自己，并让出互斥锁，等待条件变量唤醒
  • 线程释放共享资源后，可通过条件变量唤醒等待在条件变量上的线程，让它们重新尝试获取共享资源并执行相应的操作

管程的组成

一个由过程（函数）、变量及数据结构等组成的一个集合

  • 一个锁：控制管程代码的互斥访问
  • 0或者多个条件变量: 管理共享数据的并发访问，每个条件变量有个等待（紧急）队列
  • 入口等待队列
  • 紧急等待队列
  • 条件变量队列

管程的队列

  • 入口等待队列：管程入口处等待队列
  • 条件等待队列：某个条件变量的等待队列（为资源占用而等待）
  • 紧急等待队列：唤醒使用的紧急队列
    • 当T1线程执行唤醒操作而唤醒T2，如果T1把访问权限交给T2，T1被挂起；T1放入紧急等待队列
    • 紧急等待队列优先级高于条件变量等待队列

管程操作

  • T.enter过程：线程T在进入管程之前要获得互斥访问权(lock)
  • T.leave过程：当线程T离开管程时，如果紧急队列不为空，唤醒紧急队列中的线程，并将T所持锁赋予唤醒的线程；如果紧急队列为空，释放lock，唤醒入口等待队列某个线程
  • T.wait(c)：1)阻塞线程T自己，将T自己挂到条件变量c的等待队列；
    • 2)释放所持锁； 3)唤醒入口等待队列的一个或者多个线程；
  • T.signal(c)：1)把条件变量c的等待队列某个线程唤醒；
    • 2)把线程T所持lock给被唤醒的线程；
    • 3)把线程T自己挂在紧急等待队列

管程操作

提纲

  1. 管程与条件变量

2. 管程实现方式

  1. 条件变量的实现
  2. 生产者-消费者问题的管程实现

管程实现方式

如果线程T1因条件A未满足处于阻塞状态，那么当线程T2让条件A满足并执行signal操作唤醒T1后，不允许线程T1和T2同时处于管程中，那么如何确定哪个执行/哪个等待？

  • 管程中条件变量的释放处理方式：
    • Hoare管程：T1执行/T2等待，直至T1离开管程，然后T2继续执行
    • MESA/Hansen管程：T2执行/T1等待，直至T2离开管程，然后T1可能继续执行

管程中条件变量的释放处理方式

  • 线程 T2 的signal，使线程 T1 等待的条件满足时
    • Hoare：T2 通知完 T1后，T2 阻塞，T1 马上执行；等 T1 执行完，再唤醒 T2 执行
    • Hansen： T2 通知完 T1 后，T2 还会接着执行，T2 执行结束后（规定：最后操作是signal），然后 T1 再执行（将锁直接给T1）
    • MESA：T2 通知完 T1 后，T2 还会接着执行，T1 并不会立即执行，而是重新竞争访问权限

管程中条件变量的释放处理方式

管程中条件变量的释放处理方式

唤醒一个线程的两种选择：直接赋予锁 vs 重新公平竞争锁

Hoare管程

1. T1 进入管程monitor
2. T1 等待资源 (进入等待队列wait queue)
3. T2 进入管程monitor
4. T2 资源可用 ，通知T1恢复执行，
   并把自己转移到紧急等待队列
5. T1 重新进入管程monitor并执行
6. T1 离开monitor
7. T2 重新进入管程monitor并执行
8. T2 离开管程monitor
9. 其他在entry queue中的线程通过竞争
   进入管程monitor

Mesa管程

- 1. T1 进入管程monitor
- 2. T1 等待资源 
    (进入wait queue，并释放monitor)
- 3. T2 进入monitor
- 4. T2 资源可用，通知T1
    (T1被转移到entey queue，重新平等竞争)
- 5. T2 继续执行
- 6. T2 离开monitor
- 7. T1 获得执行机会，从entry queue
     出队列，恢复执行
- 8. T1 离开monitor
- 9. 其他在entry queue中的线程通过竞争
     进入monitor

Hansen管程

- 1. T1 进入管程monitor
- 2. T1 等待资源c
- 3. T2 进入monitor
- 4. T2 离开Monitor,并给通知等待
     资源c的线程，资源可用
- 5. T1 重新进入 monitor
- 6. T1 离开monitor
- 7. 其他线程从entry queue中通过竞争
     进入monitor

提纲

  1. 管程与条件变量
  2. 管程实现方式

3. 条件变量的实现

  1. 生产者-消费者问题的管程实现

条件变量的实现

条件变量的实现

条件变量的实现

条件变量的实现

条件变量的实现

条件变量的实现

条件变量的实现

条件变量的实现

条件变量的实现

提纲

  1. 管程与条件变量
  2. 管程实现方式
  3. 条件变量的实现

4. 生产者-消费者问题的管程实现

生产者-消费者问题的管程实现

生产者-消费者问题的管程实现

生产者-消费者问题的管程实现

生产者-消费者问题的管程实现

Gregory Kesden, Monitors and Condition Variables https://cseweb.ucsd.edu/classes/sp16/cse120-a/applications/ln/lecture9.html Mark Spruiell, The C++ Monitor Class. Apr.2011 https://doc.zeroc.com/pages/viewpage.action?pageId=5048235 wikipedia, Monitor (synchronization) https://en.wikipedia.org/wiki/Monitor_(synchronization) Mike Vine, Making a C++ class a Monitor (in the concurrent sense) https://stackoverflow.com/a/48408987 David Rodríguez - dribeas, How arrow-> operator overloading works internally in c++? https://stackoverflow.com/a/10678920 Fruit_初, Monitors, March, 2017. https://www.jianshu.com/p/8b3ed769bc9f C++并发型模式#6: 管程 - monitor http://dengzuoheng.github.io/cpp-concurency-pattern-6-monitor

![bg right:40% 100%](figs/basic-monitor-2.png) ![bg right:40% 100%](figs/basic-monitor-2.png) --- #### 管程 -- 条件变量

https://blog.csdn.net/Carson_Chu/article/details/104223122 【操作系统】同步互斥机制（二）：管程与进程间通信机制（IPC） https://zhuanlan.zhihu.com/p/465751547 学习进程互斥和进程同步有这一篇文就够了！ https://www.cnblogs.com/uestcliming666/p/13224545.html 《现代操作系统》——第6章 同步互斥机制（二）、进程间通信机制 https://yangzhaoyunfei.github.io/monitors/ 管程(Monitors)

释放管程权力，进入c的条件等待队列；唤醒紧急等待队列的第一个线程// 为进入管程的进程分配某种类型的资源，如果此时这种资源可用，那么进程使用，否则进程被阻塞，进入条件等待队列

唤醒由于等待这种资源而进入条件等待队列的(c的条件等待队列)第一个线程进入管程的进程某种资源释放，此时进程会唤醒由于等待这种资源而进入条件等待队列的第一个进程

--- #### 管程 -- 条件变量 - 同步：条件变量（Condition Variables)以及相关的两个操作：wait和signal，处理等待机制。 - Wait()操作 - 将自己阻塞在等待队列中 - 释放管程的互斥访问 - 将一个等在管程之外的进程调入 - Signal()操作 - 将等待队列中的一个线程唤醒 - 如果等待队列为空，则等同空操作 ![bg right:40% 100%](figs/basic-monitor-2.png)

https://blog.csdn.net/qq_34666857/article/details/103189107 Java并发编程模拟管程（霍尔Hoare管程、汉森Hansan管程、MESA管程)

https://blog.csdn.net/qq_34666857/article/details/103189107 Java并发编程模拟管程（霍尔Hoare管程、汉森Hansan管程、MESA管程)

https://cseweb.ucsd.edu/classes/sp17/cse120-a/applications/ln/lecture8.html

https://juejin.cn/post/6925331537365843981 synchronized原理剖析

管程中条件变量的释放处理方式

管程中条件变量的释放处理方式

https://www.cnblogs.com/upnote/p/13030741.html Java synchronized的理论基础-管程(Monitor)

https://www.cnblogs.com/upnote/p/13030741.html Java synchronized的理论基础-管程(Monitor)

https://www.cnblogs.com/upnote/p/13030741.html Java synchronized的理论基础-管程(Monitor)