Как работает Atomic под капотом?

Question

Классы Atomic* используют атомарные инструкции процессора.Основной механизм — операция CAS (Compare-And-Swap).Операции выполняются без блокировок.Это позволяет работать быстрее и масштабируемее под нагрузкой.

YeaHub · Accepted Answer

Классы Atomic* из пакета java.util.concurrent.atomic реализуют атомарность без традиционных блокировок.Основная идеяAtomic-классы используют неблокирующие алгоритмы на основе CAS (Compare-And-Swap).CAS — это операция вида:Сравнить текущее значение с ожидаемымЕсли совпадает — записать новое значениеЕсли нет — операция не выполняетсяВсе это происходит как одна атомарная инструкция CPU.Как выглядит CAS логическиУпрощенно:Поток читает текущее значениеВычисляет новоеПытается заменить старое на новоеЕсли другой поток уже изменил значение — попытка повторяетсяПример на уровне APIAtomicInteger counter = new AtomicInteger(0);
counter.incrementAndGet();
Внутри:Читается текущее значениеВызывается CASПри неудаче операция повторяется в циклеПочему это быстрее synchronizedAtomic-классы:Не блокируют потокиНе переводят поток в состояние ожиданияЛучше масштабируются при большом числе потоковОграничения AtomicВажно понимать:Атомарна одна операция, а не наборСложные инварианты трудно поддерживатьВозможны активные повторные попытки (spin)Краткий выводAtomic-классы реализованы через CAS и неблокирующие алгоритмы.Они эффективны для простых операций над общими данными.