我正在尝试从实现Michael-Scott FIFO队列。我无法实现他们对ABA问题的解决方案。我得到了这个错误。error: incompatible type for argument 1 of '__sync_val_compare_and_swap'有人知道我应该在这里使用的相关64位CAS指令吗?另一个问题是,是否有更
实现无锁数据结构的典型方法是使用原子CAS操作,如std::compare_exchange_strong或std::compare_exchange_weak。这项技术的用法示例可以在Antony Williams的"C++ Concurrency in Action“中看到,其中实现了一个无锁堆栈。在推送和弹出期间,在此指针上执行CAS操作。但是C++标准保证只有std::atomic_flag是无锁的,其他原子类型,包括std::ato