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

分享一道阿裡Java併發面試題 (詳細分析篇)

我個人一直認為:網路、併發相關的知識,相對其他一些程式設計知識點更難一些,主要是不好除錯並且涉及內容太多 !

所以今天就取一篇併發相關的內容分享下,我相信大家認真看完會有收穫的。

大家可以先看看這個問題,看看這個是否有問題呢? 那裡有問題呢?

如果你在這個問題上面停留超過5s的話,那麼表示你對這塊某些知識還有點模糊,需要再鞏固下,下麵我們一起來分析下!

1. 結論

多執行緒併發的同時進行set、get操作,A執行緒呼叫set方法,B執行緒並不一定能對這個改變可見!!!

2. 分析

這個類非常簡單,裡面有一個屬性,有2個方法:get、set方法,一個用來設定屬性值,一個用來獲取屬性值,在設定屬性方法上面加了synchronized。

隱式資訊:多執行緒併發的同時進行set、get操作,A執行緒呼叫set方法,B執行緒可以裡面感知到嗎???

說到這裡,問題就變成了synchronized在剛剛說的背景關係下麵能否保證可見性!!!

3. 關鍵詞synchronized的用法

  •  

    指定加鎖物件:對給定物件加鎖,進入同步程式碼前需要獲得給定物件的鎖。

     

  •  

    直接作用於實體方法:相當於對當前實體加鎖,進入同步程式碼前要獲得當前實體的鎖。

     

  •  

    直接作用於靜態方法:相當於對當前類加鎖,進入同步程式碼前要獲得當前類的鎖。

     

synchronized它的工作就是對需要同步的程式碼加鎖,使得每一次只有一個執行緒可以進入同步塊(其實是一種悲觀策略)從而保證執行緒之間得安全性。

從這裡我們可以知道,我們需要分析的屬於第二類情況,也就是說多個執行緒如果同時進行set方法的時候,由於存在鎖,所以會一個一個進行set操作,並且是執行緒安全的,但是get方法並沒有加鎖,表示假如A執行緒在進行set的同時B執行緒可以進行get操作。並且可以多個執行緒同時進行get操作,但是同一時間最多隻能有一個set操作。

4. Java 記憶體模型 happens-before原則

JSR-133 記憶體模型使用 happens-before 的概念來闡述操作之間的記憶體可見性。在 JMM 中,如果一個操作執行的結果需要對另一個操作可見,那麼這兩個操作之間必須要存在 happens-before 關係。這裡提到的兩個操作既可以是在一個執行緒之內,也可以是在不同執行緒之間。

與程式員密切相關的 happens-before 規則如下:

  • 程式順序規則:一個執行緒中的每個操作,happens-before 於該執行緒中的任意後續操作。
  • 監視器鎖規則:對一個監視器的解鎖,happens-before 於隨後對這個監視器的加鎖。
  • volatile 變數規則:對一個 volatile 域的寫,happens-before 於任意後續對這個 volatile 域的讀。
  • 傳遞性:如果 A happens-before B,且 B happens-before C,那麼 A happens-before C。

註意,兩個操作之間具有 happens-before 關係,並不意味著前一個操作必須要在後一個操作之前執行!happens-before 僅僅要求前一個操作(執行的結果)對後一個操作可見,且前一個操作按順序排在第二個操作之前(the first is visible to and ordered before the second)。

其中有監視器鎖規則:對一個監視器的解鎖,happens-before 於隨後對這個監視器的加鎖。這一條,僅僅只是針對synchronized的set方法,而對於get並沒有這方面的說明。

其實在這種背景關係下麵一個synchronized的set方法,一個普通的get方法,a執行緒呼叫set方法,b執行緒並不一定能對這個改變可見!

5. volatile

volatile可見性

前面happens-before原則就提到:volatile 變數規則:對一個 volatile 域的寫,happens-before 於任意後續對這個 volatile 域的讀。volatile從而保證了多執行緒下的可見性!!!

volatile 禁止記憶體重排序

下麵是 JMM 針對編譯器制定的 volatile 重排序規則表:

為了實現 volatile 的記憶體語意,編譯器在生成位元組碼時,會在指令序列中插入記憶體屏障來禁止特定型別的處理器重排序。

下麵是基於保守策略的 JMM 記憶體屏障插入策略:

  •  

    在每個 volatile 寫操作的前面插入一個 StoreStore 屏障。

     

  •  

    在每個 volatile 寫操作的後面插入一個 StoreLoad 屏障。

     

  •  

    在每個 volatile 讀操作的後面插入一個 LoadLoad 屏障。

     

  •  

    在每個 volatile 讀操作的後面插入一個 LoadStore 屏障。

     

下麵是保守策略下,volatile 寫操作 插入記憶體屏障後生成的指令序列示意圖:

下麵是在保守策略下,volatile 讀操作 插入記憶體屏障後生成的指令序列示意圖:

上述 volatile 寫操作和 volatile 讀操作的記憶體屏障插入策略非常保守。在實際執行時,只要不改變 volatile 寫-讀的記憶體語意,編譯器可以根據具體情況省略不必要的屏障。

雙重檢查鎖實現單例中就需要用到這個特性!!!

6. 模擬

透過上面的分析,其實這個題目涉及到的內容都提到了,並且進行瞭解答。

雖然你知道的原因,但是想模擬並不是一件容易的事情!,下麵我們來模擬看看效果:

  1. public class ThreadSafeCache {
  2.     int result;
  3.  
  4.     public int getResult() {
  5.         return result;
  6.     }
  7.  
  8.     public synchronized void setResult(int result) {
  9.         this.result = result;
  10.     }
  11.  
  12.     public static void main(String[] args) {
  13.         ThreadSafeCache threadSafeCache = new ThreadSafeCache();
  14.  
  15.         for (int i = 0; i 8; i++) {
  16.             new Thread(() -> {
  17.                 int x = 0;
  18.                 while (threadSafeCache.getResult() 100) {
  19.                     x++;
  20.                 }
  21.                 System.out.println(x);
  22.             }).start();
  23.         }
  24.  
  25.         try {
  26.             Thread.sleep(1000);
  27.         } catch (InterruptedException e) {
  28.             e.printStackTrace();
  29.         }
  30.  
  31.         threadSafeCache.setResult(200);
  32.     }
  33. }

效果:

程式會一直卡在這邊不動,表示set修改的200,get方法並不可見!!!

新增volatile 關鍵詞觀察效果

其實體子中synchronized關鍵字可以去掉,僅僅用volatile即可。

效果:

程式碼很快正常結束了!

結論: 執行緒併發的同時進行set、get操作,A執行緒呼叫set方法,B執行緒並不一定能對這個改變可見!!!,上面的程式碼中,如果對get方法也加synchronized也是可見的,還是happens-before的 監視器鎖規則:對一個監視器的解鎖,happens-before 於隨後對這個監視器的加鎖。 只是volatile比synchronized更輕量級,所以本例直接用volatile。但是對於符合非原子操作i++這裡還是不行的還是需要synchronized。

贊(0)

分享創造快樂