一. 什么是管程
管程(Monitors) 指的是管理共享变量以及对共享变量的操作过程,让他们支持并发。它是 Java 语言在1.5之前提供的唯一并发原语,而 Java 1.5之后提供的 SDK 并发包也是以管程技术为基础的。
二. 为什么使用管程
信号量机制本身存在着缺点:进程自备同步操作,P(S) 和 V(S) 操作大量分散在各个进程中,不易管理,易发生死锁。而管程封装了同步操作,对进程隐蔽了同步细节,简化了同步功能的调用界面,使得用户编写并发程序如同编写顺序(串行)程序一样简单。
引入管程机制的目的:
- 把分散在各进程中的临界区集中起来进行管理;
- 防止进程有意或无意的违法同步操作;
- 便于用高级语言来书写程序,也便于程序正确性验证。
三. 管程如何解决并发问题
在并发编程领域有两大核心问题:一个是互斥,即同一时刻只允许一个线程访问共享资源;另一个是同步,即线程之间如何通信和协作。这两个问题都可以通过管程来解决。
我们今天重点介绍一下现在最广泛应用的管程模型:MESA模型。
1. 管程对互斥问题的解决
如上图所示:
- 管程 X 封装了共享变量 queue 队列和