Programmieren in Java - HostFiXX.de

Programmieren in Java
Die Methode getZaehler() kann aus folgenden Gründen ein fehlerhaftes Ergebnis haben:
- getZaehler() kann ausgeführt werden, während irgendeine andere auch synchronisierte
Methode (z.B. inkrementieren()) aus einer Subklasse heraus ausgeführt wird. Diese andere
Methode könnte zaehler zwischenzeitlich auf –1 setzen und erst am Ende einen korrekten Wert
zuweisen. Die Methode getZaehler() könnte zwischenzeitlich den unsinnigen Wert –1 liefern.
- Auch wenn keiner den Wert zwischenzeitlich auf –1 setzt, kann getZaehler() einen falschen Wert
liefern. Java garantiert, dass alle Operationen auf primitiven Typen atomar ausgeführt werden,
außer für double und long. Das bedeutet: Die Ausführung von ++zaehler könnte in zwei
Schritten ablaufen. Zwischen den beiden Schritten könnte ein Schrittwechsel auftreten. Der Wert
von zaehler nach dem 1. Schritt ist nicht spezifiziert.
Aus diesen Gründen muß getZaehler() synchronisiert werden:
static synchronized long getZaehler()
{
return zaehler;
}
Synchronisierte Methoden und Vererbung. Die Synchronisation gehört in Java nur
zur Implementierung und wird nicht vererbt. Daher kann auch eine Interface-
Definition nicht das Schlüsselwort synchronized enthalten.
Synchronisation statischer Methoden. In Java gehört zu jeder Klasse eine, vom
System erzeugte Instanz der Klasse java.lang.Class. Diese Instanz beschreibt
den Aufbau der Klasse und macht dies zur Laufzeit verfügbar. Der Klassenname
gefogt von ".class" liefert die Instanz. Wenn eine statische Methode als
synchronized gekennzeichnet ist, entspricht dies einer Synchronisierung mit der
zu dieser Instanz gehörenden Instanz der Klasse java.lang.Class 120 .
Bsp.:
public class Zaehler
{
private static long maximum = 1000;
public static synchronized long getMaximum()
{
return maximum;
}
…
}
Die Methode getMaximum() entspricht folgender Implementierung:
public static long getMaximum()
{
synchronized(Zaehler.class)
{
return maximum;
}
}
Bewachte kritische Bereiche. Bisher konnte ein Thread nur auf eine einzige
Bedingung warten und zwar darauf, ob ein Zugriff zur Verfügung steht oder nicht.
Manchmal möchte man komplexere zustandabhängige Bedingungen formulieren, auf
deren Erfüllung man wartet. Das könnte man so beschreiben: await E then S
endwait, wobei E ein boolscher Ausdruck (Wächter) und S eine Menge von
120 vgl. 1.4.2.2
109