Antwort

volatile ist ein Modifikator für Variablen, der garantiert, dass Änderungen dieser Variablen von allen Threads sichtbar sind. Wenn eine Variable als volatile deklariert ist, erfolgen Lese- und Schreibzugriffe direkt aus dem Hauptspeicher, ohne die lokalen Cache-Speicher der Threads zu verwenden. Das verhindert, dass Werte lokal im Thread zwischengespeichert werden.

synchronized ist ein Schlüsselwort, das nicht nur Sichtbarkeit, sondern auch gegenseitige Exklusion (mutual exclusion) gewährleistet: Nur ein Thread kann zu einem gegebenen Zeitpunkt einen synchronisierten Block für ein bestimmtes Objekt ausführen.

Volatile Variablen sollten für einfache Flags und Zähler verwendet werden, wenn:

• der Wert der Variablen nicht von ihrem vorherigen Zustand abhängt (z.B. ein Zähler wird nur einmal geschrieben und vielfach gelesen);
• keine komplexere Reihenfolge von Operationen erforderlich ist (check-then-act).

Beispiel für die Verwendung von volatile:

class Flag {
    private volatile boolean running = true;
    public void stop() { running = false; }
    public void loop() {
        while (running) {
            // ...
        }
    }
}

---

Fangfrage

Kann man volatile zur Gewährleistung der Atomarität einer Inkrement-Operation verwenden?

Antwort: Nein, volatile gewährleistet keine Atomarität von Operationen. Zum Beispiel ist counter++ nicht atomar, selbst wenn counter als volatile deklariert ist, da die Operation das Lesen, Ändern und Schreiben (mehrere Aktionen) umfasst, die von einem anderen Thread unterbrochen werden können. Atomarität wird durch synchronized oder Klassen aus dem Paket java.util.concurrent.atomic sichergestellt.

Beispiel:

class Counter {
    private volatile int count = 0;
    public void increment() {
        count++; // NICHT atomare Operation!
    }
}

---

Beispiele für reale Fehler aufgrund mangelnden Wissens über die Feinheiten des Themas

---

Geschichte

In einem Projekt für einen Online-Shop wurde das Flag zum Beenden des Thread-Managements ohne volatile implementiert. Infolgedessen blieb einer der Threads in einer Endlosschleife hängen, da er die aus einem anderen Thread vorgenommene Änderung der Variablen nicht sah. Die Diagnose dauerte mehrere Tage.

---

Geschichte

In einem Finanzsystem verwendete der Entwickler volatile int für den Zähler von Operationen. Bei Spitzenlasten begann die Anzahl der Operationen zu "verschwinden". Der Grund war der Verlust der Atomarität bei komplexen Inkrement-Operationen.

---

Geschichte

Die Entwickler verwechselten volatile und synchronized und versuchten, volatile zur Gewährleistung der gegenseitigen Exklusion beim Zugriff auf kritische Abschnitte zu verwenden, was zu Datenrennen und schwer fassbaren Fehlern in der Multithread-Anwendung führte.