8.管程：并发编程的万能钥匙 - 理论基础

1. 什么是管程

英文Monitor，管理共享变量以及对共享变量的操作过程。在java当中，就是管理成员变量和成员方法。

2. MESA 模型

并发编程有两个核心问题：

• 互斥：同一时刻只允许一个线程访问共享资源；
• 同步：线程之间如何通信、协作。

解决互斥问题
就是共享变量及其对共享变量的操作统一封装起来，与面向对象高度契合。

管程 X 将共享变量 queue 这个队列和相关的操作入队 enq()、出队 deq() 都封装起来了；如果想访问共享变量 queue，只能通过调用管程提供的 enq()、deq() 方法；enq()、deq() 保证互斥性，只允许一个线程进入管程。

解决同步问题

3.总结

Java 参考了 MESA 模型，语言内置的管程（synchronized）对 MESA 模型进行了精简。MESA 模型中，条件变量可以有多个，Java 语言内置的管程里只有一个条件变量。具体如下图所示。