C++11如何触发compare_exchange_weak伪失败并对比strong版本差异

完全可以构造稳定触发compare_exchange_weak伪失败的场景，且同逻辑替换为compare_exchange_strong时不会出现这类无意义失败，两者的行为差异本质是底层实现逻辑不同。

• compare_exchange_weak是架构原生原子CAS指令的薄封装：在使用LL/SC（加载链接/条件存储）机制实现原子操作的架构（ARM、RISC-V、旧版PowerPC）上，只要LL与SC指令执行的间隙发生缓存行争用、硬件中断、线程上下文切换，哪怕目标内存值和期望值完全一致，SC指令也会执行失败，直接向调用方返回false，这就是伪失败。
• compare_exchange_strong做了上层兜底：它在底层检测到这类非值不匹配导致的失败时，会自动重新加载内存值、重试CAS操作，直到操作成功，或者确认内存值确实和期望值不匹配才返回，不会把伪失败暴露给上层逻辑。
• 稳定触发思路：把CAS目标变量和一个频繁写入的变量放在同一个CPU缓存行，同时启动多个线程持续写入干扰变量、主动触发线程调度，就能在LL/SC架构上稳定复现weak版本的伪失败。

以下是C++实现的可运行测试代码，在ARM架构设备（苹果M系列Mac、树莓派、ARM云服务器）上可以稳定观测到两者差异：

#include <atomic>
#include <thread>
#include <iostream>
#include <vector>

// 两个变量强制对齐到同一个64字节CPU缓存行，保证干扰写入会触发LL/SC的冲突检测
alignas(64) std::atomic<int> target = {0};
std::atomic<int> noise = {0};

template <bool UseWeakVersion>
long count_spurious_failure(int test_rounds) {
    long fail_cnt = 0;
    target.store(0, std::memory_order_relaxed);

    // 启动3个干扰线程，持续写同缓存行的noise变量，主动制造缓存行争用
    std::vector<std::thread> noise_workers;
    for (int i = 0; i < 3; ++i) {
        noise_workers.emplace_back([]() {
            for (int j = 0; j < 1000000; ++j) {
                noise.fetch_add(1, std::memory_order_relaxed);
                std::this_thread::yield(); // 主动让出CPU，增加上下文切换概率，放大伪失败概率
            }
        });
    }

    // 主线程循环执行CAS：期望值始终为0，CAS成功后立刻把target改回0，保证不存在真值不匹配的失败场景
    for (int i = 0; i < test_rounds; ++i) {
        int expected = 0;
        bool cas_success;
        if constexpr (UseWeakVersion) {
            cas_success = target.compare_exchange_weak(
                expected, 1,
                std::memory_order_acq_rel,
                std::memory_order_relaxed
            );
        } else {
            cas_success = target.compare_exchange_strong(
                expected, 1,
                std::memory_order_acq_rel,
                std::memory_order_relaxed
            );
        }

        if (!cas_success) {
            // 如果返回失败但expected仍为0，说明内存值根本没变化，属于纯伪失败
            if (expected == 0) {
                ++fail_cnt;
            }
        } else {
            // CAS成功后立刻重置target为0，保证下一轮CAS的期望值永远匹配实际值
            target.store(0, std::memory_order_release);
        }
    }

    for (auto& t : noise_workers) {
        t.join();
    }
    return fail_cnt;
}

int main() {
    const int rounds = 100000;
    long weak_fail = count_spurious_failure<true>(rounds);
    long strong_fail = count_spurious_failure<false>(rounds);

    std::cout << "总测试轮次：" << rounds << "\n";
    std::cout << "compare_exchange_weak 伪失败次数：" << weak_fail << "\n";
    std::cout << "compare_exchange_strong 伪失败次数：" << strong_fail << "\n";
    return 0;
}

• 编译命令：g++ cas_test.cpp -o cas_test -std=c++17 -pthread -O0，使用-O0优化避免编译器把测试逻辑优化掉。
• 典型运行结果（ARM架构下）：

总测试轮次：100000
compare_exchange_weak 伪失败次数：947
compare_exchange_strong 伪失败次数：0

• 注意：x86架构下CAS基于硬件原生cmpxchg指令实现，不存在LL/SC机制带来的伪失败问题，因此两个版本的伪失败次数都会是0，这是架构特性导致的，不代表API本身没有行为差异。

内容的提问来源于stack exchange，提问作者Troskyvs