1.std::atomic_flag
std::atomic_flag是最简单的标准原子类型,他代表一个布尔标识,没有拷贝构造函数和拷贝赋值运算符(=delete)。
std::atomic_flag对象可以是两种状态之一:设置或清除,且必须用ATOMIC_FLAG_INIT初始化,这会将该标志初始化为清除状态(此标志总是以清除状态初始化的),如下:
std::atomic_flag flag=ATOMIC_FLAG_INIT;
一旦标识对象初始化完成,只能做三种操作:销毁、清除或设置并查询其先前的值。这些分别对应析构函数、clear()函数以及test_and_set()函数。clear和test_and_set操作都可以指定一个内存顺序,clear是存储操作,test_and_set是读改写操作,指定内存顺序相关参见C++在线文档 https://zh.cppreference.com/w/cpp/atomic/memory_order。
在原子类型上的每一个操作均具有一个可选的内存顺序参数,它可以用来指定所需的内存顺序语义。
存储(store)操作:可以包括memory_order_relaxed、memory_order_release、memory_order_seq_cst顺序。
载入(load)操作:可以包括memory_order_relaxed、memory_order_consume、memory_order_acquire、memory_order_seq_cst顺序。
读改写(read-modify-write)操作:可以包括memory_order_relaxed、memory_order_consume、memory_order_acquire、memory_order_release、memory_order_acq_rel、memory_order_seq_cst顺序。
默认的顺序为memory_order_seq_cst。
C++在线手册上提供了一个实现自旋锁得例子:
#include <thread>
#include <vector>
#include <iostream>
#include <atomic>
std::atomic_flag lock = ATOMIC_FLAG_INIT;
void f(int n)
{
for (int cnt = 0; cnt < 5; ++cnt) {
while (lock.test_and_set(std::memory_order_acquire)) // 获得锁
; // 自旋
std::cout << "Thread " << n << " count:" << cnt << std::endl;
lock.clear(std::memory_order_release); // 释放锁
}
}
int main(int argc, char* argv[])
{
std::vector<std::thread> v;
for (int n = 0; n < 4; ++n) {
v.emplace_back(f, n); //使用参数进行初始化
}
for (auto& t : v) {
t.join(); //等待线程结束
}
system("pause");
return 0;
}
运行结果如下:
std::atomic_flag由于限制性甚至不能用作一个通用的布尔标识,因为它不具有简单的无修改查询操作,最好还是使用std::atomic<bool>。(貌似我也用不到std::atomic_flag)
2.sta::atomic<bool>
最基本的原子整数类型是std::atomic<bool>(可以使用预定义的别名std::atomic_bool),这是一个比std::atomic_flag功能更全的布尔标志,并且可以使用非原子的bool来赋值和初始化。
std::atomic<bool> b(true);
b=false;
要注意的是,原子类型赋值操作返回值而非引用。
与std::atomic_flag使用clear不同,std::atomic<bool>写(存储)操作是通过store来完成的;test_and_set也由exchange函数替代,它可以用新值替代原值,同时获取原值。std::atomic<bool>支持对值得无修改查询,通过隐式转换为普通得bool,或者调用load函数,load是一个载入操作。
std::atomic<bool> b;
bool x=b.load(std::memory_order_require);
b.store(true);
x=b.exchange(false,std::memory_order_acq_rel);
在C++20,std::atomic模板似乎加了类似条件变量的功能: