一、什么是管程
管程是一个抽象的概念模型,其封装了一套对共享资源访问的模型,目的是通过一个模型来管理共享资源的访问过程,让可能存在多个进程或线程同时访问一个共享资源时能达到"互斥"和"同步"的效果,管程实现管程模型必须达到下面几点要求:
- 管程中的共享变量对于外部都是不可见的,只能通过管程才能访问对应的共享资源
- 管程是互斥的,某个时刻只能允许一个进程或线程访问共享资源
- 管程中需要有线程等待队列和相应的等待或唤醒操作
- 必须有一种方法使进程无法继续运行时被阻塞
二、Java管程
Java虚拟机给每个对象和class字节码都设置了一个Monitor,用于检测并发代码的重入,同时在Object类中还提供了notify和wait方法来对线程进行控制。
Java是通过synchronized关键字和wait(),notify(),notifyAll()方法实现了整个管程模型,与标准的管程模型不同的是,Java的Monitor属于一种简单的管程模型,因为它并没有使用多个条件变量的队列,不管是竞争锁产生的阻塞,还是拿到锁但是因为某个条件不合格而导致的阻塞,统一都放入一个队列了。
可以通过下面这个图来理解管程
参考