前言
Java中單例(Singleton)模式是一種廣泛使用的設計模式。單例模式的主要作用是保證在Java程序中,某個類只有一個實例存在。一些管理器和控制器常被設計成單例模式。
單例模式有很多好處,它能夠避免實例對象的重復創建,不僅可以減少每次創建對象的時間開銷,還可以節約內存空間;能夠避免由于操作多個實例導致的邏輯錯誤。如果一個對象有可能貫穿整個應用程序,而且起到了全局統一管理控制的作用,那么單例模式也許是一個值得考慮的選擇。
1、單例模式UML類圖
2、單例模式的八種寫法
2.1餓漢模式
顧名思義,餓漢法就是在第一次引用該類的時候就創建對象實例,而不管實際是否需要創建。代碼如下:
public class Singleton {
private static Singleton = new Singleton();
private Singleton() {}
public static getSignleton(){
return singleton;
}
}
這樣做的好處是編寫簡單,但是無法做到延遲創建對象。但是我們很多時候都希望對象可以盡可能地延遲加載,從而減小負載,所以就需要下面的懶漢法。
2.2 餓漢模式變種
public class Singleton {
private Singleton instance = null;
static {
instance = new Singleton();
}
private Singleton (){}
public static Singleton getInstance() {
return this.instance;
}
}
表面上看起來差別挺大,其實上面那種差不多,都是在類初始化即實例化instance。.
2.3不加鎖懶漢模式(線程不安全)
懶漢模式中單例是在需要的時候才去創建的,如果單例已經創建,再次調用獲取接口將不會重新創建新的對象,而是直接返回之前創建的對象。如果某個單例使用的次數少,并且創建單例消耗的資源較多,那么就需要實現單例的按需創建,這個時候使用懶漢模式就是一個不錯的選擇。但是這里的懶漢模式并沒有考慮線程安全問題,在多個線程可能會并發調用它的getInstance()方法,就有很大可能導致重復創建對象。
public class Singleton {
private static Singleton singleton = null;
private Singleton(){}
public static Singleton getSingleton() {
if(singleton == null) singleton = new Singleton();
return singleton;
}
}
2.4加鎖懶漢模式(線程安全,但是耗時)
這種寫法考慮了線程安全,將對singleton的null判斷以及new的部分使用synchronized進行加鎖。同時,對singleton對象使用volatile關鍵字進行限制,保證其對所有線程的可見性,并且禁止對其進行指令重排序優化。如此即可從語義上保證這種單例模式寫法是線程安全的。但是每次通過getInstance方法得到singleton實例的時候都有一個試圖去獲取同步鎖的過程。而眾所周知,加鎖是很耗時的,對高并發操作很不友好。
public class Singleton {
private static volatile Singleton singleton = null;
private Singleton(){}
public static Singleton getSingleton(){
synchronized (Singleton.class){
if(singleton == null){
singleton = new Singleton();
}
}
return singleton;
}
}
2.5雙重校驗鎖( 兼顧線程安全和效率的寫法)
雖然上面這種寫法是可以正確運行的,但是其效率低下,還是無法實際應用。因為每次調用getSingleton()方法,都必須在synchronized這里進行排隊,而真正遇到需要new的情況是非常少的。所以,就誕生了第三種寫法:
public class Singleton {
private static volatile Singleton singleton = null;
private Singleton(){}
public static Singleton getSingleton(){
if(singleton == null){
synchronized (Singleton.class){
if(singleton == null){
singleton = new Singleton();
}
}
}
return singleton;
}
}
這種寫法被稱為“雙重檢查鎖”,顧名思義,就是在getSingleton()方法中,進行兩次null檢查。看似多此一舉,但實際上卻極大提升了并發度,進而提升了性能。為什么可以提高并發度呢?就像上文說的,在單例中new的情況非常少,絕大多數都是可以并行的讀操作。因此在加鎖前多進行一次null檢查就可以減少絕大多數的加鎖操作,執行效率提高的目的也就達到了。
該種寫法存在Java低版本中的問題
那么,這種寫法是不是絕對安全呢?前面說了,從語義角度來看,并沒有什么問題。但是其實還是有坑。說這個坑之前我們要先來看看volatile這個關鍵字。其實這個關鍵字有兩層語義。第一層語義相信大家都比較熟悉,就是可見性。可見性指的是在一個線程中對該變量的修改會馬上由工作內存(Work Memory)寫回主內存(Main Memory),所以會馬上反應在其它線程的讀取操作中。順便一提,工作內存和主內存可以近似理解為實際電腦中的高速緩存和主存,工作內存是線程獨享的,主存是線程共享的。volatile的第二層語義是禁止指令重排序優化。大家知道我們寫的代碼(尤其是多線程代碼),由于編譯器優化,在實際執行的時候可能與我們編寫的順序不同。編譯器只保證程序執行結果與源代碼相同,卻不保證實際指令的順序與源代碼相同。這在單線程看起來沒什么問題,然而一旦引入多線程,這種亂序就可能導致嚴重問題。volatile關鍵字就可以從語義上解決這個問題。
例如,考慮下面的事件序列:
- 線程A發現變量沒有被初始化, 然后它獲取鎖并開始變量的初始化。
- 由于某些編程語言的語義,編譯器生成的代碼允許在線程A執行完變量的初始化之前,更新變量并將其指向部分初始化的對象。
- 線程B發現共享變量已經被初始化,并返回變量。由于線程B確信變量已被初始化,它沒有獲取鎖。如果在A完成初始化之前共享變量對B可見(這是由于A沒有完成初始化或者因為一些初始化的值還沒有穿過B使用的內存(緩存一致性)),程序很可能會崩潰。
Symantec JIT 編譯 singletons[i].reference = new Singleton(); 這段代碼時,如果不加volatile關鍵詞,會生成如下字節碼:
0206106A mov eax,0F97E78h
0206106F call 01F6B210 ; allocate space for
; Singleton, return result in eax
02061074 mov dword ptr [ebp],eax ; EBP is &singletons[i].reference
; store the unconstructed object here.
02061077 mov ecx,dword ptr [eax] ; dereference the handle to
; get the raw pointer
02061079 mov dword ptr [ecx],100h ; Next 4 lines are
0206107F mov dword ptr [ecx+4],200h ; Singleton's inlined constructor
02061086 mov dword ptr [ecx+8],400h
0206108D mov dword ptr [ecx+0Ch],0F84030h
可以看到,在執行Singleton
的構造函數之前,Singleton
的新實例就被賦值給了singletons[i].reference
,這在Java內存模型中是完全合法的。
注意,前面反復提到“從語義上講是沒有問題的”,但是很不幸,禁止指令重排優化這條語義直到jdk1.5以后才能正確工作。此前的JDK中即使將變量聲明為volatile也無法完全避免重排序所導致的問題。所以,在jdk1.5版本前,雙重檢查鎖形式的單例模式是無法保證線程安全的。
2.6 靜態內部類法(推薦)
那么,有沒有一種延時加載,并且能保證線程安全的簡單寫法呢?我們可以把Singleton實例放到一個靜態內部類中,這樣就避免了靜態實例在Singleton類加載的時候就創建對象,并且由于靜態內部類只會被加載一次,所以這種寫法也是線程安全的:
public class Singleton {
private static class Holder {
private static Singleton singleton = new Singleton();
}
private Singleton(){}
public static Singleton getSingleton(){
return Holder.singleton;
}
}
但是,上面提到的所有實現方式都有兩個共同的缺點:
- 都需要額外的工作(Serializable、transient、readResolve())來實現序列化,否則每次反序列化一個序列化的對象實例時都會創建一個新的實例。
- 可能會有人使用反射強行調用我們的私有構造器(如果要避免這種情況,可以修改構造器,讓它在創建第二個實例的時候拋異常)。
2.7 枚舉寫法
當然,還有一種更加優雅的方法來實現單例模式,那就是枚舉寫法:
public class Resource{
}
public enum SomeThing {
INSTANCE;
private Resource instance;
SomeThing() {
instance = new Resource();
}
public Resource getInstance() {
return instance;
}
}
調用
Resource resource = SomeThing.INSTANCE.getInstance();
使用枚舉除了線程安全和防止反射強行調用構造器之外,還提供了自動序列化機制,防止反序列化的時候創建新的對象。因此,Effective Java推薦盡可能地使用枚舉來實現單例。
2.8 容器實現單例模式
import java.util.HashMap;
import java.util.Map;
public class Singleton {
private static Map<String, Object> objMap = new HashMap<String, Object>();
private Singleton() {
}
public static void registerService(String key, Object instance) {
if (!objMap.containsKey(key)) {
objMap.put(key, instance);
}
}
public static Object getService(String key) {
return objMap.get(key);
}
}
這種實現方式使得我們可以管理多種類型的單例,并且在使用時可以通過統一接口進行獲取操作,降低用戶使用成本,也對用戶隱藏了具體實現,降低耦合度。
3 、單例模式在Android源碼中應用
第三方 ImageLoader(通過源碼分析,得到單例模式中雙重檢測方案)
LayoutInflater 單例模式通過容器進行管理
LayoutInflater 源碼分析 WindowManager、ActivityManager、PowerManager都是容器管理
總結
代碼沒有一勞永逸的寫法,只有在特定條件下最合適的寫法。在不同的平臺、不同的開發環境(尤其是jdk版本)下,自然有不同的最優解(或者說較優解)。
比如枚舉,雖然Effective Java中推薦使用,但是在Android平臺上卻是不被推薦的。在這篇Android Training中明確指出:
Enums often require more than twice as much memory as static constants. You should strictly avoid using enums on Android.
再比如雙重檢查鎖法,不能在jdk1.5之前使用,而在Android
平臺上使用就比較放心了(一般Android都是jdk1.6以上了,不僅修正了volatile的語義問題,還加入了不少鎖優化,使得多線程同步的開銷降低不少)。
最后,不管采取何種方案,請時刻牢記單例的三大要點:
- 線程安全
- 延遲加載
- 序列化與反序列化安全