volatile даёт видимость (запись сразу видна другим потокам) и запрет переупорядочивания вокруг обращения, но не атомарность: count++ на volatile-поле всё равно теряет обновления.
А ещё Под сильной конкуренцией за счётчик — LongAdder
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Проблема без volatile. Каждое ядро работает со своими кэшами и регистрами, а компилятор (JIT) и процессор переставляют операции. Поток может бесконечно не увидеть изменение флага, записанного другим потоком:
sottoboolean running = true; // без volatile
while (running) { work(); } // JIT может вынести чтение из циклаЧто гарантирует volatile (модель памяти Java):
Чего нет — атомарности. count++ — это чтение, сложение и запись. Два потока читают 5, оба пишут 6 — одно увеличение потеряно.
AtomicInteger добавляет к той же видимости атомарные операции: incrementAndGet крутит цикл CAS — «записать новое, только если в памяти всё ещё старое, иначе повторить».
Критерий выбора:
| ситуация | чего достаточно |
|---|---|
| один пишет, многие читают (флаг, ссылка на конфиг) | volatile |
| новое значение зависит от старого (счётчик) | AtomicInteger / AtomicLong |
| очень много потоков увеличивают счётчик | LongAdder |
| несколько полей меняются согласованно | synchronized или Lock |
Один верный вариант. Подумайте, потом откройте ответ.
Разница видимости и атомарности, atomic-классы, compare-and-swap и ABA, контеншн и LongAdder.
Зачем нужна модель памяти, видимость и переупорядочивание, отношение happens-before, семантика volatile и final, гонки данных.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.