Was ist der Unterschied zwischen Volatilität und Atomarität im Kontext der Multithread-Programmierung?

volatile garantiert die Sichtbarkeit von Änderungen an einer Variablen für alle Threads. Wenn ein Thread einen Wert in eine volatile-Variable schreibt, wird diese Änderung sofort für andere Threads sichtbar. Es verbietet auch die Neuordnung von Lese- und Schreiboperationen für volatile-Variablen.

Atomare Operationen (Atomare Klassen im Paket java.util.concurrent.atomic) garantieren, dass eine Operation an einer Variablen als unteilbare Einheit ausgeführt wird und nicht von einem anderen Thread unterbrochen werden kann. Dies gewährleistet die Korrektheit von Inkrement-, Dekrement- und Compare-And-Swap-Operationen ohne Verwendung von synchronized.

Wesentlicher Unterschied: volatile sorgt nur für Sichtbarkeit, aber nicht für die Atomizität zusammengesetzter Operationen (z.B. i++ — das Lesen, Inkrementieren und Schreiben umfasst). Atomare Klassen gewährleisten sowohl die Atomizität einzelner Operationen als auch die Sichtbarkeit.

Beispiel:

class VolatileCounter {
    volatile int count = 0;

    public void increment() {
        // Diese Operation ist NICHT atomar
        count++;
    }
}

class AtomicCounter {
    java.util.concurrent.atomic.AtomicInteger count = new java.util.concurrent.atomic.AtomicInteger(0);

    public void increment() {
        // Diese Operation ist ATOMAR
        count.incrementAndGet();
    }
}