首先是一个双检锁写的单例模式的例子:
public class Single{
private volatile static Single single;
private Single(){}
public static Single getInstance(){
if(single==null){
synchronized (Single.class) {
if(single==null){
single=new Single();
}
}
}
return single;
}
}
下面分析一下指令重排序(也有名字叫乱序执行,无序写入)给这个单例模式带来的问题:
要分析上面例子中存在的问题,就要从instance = new Singleton()这句开始,对java来说,创建新的对象并不是一个原子操作,这个过程分成了3步:
1,给 instance 分配内存
2,调用 Singleton 的构造函数来初始化成员变量
3,将instance对象指向分配的内存空间(执行完这步 instance 就为非 null 了)
关键:
1,在JVM的即时编译器中,存在一个设定,叫做指令重排序。
2,在上面的例子中,2操作依赖1操作,但3操作并不依赖2操作,也就是说上面的第二步和第三步的顺序是不能保证的,最终的执行顺序可能是1-2-3 也可能是1-3-2。如果是后者,则在3执行完毕,2未执行之前,被线程二抢占了,这时instance已经是非 null 了(但却没有初始化),所以线程二会直接返回 instance,然后使用,然后顺理成章地报错。
3,JDK1.5以后,因为内存模型的优化,上面的例子不会再因为指令重排序而出现问题。
关于指令重排序的说明:
1,JVM为了使得处理器内部的运算单元能充分利用,使效率最大化,处理器可能会对输入代码进行指令重排序的优化,处理器会在计算之后将乱序执行的结果进行重组,保证该结果与顺序执行的结果是一样的,但并不保证程序中各个语句计算的先后顺序与输入的代码顺序一致(这种保证一致的原则叫做as-if-serial)。
2,在多线程的情况下,指令的重排序可能会影响计算的结果。
3,如果java认为两个操作有数据依赖性,则不会重排序。
重排序有三种,在某一次编译的过程中,这三种重排序的情形有可能都出现:
1,编译器优化重排序:编译器在不改变单线程程序语义的前提下,可以重新安排语句的执行顺序。
2,指令级并行的重排序:如果不存l在数据依赖性,处理器可以改变语句对应机器指令的执行顺序。
3,内存系统的重排序:处理器使用缓存和读写缓冲区,这使得加载和存储操作看上去可能是在乱序执行。