Atomic не делает составное выражение атомарным
Отдельные load и store теряют конкурентные обновления. Read-modify-write или compare-exchange связывает переход с фактически наблюдавшимся значением.
rust / УРОВЕНЬ 4
Счётчик, переполнившийся в ноль
ОЦЕНКА35 МИН
01
ТЕОРИЯ / ВОСПРОИЗВЕДЕНИЕ
Что нужно восстановить
- Реализовать цикл compare-exchange
- Выбирать Relaxed только для метрики без синхронизационного смысла
Ordering следует из контракта данных
Relaxed достаточно независимому статистическому счётчику, который не публикует другую память. Для видимости связанных записей нужна acquire/release-связь.
КОНТРОЛЬНАЯ ТОЧКА
Когда `Ordering::Relaxed` достаточно для атомарного счётчика запросов?
02 / РЕАЛИЗАЦИЯ
Реализуйте контракт
Реализуйте lock-free saturating add: возвращайте новое значение, не допускайте wraparound и не теряйте конкурентные increments. Счётчик не синхронизирует другие данные.
Инициализация редактора…
ВЫВОД
Runner ждёт отправки кода.