【JVM笔记】同步控制字节码指令

Java 虚拟机支持两种同步结构：方法级的同步和方法内部一段指令序列的同步，这两种同步都是使用 monitor 来支持的

 

目录

方法级的同步

方法内指定指令序列的同步

---

方法级的同步

方法级的同步是隐式的，即无须通过字节码指令来控制，它实现在方法调用和返回操作之中。虚拟机可以从方法常量池的方法表结构中的 ACC_SYNCHRONIZED 访问标志得知一个方法是否声明为同步方法

当调用方法时，调用指令将会检查方法的 ACC_ SYNCHRONIZED 访问标志是否设置

● 如果设置了， 执行线程将先持有同步锁，然后执行方法。最后在方法完成（无论是正常完成还是非正常完成）时释放同步锁

● 在方法执行期间，执行线程持有了同步锁，其他任何线程都无法再获得同一个锁

● 如果一个同步方法执行期间抛出了异常，并且在方法内部无法处理此异常，那这个同步方法所持有的锁将在异常抛到同步方法之外时自动释放

方法内指定指令序列的同步

同步一段指令集序列通常是由 java 中的 synchronized 语句块来表示的。jvm 的指令集有 monitorenter 和 monitorexit 两条指令来支持 synchronized 关键字的语义

当一个线程进入同步代码块时，它使用 monitorenter 指令请求进入。如果当前对象的监视器计数器为 0，则它会被准许进入，若为 1,，则判断持有当前监视器的线程是否为自己， 如果是，则进入，否则进行等待， 直到对象的监视器计数器为 0，才会被允许进入同步块

当线程退出同步块时，需要使用 monitorexit 声明退出。在 Java 虚拟机中，任何对象都有一个监视器与之相关联，用来判断对象是否被锁定，当监视器被持有后，对象处于锁定状态

指令 monitorenter 和 monitorexit 在执行时，都需要在操作数栈项压入对象，之后 monitorenter 和 monitorexit 的锁定和释放都是针对这个对象的监视器进行的

下图展示了监视器如何保护临界区代码不同时被多个线程访问，只有当线程 4 离开临界区后，线程1、2、3 才有可能进入