在现代计算机体系结构中，为了追求极致的性能，CPU和编译器都采用了大量的优化技术。这些优化往往涉及对指令执行顺序的调整，即“重排序”（Reordering）。对于单线程程序而言，这种重排序是透明且无害的，因为它们会维护“as-if”规则，即程序的外部行为与严格按程序顺序执行时一致。然而，在多线程、多处理器或与硬件设备交互的场景下，尤其是在操作系统内核中，这种重排序就可能导致严重的数据不一致和程序错误。 理解内存屏障（Memory Barrier）的必要性，需要我们分别从编译器和硬件两个层面审视重排序的机制。而volatile关键字，虽然在某些场景下有用，但它仅能解决编译器层面的问题，对于更复杂的内核代码顺序保证是远远不够的。 1. 顺序执行的幻象：为何重排序是必然 在理想世界中，程序会严格按照我们编写的顺序一条一条地执行。但现实世界中，为了充分利用CPU资源，提高指令吞吐量，CPU和编译器都在竭尽全力地“打乱”这个顺序。 1.1 编译器层面的重排序 编译器在生成机器码时，会进行大量的优化。其目标是在不改变程序单线程行为的前提下，生成更高效、执行更快的代码。常见的编译器优化包括： 指令调 …
继续阅读“什么是 ‘Memory Barrier’ 的编译器视角 vs 硬件视角：为什么 `volatile` 保证不了内核代码顺序？”