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++中unordered_set哈希集合的实现

《C++中unordered_set哈希集合的实现》std::unordered_set是C++标准库中的无序关联容器,基于哈希表实现,具有元素唯一性和无序性特点,本文就来详细的介绍一下unorder... 目录一、概述二、头文件与命名空间三、常用方法与示例1. 构造与析构2. 迭代器与遍历3. 容量相关4

C++中悬垂引用(Dangling Reference) 的实现

《C++中悬垂引用(DanglingReference)的实现》C++中的悬垂引用指引用绑定的对象被销毁后引用仍存在的情况,会导致访问无效内存,下面就来详细的介绍一下产生的原因以及如何避免,感兴趣... 目录悬垂引用的产生原因1. 引用绑定到局部变量,变量超出作用域后销毁2. 引用绑定到动态分配的对象,对象

Python之变量命名规则详解

《Python之变量命名规则详解》Python变量命名需遵守语法规范(字母开头、不使用关键字),遵循三要(自解释、明确功能)和三不要(避免缩写、语法错误、滥用下划线)原则,确保代码易读易维护... 目录1. 硬性规则2. “三要” 原则2.1. 要体现变量的 “实际作用”,拒绝 “无意义命名”2.2. 要让

C++读写word文档(.docx)DuckX库的使用详解

《C++读写word文档(.docx)DuckX库的使用详解》DuckX是C++库,用于创建/编辑.docx文件,支持读取文档、添加段落/片段、编辑表格,解决中文乱码需更改编码方案,进阶功能含文本替换... 目录一、基本用法1. 读取文档3. 添加段落4. 添加片段3. 编辑表格二、进阶用法1. 文本替换2

C++中处理文本数据char与string的终极对比指南

《C++中处理文本数据char与string的终极对比指南》在C++编程中char和string是两种用于处理字符数据的类型,但它们在使用方式和功能上有显著的不同,:本文主要介绍C++中处理文本数... 目录1. 基本定义与本质2. 内存管理3. 操作与功能4. 性能特点5. 使用场景6. 相互转换核心区别

SpringBoot中@Value注入静态变量方式

《SpringBoot中@Value注入静态变量方式》SpringBoot中静态变量无法直接用@Value注入,需通过setter方法,@Value(${})从属性文件获取值,@Value(#{})用... 目录项目场景解决方案注解说明1、@Value("${}")使用示例2、@Value("#{}"php

C++右移运算符的一个小坑及解决

《C++右移运算符的一个小坑及解决》文章指出右移运算符处理负数时左侧补1导致死循环,与除法行为不同,强调需注意补码机制以正确统计二进制1的个数... 目录我遇到了这么一个www.chinasem.cn函数由此可以看到也很好理解总结我遇到了这么一个函数template<typename T>unsigned

C++统计函数执行时间的最佳实践

《C++统计函数执行时间的最佳实践》在软件开发过程中,性能分析是优化程序的重要环节,了解函数的执行时间分布对于识别性能瓶颈至关重要,本文将分享一个C++函数执行时间统计工具,希望对大家有所帮助... 目录前言工具特性核心设计1. 数据结构设计2. 单例模式管理器3. RAII自动计时使用方法基本用法高级用法

GO语言短变量声明的实现示例

《GO语言短变量声明的实现示例》在Go语言中,短变量声明是一种简洁的变量声明方式,使用:=运算符,可以自动推断变量类型,下面就来具体介绍一下如何使用,感兴趣的可以了解一下... 目录基本语法功能特点与var的区别适用场景注意事项基本语法variableName := value功能特点1、自动类型推

深入解析C++ 中std::map内存管理

《深入解析C++中std::map内存管理》文章详解C++std::map内存管理,指出clear()仅删除元素可能不释放底层内存,建议用swap()与空map交换以彻底释放,针对指针类型需手动de... 目录1️、基本清空std::map2️、使用 swap 彻底释放内存3️、map 中存储指针类型的对象