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

Java Memory Model нужна для формального описания поведения программы в многопоточной среде.

Что такое Java Memory Model

Java Memory Model — это спецификация, определяющая правила видимости и упорядочивания операций чтения и записи памяти между потоками.

Она отвечает на вопросы:

1. Когда один поток увидит изменения другого

2. В каком порядке выполняются операции

3. Какие оптимизации допустимы JVM

Проблемы без JMM

Без четких правил возникали бы:

1. Невидимость изменений между потоками

2. Некорректные значения переменных

3. Сложные и нестабильные баги

Основные понятия JMM

Для работы с памятью используются ключевые механизмы:

1. Visibility (видимость)

   • Гарантирует, что изменения станут видимы другим потокам

2. Ordering (упорядочивание)

   • Определяет порядок выполнения операций

3. Happens-before

   • Формальное правило, описывающее, какие операции гарантированно видны

Практический пример

Без синхронизации:

boolean ready = false;

void writer() {
    ready = true;
}

void reader() {
    if (ready) {
        // может не выполниться
    }
}

С точки зрения JMM другой поток может не увидеть изменение ready.

Краткий вывод

Java Memory Model — основа безопасной многопоточности.
Без ее понимания невозможно писать надежный параллельный код.