歡迎光臨
每天分享高質量文章

【死磕Java併發】—–Java記憶體模型之happens-before

在上篇部落格(【死磕Java併發】—–深入分析volatile的實現原理)LZ提到過由於存在執行緒本地記憶體和主記憶體的原因,再加上重排序,會導致多執行緒環境下存在可見性的問題。那麼我們正確使用同步、鎖的情況下,執行緒A修改了變數a何時對執行緒B可見?

我們無法就所有場景來規定某個執行緒修改的變數何時對其他執行緒可見,但是我們可以指定某些規則,這規則就是happens-before,從JDK 5 開始,JMM就使用happens-before的概念來闡述多執行緒之間的記憶體可見性。

在JMM中,如果一個操作執行的結果需要對另一個操作可見,那麼這兩個操作之間必須存在happens-before關係。

happens-before原則非常重要,它是判斷資料是否存在競爭、執行緒是否安全的主要依據,依靠這個原則,我們解決在併發環境下兩操作之間是否可能存在衝突的所有問題。下麵我們就一個簡單的例子稍微瞭解下happens-before ;

i = 1;       //執行緒A執行
j = i ;      //執行緒B執行

j 是否等於1呢?假定執行緒A的操作(i = 1)happens-before執行緒B的操作(j = i),那麼可以確定執行緒B執行後j = 1 一定成立,如果他們不存在happens-before原則,那麼j = 1 不一定成立。這就是happens-before原則的威力。

happens-before原則定義如下:

1. 如果一個操作happens-before另一個操作,那麼第一個操作的執行結果將對第二個操作可見,而且第一個操作的執行順序排在第二個操作之前。 
2. 兩個操作之間存在happens-before關係,並不意味著一定要按照happens-before原則制定的順序來執行。如果重排序之後的執行結果與按照happens-before關係來執行的結果一致,那麼這種重排序並不非法。

下麵是happens-before原則規則:

  1. 程式次序規則:一個執行緒內,按照程式碼順序,書寫在前面的操作先行發生於書寫在後面的操作;

  2. 鎖定規則:一個unLock操作先行發生於後面對同一個鎖額lock操作;

  3. volatile變數規則:對一個變數的寫操作先行發生於後面對這個變數的讀操作;

  4. 傳遞規則:如果操作A先行發生於操作B,而操作B又先行發生於操作C,則可以得出操作A先行發生於操作C;

  5. 執行緒啟動規則:Thread物件的start()方法先行發生於此執行緒的每個一個動作;

  6. 執行緒中斷規則:對執行緒interrupt()方法的呼叫先行發生於被中斷執行緒的程式碼檢測到中斷事件的發生;

  7. 執行緒終結規則:執行緒中所有的操作都先行發生於執行緒的終止檢測,我們可以透過Thread.join()方法結束、Thread.isAlive()的傳回值手段檢測到執行緒已經終止執行;

  8. 物件終結規則:一個物件的初始化完成先行發生於他的finalize()方法的開始;

我們來詳細看看上面每條規則(摘自《深入理解Java虛擬機器第12章》):

程式次序規則:一段程式碼在單執行緒中執行的結果是有序的。註意是執行結果,因為虛擬機器、處理器會對指令進行重排序(重排序後面會詳細介紹)。雖然重排序了,但是並不會影響程式的執行結果,所以程式最終執行的結果與順序執行的結果是一致的。故而這個規則只對單執行緒有效,在多執行緒環境下無法保證正確性。

鎖定規則:這個規則比較好理解,無論是在單執行緒環境還是多執行緒環境,一個鎖處於被鎖定狀態,那麼必須先執行unlock操作後面才能進行lock操作。

volatile變數規則:這是一條比較重要的規則,它標志著volatile保證了執行緒可見性。通俗點講就是如果一個執行緒先去寫一個volatile變數,然後一個執行緒去讀這個變數,那麼這個寫操作一定是happens-before讀操作的。

傳遞規則:提現了happens-before原則具有傳遞性,即A happens-before B , B happens-before C,那麼A happens-before C

執行緒啟動規則:假定執行緒A在執行過程中,透過執行ThreadB.start()來啟動執行緒B,那麼執行緒A對共享變數的修改在接下來執行緒B開始執行後確保對執行緒B可見。

執行緒終結規則:假定執行緒A在執行的過程中,透過制定ThreadB.join()等待執行緒B終止,那麼執行緒B在終止之前對共享變數的修改在執行緒A等待傳回後可見。

上面八條是原生Java滿足Happens-before關係的規則,但是我們可以對他們進行推匯出其他滿足happens-before的規則:

  1. 將一個元素放入一個執行緒安全的佇列的操作Happens-Before從佇列中取出這個元素的操作

  2. 將一個元素放入一個執行緒安全容器的操作Happens-Before從容器中取出這個元素的操作

  3. 在CountDownLatch上的倒數操作Happens-Before CountDownLatch#await()操作

  4. 釋放Semaphore許可的操作Happens-Before獲得許可操作

  5. Future表示的任務的所有操作Happens-Before Future#get()操作

  6. 向Executor提交一個Runnable或Callable的操作Happens-Before任務開始執行操作

這裡再說一遍happens-before的概念:如果兩個操作不存在上述(前面8條 + 後面6條)任一一個happens-before規則,那麼這兩個操作就沒有順序的保障,JVM可以對這兩個操作進行重排序。如果操作A happens-before操作B,那麼操作A在記憶體上所做的操作對操作B都是可見的。

下麵就用一個簡單的例子來描述下happens-before原則:

private int i = 0;public void write(int j ){
    i = j;
}
public int read(){    
   return i; }

我們約定執行緒A執行write(),執行緒B執行read(),且執行緒A優先於執行緒B執行,那麼執行緒B獲得結果是什麼?;我們就這段簡單的程式碼一次分析happens-before的規則(規則5、6、7、8 + 推導的6條可以忽略,因為他們和這段程式碼毫無關係):

  1. 由於兩個方法是由不同的執行緒呼叫,所以肯定不滿足程式次序規則;

  2. 兩個方法都沒有使用鎖,所以不滿足鎖定規則;

  3. 變數i不是用volatile修飾的,所以volatile變數規則不滿足;

  4. 傳遞規則肯定不滿足;

所以我們無法透過happens-before原則推匯出執行緒A happens-before執行緒B,雖然可以確認在時間上執行緒A優先於執行緒B指定,但是就是無法確認執行緒B獲得的結果是什麼,所以這段程式碼不是執行緒安全的。那麼怎麼修複這段程式碼呢?滿足規則2、3任一即可。

happen-before原則是JMM中非常重要的原則,它是判斷資料是否存在競爭、執行緒是否安全的主要依據,保證了多執行緒環境下的可見性。

下圖是happens-before與JMM的關係圖(摘自《Java併發程式設計的藝術》) 

參考資料

  1. 周志明:《深入理解Java虛擬機器》

  2. 方騰飛:《Java併發程式設計的藝術》

END

贊(0)

分享創造快樂