C++实现原子操作的标志位AtomicFlag _ 无锁互斥量实现【源码】-C++-PHP中文网

c++oding="utf-8" ?>

std::atomic_flag 不能直接用作互斥量，因其无等待语义、无公平性保证、无隐含内存序约束，且未初始化行为未定义；正确用法需配对 acquire/release 内存序、显式初始化，并加入退避机制。

c++实现原子操作的标志位atomicflag _ 无锁互斥量实现【源码】

std::atomic_flag 是 C++ 中最轻量的原子类型，它只支持 test_and_set() 和 clear() 两个操作，天生无锁、无内存分配、可静态初始化——但正因如此，它极易被误用为“简陋互斥量”，结果引发死锁或忙等失控。

为什么不能直接用 `std::atomic_flag` 当互斥量用

很多人看到 test_and_set() 返回旧值、clear() 能重置，就以为可以手写一个类似 lock()/unlock() 的互斥逻辑。问题在于：std::atomic_flag 不提供等待语义，也不保证公平性，更不隐含内存序约束。

裸调 test_and_set() 循环（即“test-and-set loop”）在高竞争下会持续占用 CPU，且没有 yield 或 backoff，可能饿死其他线程
默认构造的 std::atomic_flag 处于未定义状态，必须用 ATOMIC_FLAG_INIT 或 clear() 显式初始化，否则行为未定义
test_and_set() 默认使用 memory_order_seq_cst，但若手动指定更弱序（如 memory_order_acquire），clear() 必须配对使用 memory_order_release，否则读写重排会导致临界区失效

正确实现一个自旋互斥量（Spin Mutex）

真正的无锁互斥量不是“去掉锁”，而是用原子原语+合理内存序+退避策略模拟锁语义。以下是一个生产可用的最小化实现：

C++

"空空如也"

下载

struct spin_mutex {
    std::atomic_flag flag = ATOMIC_FLAG_INIT;

    void lock() noexcept {
        while (flag.test_and_set(std::memory_order_acquire)) {
            // 简单退避：避免总线争抢
            __builtin_ia32_pause(); // x86
            // 其他平台可用 std::this_thread::yield()（慎用，可能更慢）
        }
    }

    void unlock() noexcept {
        flag.clear(std::memory_order_release);
    }
};

关键点：

lock() 中的 test_and_set(std::memory_order_acquire) 确保后续读操作不会被重排到获取前
unlock() 的 clear(std::memory_order_release) 确保临界区内写操作对其他线程可见
__builtin_ia32_pause() 是 x86 的 hint 指令，降低自旋功耗；ARM 可用 __asm__ volatile("yield")，但注意并非所有 ARM 架构都支持
不要在持有该锁时调用阻塞系统调用（如 read(), sleep()），否则整个 CPU 核可能空转

比 `spin_mutex` 更安全的替代方案

除非你明确知道临界区极短（std::atomic_flag 手写同步原语。现代 C++ 提供了更稳健的选择：

std::mutex 在多数实现中（如 libstdc++、libc++）底层已针对短临界区做了自适应优化：先自旋若干次，失败后再陷入内核——比手写 spin mutex 更可靠
std::atomic<bool></bool> 或 std::atomic<int></int> 虽稍重，但支持 wait()/notify_one()（C++20），能真正避免忙等
若需无锁数据结构，应基于 std::atomic<t></t> + CAS（compare_exchange_weak）构建，而非退回到 atomic_flag