程序順序規則

1. 一個線程中的每個操作，happens-before于該線程中的任意后續操作;?可以簡單認為是as-if-serial。?單個線程中的代碼順序不管怎么變，對于結果來說是不變的順序規則表示1?happenns-before 2; 3 happens-before 4

2. volatile變量規則，對于volatile修飾的變量的寫的操作，一定happen-before后續對于volatile變量的讀操作；?根據volatile規則，2?happens before 3

3. 傳遞性規則，如果1 happens-before 2; 3happens-before 4;?那么傳遞性規則表示:?1 happens-before 4;?

4. start規則，如果線程A執行操作ThreadB.start(),那么線程A的ThreadB.start()操作happens-before線程B中的任意操作

5. join規則，如果線程A執行操作ThreadB.join()并成功返回，那么線程B中的任意操作happens-before于線程A從ThreadB.join()操作成功返回。

6. 監視器鎖的規則，對一個鎖的解鎖，happens-before于隨后對這個鎖的加鎖

假設?x?的初始值是?10，線程?A?執行完代碼塊后?x?的值會變成?12（執行完自動釋放鎖），線程?B?進入代碼塊時，能夠看到線程?A?對?x?的寫操作，也就是線程?B?能夠看到?x==12。

?

總結

以上是生活随笔為你收集整理的JMM中有哪些方法建立happen-before规则的全部內容，希望文章能夠幫你解決所遇到的問題。

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