在C++并发编程里，std::atomic_flag是被设计成无锁原子类型的成员之一，它只支持两种操作状态，因此非常适合用来实现最简单的无锁自旋锁。相比std::mutex，它在极短临界区中能减少线程挂起和唤醒的代价。
std::atomic_flag的基本特性
std::atomic_flag与其他原子类型不同，它没有拷贝构造和赋值操作，必须用ATOMIC_FLAG_INIT进行初始化，初始状态为清除。它主要提供两个成员函数：
test_and_set：将标志设为true，并返回之前的值clear：将标志恢复为false
这两个操作都是原子性的，因此多个线程同时调用也不会产生数据竞争。
用std::atomic_flag实现自旋锁
自旋锁的核心逻辑是：线程在获取锁时不断尝试设置标志，如果已经被别的线程设置就循环等待，直到成功后再进入临界区。退出时清除标志即可。
基础自旋锁代码示例
#include <atomic>
#include <thread>
#include <iostream>
// 使用ATOMIC_FLAG_INIT初始化，状态为清除
std::atomic_flag lock_flag = ATOMIC_FLAG_INIT;
void critical_section(int id) {
// 自旋等待直到成功获取锁
while (lock_flag.test_and_set(std::memory_order_acquire)) {
// 空循环，自旋
}
// 临界区开始
std::cout << "线程 " << id << " 进入临界区" << std::endl;
// 临界区结束
lock_flag.clear(std::memory_order_release);
}
int main() {
std::thread t1(critical_section, 1);
std::thread t2(critical_section, 2);
t1.join();
t2.join();
return 0;
}
上面代码中，test_and_set使用memory_order_acquire确保后续读写不会重排到加锁前，clear使用memory_order_release保证临界区内的写操作对其他线程可见。
为什么它是最简单的无锁自旋锁
std::atomic_flag不依赖任何操作系统互斥原语，在多数平台上直接映射为单条原子指令，例如x86的lock bts。因此它不需要像std::mutex那样在竞争时陷入内核，适合保护执行极快的代码片段。
| 对比项 | std::atomic_flag自旋锁 | std::mutex |
|---|---|---|
| 是否无锁 | 是 | 否 |
| 竞争时行为 | 忙等 | 线程休眠 |
| 适用场景 | 极短临界区 | 通用互斥 |
使用注意事项
自旋锁在锁持有时间较长时会浪费CPU，因此只建议在临界区非常短且竞争不激烈时使用。另外，std::atomic_flag不能拷贝，若需多个锁应分别定义变量。对于需要递归或超时能力的场景，应选择其他同步工具。
总结：通过std::atomic_flag的test_and_set和clear，我们可以用极少代码写出一个无锁自旋锁，这是理解C++无锁编程的最佳起点。
std::atomic_flag无锁自旋锁C++并发修改时间：2026-07-29 09:21:19