0

0

c++如何使用std::atomic_flag_c++最简单的无锁自旋锁【核心】

尼克

尼克

发布时间:2026-02-09 13:31:02

|

376人浏览过

|

来源于php中文网

原创

std::atomic_flag 是无锁原子布尔标记,仅支持 test_and_set() 和 clear(),需手动配 memory_order_acquire/release 实现自旋锁;不可直接当锁用,误用会导致死循环或未定义行为。

c++如何使用std::atomic_flag_c++最简单的无锁自旋锁【核心】

std::atomic_flag 是什么,为什么不能直接当锁用

它不是锁,只是个原子布尔标记,连 load()store() 都不支持(C++20 前只能用 test_and_set()clear())。想靠它实现自旋锁,必须手动轮询 + 内存序控制,否则会读到陈旧值或触发未定义行为。

常见错误现象:while (flag.test_and_set()) {} 死循环卡住 —— 不是因为没抢到,而是因为编译器优化掉了重复读取,或者 CPU 没看到其他线程的写入。

  • 必须用 memory_order_acquire 保证后续操作不会被重排到加锁前
  • 必须用 memory_order_release 保证临界区操作全部完成后再清标志
  • test_and_set() 默认是 memory_order_seq_cst,性能高但没必要;显式指定更安全也更清晰

怎么写一个最小可用的自旋锁

核心就三步:尝试获取、忙等、释放。别封装成类也行,但得把内存序写对,不然多核下大概率出错。

std::atomic_flag lock = ATOMIC_FLAG_INIT;

// 加锁
while (lock.test_and_set(std::memory_order_acquire)) {
    // 可选:__builtin_ia32_pause() 或 std::this_thread::yield()
}

// 临界区
do_something();

// 解锁
lock.clear(std::memory_order_release);
  • ATOMIC_FLAG_INIT 是唯一合法初始化方式,{}= {} 在 C++17 后可能失效
  • 忙等时加 pause 指令(x86)能降低功耗和总线争用,std::this_thread::yield() 开销更大,慎用
  • 别在临界区内调用可能阻塞的函数(如 mallocstd::cout),自旋锁只适合极短操作

std::atomic_flag 和 std::atomic 有什么区别

前者保证无锁(lock-free),后者不一定。用 std::atomic 写自旋锁看似简单,但 x86 下可能生成 lock xchgb,ARM 下甚至退化为互斥量模拟 —— 这就不是无锁了。

蚂蚁PPT
蚂蚁PPT

AI在线智能生成PPT

下载

立即学习C++免费学习笔记(深入)”;

  • 查是否真无锁:lock.is_lock_free() 必须返回 true,不是“理论上可以”
  • std::atomicexchange() 虽然也能做 test-and-set,但语义不如 test_and_set() 明确,且无法强制无锁
  • 别图省事用 std::atomic 模拟,哪怕只用 0/1,也破坏了原子标志的硬件级保证

哪些场景下 std::atomic_flag 自旋锁反而更差

等待时间稍长(比如 > 几百纳秒)、线程数远超 CPU 核心数、或临界区有系统调用时,它会让 CPU 白跑,吞光调度时间片,拖慢整个程序。

  • Linux 下可观察到 top 里 CPU 占用 100%,但实际吞吐没提升,甚至下降
  • 调试时若卡在 test_and_set() 循环里,别急着断点 —— 先确认是不是持有锁的线程崩溃或死锁了
  • 嵌入式或实时系统中,如果中断上下文要参与同步,std::atomic_flag 仍可用,但得确保 clear() 不被中断打断(通常默认满足)

真正难的是判断“多短才算短”——这得看具体负载、缓存一致性协议、以及你愿不愿意为 20ns 的开销多写 10 行代码。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
while的用法
while的用法

while的用法是“while 条件: 代码块”,条件是一个表达式,当条件为真时,执行代码块,然后再次判断条件是否为真,如果为真则继续执行代码块,直到条件为假为止。本专题为大家提供while相关的文章、下载、课程内容,供大家免费下载体验。

100

2023.09.25

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

613

2023.08.10

磁盘配额是什么
磁盘配额是什么

磁盘配额是计算机中指定磁盘的储存限制,就是管理员可以为用户所能使用的磁盘空间进行配额限制,每一用户只能使用最大配额范围内的磁盘空间。php中文网为大家提供各种磁盘配额相关的内容,教程,供大家免费下载安装。

1480

2023.06.21

如何安装LINUX
如何安装LINUX

本站专题提供如何安装LINUX的相关教程文章,还有相关的下载、课程,大家可以免费体验。

712

2023.06.29

linux find
linux find

find是linux命令,它将档案系统内符合 expression 的档案列出来。可以指要档案的名称、类别、时间、大小、权限等不同资讯的组合,只有完全相符的才会被列出来。find根据下列规则判断 path 和 expression,在命令列上第一个 - ( ) , ! 之前的部分为 path,之后的是 expression。还有指DOS 命令 find,Excel 函数 find等。本站专题提供linux find相关教程文章,还有相关

298

2023.06.30

linux修改文件名
linux修改文件名

本专题为大家提供linux修改文件名相关的文章,这些文章可以帮助用户快速轻松地完成文件名的修改工作,大家可以免费体验。

784

2023.07.05

linux系统安装教程
linux系统安装教程

linux系统是一种可以免费使用,自由传播,多用户、多任务、多线程、多CPU的操作系统。本专题提供linux系统安装教程相关的文章,大家可以免费体验。

580

2023.07.06

linux查看文件夹大小
linux查看文件夹大小

Linux是一种自由和开放源码的类Unix操作系统,存在着许多不同的Linux版本,但它们都使用了Linux内核。Linux可安装在各种计算机硬件设备中,比如手机、平板电脑、路由器、视频游戏控制台、台式计算机、大型机和超级计算机。linux怎么查看文件夹大小呢?php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

556

2023.07.20

Golang处理数据库错误教程合集
Golang处理数据库错误教程合集

本专题整合了Golang数据库错误处理方法、技巧、管理策略相关内容,阅读专题下面的文章了解更多详细内容。

122

2026.02.06

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PostgreSQL 教程
PostgreSQL 教程

共48课时 | 8.7万人学习

Git 教程
Git 教程

共21课时 | 3.5万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号