atomic 内存序_C语言原子操作的应用（内存次序，内存屏障）

内存次序

为优化程序代码，编译器和处理器可以自由地对任何无相互依赖关系的命令进行重新排列。例如，两个分配语句 a=0；B=1；，它们可以以任一顺序执行。然而，在多线程环境下，由于不同线程内存操作之间的依赖性对于编译器或处理器通常是不可见的，所以对编译器或处理器执行命令重新排序可能会引发错误。

使用原子对象可以默认地防止此类重新排序。但是，防止优化意味着可能会牺牲速度。有经验的程序员可以在较低的内存次序请求下，通过明确地使用原子操作提高性能。

对于每个执行原子操作的函数(例如 atomic_store())，都有另一个版本，这些函数的名称以 _explicit 结尾，如 atomic_store_explicit()，它们增加了一个类型为 memory_order 的参数。

memory_order 类型是一个枚举，它定义了以下常量，以指定特定的内存次序请求：

memory_order_relaxed

调用者指定无任何内存次序请求，从而使编译器可以自由地改变操作的顺序。

memory_order_release

指定在当前线程 T1 中对一个原子对象A进行写访问时执行释放操作(release operation)。释放操作的作用是：当另一个线程 T2 对 A 执行捕获操作时(读访问)，所有 T1 曾对 A 执行的操作在 T2 捕获 A 以后，对 T2 都是可见的。

memory_order_acquire

指定对一个原子对象进行读访问时执行捕获操作(acquire operation)。它确保在该函数调用前，后续的内存访问操作不发生重新排列。

memory_order_consume</