Здравствуйте, Sharov, Вы писали:

S>Не понял, одно дело некий объект (мьютекс), а другое дело инструкция "атомарно считать и обновить".

Сама по себе команда не реализует никакого механизма синхронизации — они все строятся на основе атомарных команд.

S>Мне казалось, что lock-free алгоритмы не предполагают примитивов.

"Примитивом" нередко называют вообще любой механизм/алгоритм, достаточно простой на фоне программы, которая его использует, это не обязательно готовая функция ОС.