C++：如果C++是唯一的无锁原子类型，那么如何在std::atomic_flag中实现无锁数据结构呢？

Question

实现无锁数据结构的典型方法是使用原子CAS操作，如std::compare_exchange_strong或std::compare_exchange_weak。这项技术的用法示例可以在Antony Williams的"C++ Concurrency in Action“中看到，其中实现了一个无锁堆栈。堆栈被实现为具有std::atomic<node*>头指针的链表。在推送和弹出期间，在此指针上执行CAS操作。但是C++标准保证只有std::atomic_flag是无锁的，其他原子类型，包括std::atomic<T*>，可能不是无锁的。

1)我的理解是否正确:如果std::atomic<T*>不是无锁的(std::atomic::is_lock_free()返回false)，那么std::atomic<T*>上基于CAS操作的数据结构就不是无锁的？

2)如果是，那么，如果C++是某些编译器唯一的无锁原子类型，那么在std::atomic_flag上实现无锁数据结构的替代方法是什么？

Answer 1

编译器没有原子类型的无锁实现的唯一可能原因是处理器没有原子操作。我不知道有哪种现代处理器会出现这种情况。

如果处理器不支持原子操作，您可能别无选择，只能使用互斥锁、信号量或类似的同步原语