V čom spočíva rozdiel medzi volatilnosťou a atomárnosťou v kontexte viacvláknového programovania?

volatile zabezpečuje viditeľnosť zmien premennej vo všetkých vláknach. Keď vlákno zapíše hodnotu do volatile premennej, táto zmena je okamžite viditeľná pre ostatné vlákna. Taktiež zakazuje preusporiadanie operácií čítania a zápisu pre volatile premenné.

Atomické operácie (atomické triedy v balíčku java.util.concurrent.atomic) zabezpečujú, že operácia nad premennou je vykonaná ako celok a nemôže byť prerušená iným vláknom. To zabezpečuje správnosť operácií inkrementácie, dekrementácie a Compare-And-Swap bez použitia synchronized.

Kľúčový rozdiel: volatile zabezpečuje iba viditeľnosť, ale nie atomickosť zložených operácií (napríklad i++ — čítanie, inkrement a zápis). Atomické triedy zabezpečujú ako atomickosť jednotlivých operácií, tak viditeľnosť.

Príklad:

class VolatileCounter {
    volatile int count = 0;

    public void increment() {
        // Táto operácia NIE je atomická
        count++;
    }
}

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

    public void increment() {
        // Táto operácia JE ATOMICKÁ
        count.incrementAndGet();
    }
}