简介

现代处理器在执行指令时，使用多种技术，提高指令的执行效率，例如多级cache，流水线，多发射，乱序执行等。

这些技术的引入，导致对主存的访问顺序并不一定是编码时的顺序，也就是说，对主存的访问，是乱序的，代码中后一条指令对主存的访问可能发生在前一条指令对主存访问之前。

当程序的正确性依赖于对内存的访问顺序时，这样就会带来一系列问题。

当然对主存的乱序访问主要发生在两个阶段

1：在程序编译时，编译器对指令重排导致。

2：程序执行时，多cpu之间的交互导致的乱序访问。

大部分情况下，乱序访问并不一定带来问题，但在某些特定情况下，乱序访问导致程序与预期行为不符，因此现代处理器以及OS

提供了一些可以保证内存访问有序的指令和接口。

Cache

由于CPU访问外部主存至少在几十个CPU周期，因此CPU在内部设置了一系列的缓存空间，加速对主存数据的访问。这样就存在主存数据与CPU内Cache数据的一致性问题，CPU cache与主存之间的数据并不是实时同步，其中一个CPU对某个主存数据进行的修改，其他CPU也不一定能立即感知到。

现代CPU通过提供一些特殊的指令，可以在CPU修改完数据后，将Cache中的数据强制同步到主存，从而确保Cache与主存数据一致，也可以通过特殊指令强制CPU从主存读取数据刷新Cache中的数据。

流水线

现代CPU为了提高指令执行效率，将一条指令的执行步骤划分成多个阶段，然后按照流水线的方式进行执行，例如经典的五级流水线将

指令划分为“取指”“译码”“执行”“访存”“写回”，这样当执行一条指令的下一个过程时，下一条指令的上一个过程开始同步执行。

多发射

随着CPU技术的发展，人们不满足于一次只执行一条指令，从而发展出了一次执行多条指令的技术，类似于存在多条流水线，不同的流水线执行豪无关联的不同的指令。

乱序执行

对于一个程序中，先后并无关系的两条指令，现代CPU可以进行乱序执行，例如对主存中两个不同地址的读写操作，其执行顺序并不一定是代码中的先后顺序。

内存屏障指令

为了确保不同的CPU访问到的数据是一致的，通过一些特殊的CPU指令和接口确保代码前后位置的执行是有序完成的，这样的技术被称为内存屏障。

在Linux内核代码中，提供了以下一些接口完成内存屏障的功能(不同的CPU体系，使用了CPU特定指令)。

mb()：适用于多处理器和单处理器的内存屏障。

rmb()：适用于多处理器和单处理器的读内存屏障。

wmb()：适用于多处理器和单处理器的写内存屏障。

smp_mb()：适用于多处理器的内存屏障。

smp_rmb()：适用于多处理器的读内存屏障。

smp_wmb()：适用于多处理器的写内存屏障。