從JDK5開始，Java使用新的JSR-133內存模型； JSR-133使用happens-before的概念來闡述操作之間的內存可見性。在JMM中，如果一個操作執行的結果需要對另一個操作可見，那么這兩個操作之間必須要存在happens-before關系。這里提到的兩個操作既可以是在一個線程之內，也可以是在不同線程之間 ### Happen-Before規則\(先行發生原則\) * **程序次序規則\(Program Order Rule\)** 在一個線程內，按照代碼順序，書寫在前面的操作先行發生于書寫在后面的操作。準確地說應該是控制流順序而不是代碼順序，因為要考慮分支、循環等結構。 * **監視器鎖定規則\(Monitor Lock Rule\)** 一個unlock操作先行發生于后面對同一個對象鎖的lock操作。這里強調的是同一個鎖，而“后面”指的是時間上的先后順序，如發生在其他線程中的lock操作。 * **volatile變量規則\(Volatile Variable Rule\)** volatile變量的寫先發生于讀，這保證了volatile變量的可見性 * **線程啟動規則\(Thread Start Rule\)** Thread獨享的start\(\)方法先行于此線程的每一個動作。 * **線程終止規則\(Thread Termination Rule\)** 線程中的每個操作都先行發生于對此線程的終止檢測，我們可以通過Thread.join\(\)方法結束、Thread.isAlive\(\)的返回值檢測到線程已經終止執行。 * **線程中斷規則\(Thread Interruption Rule\)** 對線程interrupte\(\)方法的調用優先于被中斷線程的代碼檢測到中斷事件的發生，可以通過Thread.interrupted\(\)方法檢測線程是否已中斷。 * **對象終結原則\(Finalizer Rule\)** 一個對象的初始化完成\(構造函數執行結束\)先行發生于它的finalize\(\)方法的開始。 * **傳遞性\(Transitivity\)** 如果操作A先行發生于操作B，操作B先行發生于操作C，那就可以得出操作A先行發生于操作C的結論。 說明：正是以上這些規則保障了happen-before的順序，如果不符合以上規則，那么在多線程環境下就不能保證執行順序等同于代碼順序，也就是“如果在本線程中觀察，所有的操作都是有序的；如果在一個線程中觀察另外一個線程，則不符合以上規則的都是無序的”，因此，如果我們的多線程程序依賴于代碼書寫順序，那么就要考慮是否符合以上規則，如果不符合就要通過一些機制使其符合，最常用的就是synchronized、Lock以及volatile修飾符。 _**參考資料**_ 【happens-before俗解】[http://ifeve.com/easy-happens-before/](http://ifeve.com/easy-happens-before/) 【死磕Java并發--Java內存模型之happens-before】 [http://cmsblogs.com/?p=2102](http://cmsblogs.com/?p=2102)