as-if-seria和happens-beforel语义理解

在java程序运行的时候，编译器并不一定会根据java程序的顺序去执行，可能会依据优化策略对程序进行重排序，这就是指令重排，主要是提高了程序执行的并行度。

但是在做指令重排的前提下，不能违背程序原本的语义，即本来执行结果为10，不能因为指令重排了，结果变成了8，这就是严重的Bug了。

来看一下jvm在做指令重排序之前，对程序开发者做的保证。

as-if-serial

程序在单线程执行的时候，执行结果有时候与程序语句的顺序是有很大关联的。比如下面这个例子：

int r = 3; //1
int j = r-1; //2
int m = r*r; //3

程序能得到正确执行结果与语句的顺序相关联。所以指令重排序要保证单线程下java程序运行结果与语义的结果要一致，细节不用关心，可能内部也做了优化或者顺序的调整，这就是as-if-serial语义。

happends-before

在同一个线程或者多个线程之间，如果A线程的a操作 happends-before B线程的b操作，那么JMM向程序员保证a操作对b操作是可见的。

1、如果a操作happends-before 另一个b操作，那么a操作需要对b操作是可见的，并且a操作发生在b操作之前

2、JMM只是保证了happends-before语义的正确性，即使内部发生了指令重排序，那么我们也不用管，只要满足第一条，我们就认为他是符合happends-before语义的。换句话说，JMM这种优化就是合法的。