Какую проблему решает Java Memory Model (JMM)?

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

Основные проблемы, которые решает JMM:

1. Видимость изменений: Изменение переменной в одном потоке может быть не сразу (или никогда) видно другому потоку из-за работы с локальными копиями в кэшах процессора.
2. Переупорядочивание операций: Компилятор и процессор могут менять порядок выполнения инструкций для оптимизации, если это не меняет поведение однопоточного кода. В многопоточном окружении это может привести к неожиданным результатам.

Ключевое понятие JMM: Отношение «Happens-Before» Это гарантия того, что результат операции, выполненной в одном потоке, будет виден другой операции в другом потоке. Если операция A happens-before операции B, то все изменения памяти, сделанные в A, видны для B.

Пример проблемы видимости (без синхронизации):

public class VisibilityProblem {
    // Без volatile или synchronized изменение может быть не видно
    private static boolean flag = true;

    public static void main(String[] args) throws InterruptedException {
        Thread worker = new Thread(() -> {
            while (flag) { // Поток может читать закэшированное начальное значение 'true'
                // Работа...
            }
            System.out.println("Worker stopped.");
        });
        worker.start();
        Thread.sleep(1000);
        flag = false; // Основной поток меняет флаг. Изменение может не попасть в память, видимую worker'у.
        System.out.println("Main thread set flag to false.");
    }
}

Инструменты JMM для обеспечения порядка и видимости:

• synchronized блоки/методы: Создают отношения happens-before при входе и выходе.
• volatile переменные: Гарантируют, что чтение/запись этой переменной не будут переупорядочены и что запись будет немедленно видна всем другим потокам.
• final поля: Корректно инициализированные final-поля гарантированно видны другим потокам после создания объекта.
• Классы из java.util.concurrent (например, AtomicInteger, CountDownLatch): Внутренне используют вышеуказанные механизмы для обеспечения потокобезопасности.

JMM позволяет писать корректные и эффективные многопоточные программы, определяя минимальный набор гарантий, на которые может полагаться разработчик.