Memory ordering in CPUs

Fabian Giesen 用缓存一致性、乱序执行和内存模型解释并发线程如何观察到不同顺序。CPU 和编译器都能在不改变单线程结果的前提下重排操作，只有原子语义、锁和屏障建立跨线程可见性。文章把“所有缓存最终一致”与“每个核按同一时序观察”分开，是阅读弱内存模型代码的基础。