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

Проблема без volatile:

class Task {
    boolean running = true; // Может быть оптимизировано (кэшировано в CPU)
    
    void work() {
        while (running) { /* ... */ } // Бесконечный цикл
    }
}

Решение:

volatile boolean running = true; // Гарантирует обновление значения

Гарантии:

1. Видимость: Запись в volatile-поле происходит в основную память

2. Ordering: Операции до записи не переупорядочиваются после нее

Ограничения:

• Не заменяет synchronized для составных операций

• Не подходит для счетчиков (++ не атомарен)