Linux基础 -- C语言用户态原子操作之 stdatomic.h

<stdatomic.h> 接口使用方式与注意事项

<stdatomic.h> 是 C11 标准引入的一组用于原子操作的头文件，提供了对数据类型和函数的支持，确保在多线程环境中进行安全的数据访问。以下是对 <stdatomic.h> 中主要接口的使用方式及注意事项的详细介绍：

原子类型

<stdatomic.h> 定义了一些原子类型和相应的宏，用于声明和操作这些类型的变量。

原子类型定义

_Atomic int a; // 定义一个原子整型变量

也可以使用宏定义：

atomic_int a;

原子操作函数

<stdatomic.h> 提供了一系列函数，用于在原子类型上进行操作。

原子加载和存储操作

// 加载
atomic_load(&a);
atomic_load_explicit(&a, memory_order_seq_cst);

// 存储
atomic_store(&a, 10);
atomic_store_explicit(&a, 10, memory_order_seq_cst);

读-修改-写操作

// 交换值
atomic_exchange(&a, 5);
atomic_exchange_explicit(&a, 5, memory_order_seq_cst);

// 比较并交换
int expected = 3;
atomic_compare_exchange_strong(&a, &expected, 5);
atomic_compare_exchange_strong_explicit(&a, &expected, 5, memory_order_seq_cst, memory_order_seq_cst);

加法和减法

// 加法
atomic_fetch_add(&a, 1);
atomic_fetch_add_explicit(&a, 1, memory_order_seq_cst);

// 减法
atomic_fetch_sub(&a, 1);
atomic_fetch_sub_explicit(&a, 1, memory_order_seq_cst);

按位操作

// 与操作
atomic_fetch_and(&a, 0xF0);
atomic_fetch_and_explicit(&a, 0xF0, memory_order_seq_cst);

// 或操作
atomic_fetch_or(&a, 0x0F);
atomic_fetch_or_explicit(&a, 0x0F, memory_order_seq_cst);

// 异或操作
atomic_fetch_xor(&a, 0xFF);
atomic_fetch_xor_explicit(&a, 0xFF, memory_order_seq_cst);

内存顺序

原子操作支持不同的内存顺序选项，以控制操作的同步行为：

1. memory_order_relaxed：不做任何同步或排序保证。
2. memory_order_consume：仅对依赖的读进行排序。
3. memory_order_acquire：对所有后续读操作进行排序。
4. memory_order_release：对所有先前的写操作进行排序。
5. memory_order_acq_rel：结合 acquire 和 release 的行为。
6. memory_order_seq_cst：提供严格的单一顺序一致性保证。

注意事项

1. 选择合适的内存顺序：不同的内存顺序对性能和同步要求有不同的影响，选择合适的内存顺序可以提高程序性能。
2. 原子操作不能被中断：原子操作是不可分割的，不会被其他线程中断，这对多线程编程非常重要。
3. 避免过度使用原子操作：虽然原子操作提供了方便的多线程同步手段，但过度使用可能导致性能下降，合理的锁机制有时更为高效。

通过这些接口和注意事项，可以安全有效地在多线程环境中进行数据操作。