C++如何实现简单的非阻塞任务队列(Lock-free)-C++-PHP中文网

不能直接用std::queue做lock-free队列，因为它底层非原子、不支持整体原子化，且含多成员需同步；必须基于std::atomic指针+单链表节点手动实现，并解决aba、内存回收等核心问题。

c++如何实现简单的非阻塞任务队列(lock-free)

为什么不能直接用 `std::queue` 做 lock-free 队列

因为 std::queue 底层依赖 std::deque 或 std::list，所有插入/删除操作都不是原子的，且内部有多个成员变量（如头尾指针、size 等）需要同步。即使你用 std::atomic 包裹整个对象，C++ 也不允许对非平凡类型做整体原子操作——编译会直接报错：error: use of deleted function 'std::atomic<:queue>>::atomic()'</:queue>。

真正可行的起点是：从原子指针 + 单链表节点出发，自己管理内存生命周期。

用 `std::atomic` + 单链表实现基础无锁入队/出队

核心结构是一个带 next 指针的节点，头尾用 std::atomic<node></node> 维护。注意：仅靠 compare_exchange_weak 不足以保证线程安全，必须处理 ABA 问题（尤其在出队时）。

入队（push）只需 CAS 更新尾指针，但要先确保尾节点的 next 为空，再挂上新节点，最后移动尾指针——这至少需要两次 CAS
出队（pop）必须同时读取头节点和它的 next，再用一次双字 CAS（std::atomic<:pair node>></:pair> 不行，得用 std::atomic<uint64_t></uint64_t> 手动打包指针+版本号）
不回收内存？那会内存泄漏；直接 delete？可能有其他线程正读这个节点。必须用 Hazard Pointer 或 RCU，但最简方案是用 std::shared_ptr ——虽然它本身不是 lock-free，但能避免悬空指针

示例关键片段（无内存回收）：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

struct Node {
    T data;
    std::atomic<node> next{nullptr};
};
<p>std::atomic<node>> head{nullptr};
std::atomic<node>> tail{nullptr};</node></node></p>
<p>void push(T val) {
Node<em> n = new Node{val};
Node</em> t;
do {
t = tail.load();
Node* t_next = t->next.load();
if (t == tail.load()) {
if (!t_next) { // t 是真正的尾
if (t->next.compare_exchange_weak(t_next, n))
break;
} else {
tail.compare_exchange_weak(t, t_next); // 推进 tail
}
}
} while (true);
tail.compare_exchange_weak(t, n);
}</p></node>

为什么 `boost::lockfree::queue` 更靠谱但仍有约束

它底层用的是 Michael-Scott 算法，已处理 ABA 和内存重用问题，但要求元素类型满足 is_trivially_destructible，且默认固定容量（循环数组实现）。如果你传入 std::string 或含虚函数的对象，编译失败信息会指向 static_assert 失败，而不是运行时报错。