CAS сравнивает только текущее значение, а не историю: A → B → A выглядит как «ничего не менялось». В lock-free структурах со ссылками это ломает данные (узел удалили и переиспользовали).
А ещё Сборщик мусора смягчает проблему: адрес живого объекта не переиспользуется
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Для счётчиков это безобидно, но в структурах данных со ссылками может быть фатально: узел удалили, память переиспользовали, и ссылка снова указывает на тот же адрес — CAS решит, что ничего не произошло, и порушит структуру. Штатное решение в Java — AtomicStampedReference, где вместе со ссылкой хранится версия-метка, увеличивающаяся при каждом изменении; сравнение идёт по паре, поэтому возврат к прежнему значению обнаруживается. Есть и AtomicMarkableReference с одним булевым флагом для более простых случаев. Полезно упомянуть, что сам CAS реализован аппаратной инструкцией процессора и лежит в основе всех атомарных классов и большей части java.util.concurrent.
Один верный вариант. Подумайте, потом откройте ответ.
Разница видимости и атомарности, atomic-классы, compare-and-swap и ABA, контеншн и LongAdder.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto