1. 什么是管程
英文Monitor,管理共享变量以及对共享变量的操作过程。在java当中,就是管理成员变量和成员方法。
2. MESA 模型
并发编程有两个核心问题:
- 互斥:同一时刻只允许一个线程访问共享资源;
- 同步:线程之间如何通信、协作。
解决互斥问题
就是共享变量及其对共享变量的操作统一封装起来,与面向对象高度契合。
管程 X 将共享变量 queue 这个队列和相关的操作入队 enq()、出队 deq() 都封装起来了;如果想访问共享变量 queue,只能通过调用管程提供的 enq()、deq() 方法;enq()、deq() 保证互斥性,只允许一个线程进入管程。
解决同步问题
3.总结
Java 参考了 MESA 模型,语言内置的管程(synchronized)对 MESA 模型进行了精简。MESA 模型中,条件变量可以有多个,Java 语言内置的管程里只有一个条件变量。具体如下图所示。