Java並發編程實戰 第16章 Java記憶體模型

標籤：檢查   rup   並發編程   java記憶體模型   對象   int   編程   並發   for   

什麼是記憶體模型

• JMM（Java記憶體模型）規定了JVM必須遵循一組最小保證，這組保證規定了對變數的寫入操作在何時將對其他線程可見。
• JMM為程式中所有的操作定義了一個偏序關係，稱為Happens-Before。兩個操作缺乏Happens-Before關係，則Jvm會對它們進行任意的重排序。
  Happends-Before的規則包括：

  1. 程式順序規則。若程式中操作A在操作B之前，則線程中操作A在操作B之前執行。

  2. 監視器鎖規則。在同一監視器鎖上的解鎖操作必須在加鎖操作之前執行。，

  3. volatile變數規則。對volatile變數的寫操作必須在讀操作之前執行。

  4. 線程啟動規則。Thread.start必須線上程中執行的操作之前被調用。

  5. 線程關閉規則。線程中的任何操作必須在其他線程檢測到該線程結束之前執行，或者從Thread.join中返回，或調用Threas.isAlive返回false。

  6. 中斷規則。當一個線程在另一個線程上調用interrupt時，必須在被中斷線程檢測到interrupt調用之前執行。

  7. 終結器規則。對象的建構函式必須在啟動該對象的終結器之前執行完成。

  8. 傳遞性。如果操作A在操作B之前執行，操作B在操作C之前執行，則操作A必須在操作C之前執行。

  雙重檢查加鎖

1. /**
2.  * 雙重檢查加鎖, 不安全,
3.  * 線程可能看到無效的值, 可加上volatile修飾
4.  */
5. public class DoubleCheckedLocking {
6.     private static Object resource;
7.  
8.     public static Object getInstance(){
9.         if (resource == null){
10.             synchronized (DoubleCheckedLocking.class){
11.                 if (resource == null){
12.                     resource = new Object();
13.                 }
14.             }
15.         }
16.         return resource;
17.     }
18. }

如果不使用volatile，可能看到對象的錯誤或者無效狀態。

因為接下來要看《Java並發編程的藝術》，裡面有大量的章節講述記憶體模型的只是，而這本書的這一章節比較晦澀，所以就不細看了。

Java並發編程實戰 第16章 Java記憶體模型