C++11无锁队列核心原理：CAS原子操作与ABA问题解析

拾柒

发布时间：2026-10-16 | 3人浏览过

原创

本文深入探讨C++11中利用CAS（Compare and Swap）原子指令实现无锁数据结构的原理。通过具体代码演示了无锁栈的压入流程，重点分析了在多线程环境下因内存地址重用引发的ABA问题及其潜在风险，同时介绍了相关的原子操作类型。

CAS原子操作基础

无锁（Lock-free）操作的本质依赖于底层硬件提供的原子性支持。在C++11标准库中，std::atomic提供了跨平台的原子操作能力，其中最核心的机制是CAS（Compare and Swap）。它也是X86架构中CMPXCHG汇编指令的软件抽象，广泛用于实现各种无锁数据结构的同步逻辑。

CAS的核心逻辑如下：

比较：检查内存位置当前的值是否与预期值（Expected Value）相等。
交换：如果相等，则将内存位置的值更新为新值（New Value）；如果不相等，则不做修改。
结果：成功返回true，失败返回false。

C++11中的std::atomic提供了两种变体：compare_exchange_weak和compare_exchange_strong。其基本行为描述如下：

当前值与期望值相等：将当前值设置为设定值，操作成功，返回true。
当前值与期望值不等：不修改内存值，但会将当前最新的内存值回填到“期望值”变量中，以便下次重试，操作返回false。

无锁栈实现示例

以下是一个基于CAS实现的无锁栈（lock-free stack）的简化示例。虽然文章标题提及队列，但该代码片段主要展示了栈（Stack）结构的压入（Push）操作，其核心思想同样适用于无锁队列的头部插入逻辑。

template<typename T>
class lock_free_stack
{
private:
    struct node
    {
        T data;
        node* next;
        node(T const& data_):
        data(data_)
        {
        }
    };

    std::atomic<node*> head;

public:
    void push(T const& data)
    {
        // 1. 创建新节点
        node* const new_node = new node(data);
        
        // 2. 初始化新节点的next指针为当前头节点
        // 这里先进行普通读取，后续在CAS中会重新验证一致性
        new_node->next = head.load();

        // 3. CAS自旋循环
        // 目标：将head指向new_node，前提是head没有发生变化
        while(!head.compare_exchange_weak(new_node->next, new_node));
    }
};

操作过程解析

单线程环境：

在第一次执行while循环时，由于没有其他线程竞争，head的值必然等于new_node->next（即旧的头节点）。此时compare_exchange_weak成功，head被更新为new_node，函数退出。

多线程竞争环境：

当多个线程同时调用push时，可能会发生冲突：

冲突检测：若线程A正在执行，线程B也尝试插入。线程B获取旧的head并设置next。在线程B执行CAS时，如果线程A已经抢先完成了插入，导致head值改变。
自动重试：此时compare_exchange_weak失败并返回false。关键在于，失败的回调会将内存中最新的head值写回new_node->next。
无感更新：程序员无需手动更新new_node->next，循环会自动使用更新后的next值再次发起CAS尝试。只要head还在变，循环就继续；一旦head暂时稳定且匹配，操作即成功。

ABA问题分析

CAS机制虽然高效，但在指针类型的操作中存在一个经典的缺陷：**ABA问题**。

场景复现：

进程P1读取共享变量值为A，准备将其更改为B。
P1被操作系统抢占，失去CPU时间片。
进程P2获得执行权，将共享变量从A改为B，随后又改回A，然后被P1抢占。
P1恢复执行，进行CAS操作。此时P1发现变量值仍然是A（与初始读取一致），于是认为“中间没有发生过变化”，CAS成功。

为什么这会引发问题？

在无锁数据结构中，CAS通常用于指针操作。如果指针A指向的对象被释放（Delete），且内存管理器迅速将该块内存重新分配给了另一个对象B（或新的节点），而巧合的是B的内容恰好也变成了A的形式（或者更常见的情况是指针地址本身被重用）：

内存重用：现代内存分配器（如slab allocator）经常复用已释放的内存地址。一个节点出队后被销毁，新入队的节点可能恰好申请到了相同的堆地址。
逻辑错误：对于CAS而言，它只检查内存地址内容是否匹配。如果旧节点的指针域和内存布局与新分配的内存完全一致，CAS就会误判。但实际上，该内存对应的业务对象生命周期已经结束，访问它可能导致悬空指针引用或数据错乱。

通俗比喻：

正如维基百科的ABA词条所描述的案例：你拿着装满钱的手提箱在机场，被一美女调包了同款空手提箱。你回来发现箱子没变，以为是原来的箱子，从而继续携带错误的信息。在计算机科学中，这对应着内存状态看似未变，实则内部结构或所有权已发生不可逆的改变。