Модификатор volatile в языках программирования (например, в Java или C/C++) используется для указания компилятору и процессору, что значение переменной может изменяться в любой момент, вне контроля текущего потока исполнения.

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

Особенности volatile:

Гарантирует, что чтение и запись переменной происходит напрямую из основной памяти.
Обеспечивает видимость изменений переменной между потоками.
Не гарантирует атомарность операций (например, инкремент всё ещё не атомарен).

Пример на Java:

volatile boolean flag = false;

// Поток 1
flag = true;

// Поток 2
if (flag) {
    // увидит обновлённое значение flag
}

Без volatile поток 2 может не увидеть обновление flag из-за кэширования.

Какое назначение и особенности имеет модификатор volatile в языках программирования?