C++ Memory Order 理解

1. 为什么引入Memory Order？

多线程编程过程中，并发、数据竞争和线程同步是一个绕不过的问题，为了支持多线程并发编程，C++提供了atomic、mutex等标准库用于原子操作以及线程之前的同步机制。

在使用atomic进行原子操作的时候，由于原子操作可能在对象本身以外的内存进行操作，可能会导致线程A的操作1和操作2 在线程C、D看来执行顺序可能不同（即C可能看到的执行顺序是1->2，D可能看到的执行顺序是2->1），为了解决这个问题，在所有原子操作的接口中都提供了一个Memory Order参数，用于给Progermer提供灵活的控制选项保证线程之间的数据同步级别.

2. Memory Order类别

typedef enum memory_order {
    memory_order_relaxed,   // relaxed
    memory_order_consume,   // consume
    memory_order_acquire,   // acquire
    memory_order_release,   // release
    memory_order_acq_rel,   // acquire/release
    memory_order_seq_cst    // sequentially consistent
} memory_order;
1
2
3
4
5
6
7
8

C++ 标准库提供了以上memory order 选项，通过上述选项可以组合成3种级别的内存顺序模型：

• 全局顺序一致： 所有线程看到的所有操作都