happens-before | as-if-serial | 重排序 （二）

指令在重排序时，考虑到指令之间数据的依赖性，会禁止一部分重排序，如：

int a = 10;    //语句1
int r = 2;    //语句2
a = a + 3;    //语句3
r = a*a;     //语句4

语句3、语句4有数据依赖性，不会重排序。

 

但这种“有用”的禁止仅仅在单线程内保证，即在单线程中，重排序(禁止部分重排序)不会影响程序执行结果；

但在多线程中，仅仅看一个线程内部有无数据依赖性，并不能保证多个线程之间相互合作不会出问题，如：

（单例模式中的DCL也有这个问题，是通过volatile解决的）

//线程1:
context = loadContext();   //语句1
inited = true;             //语句2





//线程2:
while(!inited ){
  sleep()
}
doSomethingwithconfig(context);

上面代码中，由于语句1和语句2没有数据依赖性，因此可能会被重排序。假如发生了重排序，在线程2执行过程中先执行语句1，而此是线程2会以为初始化工作已经完成，那么就会跳出while循环，去执行doSomethingwithconfig(context)方法，而此时context并没有被初始化，就会导致程序出错。

 

从上面可以看出，指令重排序不会影响单个线程的执行（因为有as-if-serial在），但是会影响到多线程并发执行的正确性。