synchronized加锁操作时,是monitor在底层操作系统中完成了重量级锁的加锁操作,主要是通过了monitorEnter以及monitorExit完成这个操作的。那么synchronized与monitor是怎么关联的呢?先带个疑问。
Java对象头简介
以32位机器为例:
在对象头中,普通对象的对象头包含Mark Word,Klass Word,而数组对象多了一个array length。
Mark Word,在不同的状态下记录了不同的内容,后续会一一介绍。
Klass word,记录了普通对象指针,以及元数据信息以及方法。
array length,记录了当前数组的长度。
在以上内容中,我们主要关心mark word,这个是和monitor相关联。
mark word结构
mark word主要为64bit,根据对象的不同状态,对象头的内容也不一致,Normal(正常),Biased(偏离锁),Lightweight Locked(轻量级锁),Heavyweight Lock(重量级锁)。
这里我们介绍重量级锁,其它的后续我会另外总结的。
重量级锁,Heavyweight Lock,64位中的结构,划分为ptr_to_heavyweight_monitor,占据62位,以及后两位锁状态10。
ptr_to_heavyweight_monitor,这个记录的底层操作系统monitor对象所存放的地址,就是通过这个地址,依赖monitor底层对象实现了加锁操作。
后两位10,代表了当前锁是重量级锁,它是锁状态的一个标识。
Monitor结构
Monitor被称呼为监视器或者管程。
每个java对象都可以关联一个monitor对象,如果使用Synchronized来进行加重量级锁的话,会在Mark word中存放monitor地址,来与monitor对象相关联。也就是我上面所说的。
那么,就看看Monitor的结构。
Monitor主要目的是添加重量级锁,来加锁阻塞。就我原先线程所说的六种状态,阻塞的状态总共有三种,waiting,timed_waiting以及blocked。从这三种状态来理解Monitor中的waitSet,EntryList以及Owner。
很明显,owner代表了当前monitor对象是否被线程所持有,如果持有的话,monitor对象不为空,否则为空。
EntryList,则是存放竞争锁失败的线程,来对其阻塞。这里很明显,存放的就是blocked状态的线程。
WaitSet,就是线程已经竞争到某个锁了,但因为某种原因,可能需要等其它线程完成,当前线程不得不调用wait方法或者join方法等等(此时该线程状态为waiting或者timed_waiting),来等待某个线程执行完成后再次执行该线程。而这种waiting或者timed_waiting状态的线程,就是存放至WaitSet中。
从代码层面简单看一下,很简单的代码:
package com.bo.threadstudy.four;
import lombok.extern.slf4j.Slf4j;
/**
* 测试操作系统底层monitor的测试类用例
*/
@Slf4j
public class MonitorTest {
public static void main(String[] args) {
Object lock = new Object();
synchronized (lock){
log.debug("测试");
}
}
}
运行后使用javap进行反编译一下:
指令这些我这不解释了,只是在这里简单的看一下。确实调用的是monitor。