面试题

synchronized实现原理

2020-11-06  本文已影响0人  雁阵惊寒_zhn

Java虚拟机支持方法级的同步和方法内部一段指令序列的同步,两种同步结构都使用管程(Monitor,或直接称为锁)来实现。

synchronized修饰的方法属于方法级同步,方法级的同步是隐式的,无须通过字节码指令来控制,实现在方法调用和返回中。在Class文件中同步的方法用ACC_SYNCHRONIZED标识,方法调用时会先检查是否设置了这个字段,如果存在,执行线程需要先成功持有管程Monitor,才能执行方法。正常退出方法或者抛出异常都会自动释放管程Monitor。

synchronized同步代码块,Java虚拟机的指令集中有monitorentermonitorexit两条指令支持关键字synchronized语义,两条指令之间的部分就是同步的代码块逻辑的字节码指令。

两者本质上都是对一个对象的管程Monitor进行获取,管程Monitor存储在Java的对象头Mark Word中。

在HotSpot虚拟机底层C++实现中,oopDesc类是Java对象的顶级基类,其中定义着对象头数据结构,所以每一个Java对象都包含对象头。锁对象(管程Monitor)是一个定义的ObjectMonitor结构,HotSpot虚拟机采用ObjectMonitor类来实现Monitor。


上一篇下一篇

猜你喜欢

热点阅读