C++如何实现简单的无锁栈(Lock-free Stack)-C++-PHP中文网

std::stack不是无锁因依赖内部互斥量，真正的无锁栈需用原子cas操作、处理aba问题及析构安全，核心是原子更新栈顶指针并确保内存生命周期正确。

c++如何实现简单的无锁栈(lock-free stack)

为什么直接用 `std::stack` 不算无锁

因为 std::stack 默认基于 std::deque 或 std::vector，所有操作都依赖内部互斥量（即使你没显式加锁），多线程调用 push() 或 pop() 会触发数据竞争或崩溃。真正的无锁栈必须绕过任何阻塞原语，只靠原子操作和内存序协调。

`std::atomic` + `compare_exchange_weak` 是核心手段

无锁栈本质是链表头插/头删，关键在于原子地更新栈顶指针。不能简单读-改-写，必须用 CAS（Compare-and-Swap）保证中间不被其他线程覆盖。

常见错误：用 load() 和 store() 分开操作，导致 A 读到 top，B 也读到同一 top 并 push 新节点，A 再 store 就覆盖 B 的修改 —— 丢失更新。

正确做法：

每次 push()：构造新节点 → 原子读当前 top → 把新节点 next 指向它 → 用 compare_exchange_weak 尝试把 top 改成新节点地址
每次 pop()：原子读当前 top → 若非空，用 compare_exchange_weak 尝试把 top 改成 top->next，成功则返回原 top
必须循环重试：compare_exchange_weak 可能因竞争失败，需在 while 循环里反复尝试

示例关键片段：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

Node* old_top = top.load();
Node* new_node = new Node(data);
new_node->next = old_top;
while (!top.compare_exchange_weak(old_top, new_node)) {
    new_node->next = old_top; // 重试前刷新 next
}

ABA 问题不是传说，得用 `std::atomic<uintptr_t></uintptr_t>` 或 Hazard Pointer

典型场景：线程 A 读到 top == 0x1000，被调度挂起；线程 B 把该节点 pop 出去、释放内存、又 push 一个新节点恰好分配到同一地址 0x1000；A 恢复后 CAS 成功，但 next 指针已失效 —— 崩溃或静默错误。

标准库没提供带版本号的原子指针，所以常见解法有两种：

用 std::atomic<uintptr_t></uintptr_t> 打包指针+计数器（低几位存指针，高几位存引用计数或版本号），自己做位运算拆解
更实用的是引入 Hazard Pointer：每个线程声明自己正在访问哪些节点，回收线程避开这些节点释放 —— 但这已超出“简单”范畴
开发阶段可先忽略 ABA（比如只做短时测试），但上线前必须处理；GCC/Clang 的 __atomic_fetch_add 配合自定义结构体比裸指针更可控