happens-before & as-if-serial

happens-before:

        在JMM中，如果一个操作执行的结果需要对另一个操作可见，这两个操作之间必需要存在happens-before关系，这两个操作既可以是一个线程之内，也可以是不同线程之间。

happens-before规则：

        1.程序顺序规则：对于单线程中的每个操作，前继操作happens-before于该线程中的任意后续操作。

        2.监视器锁规则：对于一个锁的解锁，happens-before于随后对这个锁的加锁

        3.volatile变量规则：对于一个volatile域的写，happens-before 对这个volatile域的读

        4.传递性：如果A happens-before B 且B happens-before C，A happens-before C

double pi = 3.14; // A
double r = 1.0;	// B
double area = pi * r * r;	// C
	
A -----> B -------> C  ===> 3.14
B -----> A -------> C  ===> 3.14
	
A happens-before B
B happens-before C
A happens-before C
	

as-if-serial:

        不管怎么重排序，单线程程序执行的结果不能被改变，编译器、处理器和runtime都必须要遵循as-if-serial语义。编译器和处理器不会对存在数据依赖关系的操作做重排序，因为这种重排序会改变执行的结果。