Android 架構師之路5 設計模式之單例模式

Android 架構師之路 目錄

前言

Java中單例(Singleton)模式是一種廣泛使用的設計模式。單例模式的主要作用是保證在Java程序中,某個類只有一個實例存在。一些管理器和控制器常被設計成單例模式。
單例模式有很多好處,它能夠避免實例對象的重復創建,不僅可以減少每次創建對象的時間開銷,還可以節約內存空間;能夠避免由于操作多個實例導致的邏輯錯誤。如果一個對象有可能貫穿整個應用程序,而且起到了全局統一管理控制的作用,那么單例模式也許是一個值得考慮的選擇。

1、單例模式UML類圖

單例模式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關鍵字就可以從語義上解決這個問題。

例如,考慮下面的事件序列:

  1. 線程A發現變量沒有被初始化, 然后它獲取鎖并開始變量的初始化。
  2. 由于某些編程語言的語義,編譯器生成的代碼允許在線程A執行完變量的初始化之前,更新變量并將其指向部分初始化的對象。
  3. 線程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的語義問題,還加入了不少鎖優化,使得多線程同步的開銷降低不少)。

最后,不管采取何種方案,請時刻牢記單例的三大要點:

  • 線程安全
  • 延遲加載
  • 序列化與反序列化安全
特別感謝:

吃桔子的攻城獅

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。