java并发-管程

什么是管程

Java中，每个对象其实都一个Monitor(java中翻译为监视器)，Java中提供的synchronized关键字及wait()、notify()、notifyAll()方法，都是Monitor的一部分。

Monitor
Monitor可以理解为一个同步工具或一种同步机制，通常被描述为一个对象。每一个Java对象就有一把看不见的锁，称为内部锁或者Monitor锁。

Monitor是线程私有的数据结构，每一个线程都有一个可用monitor record列表，同时还有一个全局的可用列表。每一个被锁住的对象都会和一个monitor关联，同时monitor中有一个Owner字段存放拥有该锁的线程的唯一标识，表示该锁被这个线程占用。

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

synchronized关键字是JVM实现的，底层是基于操作系统Mutex Lock实现；但他们都是基于MESA模型实现的。

Monitor在OS中或者别处的翻译是管程，我也更倾向于翻译为管程，Java中使用的是MESA管程。

在管程的发展史上，先后出现过三种不同的管程模型，分别是：Hasen 模型、Hoare 模型和 MESA 模型。其中，现在广泛应用的是 MESA 模型，并且 Java 管程的实现参考的也是 MESA 模型。

管程模型解决并发2大核心问题：一个是互斥，即同一时刻只允许一个线程访问共享资源；另一个是同步，即线程之间如何通信、协作。

管程模型的代码化语义: