Какие гарантии предоставляет volatile? Чем отличается от Atomic?

Ключевое слово volatile в Java гарантирует, что чтение и запись переменной будут происходить напрямую из основной памяти, а не из кэша процессора, обеспечивая видимость изменений переменной между потоками. Это значит, что если один поток изменил значение volatile-переменной, другие потоки сразу увидят это изменение.

Однако volatile не обеспечивает атомарность операций. Например, инкремент volatile int не является атомарным, так как включает чтение, изменение и запись.

Класс Atomic (например, AtomicInteger) предоставляет атомарные операции над переменными, такие как incrementAndGet(), которые гарантируют, что операции выполняются целиком без прерывания и конфликтов между потоками. Кроме того, Atomic использует низкоуровневые механизмы, такие как CAS (Compare-And-Swap), для эффективной синхронизации.

Итого:

• volatile гарантирует видимость изменений между потоками, но не атомарность.
• Atomic обеспечивает атомарность операций и видимость.

Пример:

volatile int counter;

// Неатомарно:
counter++;

AtomicInteger atomicCounter = new AtomicInteger(0);

// Атомарно:
atomicCounter.incrementAndGet();