news 2026/6/10 16:27:02

C++多线程之原子操作 std::atomic

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
C++多线程之原子操作 std::atomic

std::atomic 介绍

std::atomic 是 C++11 引入的模板类,用于支持多线程环境下的原子操作。原子操作是不可分割的操作,即在执行过程中不会被其他线程打断,从而避免数据竞争和未定义行为。

原子操作的概念

原子操作是指一个操作要么完全执行,要么完全不执行,不会出现部分执行的状态。在多线程环境中,原子操作能够确保对共享变量的读写是线程安全的,无需额外的锁机制。

适用场景

  • 计数器或标志位的无锁更新
  • 实现简单的同步机制(如自旋锁)
  • 高性能并发场景,避免锁的开销

atomic仅能处理 “单个变量的原子读写 / 交换 / 累加”(如计数器、标志位),一旦逻辑超过 “单个变量操作”,atomic就无能为力。atomic的核心价值就是无锁、高性能的单一变量同步

常用接口

std::atomic 提供以下常用成员函数:

  • load():原子读取变量的值
  • store(val):原子写入变量的值
  • exchange(val):原子交换变量的值并返回旧值
  • compare_exchange_weak(expected, desired):比较并交换(弱版本)
  • compare_exchange_strong(expected, desired):比较并交换(强版本)

经典应用场景

1.std::atomic用来做线程退出的标志位

//设置线程退出标志位 std::atomic <bool> m_flag; //假设有一个工作线程 void work(){ while(!m_flag.load(std::memory_order_acquire)) { std::cout<<"this thread is working..."<<std::endl; std::this_thread::sleep_for(std::chrono::milliseconds(100)); } } int main() { std::thread t(work); std::this_thread::sleep_for(std::chrono::seconds(1)); //更改线程标志位 m_flag.store(true,std::memory_release) //std::memory_release规定写入权限对于线程可见 t.join(); return 0; }
2.使用 std::atomic_flag 实现自旋锁

std::atomic_flag 是最简单的原子布尔类型,适合实现自旋锁

#include <atomic> #include <thread> class SpinLock { public: SpinLock() : flag(ATOMIC_FLAG_INIT) {} void lock() { while (flag.test_and_set(std::memory_order_acquire)) { // 核心条件2: 满足自旋等待,不阻塞 } } void unlock() { flag.clear(std::memory_order_release); } private: std::atomic_flag flag; //核心条件1:原子操作 }; // 使用示例 SpinLock spinLock; int sharedData = 0; void increment() { spinLock.lock(); ++sharedData; spinLock.unlock(); } int main() { std::thread t1(increment); std::thread t2(increment); t1.join(); t2.join(); return 0; }

1.std::atomic_flag是一个原子布尔开关,其只有std::atomic_flag::test_and_set()std::atomic_flag::clear()两个接口。

2.std::atomic::test_and_set(): 有两个返回值:1.false-表示当前锁未被占用

2.true-表示当前锁已被占用

返回的是旧值(即标志位被更改之前的值)。其核心逻辑是原子性的完成(测试标志位状态+设置标志位为置位)两个动作,其动作不可被线程调度打断,要么完成,要么不进行。

可能有的读者会误认为,test_and_set()是先测试锁是否被占用,没有被占用再获取锁,并将其标志位改为置用。 但其实并不是这样,其操作逻辑是先获取标志位状态,并且不管当前锁有没有没占用,都将标志位改为占用,再返回获取到的未被更改前的旧值。

例如,test_and_set()获取到的是false,则先将false改为true,告诉其他线程锁已经被我占用了,再将返回获取到的false。

若其获取到的是true,还是会将标志位置为true,这就可以理解为不管获取到什么状态,都会将标志位强行置为true。返回true,继续忙等。

3.std::atomic_flag::clear(): 其作用就是重置标志位,将true置为false。与test_and_set()搭配使用。

注意事项

  • 自旋锁适用于临界区执行时间短的场景,否则会浪费 CPU 资源。
  • 内存序(如std::memory_order_acquirestd::memory_order_release)用于控制原子操作的同步语义。
版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/6/10 4:18:13

7个关键指标:为什么Noria能实现5倍性能飞跃?

7个关键指标&#xff1a;为什么Noria能实现5倍性能飞跃&#xff1f; 【免费下载链接】noria Fast web applications through dynamic, partially-stateful dataflow 项目地址: https://gitcode.com/gh_mirrors/no/noria 在当今数据密集型Web应用环境中&#xff0c;传统数…

作者头像 李华
网站建设 2026/6/10 15:35:12

一手实测 Nano Banana Pro 后,我总结了 8 种全新的超神玩法

AI 技术的进步总是让我们惊叹不已&#xff0c;而 Nano Banana Pro 的出现&#xff0c;无疑是其中最引人注目的突破之一。这款基于深度学习和生成对抗网络&#xff08;GAN&#xff09;技术的绘图工具&#xff0c;以其强大的智能化能力和创新性应用&#xff0c;迅速成为了设计师、…

作者头像 李华
网站建设 2026/6/10 15:36:02

Very Sleepy:Windows开发者必备的性能瓶颈定位神器

Very Sleepy&#xff1a;Windows开发者必备的性能瓶颈定位神器 【免费下载链接】verysleepy Very Sleepy, a sampling CPU profiler for Windows 项目地址: https://gitcode.com/gh_mirrors/ve/verysleepy 你是否曾经遇到过这样的情况&#xff1a;应用程序运行缓慢&…

作者头像 李华
网站建设 2026/6/10 15:32:36

MSBuild BuildCheck框架:构建时质量控制的革命性突破

MSBuild BuildCheck框架&#xff1a;构建时质量控制的革命性突破 【免费下载链接】msbuild msbuild: 是 .NET Framework 的构建引擎&#xff0c;用于构建和管理 .NET 项目。适合 .NET 开发者和系统管理员使用 msbuild 构建和管理 .NET 项目。 项目地址: https://gitcode.com/…

作者头像 李华