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

В многопоточных программах ошибки часто связаны не с логикой, а с памятью.

Определение

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

Какие проблемы он решает

Перед использованием volatile важно понять, какие именно гарантии он даёт.

1. Проблема видимости

   • Поток может читать устаревшее значение из кэша.

   • volatile заставляет читать значение из основной памяти.

2. Переупорядочивание инструкций

   • Компилятор и CPU могут менять порядок инструкций.

   • volatile запрещает переупорядочивание вокруг чтения и записи.

Пример проблемы:

volatile boolean running = true;

while (running) {
    // без volatile цикл может никогда не закончиться
}

Что volatile НЕ делает

1. Не обеспечивает атомарность

   • count++ остаётся небезопасной операцией

2. Не заменяет synchronized

   • Нет блокировок

3. Не защищает составные состояния

Типичные сценарии использования

1. Флаги завершения потоков

2. Простые статусы

3. Однократная инициализация (с осторожностью)

Вывод

volatile нужен для обеспечения видимости и порядка выполнения. Он полезен для простых флагов, но не подходит для сложной синхронизации.