Как устроена Java Memory Model

Java Memory Model (JMM) определяет правила видимости изменений переменных между потоками и порядок выполнения операций. Основные концепции:

1. Happens-before - гарантирует, что операции в одном потоке видны другому, если между ними есть отношение happens-before (например, синхронизация, volatile, запуск/завершение потока).

2. Видимость изменений - без синхронизации изменения в одном потоке могут быть не видны другим.

3. Переупорядочивание - JVM может переставлять инструкции для оптимизации, если это не нарушает семантику однопоточного выполнения.

Пример с volatile:

class Shared {
    volatile boolean flag = false;
    
    void writer() {
        flag = true; // запись happens-before чтение этого значения
    }
    
    void reader() {
        if (flag) { // гарантированно увидит true, если writer() был выполнен
            // действие
        }
    }
}

Ключевые механизмы синхронизации: synchronized, volatile, final, атомарные классы из java.util.concurrent.atomic.