happens-before和as-if-serial语义

as-if-serial

as-if-serial语义的意思是：
不管怎么重排序（编译器和处理器为了提高并行度会进行重排序优化），单线程程序的执行结果不能被改变。

编译器、runtime和处理器都必须遵守as-if-serial语义，所以编译器和处理器不会对存在数据依赖关系的操作做重排序，因为这种重排序会改变执行结果。

as-if-serial语义把单线程保护起来，遵守as-if-serial语义的编译器，runtime和处理器共同为编写单线程程序的程序员创建里一个幻觉：单线程程序是按照程序的顺序来执行的

happens-before

Java内存模型使用appens-before概念来指定两个操作之间的执行顺序，可以是同一个线程或者不同线程之间。

先列举两条Java内存模型中定义的happens-before规则：

1. 程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作
2. volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile变量的读

happens-before定义如下：

1. 如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。
2. 两个操作之间存在happens-before关系，并不意味着Java平台的具体实现必须要按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，那么这种重排序并不非法(也就是说，JMM允许这种重排序)。

上边1是JMM对程序员的承诺。从程序员的角度来说，可以这样理解happens before关系:如果A happens-before B,那么Java内存模型将向程序员保证A 操作的结果将对B可见，且A的执行顺序排在B之前。注意，这只是Java内存模型向程序员做出的保证!

上面的2是JMM对编译器和处理器重排序的约束原则。正如前面所言，JMM其实是在遵循一个基本原则:只要不改变程序的执行结果(指的是单线程程序和正确同步的多线程程序)，编译器和处理器怎么优化都行。JMM这么做的原因是:程序员对于这两个操作是否真的被重排序并不关心，程序员关心的是程序执行时的语义不能被改变(即执行结果不能被改变)。因此，happens-before 关系本质上和as-if-serial语义是一回事。

1. as-if-serial语义保证单线程内程序的执行结果不被改变，happens-before关系保证正确同步的多线程程序的执行结果不被改变
2. asi-seral语义给编写单线程程序的程序员创造了一个幻境:单线程序是按程序的顺序来执行的。happens-before
   关系给编写正确同步的多线程程序的程序员创造了一个幻境:正确同步的多线程程序是按happens-before指定的顺序来执行的。

as-if-serial语义和happens-before这么做的目的，都是为了在不改变程序执行结果的前提下，尽可能地提高程序执行的并行度。