隨筆 - 100  文章 - 50  trackbacks - 0
          <2018年11月>
          28293031123
          45678910
          11121314151617
          18192021222324
          2526272829301
          2345678

          常用鏈接

          留言簿(3)

          隨筆分類

          隨筆檔案

          文章分類

          文章檔案

          收藏夾

          我收藏的一些文章!

          搜索

          •  

          最新評論

          閱讀排行榜

          評論排行榜

          1. 前言

           

          單例(Singleton)應該是開發者們最熟悉的設計模式了,并且好像也是最容易實現的——基本上每個開發者都能夠隨手寫出——但是,真的是這樣嗎?

           

          作為一個Java開發者,也許你覺得自己對單例模式的了解已經足夠多了。我并不想危言聳聽說一定還有你不知道的——畢竟我自己的了解也的確有限,但究竟你自己了解的程度到底怎樣呢?往下看,我們一起來聊聊看~

           

           

          2. 什么是單例?

           

          單例對象的類必須保證只有一個實例存在——這是維基百科上對單例的定義,這也可以作為對意圖實現單例模式的代碼進行檢驗的標準。

           

          對單例的實現可以分為兩大類——懶漢式和餓漢式,他們的區別在于:

           

          • 懶漢式:指全局的單例實例在第一次被使用時構建。

          • 餓漢式:指全局的單例實例在類裝載時構建。

           

          從它們的區別也能看出來,日常我們使用的較多的應該是懶漢式的單例,畢竟按需加載才能做到資源的最大化利用嘛~

           

          3. 懶漢式單例

           

          先來看一下懶漢式單例的實現方式。

           

          3.1 簡單版本

           

          看最簡單的寫法Version 1:

          復制代碼
          // Version 1 public class Single1 {     private static Single1 instance;     public static Single1 getInstance() {         if (instance == null) {             instance = new Single1();         }         return instance;     } }
          復制代碼

          或者再進一步,把構造器改為私有的,這樣能夠防止被外部的類調用。

          復制代碼
          // Version 1.1 public class Single1 {     private static Single1 instance;     private Single1() {}     public static Single1 getInstance() {         if (instance == null) {             instance = new Single1();         }         return instance;     } }
          復制代碼

          我仿佛記得當初學校的教科書就是這么教的?—— 每次獲取instance之前先進行判斷,如果instance為空就new一個出來,否則就直接返回已存在的instance。

           

          這種寫法在大多數的時候也是沒問題的。問題在于,當多線程工作的時候,如果有多個線程同時運行到if (instance == null),都判斷為null,那么兩個線程就各自會創建一個實例——這樣一來,就不是單例了。

           

          3.2 synchronized版本

           

          那既然可能會因為多線程導致問題,那么加上一個同步鎖吧!

           

          修改后的代碼如下,相對于Version1.1,只是在方法簽名上多加了一個synchronized:

          復制代碼
          // Version 2  public class Single2 {     private static Single2 instance;     private Single2() {}     public static synchronized Single2 getInstance() {         if (instance == null) {             instance = new Single2();         }         return instance;     } }
          復制代碼

          OK,加上synchronized關鍵字之后,getInstance方法就會鎖上了。如果有兩個線程(T1、T2)同時執行到這個方法時,會有其中一個線程T1獲得同步鎖,得以繼續執行,而另一個線程T2則需要等待,當第T1執行完畢getInstance之后(完成了null判斷、對象創建、獲得返回值之后),T2線程才會執行執行。——所以這端代碼也就避免了Version1中,可能出現因為多線程導致多個實例的情況。

           

          但是,這種寫法也有一個問題:給gitInstance方法加鎖,雖然會避免了可能會出現的多個實例問題,但是會強制除T1之外的所有線程等待,實際上會對程序的執行效率造成負面影響。

           

          3.3 雙重檢查(Double-Check)版本

           

          Version2代碼相對于Version1d代碼的效率問題,其實是為了解決1%幾率的問題,而使用了一個100%出現的防護盾。那有一個優化的思路,就是把100%出現的防護盾,也改為1%的幾率出現,使之只出現在可能會導致多個實例出現的地方。

           

          ——有沒有這樣的方法呢?當然是有的,改進后的代碼Vsersion3如下:

          復制代碼
          // Version 3  public class Single3 {     private static Single3 instance;     private Single3() {}     public static Single3 getInstance() {         if (instance == null) {             synchronized (Single3.class) {                 if (instance == null) {                     instance = new Single3();                 }             }         }         return instance;     } }
          復制代碼

          這個版本的代碼看起來有點復雜,注意其中有兩次if (instance == null)的判斷,這個叫做『雙重檢查 Double-Check』。

           

          • 第一個if (instance == null),其實是為了解決Version2中的效率問題,只有instance為null的時候,才進入synchronized的代碼段——大大減少了幾率。

             

          • 第二個if (instance == null),則是跟Version2一樣,是為了防止可能出現多個實例的情況。

           

          —— 這段代碼看起來已經完美無瑕了。

          ……

          ……

          ……

          —— 當然,只是『看起來』,還是有小概率出現問題的。

           

          這弄清楚為什么這里可能出現問題,首先,我們需要弄清楚幾個概念:原子操作、指令重排。

           

          知識點:什么是原子操作?

           

          簡單來說,原子操作(atomic)就是不可分割的操作,在計算機中,就是指不會因為線程調度被打斷的操作。

           

          比如,簡單的賦值是一個原子操作:

          m = 6; // 這是個原子操作

          假如m原先的值為0,那么對于這個操作,要么執行成功m變成了6,要么是沒執行m還是0,而不會出現諸如m=3這種中間態——即使是在并發的線程中。

           

          而,聲明并賦值就不是一個原子操作:

          int n = 6; // 這不是一個原子操作

          對于這個語句,至少有兩個操作:

           

          ①聲明一個變量n

          ②給n賦值為6

           

          ——這樣就會有一個中間狀態:變量n已經被聲明了但是還沒有被賦值的狀態。

          ——這樣,在多線程中,由于線程執行順序的不確定性,如果兩個線程都使用m,就可能會導致不穩定的結果出現。

           

          知識點:什么是指令重排?

           

          簡單來說,就是計算機為了提高執行效率,會做的一些優化,在不影響最終結果的情況下,可能會對一些語句的執行順序進行調整。

          比如,這一段代碼:

          復制代碼
          int a ;   // 語句1   a = 8 ;   // 語句2  int b = 9 ;     // 語句3  int c = a + b ; // 語句4
          復制代碼

          正常來說,對于順序結構,執行的順序是自上到下,也即1234。

           

          但是,由于指令重排的原因,因為不影響最終的結果,所以,實際執行的順序可能會變成3124或者1324。

           

          由于語句3和4沒有原子性的問題,語句3和語句4也可能會拆分成原子操作,再重排。

           

          ——也就是說,對于非原子性的操作,在不影響最終結果的情況下,其拆分成的原子操作可能會被重新排列執行順序。

           

          OK,了解了原子操作和指令重排的概念之后,我們再繼續看Version3代碼的問題。

           

          下面這段話直接從陳皓的文章(深入淺出單實例SINGLETON設計模式)中復制而來:

           

          主要在于singleton = new Singleton()這句,這并非是一個原子操作,事實上在 JVM 中這句話大概做了下面 3 件事情。

           

          1. 給 singleton 分配內存

           

          2. 調用 Singleton 的構造函數來初始化成員變量,形成實例

           

          3. 將singleton對象指向分配的內存空間(執行完這步 singleton才是非 null 了)

          但是在 JVM 的即時編譯器中存在指令重排序的優化。也就是說上面的第二步和第三步的順序是不能保證的,最終的執行順序可能是 1-2-3 也可能是 1-3-2。如果是后者,則在 3 執行完畢、2 未執行之前,被線程二搶占了,這時 instance 已經是非 null 了(但卻沒有初始化),所以線程二會直接返回 instance,然后使用,然后順理成章地報錯。

           

          再稍微解釋一下,就是說,由于有一個『instance已經不為null但是仍沒有完成初始化』的中間狀態,而這個時候,如果有其他線程剛好運行到第一層if (instance == null)這里,這里讀取到的instance已經不為null了,所以就直接把這個中間狀態的instance拿去用了,就會產生問題。

           

          這里的關鍵在于——線程T1對instance的寫操作沒有完成,線程T2就執行了讀操作。

           

          3.4 終極版本:volatile

           

          對于Version3中可能出現的問題(當然這種概率已經非常小了,但畢竟還是有的嘛~),解決方案是:只需要給instance的聲明加上volatile關鍵字即可,Version4版本:

          復制代碼
          // Version 4   public class Single4 {      private static volatile Single4 instance;      private Single4() {}      public static Single4 getInstance() {          if (instance == null) {              synchronized (Single4.class) {                  if (instance == null) {                      instance = new Single4();                  }              }          }          return instance;      }  }
          復制代碼

          volatile關鍵字的一個作用是禁止指令重排,把instance聲明為volatile之后,對它的寫操作就會有一個內存屏障(什么是內存屏障?),這樣,在它的賦值完成之前,就不用會調用讀操作。

           

          注意:volatile阻止的不singleton = new Singleton()這句話內部[1-2-3]的指令重排,而是保證了在一個寫操作([1-2-3])完成之前,不會調用讀操作(if (instance == null))。

           

          ——也就徹底防止了Version3中的問題發生。

          ——好了,現在徹底沒什么問題了吧?

          ……

          ……

          ……

           

          好了,別緊張,的確沒問題了。大名鼎鼎的EventBus中,其入口方法EventBus.getDefault()就是用這種方法來實現的。

          ……

          ……

          ……

          不過,非要挑點刺的話還是能挑出來的,就是這個寫法有些復雜了,不夠優雅、簡潔。

           

          4. 餓漢式單例

           

          下面再聊了解一下餓漢式的單例。

           

          如上所說,餓漢式單例是指:指全局的單例實例在類裝載時構建的實現方式。

           

          由于類裝載的過程是由類加載器(ClassLoader)來執行的,這個過程也是由JVM來保證同步的,所以這種方式先天就有一個優勢——能夠免疫許多由多線程引起的問題。

           

          4.1 餓漢式單例的實現方式

           

          餓漢式單例的實現如下:

          復制代碼
          //餓漢式實現  public class SingleB {      private static final SingleB INSTANCE = new SingleB();      private SingleB() {}      public static SingleB getInstance() {          return INSTANCE;      }  }
          復制代碼

          對于一個餓漢式單例的寫法來說,它基本上是完美的了。

           

          所以它的缺點也就只是餓漢式單例本身的缺點所在了——由于INSTANCE的初始化是在類加載時進行的,而類的加載是由ClassLoader來做的,所以開發者本來對于它初始化的時機就很難去準確把握:

           

          1. 可能由于初始化的太早,造成資源的浪費

             

          2. 如果初始化本身依賴于一些其他數據,那么也就很難保證其他數據會在它初始化之前準備好。

           

          當然,如果所需的單例占用的資源很少,并且也不依賴于其他數據,那么這種實現方式也是很好的。

           

          知識點:什么時候是類裝載時?

           

          前面提到了單例在類裝載時被實例化,那究竟什么時候才是『類裝載時』呢?

           

          不嚴格的說,大致有這么幾個條件會觸發一個類被加載:

           

          1. new一個對象時

          2. 使用反射創建它的實例時

          3. 子類被加載時,如果父類還沒被加載,就先加載父類

          4. jvm啟動時執行的主類會首先被加載

           

          5. 一些其他的實現方式

           

          5.1 Effective Java 1 —— 靜態內部類

           

          《Effective Java》一書的第一版中推薦了一個中寫法:

          復制代碼
          // Effective Java 第一版推薦寫法  public class Singleton {      private static class SingletonHolder {          private static final Singleton INSTANCE = new Singleton();      }      private Singleton (){}      public static final Singleton getInstance() {          return SingletonHolder.INSTANCE;      }  }
          復制代碼

          這種寫法非常巧妙:

           

          • 對于內部類SingletonHolder,它是一個餓漢式的單例實現,在SingletonHolder初始化的時候會由ClassLoader來保證同步,使INSTANCE是一個真·單例。

             

          • 同時,由于SingletonHolder是一個內部類,只在外部類的Singleton的getInstance()中被使用,所以它被加載的時機也就是在getInstance()方法第一次被調用的時候。

           

          ——它利用了ClassLoader來保證了同步,同時又能讓開發者控制類加載的時機。從內部看是一個餓漢式的單例,但是從外部看來,又的確是懶漢式的實現。

           

          簡直是神乎其技。

           

          5.2 Effective Java 2 —— 枚舉

           

          你以為到這就算完了?不,并沒有,因為厲害的大神又發現了其他的方法。

           

          《Effective Java》的作者在這本書的第二版又推薦了另外一種方法,來直接看代碼:

          復制代碼
          // Effective Java 第二版推薦寫法  public enum SingleInstance {      INSTANCE;      public void fun1() {           // do something      }  }     // 使用  SingleInstance.INSTANCE.fun1();
          復制代碼

          看到了么?這是一個枚舉類型……連class都不用了,極簡。

           

          由于創建枚舉實例的過程是線程安全的,所以這種寫法也沒有同步的問題。

           

          作者對這個方法的評價:

           

          這種寫法在功能上與共有域方法相近,但是它更簡潔,無償地提供了序列化機制,絕對防止對此實例化,即使是在面對復雜的序列化或者反射攻擊的時候。雖然這中方法還沒有廣泛采用,但是單元素的枚舉類型已經成為實現Singleton的最佳方法。

           

          枚舉單例這種方法問世一些,許多分析文章都稱它是實現單例的最完美方法——寫法超級簡單,而且又能解決大部分的問題。

           

          不過我個人認為這種方法雖然很優秀,但是它仍然不是完美的——比如,在需要繼承的場景,它就不適用了。

           

          6. 總結

           

          OK,看到這里,你還會覺得單例模式是最簡單的設計模式了么?再回頭看一下你之前代碼中的單例實現,覺得是無懈可擊的么?

           

          可能我們在實際的開發中,對單例的實現并沒有那么嚴格的要求。比如,我如果能保證所有的getInstance都是在一個線程的話,那其實第一種最簡單的教科書方式就夠用了。再比如,有時候,我的單例變成了多例也可能對程序沒什么太大影響……

           

          但是,如果我們能了解更多其中的細節,那么如果哪天程序出了些問題,我們起碼能多一個排查問題的點。早點解決問題,就能早點回家吃飯……

           

          —— 還有,完美的方案是不存在,任何方式都會有一個『度』的問題。比如,你的覺得代碼已經無懈可擊了,但是因為你用的是JAVA語言,可能ClassLoader有些BUG啊……你的代碼誰運行在JVM上的,可能JVM本身有BUG啊……你的代碼運行在手機上,可能手機系統有問題啊……你生活在這個宇宙里,可能宇宙本身有些BUG啊……

           

          所以,盡力做到能做到的最好就行了。

           

          —— 感謝你花費了不少時間看到這里,但愿你沒有覺得虛度。

          posted on 2018-11-27 22:51 fly 閱讀(117) 評論(0)  編輯  收藏 所屬分類: 設計模式
          主站蜘蛛池模板: 科技| 英德市| 南康市| 从江县| 虹口区| 桓台县| 唐河县| 利津县| 通河县| 丰县| 江华| 灵山县| 韶关市| 大丰市| 白朗县| 于都县| 铜川市| 静安区| 浪卡子县| 利津县| 永胜县| 海林市| 西华县| 新平| 蓝山县| 望谟县| 微博| 根河市| 五莲县| 汉寿县| 浪卡子县| 朝阳县| 嫩江县| 和龙市| 章丘市| 莆田市| 德安县| 凤城市| 莎车县| 九寨沟县| 诏安县|