我们都知道,synchronized用于获得某个对象的锁,达到同步的效果。今天我们就来分析下ssynchronized底层实现原理
一、Java对象头
java对象在创建时会根据虚拟机的不同产生不同的对象头用于标记该对象的固定信息。
如图所示,分别分为object header,Mark word,klass word三部分,记录该对象的创建信息以及属性。其中,相同类的不同实例的对象头会有所不同,同样的,不同类的对象头也不相同。
二、Monitor
Monitor被翻译为监视器或者管程。
Monitor对象由操作系统提供,并不是由java提供。
每个java对象都可以关联一个Monitor对象,当我们用synchronized获得一个对象的线程锁以后,java对象头的Mark Word区域就会产生一个指向Monitor对象的指针。Monitor内部结构如下
当我们用synchronized获得某个对象的线程锁以后,Monitor就会将内部的Owner设置成获取该线程锁的线程。Monitor内部仅仅允许一个Owner的存在,所以当有其他线程想要加入时,他们就会进入EntryList(阻塞队列,见前文)进行等待,等到Owner线程结束时,EntryList中的等待线程会重新争夺Owner实现同步执行任务。
注意:
1.synchronized必须是进入同一个对象的Monitor才有上述效果。
假设synchronized获得的是不同对象的线程锁,此时两个不同的对象指向的是两个不同的Monitor对象,也就是说两个线程任务的执行毫不相干。
2.不加synchronized的对象不会关联监视器(也就是不会有指针指向监视器),不遵循上述原则。
这里给出执行synchronized的字节码,仅供参考