我担任面试官时,很喜欢请候选人写一个单例模式,貌似波澜不惊的问题能考察出很多 Java 基础问题。
1 基础单例模式 (正确姿势)
首先面试官请候选人写一个单例模式,于是很多同学就会写出如下代码:
public class SingleInstance {
private static SingleInstance instance = new SingleInstance();
private SingleInstance() {}
public static SingleInstance getInstance() {
return instance;
}
}
恭喜你,这是最基础的线程安全的单例模式,答对了。
要点:
- 单例模式需要有一个 private 构造函数,避免客户端直接 new 出对象;
- 静态方法 getInstance() 需要考虑多线程访问时的竞争问题,但是静态成员变量在对象构造时生成,优先与实例方法的调用,于是多线程冲突被巧妙的避免了。
2 延迟构造的单例模式(正确姿势但略有瑕疵)
方法1中的实例是在构造时创建的,于是,面试官继续提问,如果instance需要延迟构造,需要怎么修改?
于是,LazyInit的单例模式如下,使用时再构造对象。
要点:
- getInstance 是一个同步方法(synchronized),使用对象锁,避免多线程导致的问题。
public class SingleInstance {
private static SingleInstance instance ;
private SingleInstance() {}
public static synchronized SingleInstance getInstance() {
if (instance == null) {
instance = new SingleInstance();
}
return instance;
}
}
2.1 延迟构造的单例模式(错误姿势)
然后,面试官继续提问,这种实现方式有效率问题,例如非首次调用getInstance时,大量线程只希望获取一个已经构造完成的对象,但是也被迫等待,顺序完成。如何修改能提高效率。
于是,网上流传很广泛,可以说臭名昭著双重检查锁(Double Checked Lock, DCL)的方案很可能会被写出来:
public class SingleInstance {
private static SingleInstance instance ;
private SingleInstance() {}
public static SingleInstance getInstance() {
if (instance == null) {
synchronized (SingleInstance.class) {
if (instance == null) {
instance = new SingleInstance();
}
}
}
return instance;
}
}
要点:
- DCL模式去掉了 getInstance 的 synchronized 修饰符,这样instance != null 时,大量线程不用获取锁并等待,提高了效率;
- 如果 instance == null ,获取class 的类锁,初始化 instance。
问题点:
上述设计貌似巧妙,实际上却是有问题的:如下简单的赋值语句,在JAVA中并不是原子操作。
instance = new SingleInstance();
该语句可以抽象为如下三个操作,而这三个操作中 2 和 3 可能发生指令重排:先给 instance 分配一个内存,再对内存进程初始化。
memory =allocate(); //1:分配对象的内存空间
ctorInstance(memory); //2:初始化对象
instance = memory; //3:设置instance指向刚分配的内存地址
于是回过头来看DCL形式的方案:
- 线程A 在初始化 instance 对象的时,给instance分配了内存,但并未完成初始化;
- 线程B 判断 instance 对象不为空,结果取走了一个未初始化完成的 instance;类似 C 语言中常见的野指针现象。
2.2 DCL单例模式(正确姿势)
那么正确的 DCL 应该如何修改。在 JAVA 1.5 版本之后,volatile 关键字可以保证字段可见性的同时,防止编译器进行指令重排。但是volatile并不能保证操作的原子性,所以锁还是要加的。上述 DCL 模式修改一行即可:
private static volatile SingleInstance instance ;
但是,这种双重检查的代码还是令人不爽,有没有更优雅的实现形式呢?
3 延迟初始化占位类模式 (正确姿势)
《Java 并发编程实践》中提供了一种Holder类的的模式,很好的解决了延迟加载和多线程访问的问题:
public class SingleInstance {
private static class SingleInstanceHolder {
public static SingleInstance instance = new SingleInstance();
}
private SingleInstance() {};
public static SingleInstance getInstance() {
return SingleInstanceHolder.instance;
}
}
要点:
- 提供一个静态内部类 Holder,getInstance时才会Holder对象才会构造;Java 虚拟机会保证对象构造完成优先与线程访问,防止多线程冲突问题。
总结
面试官考察单例模式,着眼点并不在于考察设计模式本身,面试官预留的“坑”在多线程访问方面:
- 初级候选人应当正确写出模式一,或者模式二,具备设计模式和多线程访问的基本知识。
- 中高级候选人应当正确理解 volatile synchronized final 等基本语义,具备JAVA 内存模型的基本知识,了解指令重排,变量可见性等概念,设计线程安全的类。