C++ 原子变量atomic variable

原子变量

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

基本概念

原子性

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

数据竞争

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

原子变量的类型

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

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

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

基本用法

定义原子变量:

c++ 复制代码
#include <atomic>

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

原子操作

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

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

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

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

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

c++ 复制代码
#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
    特点:最严格的内存顺序,保证所有线程看到的操作顺序一致。
    用途:适用于需要最强顺序保证的场景。
c++ 复制代码
#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;
}

示例代码

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

c++ 复制代码
#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++初学者ABC几秒前
学生管理系统C++版(简单版)详解
c++·结构体·学生管理系统
kucupung几秒前
【C++基础】多线程并发场景下的同步方法
开发语言·c++
Quantum&Coder6 分钟前
Objective-C语言的计算机基础
开发语言·后端·golang
L73S377 分钟前
C++入门(1)
c++·程序人生·考研·蓝桥杯·学习方法
五味香8 分钟前
Java学习,List 元素替换
android·java·开发语言·python·学习·golang·kotlin
Joeysoda11 分钟前
Java数据结构 (从0构建链表(LinkedList))
java·linux·开发语言·数据结构·windows·链表·1024程序员节
迂幵myself11 分钟前
14-6-1C++的list
开发语言·c++·list
扫地僧00914 分钟前
(Java版本)基于JAVA的网络通讯系统设计与实现-毕业设计
java·开发语言
天乐敲代码15 分钟前
JAVASE入门九脚-集合框架ArrayList,LinkedList,HashSet,TreeSet,迭代
java·开发语言·算法
w(゚Д゚)w吓洗宝宝了39 分钟前
观察者模式 - 观察者模式的应用场景
c++·观察者模式