【管程模型-并发编程的万能钥匙 】1.管程指的是管理共享变量以及对共享变量的操作过程，让他们支持并发 2.并发2大核心问题:互斥:同一时刻只有一个能访问到临界资源 同步:2个线程间的通信与协作

学过操作系统知道用信号量能解决所有并发问题。

Java采用的是管程技术，synchronized关键字及wait()、notify()、notifyAll()这三个方法都是管程的组成部分。
    而管程和信号量是等价的，所谓等价指的是用管程能够实现信号量，也能用信号量实现管程.
    所谓管程，指的是管理共享变量以及对共享变量的操作过程，让他们支持并发。

MESA模型。

在并发编程领域，有两大核心问题：
     一个是互斥，即同一时刻只允许一个线程访问共享资源；
     另一个是同步，即线程之间如何通信、协作。
    
管程解决互斥问题的思路很简单，就是将共享变量及其对共享变量的操作统一封装起来。
    假如我们要实现一个线程安全的阻塞队列，一个最直观的想法就是：将线程不安全的队列封装起来，对外提供线程安全的操作方法，例如入队操作和出队操作。
    
    利用管程，可以快速实现这个直观的想法。在下图中，管程X将共享变量queue这个线程不安全的队列和相关的操作入队操作enq()、出队操作deq()都封装起来了；
        线程A和线程B如果想访问共享变量queue，只能通过调用管程提供的enq()、deq()方法来实现；enq()、deq()保证互斥性，只允许一个线程进入管程。
        
由此可见，管程模型和面向对象高度契合的。估计这也是Java选择管程的原因。

那管程如何解决线程间的同步问题呢？
    管程里还引入了条件变量的概念，而且每个条件变量都对应有一个等待队列。
    条件变量和条件变量等待队列的作用是什么呢？其实就是解决线程同步问题。
    等待啊，去哪里等呢？就去条件变量对应的等待队列里面等
    
    
对于MESA管程来说，有一个编程范式，就是需要在一个while循环里面调用wait()。这个是MESA管程特有的。

while(条件不满足) {
  wait();
}

参考：3.8、管程：并发编程的万能钥匙 - 知乎 (zhihu.com)