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规则:
- 程序顺序规则:一个线程中的每个操作,happens-before于该线程中的任意后续操作
- volatile变量规则:对一个volatile域的写,happens-before于任意后续对这个volatile变量的读
happens-before定义如下:
- 如果一个操作happens-before另一个操作,那么第一个操作的执行结果将对第二个操作可见,而且第一个操作的执行顺序排在第二个操作之前。
- 两个操作之间存在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语义是一回事。
- as-if-serial语义保证单线程内程序的执行结果不被改变,happens-before关系保证正确同步的多线程程序的执行结果不被改变
- asi-seral语义给编写单线程程序的程序员创造了一个幻境:单线程序是按程序的顺序来执行的。happens-before
关系给编写正确同步的多线程程序的程序员创造了一个幻境:正确同步的多线程程序是按happens-before指定的顺序来执行的。
as-if-serial语义和happens-before这么做的目的,都是为了在不改变程序执行结果的前提下,尽可能地提高程序执行的并行度。