Какие гарантии дает volatile

volatile обеспечивает две ключевые гарантии:

1. Видимость изменений – запись в volatile-переменную сразу становится видимой для всех потоков.
2. Запрет переупорядочивания – операции с volatile не могут быть переупорядочены компилятором или процессором.

Пример:

class Example {
    private volatile boolean flag = false;

    public void setFlag() {
        flag = true; // Запись гарантированно видна другим потокам
    }

    public void checkFlag() {
        while (!flag) { // Чтение всегда актуальное
            // Ждем изменения флага
        }
    }
}

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

• Не гарантирует атомарность составных операций (например, i++).
• Не заменяет synchronized или Lock для сложных сценариев.

Используется для простых флагов или однократных изменений состояния.