2-up - ETH Zürich

Wirkung von „synchronized“
• Alle bezüglich des gleichen Sperrobjektes synchronisierten
kritischen Abschnitte schliessen sich wechselseitig aus
• Wird automatisch durch die Java-VM garantiert
• Beispiel:
synchronized (Konto) {
float a = Konto.Stand();
a = a + Betrag;
Konto.Update(a);
}
Man versuche herauszufinden,
was die Java-
Sprachbeschreibung
zur Fairness aussagt
• Beachte: unkooperative Threads können aber weiterhin z.B.
über die Objektreferenz (hier: „Konto“) auf das „gesperrte“
Objekt zugreifen und es „parallel“ manipulieren
• Die richtige Verwendung des Sperrmechanismus
liegt in der Verantwortung des Programmierers!
821
Beispiel für „synchronized“
Initial: int a = 1, b = 2;
Thread 1: a = b;
Thread 2: b = a;
• Zuweisung ist nicht atomar!
1. Lesen aus dem Hauptspeicher in
In the absence of explicit synchronization,
a Java implementation is free
to update the main memory in an
order that may be surprising. Therefore
the programmer who prefers to
avoid surprises should use explicit
synchronization.
(Java Language Specification)
den Arbeitsbereich des Thread (u.a. Stack, CPU-Register...)
2. Schreiben aus dem Arbeitsbereich in den Hauptspeicher
• Daher sind drei Ergebnisse möglich:
• a = 2, b = 2 (Thread 1 ganz vor Thread 2)
• a = 1, b = 1 (Thread 2 ganz vor Thread 1)
• a = 2, b = 1 (vertauschte Werte durch Interleaving!)
iload_1
istore_0
iload_0
istore_1
822
340