java - JVM 同步 Finally block

Question

查看 Java Virtual Machine Specification编译后的代码告诉我们如何 "synchronized" block 是用java实现的。以下代码:

public void testSync()
{
    Object obj = getSomeObject();
    synchronized (obj) { doSomething(); }
}

...大致相当于这个伪代码:

public void testSync()
{
    Object obj = getSomeObject();
    Object __temp = obj;
    monitorenter __temp;
    try { doSomething(); }
    finally { monitorexit __temp; }
}

...有一个异常(exception)。

出于某种原因，异常表显示了两个 finally 处理程序。例如:

  Exception table:
     from    to  target type
        12    20    23   any
        23    25    23   any

第一个处理程序在我期望的位置，但第二个处理程序实际上用于第一个处理程序的 finally block ，如果它捕获到异常，它会执行相同的处理程序。您可以通过以下方式将其形象化:

try { doSomething(); }
finally { beginTry: try { monitorexit __temp; } finally { goto beginTry; } }

有人知道这是为什么吗？如果它只是 finally block ，则表中的第二个条目将不存在。此外，如果 finally block 已经抛出异常，我看不出有任何可能的理由要再次执行它。

谢谢， 布兰登

Answer 1

如果要在多次尝试释放监视器失败和继续不释放监视器之间做出选择，两种选择都会导致死锁；只是如果您不释放就继续进行，那么直到下一次尝试获取监视器时才会发生死锁，并且该问题可能与最初的失败相去甚远。同样尝试释放监视器可能最终会成功，而让监视器不被释放是一场灾难。所以你最好重试。