synchronized

  最近看JVM的时候,看到了java虚拟机的字节码指令,其中的同步指令,来做一些总结:

    Java虚拟机可以支持方法级的同步和方法内部一段指令序列的同步,这两种同步结构都是使用管程(Monitor,更常见的是直接将它称为“锁”)来实现的。

当synchronized加在方法上的时候:

    方法级的同步是隐式的,无须通过字节码指令来控制,它实现在方法调用和返回操作之中。

   虚拟机可以从方法常量池中的方法表结构中的ACC_SYNCHRONIZED访问标志得知一个方法是否被声明为同步方法。

    当方法调用时,调用指令将会检查方法的ACC_SYNCHRONIZED访问标志是否被设置,如果设置了,执行线程就要求先成功持有管程,然后才能执行方法,最后当方法完成(无论是正常完成还是非正常完成)时释放管程。

    在方法执行期间,执行线程持有了管程,其他任何线程都无法再获取到同一个管程。

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

当synchronized使用代码块的时候: 

   同步一段指令集序列通常是由Java语言中的synchronized语句块来表示的,Java虚拟机的指令集中有monitorenter和monitorexit两条指令来支持synchronized关键字的语义,正确实现synchronized关键字
需要Javac编译器与Java虚拟机两者共同协作支持。

monitorenter,monitorexit是2个关键的指令,比较长,可以自己用笔在纸上写一写。进入和退出?是这样理解的吗?接着看!

void onlyMe(Foo f) {
    synchronized(f) {
        doSomething();
    }
}

编译后的字节码

  编译器必须确保无论方法通过何种方式完成,方法中调用过的每条monitorenter指令都必须有其对应的monitorexit指令,而无论这个方法是正常结束还是异常结束。

  编译之后的二进制文件可以看到,为了保证在方法异常完成时monitorenter和monitorexit指令依然可以正确配对执行,编译器会自动产生一个异常处理程序,这个异常处理程序声明可处理所有的异常,它的目的就是用来执行monitorexit指令。

 上面这种方式是synchronized的加在同步代码块上的。

 还有一种是synchronized加在方法上的:可以参考博客https://blog.csdn.net/qq_36934826/article/details/95978700

posted @ 2022-03-22 12:21  程序员hg  阅读(58)  评论(0编辑  收藏  举报