C++ 原子变量atomic variable

2024-09-05 20:36

本文主要是介绍C++ 原子变量atomic variable,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

原子变量

原子变量(atomic variable)是 C++11 引入的一种同步机制,用于在多线程环境中进行无锁的、线程安全的操作。原子变量的操作是不可分割的,即在执行过程中不会被其他线程中断,从而避免了数据竞争和不一致的问题。原子变量位于 头文件中。

基本概念

原子性

原子性:一个操作是原子的,意味着它在执行过程中不会被其他线程中断。原子操作要么完全执行,要么完全不执行,不存在部分执行的状态。

数据竞争

数据竞争:当多个线程同时访问同一个内存位置,并且至少有一个线程在写入数据时,就会发生数据竞争。数据竞争可能导致未定义行为和数据不一致。

原子变量的类型

C++ 标准库提供了多种原子类型,包括:

std::atomic:模板类,可以用于任何可复制的类型 T。

特化类型:如 std::atomic_bool、std::atomic_int、std::atomic_uint 等。

基本用法

定义原子变量:

#include <atomic>std::atomic<int> atomic_int;
std::atomic_bool atomic_bool;

原子操作

原子变量支持多种原子操作,包括:

加载(load):读取原子变量的值。

存储(store):写入原子变量的值。

交换(exchange):将原子变量的值替换为新值,并返回旧值。

比较交换(compare-exchange):如果原子变量的值等于预期值,则将其替换为新值,并返回操作是否成功。

#include <atomic>
#include <iostream>int main() {std::atomic<int> atomic_int(0);// 加载操作int value = atomic_int.load();std::cout << "Loaded value: " << value << std::endl;// 存储操作atomic_int.store(42);std::cout << "Stored value: " << atomic_int.load() << std::endl;// 交换操作int old_value = atomic_int.exchange(99);std::cout << "Exchanged value: " << old_value << ", new value: " << atomic_int.load() << std::endl;// 比较交换操作int expected = 99;bool success = atomic_int.compare_exchange_strong(expected, 100);std::cout << "Compare-exchange result: " << success << ", expected: " << expected << ", new value: " << atomic_int.load() << std::endl;return 0;
}

内存顺序

原子操作可以指定内存顺序(memory order),用于控制内存访问的顺序和可见性。C++ 提供了多种内存顺序选项,包括:

  1. std::memory_order_relaxed
    特点:最宽松的内存顺序,不保证顺序和可见性。
    用途:适用于不需要顺序保证的场景,如简单的计数器。
  2. std::memory_order_consume
    特点:保证依赖关系的顺序。
    用途:适用于依赖关系的数据依赖场景。
  3. std::memory_order_acquire
    特点:保证读取操作的顺序。
    用途:适用于读取操作需要顺序保证的场景。
  4. std::memory_order_release
    特点:保证写入操作的顺序。
    用途:适用于写入操作需要顺序保证的场景。
  5. std::memory_order_acq_rel
    特点:同时保证读取和写入操作的顺序。
    用途:适用于读取和写入操作都需要顺序保证的场景。
  6. std::memory_order_seq_cst
    特点:最严格的内存顺序,保证所有线程看到的操作顺序一致。
    用途:适用于需要最强顺序保证的场景。
#include <atomic>
#include <iostream>int main() {std::atomic<int> atomic_int(0);// 使用 memory_order_seq_cst 进行存储操作atomic_int.store(42, std::memory_order_seq_cst);// 使用 memory_order_seq_cst 进行加载操作int value = atomic_int.load(std::memory_order_seq_cst);std::cout << "Loaded value: " << value << std::endl;return 0;
}

示例代码

以下是一个完整的示例,展示了如何在多线程环境中使用原子变量进行线程安全的计数:

#include <atomic>
#include <iostream>
#include <thread>
#include <vector>std::atomic<int> counter(0);void increment_counter() {for (int i = 0; i < 1000; ++i) {counter.fetch_add(1, std::memory_order_relaxed);}
}int main() {std::vector<std::thread> threads;// 创建多个线程进行计数for (int i = 0; i < 10; ++i) {threads.emplace_back(increment_counter);}// 等待所有线程完成for (auto& t : threads) {t.join();}// 输出最终计数结果std::cout << "Final counter value: " << counter.load() << std::endl;return 0;
}Final counter value: 10000

总结

原子变量:用于在多线程环境中进行无锁的、线程安全的操作。

原子性:确保操作是不可分割的,避免数据竞争和不一致。

内存顺序:控制内存访问的顺序和可见性,提供多种选项以满足不同需求。

应用场景:适用于需要线程安全的计数器、标志位等场景。

这篇关于C++ 原子变量atomic variable的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1139996

相关文章

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

变量与命名

引言         在前两个课时中,我们已经了解了 Python 程序的基本结构,学习了如何正确地使用缩进来组织代码,并且知道了注释的重要性。现在我们将进一步深入到 Python 编程的核心——变量与命名。变量是我们存储数据的主要方式,而合理的命名则有助于提高代码的可读性和可维护性。 变量的概念与使用         在 Python 中,变量是一种用来存储数据值的标识符。创建变量很简单,

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝

C++——stack、queue的实现及deque的介绍

目录 1.stack与queue的实现 1.1stack的实现  1.2 queue的实现 2.重温vector、list、stack、queue的介绍 2.1 STL标准库中stack和queue的底层结构  3.deque的简单介绍 3.1为什么选择deque作为stack和queue的底层默认容器  3.2 STL中对stack与queue的模拟实现 ①stack模拟实现

c++的初始化列表与const成员

初始化列表与const成员 const成员 使用const修饰的类、结构、联合的成员变量,在类对象创建完成前一定要初始化。 不能在构造函数中初始化const成员,因为执行构造函数时,类对象已经创建完成,只有类对象创建完成才能调用成员函数,构造函数虽然特殊但也是成员函数。 在定义const成员时进行初始化,该语法只有在C11语法标准下才支持。 初始化列表 在构造函数小括号后面,主要用于给