c++的std::atomic如何实现CAS操作_c++无锁编程核心原子指令-C++-PHP中文网

c++的std::atomic如何实现CAS操作_c++无锁编程核心原子指令

穿越時空

发布： 2025-12-12 15:50:42

原创

357人浏览过

CAS是C++无锁编程的核心，通过compare_exchange_weak/strong实现原子性条件更新，前者在循环中更高效但可能伪失败，后者保证仅值不匹配时失败，常用于无锁计数器等场景，依赖硬件指令如CMPXCHG确保原子性。

c++的std::atomic如何实现cas操作_c++无锁编程核心原子指令

在C++的无锁编程中，std::atomic 是实现线程安全操作的核心工具之一。其中最关键的操作就是CAS（Compare-and-Swap），它允许在不使用互斥锁的前提下完成原子性的条件更新，是构建无锁数据结构如无锁队列、无锁栈的基础。

什么是CAS操作？

CAS（Compare-and-Swap）是一种原子指令，用于判断某个内存位置的当前值是否等于预期值，如果是，则将其更新为新值；否则不做修改。这个过程是原子的，不会被其他线程打断。

在 std::atomic 中，CAS 通过两个成员函数实现：

compare_exchange_weak()
compare_exchange_strong()

这两个函数都遵循相同的语义：比较原子对象的当前值与期望值，若相等则写入新值，并返回 true；否则将当前值写回期望值变量，并返回 false。

立即学习“C++免费学习笔记（深入）”；

compare_exchange_weak 与 compare_exchange_strong 的区别

两者功能相似，但在某些平台上（如x86以外的架构），weak 版本可能偶尔失败，即使值实际上匹配。这种“伪失败”是为了获得更高的性能，特别是在循环中使用时。

通常建议在循环中使用 compare_exchange_weak，因为它在某些架构上更高效：

std::atomic<int> value{0};

int expected = value.load();
while (!value.compare_exchange_weak(expected, desired)) {
    // 如果失败，expected 已被更新为当前实际值
    // 可以选择重新计算 desired 或退出
}

登录后复制

而 compare_exchange_strong 保证只有在值不匹配时才失败，适合不需要循环或对失败敏感的场景。

Songtell

Songtell是第一个人工智能生成的歌曲含义库

164

查看详情

CAS 在无锁编程中的典型应用

利用 CAS 可以实现诸如无锁计数器、无锁链表节点插入等操作。例如，一个简单的无锁递增可以通过 CAS 实现：

void lock_free_increment(std::atomic<int>& counter) {
    int expected = counter.load();
    int desired;
    while (true) {
        desired = expected + 1;
        if (counter.compare_exchange_weak(expected, desired)) {
            break;  // 成功更新
        }
        // 失败时，expected 被更新为当前值，继续重试
    }
}

登录后复制

这个模式称为“读-改-重试”循环，是无锁编程中最常见的结构。