Risposta

volatile è un modificatore di variabile che garantisce la visibilità delle modifiche a tale variabile da parte di tutti i thread. Se una variabile è dichiarata come volatile, la sua lettura e scrittura avvengono direttamente dalla memoria principale, bypassando le cache locali dei thread. Questo previene il caching dei valori localmente nel thread.

synchronized è una parola chiave che assicura non solo la visibilità, ma anche l'esclusione mutua (mutual exclusion): solo un thread può eseguire un blocco sincronizzato in un dato momento per un oggetto.

Le variabili volatile dovrebbero essere utilizzate per semplici flag e contatori, se:

• il valore della variabile non dipende dal precedente stato (ad esempio, un contatore viene scritto solo una volta, letto molte volte);
• non è necessaria una sequenza complessa di operazioni (check-then-act).

Esempio di utilizzo di volatile:

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

---

Domanda insidiosa

È possibile utilizzare volatile per garantire l'atomicità dell'incremento di una variabile?

Risposta: No, volatile non garantisce l'atomicità delle operazioni. Ad esempio, counter++ non è un'operazione atomica anche se counter è dichiarato come volatile, poiché l'operazione implica lettura, modifica e scrittura (più azioni), che possono essere interrotte da un altro thread. L'atomicità è garantita tramite synchronized o classi del pacchetto java.util.concurrent.atomic.

Esempio:

class Counter {
    private volatile int count = 0;
    public void increment() {
        count++; // NON un'operazione atomica!
    }
}

---

Esempi di errori reali a causa della mancanza di conoscenza delle sottigliezze dell'argomento

---

Storia

Nel progetto di un negozio online, il flag di completamento del thread di elaborazione degli ordini è stato implementato senza volatile. Di conseguenza, uno dei thread è "rimasto bloccato" in un ciclo infinito, poiché non vedeva la modifica della variabile effettuata da un altro thread. La diagnosi ha richiesto diversi giorni.

---

Storia

Nel sistema finanziario, un sviluppatore ha utilizzato volatile int per il contatore delle operazioni. Durante i picchi di carico, il numero di operazioni ha iniziato a "perdersi". Il motivo è stata la perdita di atomicità durante operazioni complesse di incremento.

---

Storia

Gli sviluppatori hanno confuso volatile e synchronized, cercando di utilizzare volatile per garantire l'esclusione mutua nell'accesso alle sezioni critiche, portando a una data race e bug difficili da rilevare nell'applicazione multithreading.