C++ 标准库 - <atomic>
简介
这些类型封装了一个值,其访问保证不会导致数据竞争,并且可用于在不同线程之间同步内存访问,并且原子库为细粒度的原子操作提供组件,允许无锁并发编程。 对于涉及同一对象的任何其他原子操作,每个原子操作都是不可分割的。
原子类型
序号 | 成员类型 & 定义 |
---|---|
1 |
atomic
用于布尔、整数和指针类型的原子类模板和特化 |
C 风格的原子类型
以下是原子类型,也在此标头中定义。
包含类型 | 原子类型 | 描述 |
---|---|---|
bool |
atomic_bool | |
char |
atomic_char | atomics for fundamental integral types. 这些要么是 atomic 类模板的相应完整特化的 typedef,要么是此类特化的基类。 |
signed char |
atomic_schar | |
unsigned char |
atomic_uchar | |
short |
atomic_short | |
unsigned short |
atomic_ushort | |
int |
atomic_int | |
unsigned int |
atomic_uint | |
long |
atomic_long | |
unsigned long |
atomic_ulong | |
long long |
atomic_llong | |
unsigned long long |
atomic_ullong | |
wchar_t |
atomic_wchar_t | |
char16_t |
atomic_char16_t | |
char32_t |
atomic_char32_t | |
intmax_t | atomic_intmax_t | atomics for width-based integrals (those defined in <cinttypes>). 其中每一个都是上述基本整数类型的原子之一的别名,或者是具有 扩展整数类型的 atomic 类模板的完全特化。 其中 N 是 8、16、32、64 分之一或库支持的任何其他类型宽度。 |
uintmax_t | atomic_uintmax_t | |
int_least N_t |
atomic_int_least N_t |
|
uint_least N_t |
atomic_uint_least N_t |
|
int_fast N_t |
atomic_int_fast N_t |
|
uint_fast N_t |
atomic_uint_fast N_t |
|
intptr_t | atomic_intptr_t | |
uintptr_t | atomic_uintptr_t | |
size_t | atomic_size_t | |
ptrdiff_t | atomic_ptrdiff_t |
对原子类型的操作
序号 | Operations & 定义 |
---|---|
1 |
atomic_is_lock_free
它用于检查原子类型的操作是否是无锁的 |
2 |
atomic_store & atomic_store_explicit
它自动用非原子参数替换原子对象的值 |
3 |
atomic_load & atomic_load_explicit
它以原子方式获取存储在原子对象中的值 |
4 |
atomic_exchange & atomic_exchange_explicit
它用非原子参数原子地替换原子对象的值并返回原子的旧值 |
5 |
atomic_compare_exchange_weak & atomic_compare_exchange_weak_explicit & atomic_compare_exchange_strong & atomic_compare_exchange_strong_explicit
它以原子方式将原子对象的值与非原子参数进行比较,如果相等则执行原子交换,否则执行原子负载 |
6 |
atomic_fetch_add & atomic_fetch_add_explicit
它将非原子值添加到原子对象并获得原子的先前值 |
7 |
atomic_fetch_sub & atomic_fetch_sub_explicit
它从一个原子对象中减去一个非原子值并获得原子的先前值 |
8 |
atomic_fetch_and & atomic_fetch_and_explicit
它用非原子参数的逻辑与结果替换原子对象,并获得原子对象的先前值 |
9 |
atomic_fetch_or & atomic_fetch_or_explicit
它用非原子参数的逻辑或结果替换原子对象,并获得原子对象的先前值 |
10 |
atomic_fetch_xor & atomic_fetch_xor_explicit
它用非原子参数的逻辑异或结果替换原子对象,并获得原子的先前值 |
标志类型和操作
序号 | 标志类型 & 定义 |
---|---|
1 |
atomic_flag
无锁布尔原子类型 |
2 |
atomic_flag_test_and_set & atomic_flag_test_and_set_explicit
它以原子方式将标志设置为 true 并返回其先前的值 |
3 |
atomic_flag_clear & atomic_flag_clear_explicit
它以原子方式将标志的值设置为 false |