Meg tudná magyarázni, hogyan működik a memória modell Java-ban, és milyen alapelveken nyugszik?

A Java memória modell leírja, hogyan lépnek kölcsönhatásba a szálak a memóriával, beleértve a változókkal való munkát és a szinkronizációt. Alapelvek:

• Változások láthatósága: egy szál által végrehajtott változásoknak más szálak számára láthatónak kell lenniük megfelelő szinkronizációval.
• Atomiáság: a változókon végzett műveletek lehetnek atomiásak (pl. primitív típusok olvasása/írása, kivéve long és double volatile nélkül).
• Végrehajtási sorrend: a fordító és a processzor megváltoztathatja az utasítások sorrendjét, de a szinkronizációs szabályokat betartva.

A Java memória modell (JMM) meghatározza, mikor és hogyan válnak láthatóvá a változások más szálak számára a változókon, a volatile, synchronized és más mechanizmusok használatával.

Példa:

volatile int counter = 0;

// Egy szálban végrehajtott counter változtatás garantáltan látható lesz egy másikban
counter = 5;

Volatile vagy szinkronizáció nélkül a változások nem feltétlenül lesznek azonnal láthatóak más szálak számára a cache-elés és optimalizációk miatt.