C++并发编程 学习笔记 Day7

今天春节，C++并发编程第5章看完了，内存序，还没验证，先草率打个卡。

相关摘录

1. 原子变量的操作提供了所需的强制次序，如std::atomic类型，凭借两种内存模型关系“先行”（happens-before）[13]和“同步”（synchronizes-with），这些操作确定了必要的次序。
2. 先行关系看起来相当直观：某个值的写出操作在其读取操作之前发生。
3. 同步关系只存在于原子类型的操作之间。同步关系的基本思想是：对变量x执行原子写操作W和原子读操作R，且两者都有适当的标记。只要满足下面其中一点，它们即彼此同步。

• R读取了W直接存入的值。
• W所属线程随后还执行了另一原子写操作，R读取了后面存入的值。

4. 先行关系和严格先行（strongly-happens-before）关系是在程序中确立操作次序的基本要素；它们的用途是清楚界定哪些操作能看见其他哪些操作产生的结果。
5. 原子类型上的操作服从 6 种内存次序：memory_order_relaxed、memory_order_consume、memory_order_acquire、memory_order_release、memory_order_acq_rel和memory_order_seq_cst。其中，memory_order_seq_cst是可选的最严格的内存次序，各种原子类型的所有操作都默认遵从该次序，除非我们特意为某项操作另行指定。
6. 虽然内存次序共有6种，但它们只代表3种模式：先后一致次序（memory_order_seq_cst）、获取-释放次序（memory_order_consume、memory_order_acquire、memory_order_release和memory_order_acq_rel）、宽松次序（memory_order_relaxed）。