Какие проблемы памяти решает volatile?

Question

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

YeaHub · Accepted Answer

В многопоточных программах ошибки часто связаны не с логикой, а с памятью.Определениеvolatile — это модификатор поля, который гарантирует видимость изменений этой переменной между потоками и ограничивает переупорядочивание инструкций.Какие проблемы он решаетПеред использованием volatile важно понять, какие именно гарантии он даёт.Проблема видимостиПоток может читать устаревшее значение из кэша.volatile заставляет читать значение из основной памяти.Переупорядочивание инструкцийКомпилятор и CPU могут менять порядок инструкций.volatile запрещает переупорядочивание вокруг чтения и записи.Пример проблемы:volatile boolean running = true;

while (running) {
    // без volatile цикл может никогда не закончиться
}
Что volatile НЕ делаетНе обеспечивает атомарностьcount++ остаётся небезопасной операциейНе заменяет synchronizedНет блокировокНе защищает составные состоянияТипичные сценарии использованияФлаги завершения потоковПростые статусыОднократная инициализация (с осторожностью)Выводvolatile нужен для обеспечения видимости и порядка выполнения. Он полезен для простых флагов, но не подходит для сложной синхронизации.