As-if-Serial语义与Happens-Before原则详解.pdfVIP

文档：1-1as-if-serialhappens-before.not...

：?

id=956690464dc3eeb8a0c4465894da025esub=C5262D3462DE4B23BE7ED61FE1DD1BBC

as-if-serial

as-if-serial语义的意思是：不管怎么重排序（编译器和处理器为了提高并行度），（单线

程）程序的执行结果不能被改变。编译器、runtime和处理器都必须遵守as-if-serial语义。

为了遵守as-if-serial语义，编译器和处理器不会对存在数据依赖关系的操作做重排序，因为

这种重排序会改变执行结果。但是，如果操作之间不存在数据依赖关系，这些操作就可能被编译

器和处理器重排序。

A和C之间存在数据依赖关系，同时B和C之间也存在数据依赖关系。因此在最终执行的指令序

列中，C不能被重排序到A和B的前面（C排到A和B的前面，程序的结果将会被改变）。但A和B之

间没有数据依赖关系，编译器和处理器可以重排序A和B之间的执行顺序。

happens-before

从JDK5开始，JMM使用happens-before的概念来阐述多线程之间的内存可见性。在JMM

中，如果一个操作执行的结果需要对