Что такое Java Memory Model (JMM)?

Java Memory Model (JSR 133, Java 5+) — спецификация взаимодействия потоков через memory: гарантирует видимость изменений и упорядочивание операций. Без JMM поведение было undefined (компилятор и CPU переупорядочивают инструкции).

class Flag {
    private volatile boolean ready = false; // volatile — видимость + memory barrier
    private int data;

    void writer() {      // поток 1
        data = 42;       // (1)
        ready = true;    // (2) volatile-запись
    }
    void reader() {      // поток 2
        if (ready) {     // (3) volatile-чтение: видны все записи до (2)
            assert data == 42;  // guaranteed
        }
    }
}

Ключевые понятия:

• happens-before — если A happens-before B, эффекты A видны B (через synchronized, volatile, final, Thread.start, Thread.join);
• volatile гарантирует видимость, но не атомарность составных операций;
• data race — два потока обращаются к non-final полю, хотя бы один пишет, без happens-before → undefined.