Является ли операция ++ атомарной для volatile переменной?

Определение

volatile гарантирует:

• видимость изменений между потоками

• запрет на переупорядочивание операций с этой переменной

Но volatile не гарантирует атомарность.

Почему ++ не атомарен

Операция counter++ фактически состоит из шагов:

1. чтение значения из памяти

2. увеличение значения

3. запись нового значения обратно

volatile int counter = 0;
counter++;

Если два потока выполняют это одновременно:

• оба читают одно и то же значение

• оба увеличивают его

• результат одного увеличения теряется

Что даёт volatile, а что нет

volatile:

• гарантирует, что поток увидит актуальное значение

• не предотвращает одновременную модификацию

Как сделать правильно

Для атомарного инкремента используют:

• synchronized

• AtomicInteger

• Lock

AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();

Вывод

volatile — это про видимость, а не про атомарность. Для ++ в многопоточном коде он недостаточен.