单例模式之线程安全解析

本文综合网上资料以及代码时间，对要求延迟加载和线程安全的单例模式做了如下分析。
自励共勉。

面试的时候，常常会被问到这样一个问题：请您写出一个单例模式（Singleton Pattern）吧。
单例的目的是为了保证运行时Singleton类只有唯一的一个实例，最常用的地方比如拿到数据库的连接，Spring的中创建BeanFactory这些开销比较大的操作，而这些操作都是调用他们的方法来执行某个特定的动作。
很容易，顺手写一个《Java与模式》中的第一个例子：

public final class Singleton {
	private static Singleton instance = new Singleton();
	private Singleton() {}
	public static Singleton getInstance() {
		return instance;
	}
}  

这种写法就是所谓的饿汉式，每个对象在没有使用之前就已经初始化了。
问题来了，问题1：单例会带来什么问题？如果这个对象很大呢？没有使用这个对象之前，就把它加载到了内存中去是一种巨大的浪费。
针对这种情况，我们可以对以上的代码进行改进，使用一种新的设计思想——延迟加载（Lazy-load Singleton）。

public final class Singleton{  
    private static Singleton instance = null;
    private Singleton(){}  
    public static Singleton getInstance(){  
        if(instance == null){
            instance = new Singleton();
        } 
        return instance;
    }  
} 

这种写法就是所谓的懒汉式。它使用了延迟加载来保证对象在没有使用之前，是不会进行初始化的。
通常这个时候面试官又会提问新的问题来刁难一下。他会问：这种写法线程安全吗？回答必然是：不安全。
这是因为在多个线程可能同时运行到第九行，判断instance为null，于是同时进行了初始化，出现创建多个实例的情况。
实际上使用什么样的单例实现取决于不同的生产环境，懒汉式适合于单线程程序，多线程情况下需要保护getInstance()方法，否则可能会产生多个Singleton对象的实例。
所以，这是面临的问题是如何使得这个代码线程安全？很简单，在getInstance()方法前面加一个synchronized关键字，锁定整个方法就OK了。

public final class Singleton{   
    private static Singleton instance=null;   
    private Singleton(){}   
    public static synchronized Singleton getInstance(){   
        if(instance==null){   
             instance=new Singleton();   
         }   
        return instance;   
     }   
}   

写到这里，面试官可能仍然会狡猾的看了你一眼，继续刁难到：这个写法有没有什么性能问题呢？答案[color=blue]肯定是有的！[/color][b]同步的代价必然会一定程度的使程序的并发度降低。[/b]
锁定整个方法的是比较耗费资源的，代码中实际会产生多线程访问问题的只有

 instance = new Singleton();

为了降低 synchronized 块性能方面的影响，把同步的粒度降低，只在初始化对象的时候进行同步，故只锁定初始化对象语句即可。

public final Singleton getInstance(){      
    if(instance == null){      
         synchronize(this){         
            instance =  new Singleton();           
         }      
     }      
    return instance;   
}    

分析这种实现方式，两个线程可以并发地进入第一次判断instance是否为空的if 语句内部，第一个线程执行new操作，第二个线程阻断，当第一个线程执行完毕之后，第二个线程没有进行判断就直接进行new操作，所以这样做也并不是安全的。
为了避免第二次进入synchronized块没有进行非空判断的情况发生，添加第二次条件判断，即一种新的设计思想——[b][color=red]双重检查锁（Double-Checked Lock）[/color][/b]。

public final class Singleton{   
    private static Singleton instance=null;   
    private Singleton(){}   
    public static Singleton getInstance(){      
      if(instance == null){      
         synchronize(this){      
           if(instance == null){      
               instance =  new Singleton();       
            }      
         }      
      }      
      return instance;   
    }     
}   

这种写法使得只有在加载新的对象进行同步，在加载完了之后，其他线程在第5行就可以判断跳过锁的的代价直接到第12行代码了。做到很好的并发度。
至此，上面的写法一方面实现了Lazy-Load，另一个方面也做到了并发度很好的线程安全，一切看上很完美。
但是二次检查自身会存在比较隐蔽的问题，查了Peter Haggar在DeveloperWorks上的一篇文章，对二次检查的解释非常的详细：
“双重检查锁定背后的理论是完美的。不幸地是，现实完全不同。双重检查锁定的问题是：并不能保证它会在单处理器或多处理器计算机上顺利运行。双重检查锁定失败的问题并不归咎于 JVM 中的实现 bug，而是归咎于 Java 平台内存模型。内存模型允许所谓的“无序写入”，这也是这些习语失败的一个主要原因。”
使用二次检查的方法也不是完全安全的，原因是 java 平台内存模型中允许所谓的“无序写入”会导致二次检查失败，所以使用二次检查的想法也行不通了。
Peter Haggar在最后提出这样的观点：“无论以何种形式，都不应使用双重检查锁定，因为您不能保证它在任何 JVM 实现上都能顺利运行。”
问题在哪里？
假设线程A执行到了第5行，它判断对象为空，于是线程A执行到第8行去初始化这个对象，但初始化是需要耗费时间的，但是这个对象的地址其实已经存在了。此时线程B也执行到了第5行，它判断不为空，于是直接跳到12行得到了这个对象。但是，这个对象还没有被完整的初始化！得到一个没有初始化完全的对象有什么用！！
关于这个Double-Checked Lock的讨论有很多，目前公认这是一个Anti-Pattern，不推荐使用！
那么有没有什么更好的写法呢？
有！这里又要提出一种新的模式——[color=red][b]Initialization on Demand Holder[/b][/color]. 这种方法使用内部类来做到延迟加载对象，在初始化这个内部类的时候，JLS(Java Language Sepcification)会保证这个类的线程安全。这种写法最大的美在于，完全使用了Java虚拟机的机制进行同步保证，没有一个同步的关键字。

public class ResourceFactory{
    private static class ResourceHolder{
        public static Resource resource = new Resource();      
    }     
    public static Resource getResource() {
        return ResourceFactory.ResourceHolder.resource;      
    }
}   

上面的方式是值得借鉴的，在ResourceFactory中加入了一个私有静态内部类ResourceHolder ，对外提供的接口是 getResource()方法，也就是只有在ResourceFactory .getResource()的时候，Resource对象才会被创建，
这种写法的巧妙之处在于ResourceFactory 在使用的时候ResourceHolder 会被初始化，但是ResourceHolder 里面的resource并没有被创建，
这里隐含了一个是static关键字的用法，使用static关键字修饰的变量只有在第一次使用的时候才会被初始化，而且一个类里面static的成员变量只会有一份，这样就保证了无论多少个线程同时访问，所拿到的Resource对象都是同一个。
值得注意的是，饿汉式的实现方式虽然貌似开销比较大，但是不会出现线程安全的问题，也是解决线程安全的单例实现的有效方式。
所以本文提出的第一个例子（也是《Java与模式》中的例子），也是使用单例模式的有效方法之一。这种方式没有使用同步，并且确保了调用static getInstance()方法时才创建Singleton的引用（static 的成员变量在一个类中只有一份）。
附：
饿汉式单例类可以在Java语言实现，但不易在C++内实现，因为静态初始化在C++里没有固定的顺序，因而静态的instance变量的初始化与类的加载顺序没有保证，可能会出问题。这就是为什么GoF在提出单例类的概念时，举的例子是懒汉式的。他们的书影响之大，以致Java语言中单例类的例子也大多是懒汉式的。实际上，本书认为饿汉式单例类更符合Java语言本身的特点。
——《Java与模式》作者

参考资料：
Double-Checked Lock:[url]http://en.wikipedia.org/wiki/Double-checked_locking[/url]
Initialzation on Demand Holder: [url]http://en.wikipedia.org/wiki/Initialization_on_demand_holder_idiom[/url]
线程安全的单例模式[url]http://blog.sina.com.cn/s/blog_75247c770100yxpb.html[/url]
线程安全的单例模式[url]http://hi.baidu.com/snbrskt/item/e8b12c16bc62b407d0d66d03[/url]
双重检查锁定及单例模式[url]http://www.ibm.com/developerworks/cn/java/j-dcl.html#author[/url]
Lazy Loading Singletons[url]http://blog.crazybob.org/2007/01/lazy-loading-singletons.html[/url]