Java并发编程实战中,对象尚未被完全创建的问题

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/A_Story_Donkey/article/details/80926923

问题来自于java并发编程实战中的一段话,如下:


在网上找到了针对以上问题讲的比较透彻的回答,如下:

java虚拟机性能的提高,有一部分得归功于对代码的重排序。在if(n!=n)中,其实存在控制依赖关系。这里有几个操作:

一、读取左边的n值,
二、读取右边的n值,
三、进行不等比较,
四、把不等比较的结果给if。
上面四个操作,由于依赖关系,有一二先于三,三先于四这样的执行顺序。而一二之间没有依赖关系,所以一二可以重排序。
所以可能会这样:
temp1=n,
temp2=n,
flag=temp1!=temp2
if(flag)
而执行上面四个操作的时候,可能另一个线程正在执行new操作,由于重排序,这个线程可能在对象未完全构造完毕就把对象的引用给发布出去了。
于是temp1=n操作可能发生在对象构造完毕前,此时可能构造器里面的this.n=n还未执行,所以此时的n可能是0,而不是传给构造函数的那个参数的值,而temp2=n则可能发生在对象构造完毕之后,此时的n是传给构造函数参数的值,于是最后就看到不一致的结果,导致n!=n为true

猜你喜欢

转载自blog.csdn.net/A_Story_Donkey/article/details/80926923