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

Question

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

YeaHub · Accepted Answer

Java Memory Model нужна для формального описания поведения программы в многопоточной среде.Что такое Java Memory ModelJava Memory Model — это спецификация, определяющая правила видимости и упорядочивания операций чтения и записи памяти между потоками.Она отвечает на вопросы:Когда один поток увидит изменения другогоВ каком порядке выполняются операцииКакие оптимизации допустимы JVMПроблемы без JMMБез четких правил возникали бы:Невидимость изменений между потокамиНекорректные значения переменныхСложные и нестабильные багиОсновные понятия JMMДля работы с памятью используются ключевые механизмы:Visibility (видимость)Гарантирует, что изменения станут видимы другим потокамOrdering (упорядочивание)Определяет порядок выполнения операцийHappens-beforeФормальное правило, описывающее, какие операции гарантированно видныПрактический примерБез синхронизации:boolean ready = false;

void writer() {
    ready = true;
}

void reader() {
    if (ready) {
        // может не выполниться
    }
}
С точки зрения JMM другой поток может не увидеть изменение ready.Краткий выводJava Memory Model — основа безопасной многопоточности.Без ее понимания невозможно писать надежный параллельный код.