Mi a különbség a volatilitás és az atomaritás között a több szálas programozás kontextusában?

A volatile garantálja egy változó láthatóságát minden szál számára. Amikor egy szál értéket ír egy volatile változóba, ez a változás azonnal látható lesz más szálak számára. Emellett megakadályozza az olvasási és írási műveletek újra sorrendbe állítását volatile változók esetén.

Az atomikus műveletek (az java.util.concurrent.atomic csomagban található atomikus osztályok) garantálják, hogy egy változón végzett művelet egységes és megszakíthatatlan legyen, így más szál nem szakíthatja meg. Ez biztosítja az inkrementálás, dekrementálás és Compare-And-Swap műveletek helyességét synchronized használata nélkül.

Fő különbség: a volatile csak a láthatóságot biztosítja, de nem az összetett műveletek atomikusságát (például az i++ — olvasás, növelés és írás). Az atomikus osztályok mind az egyedi műveletek atomikusságát, mind a láthatóságot garantálják.

Példa:

class VolatileCounter {
    volatile int count = 0;

    public void increment() {
        // Ez a művelet NEM atomikus
        count++;
    }
}

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

    public void increment() {
        // Ez a művelet ATOMIKUS
        count.incrementAndGet();
    }
}