再说单例模式的线程安全问题
今天和同事聊起了单例模式的线程安全,我说如果不做任何措施,单例模式在多线程下是不安全的,得到的“单例”实际上并不是单例。但是为什么不是单例呢?由此我上网查了一下,在使用单例模式时,一定要注意线程安全问题,之前的写法没有任何问题。如下:
1 package day_5_singleton; 2 3 /** 4 * 单例 5 * 6 * @author turbo 7 * 8 * 2016年9月8日 9 */ 10 public class Singleton { 11 private static Singleton instance; 12 13 private Singleton() { 14 } 15 16 public static synchronized Singleton GetInstance() { 17 18 if (instance == null) { 19 instance = new Singleton(); 20 } 21 22 return instance; 23 } 24 }
问题就在于,synchronized对整个方法加锁,形成同步机制,这样虽然解决了单例模式的线程安全问题,但是却产生另外一个问题性能问题,对方法加锁这个颗粒度有点大,我们稍微改进一下。如下:
1 package day_5_singleton; 2 3 /** 4 * 单例 5 * 6 * @author turbo 7 * 8 * 2016年9月12日 9 */ 10 public class Singleton { 11 private static Singleton instance; 12 13 private Singleton() { 14 } 15 16 public static Singleton GetInstance() { 17 18 if (instance == null) { 19 synchronized (Singleton.class) { 20 if (instance == null){ 21 instance = new Singleton(); 22 } 23 } 24 } 25 26 return instance; 27 } 28 }
利用双重锁的方式这样颗粒度变小了,但还是利用同步的方式来解决资源共享问题。其实这上面两种写法称之为“懒加载”,即在用到的时候再来实例化。
我们再次修改代码,如下。
1 package day_5_singleton; 2 3 /** 4 * 单例 5 * 6 * @author turbo 7 * 8 * 2016年9月12日 9 */ 10 public class Singleton { 11 private static Singleton instance = new Singleton(); 12 13 private Singleton() { 14 } 15 16 public static Singleton GetInstance() { 17 return instance; 18 } 19 }
我们不利用线程同步的方式,而是在类被加载的时候就生成一个实例对象。这称之为“勤加载”,这个带来的问题就是,不管这个单例有没有用到都会一直存在。
两者都有其优缺点,但相对于利用线程同步的方式来解决线程安全问题,“勤加载”会是一个较为明智的选择。
2016.9.16补充:之所以懒加载不采取任何措施造成的线程不安全问题,是因为在程序中出现了“竞态条件(Race Condition)”,由于不恰当的执行时序而出现不正确的结果。最常见的竞态条件类型就是“先检查后执行(Check-Then-Act)”操作,即通过一个可能失效的观测结果来决定下一步的动作。——《Java 并发编程实战》
不积跬步,无以至千里;不积小流,无以成江海。