Wat is het verschil tussen volatiliteit en atomariteit in de context van multithreaded programmeren?

volatile garandeert de zichtbaarheid van wijzigingen in een variabele voor alle threads. Wanneer een thread een waarde schrijft naar een volatile variabele, wordt deze wijziging onmiddellijk zichtbaar voor andere threads. Het verbiedt ook het herschikken van lees- en schrijfoperaties voor volatile variabelen.

Atomische operaties (atomische klassen in het pakket java.util.concurrent.atomic) garanderen dat een operatie op een variabele wordt uitgevoerd als een ondeelbaar geheel en niet kan worden onderbroken door een andere thread. Dit zorgt voor de correctheid van incrementeer-, decrement- en Compare-And-Swap-operaties zonder gebruik te maken van synchronized.

Belangrijk verschil: volatile garandeert alleen de zichtbaarheid, maar niet de atomairheid van samengestelde operaties (bijvoorbeeld i++ — dat lezen, incrementeer en schrijven omvat). Atomische klassen garanderen zowel de atomairheid van individuele operaties als de zichtbaarheid.

Voorbeeld:

class VolatileCounter {
    volatile int count = 0;

    public void increment() {
        // Deze operatie IS NIET atomair
        count++;
    }
}

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

    public void increment() {
        // Deze operatie IS ATOMAR
        count.incrementAndGet();
    }
}