std::atomic
是C++11中引入的一个模板类,用于实现原子操作,即在多线程环境下不可被中断的操作。
这对于保证并发编程中数据的一致性和线程安全至关重要。std::atomic
提供了一种机制,使得在多个线程访问同一个变量时不需要使用互斥锁(mutex)来防止数据竞争。
实现原理
std::atomic
的实现依赖于底层硬件提供的原子操作支持,如 CAS(Compare-And-Swap)操作。原子操作可以直接由现代 CPU 提供支持,也就是说它们可以在不需要操作系统干预的情况下,直接在硬件层面上完成,从而提供高效的同步机制。
-
Compare-And-Swap(CAS):这是一种常见的原子操作,它包含三个操作数:内存位置、预期原值和新值。如果内存位置的当前值与预期原值相匹配,处理器将内存位置更新为新值。这个操作作为一个整体是原子的。
-
内存顺序:
std::atomic
还涉及内存顺序的概念,这有助于控制不同原子操作之间的可见性和顺序。C++11提供了多种内存顺序选项,从memory_order_relaxed
(放松的)到memory_order_seq_cst
(顺序一致的)等。
基本用法
std::atomic
模板可以用于任何基本类型,如int
、float
,以及指针类型等。它提供了加载(load)、存储(store)、交换(exchange)等操作,以及各种增加和减少操作。
#include <iostream>
#include <atomic>
#in