多線程編程中的三個核心概念

原子性

這一點，跟數據庫事務的原子性概念差不多，即一個操作（有可能包含有多個子操作）要么全部執行（生效），要么全部都不執行（都不生效）。

關于原子性，一個非常經典的例子就是銀行轉賬問題：比如A和B同時向C轉賬10萬元。如果轉賬操作不具有原子性，A在向C轉賬時，讀取了C的余額為20萬，然后加上轉賬的10萬，計算出此時應該有30萬，但還未來及將30萬寫回C的賬戶，此時B的轉賬請求過來了，B發現C的余額為20萬，然后將其加10萬并寫回。然后A的轉賬操作繼續——將30萬寫回C的余額。這種情況下C的最終余額為30萬，而非預期的40萬。

可見性

可見性是指，當多個線程并發訪問共享變量時，一個線程對共享變量的修改，其它線程能夠立即看到。可見性問題是好多人忽略或者理解錯誤的一點。

CPU從主內存中讀數據的效率相對來說不高，現在主流的計算機中，都有幾級緩存。每個線程讀取共享變量時，都會將該變量加載進其對應CPU的高速緩存里，修改該變量后，CPU會立即更新該緩存，但并不一定會立即將其寫回主內存（實際上寫回主內存的時間不可預期）。此時其它線程（尤其是不在同一個CPU上執行的線程）訪問該變量時，從主內存中讀到的就是舊的數據，而非第一個線程更新后的數據。

這一點是操作系統或者說是硬件層面的機制，所以很多應用開發人員經常會忽略。

順序性

順序性指的是，程序執行的順序按照代碼的先后順序執行。

Java如何保證原子性

鎖和同步

常用的保證Java操作原子性的工具是鎖和同步方法（或者同步代碼塊）。使用鎖，可以保證同一時間只有一個線程能拿到鎖，也就保證了同一時間只有一個線程能執行申請鎖和釋放鎖之間的代碼。

public void testLock () {lock.lock();try{int j = i;i = j + 1;} finally {lock.unlock();} } 復制代碼

與鎖類似的是同步方法或者同步代碼塊。使用非靜態同步方法時，鎖住的是當前實例；使用靜態同步方法時，鎖住的是該類的Class對象；使用靜態代碼塊時，鎖住的是synchronized關鍵字后面括號內的對象。下面是同步代碼塊示例

public void testLock () {synchronized (anyObject){int j = i;i = j + 1;} } 復制代碼

無論使用鎖還是synchronized，本質都是一樣，通過鎖來實現資源的排它性，從而實際目標代碼段同一時間只會被一個線程執行，進而保證了目標代碼段的原子性。這是一種以犧牲性能為代價的方法。

Java如何保證可見性

Java提供了volatile關鍵字來保證可見性。當使用volatile修飾某個變量時，它會保證對該變量的修改會立即被更新到內存中，并且將其它緩存中對該變量的緩存設置成無效，因此其它線程需要讀取該值時必須從主內存中讀取，從而得到最新的值。

Java如何保證順序性

上文講過編譯器和處理器對指令進行重新排序時，會保證重新排序后的執行結果和代碼順序執行的結果一致，所以重新排序過程并不會影響單線程程序的執行，卻可能影響多線程程序并發執行的正確性。

Java中可通過volatile在一定程序上保證順序性，另外還可以通過synchronized和鎖來保證順序性。

synchronized和鎖保證順序性的原理和保證原子性一樣，都是通過保證同一時間只會有一個線程執行目標代碼段來實現的。

除了從應用層面保證目標代碼段執行的順序性外，JVM還通過被稱為happens-before原則隱式地保證順序性。兩個操作的執行順序只要可以通過happens-before推導出來，則JVM會保證其順序性，反之JVM對其順序性不作任何保證，可對其進行任意必要的重新排序以獲取高效率。

happens-before原則（先行發生原則）

• 傳遞規則：如果操作1在操作2前面，而操作2在操作3前面，則操作1肯定會在操作3前發生。該規則說明了happens-before原則具有傳遞性
• 鎖定規則：一個unlock操作肯定會在后面對同一個鎖的lock操作前發生。這個很好理解，鎖只有被釋放了才會被再次獲取
• volatile變量規則：對一個被volatile修飾的寫操作先發生于后面對該變量的讀操作
• 程序次序規則：一個線程內，按照代碼順序執行
• 線程啟動規則：Thread對象的start()方法先發生于此線程的其它動作
• 線程終結原則：線程的終止檢測后發生于線程中其它的所有操作
• 線程中斷規則： 對線程interrupt()方法的調用先發生于對該中斷異常的獲取
• 對象終結規則：一個對象構造先于它的finalize發生

volatile適用場景

volatile適用于不需要保證原子性，但卻需要保證可見性的場景。適合用于單線程寫，多線程讀數據的場合。另一種典型的使用場景是用它修飾用于停止線程的狀態標記。如下所示

boolean isRunning = false; public void start () {new Thread( () -> {while(isRunning) {someOperation();}}).start(); } public void stop () {isRunning = false; } 復制代碼

在這種實現方式下，即使其它線程通過調用stop()方法將isRunning設置為false，循環也不一定會立即結束。可以通過volatile關鍵字，保證while循環及時得到isRunning最新的狀態從而及時停止循環，結束線程。

synchronized和volatile比較

關鍵字volatile是線程同步的輕量級實現，所以volatile性能肯定比synchronized要好，并且volatile只能修飾變量，而synchronized可以修飾方法，以及代碼塊。

多線程訪問volatile不會發生堵塞，而synchronized可能會出現堵塞。

volatile保證數據的可見性，但不能保證原子性；而synchronized可以保證原子性，也可以間接保證可見性，因為它會將私有內存和公共內存中的數據做了同步。

關鍵字volatile解決的是變量在多個線程之間的可見性；而synchronized關鍵字解決的是多個線程之間訪問資源的同步性。

synchronized關鍵字是防止多個線程同時執行一段代碼，那么就會很影響程序執行效率，而volatile關鍵字在某些情況下性能要優于synchronized，但是要注意volatile關鍵字是無法替代synchronized關鍵字的，因為volatile關鍵字無法保證操作的原子性。

通常來說，使用volatile必須具備以下2個條件：

1）對變量的寫操作不依賴于當前值。

2）該變量沒有包含在具有其他變量的不變式中。

轉載于:https://juejin.im/post/5cc30b106fb9a032012434c9

總結

以上是生活随笔為你收集整理的如何解决多线程并发问题的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。