37、Java 中同步语句、异常处理与可达性分析

Java 中同步语句、异常处理与可达性分析

1. 同步语句（synchronized Statement）

1.1 基本概念

同步语句主要用于为执行线程获取互斥锁，执行一个代码块，然后释放该锁。在执行线程持有锁期间，其他线程无法获取该锁。其语法结构如下：

synchronized ( Expression ) Block

这里， Expression 的类型必须是引用类型，否则会出现编译时错误。

1.2 执行流程

1. 首先计算 Expression 的值。
2. 若 Expression 的计算因某种原因突然结束，同步语句也会因相同原因突然结束。
3. 若 Expression 的值为 null ，则会抛出 NullPointerException 。
4. 若 Expression 的值非空，设为 V ，执行线程会锁定与 V 关联的锁，接着执行 Block 。
   • 若 Block 正常完成，锁会被解锁，同步语句正常完成。
   • 若 Block 因任何原因突然结束，锁会被解