内容简介:synchronized 语句块里代码出现异常会怎么样?
前几天同组的一个小伙伴忽然问我一个问题:synchronized 里异常挂掉会怎么样,锁释放不释放,为什么?我当时的本能回答是:锁肯定会释放,不释放就出问题了,应该会在异常退出时自动释放掉。但至于为什么,却也想不起来了,于是重新翻看了下《深入理解 Java 虚拟机》, 找到了答案。
先介绍 Java 虚拟机的两个关于同步的指令
| 字节码 | 助记符 | 指令含义 |
|---|---|---|
| 0xc2 | monitorenter | 获得对象的锁,用于同步方法或同步块 |
| 0xc3 | monitorexit | 释放对象的锁,用于同步方法或同步块 |
下面举个例子说明一下:
public class Test {
void onlyMe(Foo f) {
synchronized(f) {
doSomething();
}
}
void doSomething() {}
private static class Foo {
}
}
经 javac 编译后,这段代码生成的字节码序列如下(仅仅截取了 onlyMe 方法):
通过上面可以看到有两个 monitorexit 指令,第一个 monitorexit 指令如果正确执行,会走到下面的 goto 指令,直接跳转到 18 行 return,而如果发生异常,下面的 astore_3 和 aload_2 指令会继续执行异常问题, aload_2 将把局部变量 Slow 2 的元素 (即 f ) 入栈,下一步会继续执行 monitorexit 指令退出同步。
以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
深入理解SPARK
耿嘉安 / 机械工业出版社 / 2016-1-1 / 99
《深入理解SPARK:核心思想与源码分析》结合大量图和示例,对Spark的架构、部署模式和工作模块的设计理念、实现源码与使用技巧进行了深入的剖析与解读。 《深入理解SPARK:核心思想与源码分析》一书对Spark1.2.0版本的源代码进行了全面而深入的分析,旨在为Spark的优化、定制和扩展提供原理性的指导。阿里巴巴集团专家鼎力推荐、阿里巴巴资深Java开发和大数据专家撰写。 本书分为......一起来看看 《深入理解SPARK》 这本书的介绍吧!