Для чего нужна Java Memory Model?

Java Memory Model (JMM) определяет правила взаимодействия между потоками и памятью в Java-программах. Она описывает, как и когда изменения, сделанные одним потоком, становятся видимыми другим потокам, а также гарантирует корректную работу многопоточных приложений.

Основные задачи JMM:

• Определяет, как операции чтения и записи в память упорядочиваются и видны другим потокам.
• Обеспечивает корректность синхронизации через ключевые слова synchronized, volatile и атомарные операции.
• Помогает избежать проблем с кэшированием и переупорядочиванием инструкций процессором и компилятором.

Пример: без правильной синхронизации один поток может не увидеть обновлённое значение переменной, записанное другим потоком. JMM гарантирует, что при использовании volatile или synchronized изменения будут видимы.

volatile boolean flag = false;

// Поток 1
flag = true;

// Поток 2
if (flag) {
    // гарантированно увидит обновление flag
}