DCL 和volatile 问题,(多线程情况下,证明重排序一定存在)
什么是线程可见?
volatile
为什么会加了就会结束呢?
因为flag在本地区域一直就会为刚刚设置好的值为True,一直运行while循环,如果不加volatile,当后面修改flag = false,本身flag的值不为True了,但是还是会一直运行while。当加了volatile,就会告诉所有的flag,值已经改变,程序才会继续执行下面的代码
volatile的另外一个不为多数人知道的作用:
禁止指令重排序
CPU的乱序执行:
CPU在进行读数据等待的同时执行命令,是CPU乱序的根源不是乱,而是提高效率
多线程情况下,证明重排序一定存在
DCL:double check lock
上面代码中,DCL单例到底需不需要加volatile?
答案:必须加
详细分析:
在进行半初始化过程,可能会发生重排序:
我们先new出了一个对象m ,这个时候是没有执行赋值的操作的,默认值m=0,然后发生了重排序,本来是先赋值m = 8, 然后再将t指向m的,但是,这个时候是先执行了让t指向了m=0,这时,另外一个线程进来了,它来查看 t 是否为null,不为空,就直接使用的 t 的值。 这个时候还没执行m=8,所以这个时候 t =0.
所以必须要加 volatile,防止指令重排