双检查,单例使用volatile修饰
遵循 JSR133 规范的 Java 中
public class Singleton {
private volatile Singleton instance = null;
public Singleton getInstance() {
if (instance == null) {
synchronized(this) {
if (instance == null) {
instance = new Singleton();
}
}
}
return instance;
}
}
double-check 在 J2SE 1.4 或早期版本在多线程或者 JVM 调优时由于 out-of-order writes,是不可用的。 这个问题在 J2SE 5.0 中已经被修复,可以使用 volatile 关键字来保证多线程下的单例。
- 为什么需要double check?
延迟初始化,避免每次都去获取锁 - 为什么需要volatile
在jvm分解:instance = new Singleton();
- 虚拟机执行Singleton.class文件
- 执行Singleton类的static静态代码
- 为对象开辟对内存空间,分配地址
- 在堆内存中建立对象的成员属性,进行默认初始化
- 对属性进行显示初始化
- 对对象进行构造初始化
- 将对象内存地址传递给instance
因为编译器和虚拟机的优化导致指令重排序,上诉顺序会打乱。第一步检查就有可能对象非空但是是未经初始化的,导致使用该对象导致异常。
volatile保证可见行和有序性,有序行通过禁止指令重排实现,所以可以保证多线程读取的对像是可靠的
指令重排序
编译器和处理器在重排序时,会遵守数据依赖性,不会重排序
对同一个对象:
写后读
写后写
读后写
说明有依赖性
Initialization on Demand Holder(IODH)
public class Singleton {
private Singleton () {};
static class SingletonHolder {
static Singleton instance = new Singleton();
}
public static Singleton getInstance(){
return SingletonHolder.instance;
}
}