是指两个操作之间的顺序关系。如果操作A happens-before操作B,那么操作A的结果将对操作B可见,即操作B将看到操作A的影响。在Java程序的执行过程中,编译器和处理器对我们所写的代码进行了一系列的优化来提高程序的执行效率。这其中就包括对指令的“重排序”。重排序导致了我们代码并不会按照代码编写顺序来执行,那为什么我们在程序执行后结果没有发生错乱,原因就是Java内存模型遵循happens-before原则。在happens-before规则下,不管程序怎么重排序,执行结果不会发生变化,所以我们不会看到程序结果错乱。
happens-before关系可以通过一些规则来确定,比如对volatile变量的写操作 happens-before 后续对该变量的读操作,对锁的释放操作 happens-before 后续对该锁的获取操作等。理解和正确使用happens-before关系对于编写正确的多线程程序非常重要。
as-if-serial就是不管怎么重排序(编译器和处理器为了提高并行度),(单线程)程序的执行结果不能被改变。编译器、runtime和处理器都必须遵守as-if-serial语义。通俗理解就是as-if-serial语义保证单线程程序的执行结果不会被改变。