前言
在Java 1.5之前,Java语言提供的唯一并发语言就是管程,Java 1.5之后提供的SDK并发包也是以管程为基础的。除了Java之外,C/C++、C#等高级语言也都是支持管程的。
那么什么是管程呢?
见名知意,是指管理共享变量以及对共享变量操作的过程,让它们支持并发。翻译成Java领域的语言,就是管理类的状态变量,让这个类是线程安全的。
synchronized关键字和wait()、notify()、notifyAll()这三个方法是Java中实现管程技术的组成部分。记得学习操作系统时,在线程一块还有信号量机制,管程在功能上和信号量及PV操作类似,属于一种进程同步互斥工具。Java选择管程来实现并发主要还是因为实现管程比较容易。
管程对应的英文是Monitor,直译为“监视器”,而操作系统领域一般翻译为“管程”。
在管程的发展史上,先后出现过三种不同的管程模型,分别是Hasen模型、Hoare模型和MESA模型。现在正在广泛使用的是MESA模型。下面我们便介绍MESA模型。
MESA模型
管程中引入了条件变量的概念,而且每个条件变量都对应有一个等待队列。条件变量和等待队列的作用是解决线程之间的同步问题。
我们来看一个例子来理解这个模型。多个线程对一个共享队列进行操作。
假设线程T1要执行出队操作,但是这个操作要执行成功的前提是队列不能为空。这个队列不能为空就是管程里的条件变量。若是线程T1进入管程后发现队列是空的,那它就需要在“队列不空”这个条件变量的等待队列中等待。
通过调用wait()
实现。若是用对象A代表“队列不空”这个条件,那么线程T1需要调用A.wait()
,来将自己阻塞。
在线程T1进入条件变量的等待队列后,是允许其他线程进入管程的。
再假设之后另外一个线程T2执行了入队操作,入队操作成功之后,“队列不空”这个条件对于线程T1来说已经满足了,此时线程T2要通知线程T1,告诉它调用需要的条件已经满足了。
那么线程T2怎么通知线程T1?线程T2调用A.notify()
来通知A等待队列中的一个线程,此时这个线程里面只有T1,所以notify唤醒的就是线程T1,如果当这个条件变量的等待队列不止T1一个线程,我们就需要使用notifyAll()。
当线程T1得到通知后,会从等待队列中出来,重新进入到入口等待队列中。
使用代码说明就如下:(代码来自参考[1])
注意,await()
和前面的wait()
的语义是一样的;signal()
和前面的notify()
语义是一样的(没有提到的signalAll()
和notifyAll()
语义也是一样的)。
public class BlockedQueue<T>{
final Lock lock = new ReentrantLock();
// 条件变量:队列不满??
final Condition notFull = lock.newCondition();
// 条件变量:队列不空??
final Condition notEmpty = lock.newCondition();
// 入队
void enq(T x) {
lock.lock();
try {
while (队列已满){
// 等待队列不满
notFull.await();
}??
// 省略入队操作...
// 入队后, 通知可出队
notEmpty.signal();
}finally {
lock.unlock();
}
}
// 出队
void deq(){
lock.lock();
try {
while (队列已空){
// 等待队列不空
notEmpty.await();
}
// 省略出队操作...
// 出队后,通知可入队
notFull.signal();
}finally {
lock.unlock();
}??
}
}
wait()的正确使用姿势
对于MESA管程来说,有一个编程范式:
while(条件不满足) {
??wait();
}
我们在前面介绍等待-通知机制时就提到过这种范式。这个范式可以解决“条件曾将满足过”这个问题。唤醒的时间和获取到锁继续执行的时间是不一致的,被唤醒的线程再次执行时可能条件又不满足了,所以循环检验条件。
MESA模型的wait()方法还有一个超时参数,为了避免线程进入等待队列永久阻塞。
notify()和notifyAll()分别何时使用
满足以下三个条件时,可以使用notify(),其余情况尽量使用notifyAll():
- 所有等待线程拥有相同的等待条件;
- 所有等待线程被唤醒后,执行相同的操作;
- 只需要唤醒一个线程。
三种管程模型在通知线程上的区别
Hasen模型、Hoare模型和MESA模型的一个核心区别是当条件满足后,如何通知相关线程。
管程要求同一时刻只允许一个线程执行,那当线程T2的操作使得线程T1等待的条件满足时,T1和T2究竟谁可以执行呢?
- 在Hasen模型里,要求notify()放在代码的最后,这样T2通知完T1后,T2就结束了,然后T1再执行这样就可以保证同一时刻只有一个线程执行。
- 在Hoare模型里面,T2通知完T1后,T2阻塞,T1马上执行;等T1执行完,再唤醒t2。比起Hasen模型,T2多了一次阻塞唤醒操作。
- 在MESA管程里,T2通知完T1后,T2还是会接着执行,T1并不立即执行,仅仅是从条件变量的等待队列进入到入口等待队列中(但是T1再次执行时,可能条件又不满足了,所以需要循环防方式检验条件变量)。这样的好处是:notify()代码不用放到代码的最后,T2也没有多余的阻塞唤醒操作。
Java语言的内置管程synchronized
Java 参考了 MESA 模型,语言内置的管程(synchronized)对 MESA 模型进行了精简。MESA 模型中,条件变量可以有多个,Java 语言内置的管程里只有一个条件变量。模型如下图所示。(图来自参考[1])
Java 内置的管程方案(synchronized)使用简单,synchronized 关键字修饰的代码块,在编译期会自动生成相关加锁和解锁的代码,但是仅支持一个条件变量;而 Java SDK 并发包实现的管程支持多个条件变量,不过并发包里的锁,需要我们自己进行加锁和解锁操作。
小结
开始本来打算不写这篇学习笔记的,但是思考了一下,Java并发实现本就是源于操作系统中的管程,既然要好好介绍Java并发那么它的来源也应该要好好介绍一下。在学习一个知识的时候,其背后的理论也要好好掌握。
参考:
[1]极客时间专栏王宝令《Java并发编程实战》
原文地址:https://www.cnblogs.com/myworld7/p/12238796.html