日本综合一区二区|亚洲中文天堂综合|日韩欧美自拍一区|男女精品天堂一区|欧美自拍第6页亚洲成人精品一区|亚洲黄色天堂一区二区成人|超碰91偷拍第一页|日韩av夜夜嗨中文字幕|久久蜜综合视频官网|精美人妻一区二区三区

RELATEED CONSULTING
相關(guān)咨詢
選擇下列產(chǎn)品馬上在線溝通
服務時間:8:30-17:00
你可能遇到了下面的問題
關(guān)閉右側(cè)工具欄

新聞中心

這里有您想知道的互聯(lián)網(wǎng)營銷解決方案
Java雙重檢查鎖單例真的線程安全嗎?

相信大多數(shù)同學在面試當中都遇到過手寫單例模式的題目,那么如何寫一個完美的單例是面試者需要深究的問題,因為一個嚴謹?shù)膯卫J秸f不定就直接決定了面試結(jié)果,今天我們就要來講講看似線程安全的雙重檢查鎖單例模式中可能會出現(xiàn)的指令重排問題。

雙重檢查鎖單例模式

乍一看下面單例模式?jīng)]啥問題,還加了同步鎖保證線程安全,從表面上看確實看不出啥問題,當在同一時間多個線程同時執(zhí)行該單例時就會出現(xiàn)JVM指令重排的問題,從而可能導致某一個線程獲取的single對象未初始化對象。

 
 
 
  1. public class Single {
  2.  private static Single single;
  3.  
  4.  private Single() {
  5.  }
  6.  
  7.  public static Single getInstance() {
  8.   if(null == single) {
  9.    synchronized (Single.class) {
  10.     if(null == single) {
  11.      single = new Single();
  12.     }
  13.    }
  14.   }
  15.   return single;
  16.  }
  17. }

問題前因后果

其實single = new Single()這段代碼并不具備原子性,從代碼層面上來說確實沒問題,但是如果了解JVM指令的就知道其實在執(zhí)行這句代碼的時候在JVM中是需要執(zhí)行三個指令來完成的,如下:

 
 
 
  1. //1:分配對象的內(nèi)存空間
  2. memory = allocate(); 
  3. //2:初始化對象
  4. ctorInstance(memory); 
  5. //3:設置instance指向剛分配的內(nèi)存地址
  6. instance = memory; 

看到上面指令重排的解釋之后,那么我們來回顧一下未加volatile修飾符的單例為何會出現(xiàn)問題。假設有A、B兩個線程去調(diào)用該單例方法,當A線程執(zhí)行到single = new Single()時,如果編譯器和處理器對指令重新排序,指令重排后:

 
 
 
  1. //1:分配對象的內(nèi)存空間
  2. memory = allocate(); 
  3. //3:設置instance指向剛分配的內(nèi)存地址,此時對象還沒被初始化
  4. instance = memory; 
  5. //2:初始化對象
  6. ctorInstance(memory); 

當A線程執(zhí)行到第二步(3:設置instance指向剛分配的內(nèi)存地址,此時對象還沒被初始化)變量single指向內(nèi)存地址之后就不為null了,此時B線程進入第一個if,由于single已經(jīng)不為null了,那么就不會執(zhí)行到同步代碼塊,而是直接返回未初始化對象的變量single,從而導致后續(xù)代碼報錯。

解決方案

問題也搞清楚了,接下來我們就來看下如何解決這個問題。解決問題的關(guān)鍵就在于volatile關(guān)鍵字,原因就在于它的可見性:

寫volatile修飾的變量時,JMM會把本地內(nèi)存中值刷新到主內(nèi)存 讀

volatile修飾的變量時,JMM會設置本地內(nèi)存無效

在多線程環(huán)境下,一個線程對共享變量的操作對其他線程是不可見的,Java提供了volatile來保證可見性,當一個變量被volatile修飾后,表示著線程本地內(nèi)存無效,當一個線程修改共享變量后他會立即被更新到主內(nèi)存中,其他線程讀取共享變量時,會直接從主內(nèi)存中讀取。

當然,synchronize和Lock都可以保證可見性,synchronized和Lock能保證同一時刻只有一個線程獲取鎖然后執(zhí)行同步代碼,并且在釋放鎖之前會將對變量的修改刷新到主存當中。

更正后的單例

對比上面單例,下面單例在私有靜態(tài)變量single前面加了修飾符volatile能夠防止JVM指令重排,從而解決了single對象可能出現(xiàn)成員變量未初始化的問題。

 
 
 
  1. public class Single {
  2.  private volatile static Single single;
  3.  
  4.  private Single() {
  5.  }
  6.  
  7.  public static Single getInstance() {
  8.   if(null == single) {
  9.    synchronized (Single.class) {
  10.     if(null == single) {
  11.      single = new Single();
  12.     }
  13.    }
  14.   }
  15.   return single;
  16.  }
  17. }

分享標題:Java雙重檢查鎖單例真的線程安全嗎?
文章鏈接:http://www.dlmjj.cn/article/djdcghi.html