C++ atomic_flag实现自旋锁 _ 无锁同步机制入门【干货】

首页

编程语言

热心网友

转载

2026-05-05

C++ atomic_flag实现自旋锁 | 无锁同步机制入门【干货】

C++ atomic_flag实现自旋锁 _ 无锁同步机制入门【干货】

免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈

atomic_flag 为什么不能直接用 operator== 判断状态

这源于其核心设计理念。atomic_flag 被刻意设计为一种“仅支持原子写操作”的基础类型——它既不提供 load() 方法，也不支持隐式转换为 bool。这种看似“不便”的设计，其根本目的是强制开发者必须通过“测试并置位”（test_and_set()）这一原子操作来构建自旋锁逻辑。许多初学者会尝试编写 if (flag == false) 这样的代码，结果遭遇编译错误。这并非语言在设限，而是一种保护机制，提醒开发者避免绕过原子语义，从而引入潜在的数据竞争风险。

唯一正确的使用方式是依赖 test_and_set() 的返回值。该操作返回执行前的旧值，并默认采用最强的顺序一致性内存序（memory_order_seq_cst）：

std::atomic_flag flag = ATOMIC_FLAG_INIT;
// 判断锁是否空闲？只能通过“尝试获取”：
while (flag.test_and_set(std::memory_order_acquire)) {
    // 在此处自旋等待，或考虑引入适度的退让策略以降低CPU占用
}

初始化必须使用宏 ATOMIC_FLAG_INIT。若尝试使用空花括号 {} 或 = {} 进行初始化，尤其在静态存储期对象上，可能导致未定义行为。
test_and_set() 操作有一个固定行为：总是将标志设置为 true。其返回值是“设置之前”的值。因此，若首次调用返回 false，则表明成功获取了锁。
在自旋循环中需谨慎使用 std::this_thread::yield()。它并不保证会让出CPU时间片，在某些系统实现中可能等同于空操作。若希望有效降低CPU使用率，可考虑引入短暂休眠或指数退避等策略。

自旋锁构造函数里忘记 clear() 会导致首次 lock() 永远阻塞

这是一个典型的初始化陷阱。新创建的 atomic_flag 对象，其初始状态是“未指定的”（unspecified），而非自动为 false。如果忽略了初始化步骤，首次调用 test_and_set() 便可能返回 true，导致锁永远无法被成功获取。

安全的构造函数实现主要有以下两种方式：

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

struct spinlock {
    std::atomic_flag flag;
    spinlock() : flag(ATOMIC_FLAG_INIT) {} // ✅ 推荐方案：在成员初始化列表中完成
    // 另一种等效写法：
    // spinlock() { flag.clear(std::memory_order_relaxed); }
};

clear() 是唯一能将 atomic_flag 状态重置为 false 的方法，必须显式调用。ATOMIC_FLAG_INIT 宏在展开后，本质上提供了类似 ATOMIC_VAR_INIT(false) 的初始化保障。
注意，不应在类内直接使用 std::atomic_flag flag{ATOMIC_FLAG_INIT} 这样的写法。C++11 标准不支持非静态数据成员的花括号初始化（C++14 起允许，但仍需注意ABI兼容性风险）。
若锁需要重复使用（即在 unlock 之后再次 lock），则每次 unlock 时都必须调用 flag.clear(std::memory_order_release)，否则后续的 lock 操作必然失败。

memory_order 选错会让自旋锁在多核上失效

自旋锁的核心目标不仅是避免线程阻塞，更重要的是确保临界区内的内存访问顺序不被编译器和处理器重排，并维护多核间的缓存一致性。一个常见错误是全部使用最宽松的 memory_order_relaxed：

// ❌ 危险示例：临界区内的读写可能被重排到 lock() 之前，或延迟到 unlock() 之后
while (flag.test_and_set(std::memory_order_relaxed)) {}
// ... 临界区代码 ...
flag.clear(std::memory_order_relaxed);

正确的内存序配对应为：

test_and_set(std::memory_order_acquire)：这是一个“获取”操作，确保该操作之后的所有内存读写都不会被重排到它之前。
clear(std::memory_order_release)：这是一个“释放”操作，确保该操作之前的所有内存读写都不会被重排到它之后。
这一对“获取-释放”操作共同构成了一个同步点，使得不同线程能够观察到一致的修改顺序。

从性能角度分析，acquire/release 语义在 x86/x64 架构上几乎不产生额外开销（依赖于硬件内存屏障）。但在 ARM/AArch64 架构上，它们会生成类似 dmb ish 的屏障指令——这是保证正确性所必须付出的代价，绝不能省略。

为什么不用 atomic_bool 替代 atomic_flag 实现自旋锁

技术上可行，但通常不推荐，因为容易引入隐蔽的缺陷。有人为图方便会写成：

std::atomic flag{false};
while (flag.exchange(true, std::memory_order_acquire)) {} // ❌ 存在潜在问题！

这里存在几个关键区别：

exchange() 是一个“读-改-写”操作，而 atomic_flag::test_and_set() 通常对应更底层的原子指令（在 x86 上可能是 XCHG 或 LOCK BTS）。
更重要的是语义保证：C++ 标准要求 atomic_flag 在所有平台上都必须是“无锁”（lock-free）实现的，绝不会在底层隐式使用互斥量。而 atomic 在某些特定平台（例如部分旧的 ARMv7 实现）上，有可能退化为基于互斥锁的实现，这就失去了“自旋”锁的本意。
atomic_flag 通常也更轻量，没有额外的填充字节和对齐冗余，sizeof(std::atomic_flag) 往往是 1 个字节。

如果确实需要使用 atomic 实现自旋锁，务必先调用 is_lock_free() 确认其底层实现为无锁。并且，exchange 操作的内存序参数需要仔细配对（例如配对使用 acquire 和 release），不能仅使用单一内存序。

归根结底，实现一个自旋锁的代码不过寥寥数行，真正的挑战在于深刻理解 test_and_set() 返回值与内存序之间那份精妙的契约。遗漏其中任何一环，程序可能在绝大多数机器上运行无误，却在极少数特定场景下引发死锁或静默的数据错误。这正是最需要警惕之处。

来源:https://www.php.cn/faq/2316218.html

免责声明：游乐网为非赢利性网站，所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系youleyoucom@outlook.com。

上一篇：Laravel怎样自定义错误报告格式_Laravel自定义错误报告格式方法【调试】下一篇：c#如何使用BlockingCollection_c#BlockingCollection从入门到精通教程