JVM Synchronisierte schließlich Blöcke

Question

Blick auf die Java Virtual Machine Specification und kompilierten Code sagt uns, wie "synchronized" Blöcke in Java implementiert sind. Der folgende Code:

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

... entspricht in etwa dieser Pseudo-Code:

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

... mit einer Ausnahme.

Aus irgendeinem Grund werden in der Ausnahmetabelle zwei Handler angezeigt. Zum Beispiel:

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

Der erste Handler ist, wo ich es erwarten, aber der zweite Handler ist eigentlich für den finally-Block des ersten Handler, und wenn es eine Ausnahme abfängt führt sie den gleichen Handler. Man könnte dies schlecht in der folgenden Art und Weise visualisieren:

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

Weiß jemand, warum das so ist? Wenn es nur der finally-Block wäre, wäre der zweite Eintrag in der Tabelle nicht vorhanden. Außerdem kann ich keinen möglichen Grund sehen, den finally Block erneut ausführen zu wollen, wenn er bereits eine Ausnahme auslöst.

Danke, Brandon

Answer 1

Wenn es eine Wahl immer und immer wieder zwischen seinem erfolglosen Versuch, den Monitor zu lösen, und Verfahren ohne Loslassen, werden beide Alternativen zu einem Deadlock führen; nur wenn Sie ohne Freigabe fortfahren, dann passiert der Deadlock erst, wenn das nächste Mal versucht wird, den Monitor zu erfassen, und dieses Problem kann weit entfernt vom ursprünglichen Fehler sein. Auch der Versuch, den Monitor freizugeben, kann eventuell funktionieren, während der Monitor nicht freigegeben wird, ist ein gewisses Desaster. Also solltest du es besser versuchen.