Зачем нужен volatile? Как он обеспечивает видимость изменений?

Question

volatile гарантирует:Видимость изменений для всех потоковЗапрет переупорядочивания операцийАтомарность чтения/записи (только для примитивов и ссылок)

YeaHub · Accepted Answer

Проблема без volatile:class Task {
    boolean running = true; // Может быть оптимизировано (кэшировано в CPU)
    
    void work() {
        while (running) { /* ... */ } // Бесконечный цикл
    }
}Решение:volatile boolean running = true; // Гарантирует обновление значенияГарантии:Видимость: Запись в volatile-поле происходит в основную памятьOrdering: Операции до записи не переупорядочиваются после нееОграничения:Не заменяет synchronized для составных операцийНе подходит для счетчиков (++ не атомарен)