java 单例模式中双重检查锁 volatile 的作用?
作用:保证有序性,禁止指令重排序。
原因: 在执行instance = new Singleton()语句时,一共是有三步操作的。
1.堆中分配内存
2.将创建的对象放到分配的内存中
3.将instance引用指向内存地址。
在这三步有可能会产生指令重排序即有两种结果可能产生:123与132。只产生两种结果的原因是存在as-if-serial语义(不管怎么重排序,单线程程序的执行结果不会改变),as-if-serial语义决定了12与13的依赖关系即23肯定在1之后执行,但是23之间可能会发生指令重排序。
如果A线程执行到instance = new Singleton(),此时2,3发生重排序,选执行3,则instance已经不为null,但是指向的对象还未初始化完成,如果此时B对象判断instance 不为null就会直接返回一个未初始化完成的对象。(外层的if是不在synchronized内的)