C++ Atomic Ordering - An x86-TSO's Perspective
本文是笔者对 C++ memory model 中 atomic operations 和 memory order 的理解。
本文是笔者对 C++ memory model 中 atomic operations 和 memory order 的理解。
本文首先介绍了 C++ 中的 strict aliasing rule,然后深入分析编译器是如何利用 strict aliasing rule 对程序进行分析优化的,之后介绍了检测 strict aliasing violation 的动态分析工具 TypeSanitizer,最后介绍如何在编程时避免写出 strict aliasing violation 的代码。