java monitor是什么意思,Java面试常见问题：Monitor对象是什么？

synchronized保证线程同步的作用相信大家都已经非常熟悉了，可以把任意一个对象当作锁。synchronized 关键字无论是修饰代码块，还是修饰实例方法和静态方法，本质上都是作用于对象上。

多个线程要竞争共享资源，而操作共享资源资源的代码就在临界区内，想要进入到这个临界区就必须持有锁。

当用 synchronized 修饰代码块时，编译后的字节码会有 monitorenter 和 monitorexit 指令，分别对应的是获得锁和解锁。

当用 synchronized 修饰方法时，会给方法加上标记 ACC_SYNCHRONIZED，这样 JVM 就知道这个方法是一个同步方法，于是在进入同步方法的时候就会进行执行竞争锁的操作，只有拿到锁才能继续执行。

对象锁长啥样？

那么对象锁在内存中是怎样的呢？接下来就来看一下对象锁的实现细节。对象锁的状态是记录在对象头中的Mark word区域中。关于对象的内存区域的细节，大家可以参考前文《Java面试必考问题：对象在内存中是如何布局的？ 》。

对象内存布局

在不同的锁状态下，Mark word会存储不同的信息，这也是为了节约内存常用的设计。当锁状态为重量级锁(锁标识位=10)时，Mark word中会记录指向Monitor对象的指针，这个Monitor对象也称为管程或监视器锁。

64 位时 MarkWord 在不同状态下的内存布局

每个对象都存在着一个 Monitor对象与之关联。执行 monitorenter 指令就是线程试图去获取 Monitor 的所有权，抢到了就是成功获取锁了；执行 monitorexit 指令则是释放了Monitor的所有权。

ObjectMonitor类

在HotSpot虚拟机中，Monitor是基于C++的ObjectMonitor类实现的，其主要成员包括：

_owner：指向持有ObjectMonitor对象的线程

_WaitSet：存放处于wait状态的线程队列，即调用wait()方法的线程

_EntryList：存放处于等待锁block状态的线程队列

_count：约为_WaitSet 和 _EntryList 的节点数之和

_cxq: 多个线程争抢锁，会先存入这个单向链表

_recursions: 记录重入次数

ObjectMonitor的基本工作机制

上图简略展示了ObjectMonitor的基本工作机制：

(1)当多个线程同时访问一段同步代码时，首先会进入 _EntryList 队列中。

(2)当某个线程获取到对象的Monitor后进入临界区域，并把Monitor中的 _owner 变量设置为当前线程，同时Monitor中的计数器 _count 加1。即获得对象锁。

(3)若持有Monitor的线程调用 wait() 方法，将释放当前持有的Monitor，_owner变量恢复为null，_count自减1，同时该线程进入 _WaitSet 集合中等待被唤醒。

(4)在_WaitSet 集合中的线程会被再次放到_EntryList 队列中，重新竞争获取锁。

(5)若当前线程执行完毕也将释放Monitor并复位变量的值，以便其他线程进入获取锁。

线程争抢锁的过程要比上面展示得更加复杂。除了_EntryList 这个双向链表用来保存竞争的线程，ObjectMonitor中还有另外一个单向链表 _cxq，由两个队列来共同管理并发的线程。

ObjectMonitor的并发管理逻辑

ObjectMonitor::enter() 和 ObjectMonitor::exit() 分别是ObjectMonitor获取锁和释放锁的方法。线程解锁后还会唤醒之前等待的线程，根据策略选择直接唤醒_cxq队列中的头部线程去竞争，或者将_cxq队列中的线程加入_EntryList，然后再唤醒_EntryList队列中的线程去竞争。

ObjectMonitor::enter()

ObjectMonitor::enter()竞争锁的流程

下面我们看一下ObjectMonitor::enter()方法竞争锁的流程：

首先尝试通过 CAS 把 ObjectMonitor 中的 _owner 设置为当前线程，设置成功就表示获取锁成功。通过 _recursions 的自增来表示重入。

如果没有CAS成功，那么就开始启动自适应自旋，自旋还不行的话，就包装成 ObjectWaiter 对象加入到 _cxq 单向链表之中。关于自旋锁和自适应自旋，可以参考前文《Java面试必考问题：什么是自旋锁 》。

加入_cxq链表后，再次尝试是否可以CAS拿到锁，再次失败就要阻塞(block)，底层调用了pthread_mutex_lock。

ObjectMonitor::exit()方法

线程执行 Object.wait()方法时，会将当前线程加入到 _waitSet 这个双向链表中，然后再运行ObjectMonitor::exit() 方法来释放锁。

可重入锁就是根据 _recursions 来判断的，重入一次就执行 _recursions++，解锁一次就执行 _recursions--，如果 _recursions 减到 0 ，就说明需要释放锁了。

线程解锁后还会唤醒之前等待的线程。当线程执行 Object.notify()方法时，从 _waitSet 头部拿线程节点，然后根据策略(QMode指定)决定将线程节点放在哪里，包括_cxq 或 _EntryList 的头部或者尾部，然后唤醒队列中的线程。

我会持续更新关于物联网、云原生以及数字科技方面的文章，用简单的语言描述复杂的技术，也会偶尔发表一下对IT产业的看法，欢迎大家关注，谢谢。