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