指令在重排序时,考虑到指令之间数据的依赖性,会禁止一部分重排序,如:
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在),但是会影响到多线程并发执行的正确性。