Что такое Java Memory Model?

JMM определяет правила видимости и порядка операций между потоками. Без синхронизации компилятор, JVM и процессор могут переупорядочивать инструкции. JMM гарантирует happens-before отношения: unlock → lock, volatile write → read, thread start → run, thread join. Если A happens-before B, то все записи A видны в B. Без happens-before — никаких гарантий. JMM — это спецификация, а не реализация: конкретное поведение зависит от платформы, но гарантии одинаковые.