簡介 

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

規則

  1、程式順序規則：在一個單獨的執行緒中，按照程式程式碼的執行流順序，（時間上）先執行的操作happen—before（時間上）後執行的操作。

    2、管理鎖定規則：一個unlock操作happen—before後面（時間上的先後順序，下同）對同一個鎖的lock操作。

    3、volatile變數規則：對一個volatile變數的寫操作happen—before後面對該變數的讀操作。

    4、執行緒啟動規則：Thread物件的start（）方法happen—before此執行緒的每一個動作。

    5、執行緒終止規則：執行緒的所有操作都happen—before對此執行緒的終止檢測，可以通過Thread.join（）方法結束、Thread.isAlive（）的返回值等手段檢測到執行緒已經終止執行。

    6、執行緒中斷規則：對執行緒interrupt（）方法的呼叫happen—before發生於被中斷執行緒的程式碼檢測到中斷時事件的發生。

    7、物件終結規則：一個物件的初始化完成（建構函式執行結束）happen—before它的finalize（）方法的開始。

    8、傳遞性：如果操作A happen—before操作B，操作B happen—before操作C，那麼可以得出A happen—before操作C。

需要注意的是：

兩個操作之間具有happens-before關係，並不意味著前一個操作必須要在後一個操作之前執行！happens-before僅僅要求前一個操作（執行的結果）對後一個操作可見，且前一個操作按順序排在第二個操作之前。

happens-before的定義

happens-before的概念最初由Leslie Lamport在其一篇影響深遠的論文（《Time，Clocks and the Ordering of Events in a Distributed System》）中提出。Leslie Lamport使用happens-before來定義分散式系統中事件之間的偏序關係（partial ordering）。Leslie Lamport在這篇論文中給出了一個分散式演算法，該演算法可以將該偏序關係擴充套件為某種全序關係。

JSR-133使用happens-before的概念來指定兩個操作之間的執行順序。由於這兩個操作可以在一個執行緒之內，也可以是在不同執行緒之間。因此，JMM可以通過happens-before關係向程式設計師提供跨執行緒的記憶體可見性保證（如果A執行緒的寫操作a與B執行緒的讀操作b之間存在happens-before關係，儘管a操作和b操作在不同的執行緒中執行，但JMM向程式設計師保證a操作將對b操作可見）。

《JSR-133:Java Memory Model and Thread Specification》對happens-before關係的定義如下。

1）如果一個操作happens-before另一個操作，那麼第一個操作的執行結果將對第二個操作可見，而且第一個操作的執行順序排在第二個操作之前。

2）兩個操作之間存在happens-before關係，並不意味著Java平臺的具體實現必須要按照happens-before關係指定的順序來執行。如果重排序之後的執行結果，與按happens-before關係來執行的結果一致，那麼這種重排序並不非法（也就是說，JMM允許這種重排序）。

上面的1）是JMM對程式設計師的承諾。從程式設計師的角度來說，可以這樣理解happens-before關係：如果A happens-before B，那麼Java記憶體模型將向程式設計師保證——A操作的結果將對B可見，且A的執行順序排在B之前。注意，這只是Java記憶體模型向程式設計師做出的保證！

上面的2）是JMM對編譯器和處理器重排序的約束原則。正如前面所言，JMM其實是在遵循一個基本原則：只要不改變程式的執行結果（指的是單執行緒程式和正確同步的多執行緒程式），編譯器和處理器怎麼優化都行。JMM這麼做的原因是：程式設計師對於這兩個操作是否真的被重排序並不關心，程式設計師關心的是程式執行時的語義不能被改變（即執行結果不能被改變）。因此，happens-before關係本質上和as-if-serial語義是一回事。