Java虚拟机是怎么实现synchronized的

最新推荐文章于 2022-10-25 15:46:49 发布

_吹雪_

最新推荐文章于 2022-10-25 15:46:49 发布

阅读量548

点赞数

分类专栏： JVM原理与调优

本文链接：https://blog.csdn.net/John8169/article/details/83036957

版权

本文详细探讨了Java虚拟机中`synchronized`关键字的实现机制，包括字节码层面的monitorenter和monitorexit指令，以及三种锁状态：重量级锁、轻量级锁和偏向锁。讲解了每种锁的状态转换、性能优化策略，如自旋锁、自适应自旋和锁消除，旨在深入理解Java并发机制。

摘要由CSDN通过智能技术生成

synchronized字节码

在 Java 程序中，我们可以利用 synchronized 关键字来对程序进行加锁。它既可以用来声明一个 synchronized 代码块，也可以直接标记静态方法或者实例方法。

当声明 synchronized 代码块时，编译而成的字节码将包含 monitorenter 和 monitorexit 指令。这两种指令均会消耗操作数栈上的一个引用类型的元素（也就是 synchronized 关键字括号里的引用），作为所要加锁解锁的锁对象。字节码中可能包含一个 monitorenter 指令以及多个 monitorexit 指令。这是因为 Java 虚拟机需要确保所获得的锁在正常执行路径，以及异常执行路径上都能够被解锁。

当用 synchronized 标记方法时，你会看到字节码中方法的访问标记包括 ACC_SYNCHRONIZED。该标记表示在进入该方法时，Java 虚拟机需要进行 monitorenter 操作。而在退出该方法时，不管是正常返回，还是向调用者抛异常，Java 虚拟机均需要进行 monitorexit 操作。这里 monitorenter 和 monitorexit 操作所对应的锁对象是隐式的。对于实例方法来说，这两个操作对应的锁对象是 this；对于静态方法来说，这两个操作对应的锁对象则是所在类的 Class 实例。

关于 monitorenter 和 monitorexit 的作用，我们可以抽象地理解为每个锁对象拥有一个锁计数器和一个指向持有该锁的线程的指针。

当执行 monitorenter 时，如果目标锁对象的计数器为 0，那么说明它没有被其他线程所持有。在这个情况下，Java 虚拟机会将该锁对象的持有线程(也