Monitor被翻译为监视器或者管城。每个Java对象都可以关联一个Monitor对象,如果如果使用 synchronized 给对象上锁(重量级)之后,该对象头的 Mark Word 中就被设置指向 Monitor 对象的指针。
1. Java对象头
以32位虚拟机为例,普通对象和数组对象所占的长度是不同的。
普通对象:
数组对象:相较于普通对象,多出32位用来存储数组长度
MarkWord:表示对象的线程锁状态,另外还可以用来配合GC、存放该对象的hashCode;
KlassWord:这一部分用于存储对象的类型指针,该指针指向它的类元数据,JVM通过这个指针确定对象是哪个类的实例。该指针的位长度为JVM的一个字大小,即32位的JVM为32位,64位的JVM为64位。
Mark Word的结构如下:
64位虚拟的的Mark Work的结构如下:
具体的细节会在锁升级那篇博客中详解。
2. 工作流程
工作流程:
开始时Monitor中的Owner为null;
如果此时Thread-2执行synchronized(obj),就会将Monitor的Owner设置为Thread-2,代表线程Thread-2获得到了锁,此时的obj对象的MarkWord对象指向这个Monitor。
如果在Thread-2上锁过程中,THread-3,4等也来执行synchronized(obj),那么后来的线程就会进入EntryList(双向链表)进入阻塞状态。
如果此时Thread-2执行完同步代码块的内容,根据obj对象头的地址寻找Monitor,将Monitor的Owner设置为null。同时唤醒EntryList的线程来竞争锁,这个竞争是非公平的。
WaitSet 中的 Thread-0,是以前获得过锁,但条件不满足进入 WAITING 状态的线程(wait-notify 机制)
注意:
synchronized 必须是进入同一个对象的 Monitor 才有上述的效果
不加 synchronized 的对象不会关联监视器,不遵从以上规则