系列文章：

【并发编程的艺术】JVM 体系与内存模型

【并发编程的艺术】JAVA 并发机制的底层原理

【并发编程的艺术】JAVA 原子操作实现原理

【并发编程的艺术】JVM 内存模型

上一篇我们讲到了处理器在执行时，会对指令进行重排序，而这会导致数据一致性问题。对指令重排的理解非常重要，这也是并发问题出现的最大原因。

一 数据依赖性

并发出现在两个线程的操作之间，如果两个操作访问的是同一个变量，且这两个操作中至少有一个是写操作，那么这两个操作之间就存在数据依赖。数据依赖包括以下三种类型：

1.1 写后读

对变量写之后，再读这个变量。代码示例（操作变量 a）：

a=1;b=a;

1.2 写后写

两个操作，第一个操作是写这个变量，然后另一个操作继续写这个变量。示例代码（变量 a）：

a=1;a=2;

1.3 读后写

两个操作，先读后写。示例代码（针对变量 b）：

a=b;b=1;

编译器和处理器对操作（指令）重排序，会遵守数据依赖性，而不会改变存在数据依赖关系的两个操作的执行顺序。这点至关重要。

另外需要注意的是，这里提到的数据依赖性，只针对单个处理器中执行的指令序列，和但线程中执行的操作，不同处理器之间，和不同线程之间的数据依赖性不会被考虑。

二 as-if-serial 语义

这个语义是指，不论怎样重排序，（单线程）程序的执行结果不能被改变。编译器、处理器都必须遵守 as-if-serial 语义。

这个语义也就是上一章所说到的，编译器和处理器不会对存在数据依赖关系的操作做重排序，因为这种重排序会改变结果。通过下面示例我们用以说明数据依赖情况:

double pi = 3.14;	//Adouble r = 1.0;	//Bdouble area = pi * r * r;	//C

上面代码块中，A,B,C 三个操作的依赖关系如下图所示：

如上图所示，A、B 两个操作都与 C 有依赖关系，所以 C 不能被重排到 A、B 操作之前。 但 A 与 B 之间没有依赖，所以编译器与处理器可以重排 A、B 之间的执行顺序。

（1）按照代码编写的顺序执行： A->B->C，执行结果 area = 3.14；

（2）A、B 之间重排，执行顺序为： B->A->C，执行结果依然是 area = 3.14

由此可见，正常情况下，我们认为代码是按照编写顺序执行只是一个幻觉。实际上即使是单线程中，实际执行顺序也可能与代码编写的顺序不同。但 as-if-serial 语义能够保证这些重排并不会影响执行结果。

三 程序顺序规则

即 happens-before 规则。上面的计算代码中存在 3 个 happens-before 关系：

1）A happens-before B；

2）B happens-before C；

3）A happens-before C；这个是基于 1） 和 2）的传递得到的

这里的 1），在实际执行时 B 是可能在 A 之前执行的。即使有 A happens-before B，JMM 也并不要求 A 一定要在 B 执行之前执行，而是只要求前一个操作（执行结果）对后一个操作可见。上面示例中，A 的执行结果不需要对 B 可见；而且重排序 A 和 B 之后的结果，与 A 和 B 按照 happens-before 规则执行的结果一致，因此 JMM 认为这种重排序是合法的（not illegal），所以允许这样的中排序。

四 重排序对多线程的影响

前面提到，指令重排的规则是针对单线程的，以保证在单线程执行的情况下，重排序不影响执行结果。那么多线程下是否也是？会带来什么样的影响？下面示例代码中，flag 是一个标记 变量，标记 a 是否被写入。

public class ReorderExample {    int a = 0;    boolean flag = false;    public void writer(){        a = 1;      // 1        flag = true;     // 2    }
    public void reader(){        if(flag){     // 3           int i = a * a;     // 4           ......        }    }}

我们假设有两个线程 A 和 B，a 先执行 writer()，然后 B 执行 reader()，线程 B 在执行操作 4 时，不一定能看到 A 对共享变量 a 的写入！！！这是因为，操作 1 和 2 没有数据依赖，编译器和处理器可以对这两个操作重排；同样，3 和 4 没有数据依赖（尽管存在着控制依赖），所以也可以对这两个操作重排。也就是说，1 和 2 发生重排时，程序可能会按照下面的时序图执行：

在这样的场景下，多线程程序的语义被重排破坏了。

3 和 4 重排时：

在程序中 3 和 4 有控制依赖关系（if 判断条件，符合时才执行下面的代码块）。当存在控制依赖时，会影响指令序列执行的并行度。因此，编译器和处理器会采用猜测执行来克服控制依赖性对并行度的影响。当处理器猜测执行时，运行 B 程序的处理器可以提前读取并计算 a*a，然后把结果临时存储在“重排序缓冲”（Reorder Buffer，ROB）的硬件缓存中；当 3 的判断为真时，再把这个结果写入变量 i，如上图所示。这样的执行实质上对 3 和 4 做了重排，破坏了语义。

五 总结

本章详细描述了指令重排序的场景，条件，以及数据依赖、控制依赖对指令重排序的影响。总结如下：

单线程程序，对存在控制依赖的操作执行重排序，不会改变执行结果；但在多线程程序中，对存在控制依赖的操作执行重排序，可能会改变程序的执行结果！这就是多线程执行时出现并发问题的根本原因，切记。