Java并发编程的艺术(二)——重排序

一、重排序定义

重排序：指的是编译器、处理器在不改变程序执行结果的前提下，重新排列指令的执行顺序，以达到最佳的运行效率

二、重排序分类

重排序分为：编译器重排序 和 处理器重排序

三、数据依赖

编译器和处理器并不会随意的改变指令的执行顺序，因为有些指令之间是有依赖关系的，若改变他们的执行顺序，就会出现错误的结果。

因此，编译器和处理器只会对没有数据一来的指令进行重排序。

数据依赖：若相邻的两条指令访问同一变量，并且其中有一条指令执行写操作，那么这样的两条指令之间存在数据依赖，对于有数据依赖的指令，是不会发生重排序的。

数据依赖关系总结一下为一下三种情况

指令	示例
读后写	a=b;b=1;
写后写	a=1;a=2;
写后读	a=1;b=a;

as-if-serial

在单线程开发中，程序员不需要知道指令是如何重排序的，只要简单的认为指令时按照顺序依次执行的即可，这就是as-if-serial的语义，即：貌似是串行的。

文档出处：http://blog.csdn.net/u010425776/article/details/54285658