Java保證執行緒安全的方式有哪些?

語言: CN / TW / HK

​ 一位工作5年的小夥伴面試時被問到這樣一道題,說Java保證執行緒安全的方式有哪些?

今天,我給大家分享一下我的理解。

1、執行緒不安全的原因

回答這個問題之前,得先了解導致物件執行緒不安全的原因,主要有三個:

  1. 原子性:一個或者多個操作在CPU執行過程中被中斷。
  2. 可見性:一個執行緒物件共享變數的修改,導致另一個執行緒不能立即看到。
  3. 有序性:程式執行的順序沒有按照程式碼的先後順序執行。

原子性和可見性比較容易理解,重點分析一下有序性。為什麼程式執行的順序會和程式碼的編寫順序不一致呢?這就得理解Java平臺的兩種編譯器,靜態編譯器javac和動態編譯器jit(just in time)。

靜態編譯器是將.java檔案編譯成.class檔案,JVM載入後就可以執行了。

而動態編譯器是要將.class檔案編譯成機器碼,再由JVM執行。有時候,動態編譯器為了程式的整體效能會對指令進行重排序,但是,這又會導致原始碼中指定的記憶體訪問順序和實際的執行順序不一致,就會出現執行緒不安全的問題。

​2、如何保證執行緒安全

那麼,針對以上三種情況,如何保證物件的執行緒安全呢?

第1個,針對原子性。

(1)JDK提供了非常多的Atomic類,比如AtomicInteger、AtomicLong、AtomicBoolean等等。這些類都是通過CAS來保證原子性。

(2)另外,Java還提供了各種鎖機制,來保證鎖內的程式碼塊在同一時刻只能被一個執行緒執行。比如用synchronized加鎖。這樣,就可以保證一個執行緒對資源進行讀、寫操作時,其他執行緒不可以對這個資源進行操作,從而保證了執行緒安全。

第2個,針對可見性。

同樣可以使用synchronized關鍵字加鎖來解決。與此同時,Java提供了volatile關鍵字。它要優於synchronized的效能,同樣也可以保證修改後對其他執行緒可見。volatile一般用於對變數的寫操作,不依賴於當前值的場景中,比如狀態標記量等等。

第3個,針對有序性。

也可以使用synchronized關鍵字定義同步程式碼塊,或者同步方法來保證有序性。另外也可以通過Lock介面來保證有序性。

以上就是對Java保證執行緒安全的思路。當然,保證物件執行緒安全的方式還有很多,比如還可以使用ThreadLocal實現多個執行緒之間的資料隔離,使用final關鍵字等等,我這裡就不一一列舉了。最後,我留一個思考題,單用volatile關鍵字,能保證執行緒安全嗎?