0

0

c++中的std::atomic_flag有什么用_c++最简单的原子类型与自旋锁【并发】

冰火之心

冰火之心

发布时间:2025-12-07 20:39:40

|

460人浏览过

|

来源于php中文网

原创

std::atomic_flag是最轻量的无锁原子类型,专为自旋锁设计,仅支持test_and_set()和clear()两个原子操作,不支持load/store、拷贝或赋值,必须显式初始化,保证lock-free实现。

c++中的std::atomic_flag有什么用_c++最简单的原子类型与自旋锁【并发】

std::atomic_flag 是 C++ 中最轻量、最底层的原子类型,专为实现自旋锁(spinlock)这类无锁同步原语而设计。它只支持两个操作:test_and_set()(置位并返回旧值)和clear()(清零),且保证这两个操作是原子的、不可中断的。它不提供 load/store 语义,也不支持拷贝或赋值——天生就是“开关型”工具

为什么需要 atomic_flag?

在多线程环境下,有时需要极简、低开销的互斥控制,比如保护一小段关键代码、实现自定义锁、或构建更复杂的原子结构。mutex 太重(涉及系统调用、上下文切换),而 std::atomic 虽简单,但无法保证“测试+设置”是单个原子指令(可能被编译器或 CPU 拆分)。atomic_flag 则由标准强制要求必须以**无锁方式实现**(lock-free),通常直接映射到 CPU 的 test-and-setexchangecompare-and-swap 指令,真正做到了最小延迟。

怎么用它写一个自旋锁?

一个典型的、可复用的自旋锁实现如下:

(注意:实际项目中建议优先使用 std::mutex;自旋锁仅适用于临界区极短、且线程数 ≤ CPU 核心数的场景)

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

知识吐司
知识吐司

专注K12教育的AI知识漫画生成工具

下载
  • ATOMIC_FLAG_INIT 静态初始化(C++17 起可直接用 {} 初始化)
  • 构造时调用 test_and_set(std::memory_order_acquire) 尝试上锁;若返回 false,说明之前是未设置状态,成功获得锁
  • 循环重试直到成功(即“自旋”),每次用 std::this_thread::yield() 提示调度器让出时间片,避免空转霸占 CPU
  • 析构或解锁时调用 clear(std::memory_order_release),确保释放前的写操作对其他线程可见

atomic_flag 和 atomic 的关键区别

  • atomic_flag 一定是 lock-free 的;atomic 可能退化为内部加锁(罕见,但标准允许)
  • atomic_flag 不支持读取当前值(没有 load()),只能通过 test_and_set() “消耗性读取”
  • atomic_flag 不可拷贝、不可赋值、无默认构造函数(必须显式初始化)
  • 语义更纯粹:它不是“一个布尔原子变量”,而是“一个只能开关一次再清零的原子门闩”

一个最小可行示例

下面代码演示如何用 atomic_flag 保护一个共享计数器递增:

std::atomic_flag lock = ATOMIC_FLAG_INIT;
int counter = 0;

void increment() {
    while (lock.test_and_set(std::memory_order_acquire)) {
        std::this_thread::yield(); // 让出 CPU,减少忙等开销
    }
    ++counter;
    lock.clear(std::memory_order_release);
}

多个线程并发调用 increment() 时,只会有一个线程能“穿过”这个锁,其余线程在 test_and_set() 返回 true 后持续自旋等待,直到锁被释放。

基本上就这些。它不复杂,但容易忽略它的设计初衷——不是用来存状态,而是用来建同步机制的“砖块”。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
线程和进程的区别
线程和进程的区别

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

482

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

144

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

本专题整合了java多线程相关教程,阅读专题下面的文章了解更多详细内容。

5

2026.01.21

C++多线程相关合集
C++多线程相关合集

本专题整合了C++多线程相关教程,阅读专题下面的的文章了解更多详细内容。

11

2026.01.21

c++ 根号
c++ 根号

本专题整合了c++根号相关教程,阅读专题下面的文章了解更多详细内容。

70

2026.01.23

c++空格相关教程合集
c++空格相关教程合集

本专题整合了c++空格相关教程,阅读专题下面的文章了解更多详细内容。

72

2026.01.23

yy漫画官方登录入口地址合集
yy漫画官方登录入口地址合集

本专题整合了yy漫画入口相关合集,阅读专题下面的文章了解更多详细内容。

297

2026.01.23

漫蛙最新入口地址汇总2026
漫蛙最新入口地址汇总2026

本专题整合了漫蛙最新入口地址大全,阅读专题下面的文章了解更多详细内容。

469

2026.01.23

C++ 高级模板编程与元编程
C++ 高级模板编程与元编程

本专题深入讲解 C++ 中的高级模板编程与元编程技术,涵盖模板特化、SFINAE、模板递归、类型萃取、编译时常量与计算、C++17 的折叠表达式与变长模板参数等。通过多个实际示例,帮助开发者掌握 如何利用 C++ 模板机制编写高效、可扩展的通用代码,并提升代码的灵活性与性能。

17

2026.01.23

热门下载

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

精品课程

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

共94课时 | 7.6万人学习

C 教程
C 教程

共75课时 | 4.2万人学习

C++教程
C++教程

共115课时 | 13.8万人学习

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

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