文章目錄

• 一、指令重排序規范
• 二、happens-before 先行發生原則

一、指令重排序規范

---

指令重排指的是 , 線程中如果兩行代碼 沒有邏輯上的上下關系 , 可以對代碼進行 重新排序 ;

JVM 指令重排遵循規范 :

① as-if-serial 規范 : 單個線程中, 指令的重排 , 不能影響程序的執行結果 ;

• 可以重排的情況 : 對于下面代碼 , 兩條指令順序顛倒 , 執行結果相同 , 可以進行指令重排 ;

x = 0; y = 1;

• 不可以進行重排的情況 : 對于下面的代碼 , 兩條指令如果上下顛倒 , 結果不同 , 不可以進行指令重排 ;

x = 0; y = x;

② happens-before 規范 : 先行發生原則 ;

二、happens-before 先行發生原則

---

happens-before 先行發生原則 : A happens-before B , A 先于 B 發生 , 先 A 后 B ;

Java 虛擬機在編譯時和運行時 , 會對 JVM 指令進行重排優化 , 很明顯 , 指令重排會對線程并發產生影響 ;

為了保證并發編程的安全性 , 這里 規定了一些場景下 , 禁止在這些場景中 使用 指令重排 ;

happens-before 先行發生原則 適用場景 : 在以下場景中 , 不進行指令重排 , 這些先后順序 , 絕對不能被打亂 , 否則會出現嚴重線程安全問題 ;

• 程序次序原則 : 在程序內 , 按照代碼書寫的執行順序 , 前面的代碼先執行 , 后面的代碼后執行 ; 時間上 靠前 的操作 先于 時間上靠后 的操作 執行 ;
• 管程鎖規則 : 不論是單線程還是多線程 , 線程 A 解鎖后 , 線程 B 獲取該鎖 , 可以看到線程 A 的操作結果 ; 解鎖的操作 先于 加鎖的操作 ; 線程 B 要加鎖 , 必須等待線程 A 解鎖完畢才可以 ;
• volatile 規則 : volatile 關鍵字修飾的變量 , 線程 A 對該變量的寫操作 先于 線程 B 讀取該變量的操作 , 線程 A 對該變量的寫操作的結果對于線程 B 一定可見 ;
• 線程啟動規則 : 線程 start() 方法 先于 線程的具體執行的操作 ; 線程必須先啟動 , 然后才能執行線程內的代碼邏輯 ;
• 線程終止規則 : 線程的具體操作 先于 線程的終止檢測 ; 線程的代碼邏輯執行完成 , 然后進行線程的終止檢測 ;
• 傳遞性 : happens-before 規則具有傳遞性 ; 如果 A happens-before B 和 B happens-before C , 則 A happens-before C ;
• 線程中斷 : 調用線程 interrupt() 方法 , 先于 被中斷線程的代碼 檢測到 中斷時 事件的發生 ; 必須先發生中斷 , 然后才能被檢測到 ; 不能還沒發生中斷 , 就可以檢測到中斷發生 ;
• 對象終結 : 對象的創建 先于 對象的終結 , 創建就是調用構造函數 , 終結就是調用 finalize 方法 ;

只要符合上述規則 , 不需要進行同步 , 就可以成立 ;

通過 " happens-before 先行發生原則 " 可以判定兩個線程的操作 , 是否有發生沖突的可能 ;

總結

以上是生活随笔為你收集整理的【Java 并发编程】指令重排序规范 ( happens-before 先行发生原则 )的全部內容，希望文章能夠幫你解決所遇到的問題。

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