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;
C++ 标准库提供了以上memory order 选项,通过上述选项可以组合成3种级别的内存顺序模型:
- 全局顺序一致: 所有线程看到的所有操作都