C ++：如果std :: atomic_flag是唯一的無鎖原子類型，那么如何在C ++中實現無鎖數據結構？

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操作的數據結構std::atomic<T*>不鎖定？

2）如果是，那么，如果std::atomic_flag是某些編譯器唯一的無鎖原子類型，那么在C ++上實現無鎖數據結構的替代方法是什么？

Answer 1

編譯器不具有原子類型的無鎖實現的唯一可能原因是處理器沒有原子操作。 我不知道現代處理器就是這種情況。

如果處理器不支持原子操作，您可能別無選擇，只能使用互斥鎖，信號量或類似的同步原語