java同步和异常处理

Question

如果我有一个synchronized块，并且在该块中的某个位置抛出了一个未在synchronized块中捕获的异常，那么当异常传播出该块时，锁是否会被释放？( synchronized块)

synchronized( mutex )
{
    throw new Exception( "" );
}

Answer 1

锁总是被释放的。

来自JLS §14.19

“如果块的执行正常完成，则锁被解锁，同步语句正常完成。如果块的执行出于任何原因突然完成，则锁被解锁，同步语句出于同样的原因突然完成。”

Answer 2

是的，锁被释放了。

来自here

Java平台的异常机制与其同步模型(§17)集成在一起，因此锁作为同步语句(§14.18)释放，同步方法的调用(§8.4.3.6，§15.12)突然完成。

Answer 3

应该没有问题。无论执行路径是，锁都会被释放(，exception...)详情请参见this。