Kosten der Synchronisation

Question

In einem stark konkurrierenden Java-Programm und unter der Annahme, dass meine Methoden korrekt geschrieben sind und korrekt synchronisiert, ich frage mich, wie Sie feststellen, was besser ist:

void synchronized something() { 
    ... 
} 

oder

void something() { 
    synchronized(this) { 
     ... 
    } 
    // here do stuff no requiring synchronization 
    . 
    . // do computation 'A' 
    . 
    synchronized(this) { 
     ... 
    } 
    // here do other stuff no requiring synchronization 
    . 
    . // do computation 'B' 
    . 
    synchronized(this) { 
     ... 
    } 
} 

Jetzt erkenne ich, dass, wenn die Berechnung von 'A' und 'B' viel Zeit in Anspruch nimmt, die zweite Version offensichtlich besser ist.

Meine Frage ist jedoch: An welchem ​​Punkt wissen Sie, dass die zweite Version effizienter ist?

Ist die zweite Version immer schneller oder gibt es versteckte Kosten, wenn Sie die Sperre mehrfach erfassen/freigeben?

Was passiert, wenn meine Berechnung 'A' ist einfach etwas trivial wie:

s.getString().substring(0, 2).toLowerCase(); 

Answer 1

Ja, kostet synchronized Zeit. Wenn die tatsächlichen Berechnungen einfach sind und es innerhalb einer Schleife oder so ist, kostet es Lose der Zeit im Vergleich zu den tatsächlichen Berechnungen.

dieses Beispiel Siehe: http://ideone.com/zgpB7

• Innenteil synchronisiert: ca. 0.025s
• Ganz Schleife synchronisiert: weniger als 0,001 s

zu bestimmen, welche für Ihr Programm besser ist, lassen es macht Sachen und schaut, zu welcher Zeit es schneller ist.

Answer 2

Thejh macht einen guten Punkt, dass es einige Kosten gibt, um einen Thread wiederholt zu sperren. Immer, wenn ich mit Leuten über parallele Threads gesprochen habe, ging es immer darum, sicherzustellen, dass alle Threads schnell ausgeführt werden, wenn sie gleichzeitig ausgeführt werden.

Wenn Sie eine Sperre länger als erforderlich beibehalten, können Sie die anderen Threads verlangsamen. Sie müssen sitzen und warten, während Sie arbeiten, die die Arbeit, die sie machen wollen, nicht stören. Wenn dies eine Situation ist, in der Ihnen Millisekunden wirklich wichtig sind, sollten Sie einen Profiler verwenden, um zu sehen, was in Ihrer Situation am besten funktioniert. Multi-Threading-Optimierung ist eine der Situationen, in denen es "Best Practices" gibt, die allgemein gelten, aber Sie werden keine Regel bekommen, die in allen Situationen funktioniert. Wenn Sie so viel Granularität benötigen, sollten Sie es testen und sehen.

Answer 3

Bedeutet "richtig geschrieben" und "korrekt synchronisiert", dass es im mehrsynchronisierten Fall keine Abhängigkeiten zwischen den Code-Abschnitten gibt? Wenn Abhängigkeiten vorhanden sind, könnte es sein, dass der mehrfach synchronisierte Fall zu einer Verletzung einer Invariante führen könnte. Anders gesagt, können Sie garantieren, dass die Ausführung des mehrfach synchronisierten Falls nicht dazu führt, dass sich ein Objekt in einem ungültigen Zustand befindet? Wenn nicht, dann könnte der einfach synchronisierte Fall besser sein.