C++多线程中如何利用CAS指令实现无锁操作-C++-PHP中文网

直接用std::atomic::compare_exchange_weak而非手写汇编，因其已在各平台正确封装硬件CAS指令、处理内存序与对齐，兼顾可移植性、安全性和编译器优化；手写汇编易出错、难维护且破坏抽象。

c++多线程中如何利用cas指令实现无锁操作

为什么直接用 `std::atomic` 的 `compare_exchange_weak` 而不是手写汇编 CAS

现代 C++ 中，你几乎不需要也不应该手动嵌入 lock cmpxchg 汇编指令。标准库的 std::atomic<t>::compare_exchange_weak</t> 已经在各平台（x86/x64、ARM64）上做了正确封装：生成带 lock 前缀的原子指令、处理内存序、适配不同对齐要求。手写汇编不仅易出错，还破坏可移植性，且编译器无法对其做优化或内联。

常见错误现象：std::atomic_flag 被误用于非布尔状态；或对未对齐的 std::atomic<uint64_t></uint64_t> 在 ARM 上触发 SIGBUS —— 这类问题本质是类型/对齐没满足硬件 CAS 要求，而非函数选错。

必须确保原子变量内存对齐（alignas(std::atomic<t>::required_alignment)</t>，通常编译器自动满足）
避免对 std::atomic<:string></:string> 或其他非平凡类型调用 CAS —— 它们不支持，编译会报错
compare_exchange_weak 可能伪失败（spurious failure），需在循环中重试；strong 版本在 x86 上无额外开销，但 ARM 上代价更高

实现一个线程安全的无锁栈时，`compare_exchange_weak` 怎么写才不丢节点

核心陷阱在于 ABA 问题：节点 P 被弹出（A→B）、重用为新节点插入（B→A），此时 CAS 误认为“值没变”而成功，导致链表断裂。标准解法是给指针加版本号（tagged pointer），用 std::atomic<uint64_t></uint64_t> 存储高位版本+低位指针。

示例关键片段（仅示意结构）：

struct Node {
    int data;
    Node* next;
};
<p>struct LockFreeStack {
std::atomic<uint64_t> head_; // 低 48 位存指针，高 16 位存版本号（x86-64）</uint64_t></p><pre class="brush:php;toolbar:false;">void push(int data) {
    Node* node = new Node{data, nullptr};
    uint64_t expected, desired;
    do {
        expected = head_.load(std::memory_order_acquire);
        Node* old_head = reinterpret_cast<node>(expected & 0x0000FFFFFFFFFFFFULL);
        node->next = old_head;
        desired = (expected + 0x0001000000000000ULL) | 
                  reinterpret_cast<uint64_t>(node);
    } while (!head_.compare_exchange_weak(expected, desired,
                                         std::memory_order_acq_rel,
                                         std::memory_order_acquire));
}</uint64_t></node>

};

C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。

下载

必须用 std::memory_order_acq_rel 保证 push 中的写操作不被重排到 CAS 之后
不能只靠 std::atomic<node></node> 实现正确 push/pop —— 单指针无法规避 ABA
实际项目中建议用 boost::lockfree::stack 或 moodycamel::ConcurrentQueue，它们已处理内存回收（如 Hazard Pointer / RCU）

`compare_exchange_weak` 的 memory_order 参数选错会导致什么

参数顺序和语义混淆是高频 bug：第一个 memory_order 是“CAS 成功时的内存序”，第二个是“失败时的加载序”。选错最直接后果是数据竞争或读到陈旧值 —— 编译器不会报错，但行为未定义。

典型误用：cas(..., std::memory_order_relaxed, std::memory_order_acquire) —— 成功时不保证之前写入对其他线程可见
push 场景推荐：compare_exchange_weak(..., std::memory_order_acq_rel, std::memory_order_acquire)
pop 场景若需读取弹出节点的数据，必须用 std::memory_order_acquire 加载头指针，否则可能读到未初始化的 node->data
x86 下 acq_rel 和 seq_cst 指令相同，但语义不同；ARM 下差异显著，不可假设