Существуют ли программы С++, которые являются правильными и тупиковыми, когда atomic::is_lock_free
возвращает true, но являются undefined или могут содержать тупик, когда atomic::is_lock_free
возвращает false?
Учитывая, что любая блокировка внутри атома будет получена и выпущена под управлением библиотеки, я не могу себе представить, как обманывать вещи, но с помощью многопоточности и блокировок обычно существует способ: -)