C++: Strongly Happens Before?
9 months ago
- #Concurrency
- #Memory Model
- #C++
- 文章讨论了C++20引入的'Strongly Happens Before'概念，该概念用于解决内存模型中的问题。
- 文章通过一个使用不同内存序（seq_cst、release、relaxed）的多线程简单程序，展示了可能的执行场景。
- 解释了C++中的修改顺序和一致性规则，用以分析程序行为。
- 重点指出执行图中存在的循环使得程序在'happens before'关系下行为无效，但在'strongly happens before'下有效。
- 探讨了为何Power等架构允许此类执行，以及修复标准与实现之间的权衡取舍。
- 详细分析了Power架构的内存模型和同步原语（sync、lwsync）。
- 明确定义了'strongly happens before'概念，并阐述其如何解决执行图中的循环问题。
- 最后强调混合使用内存序的复杂性，并提供了延伸阅读资源。