Для достижения потокобезопасности эти типы используют различные виды эффективных lock-free механизмов синхронизации. Что это за примитивы синхронизации? Обычно это вариации спинлоков с неблокирующим ожиданием. При таких примитивах синхронизации поток, пытающийся получить лок, ожидает в цикле, который раз за разом проверяет доступность этого лока.
сомнительное лок фри получается, если в цикле раз за разом пытаться проверять доступность лока)
сомнительное лок фри получается, если в цикле раз за разом пытаться проверять доступность лока)