JMM中的happens-before概念

設計的初衷

• 程序員寫代碼時，是要求內存模型易于理解和易于編程，并且我們也希望程序能按照我們編寫的代碼一樣，能按規則編寫順序執行。（強內存模型，即強規則的內存模型）
• 對于編譯器和處理器的實現來說，它們希望約束盡量少一些，所以編譯器和處理器會對指令進行重排，讓他們盡己所能的優化來提供性能。（弱內存模型）

程序員希望JMM提供給我們一個強內存模型，而底層的編譯器和處理器需要一個弱內存模型來提高自己的性能。

所以JMM向我們程序員提供了足夠強的內存可見性保證，只要不改變程序的執行結果，編譯器和處理器想怎么優化就怎么優化，所以JMM在一些地方對編譯器和處理器進行了約束，以確保可見性。

happens-before

在JMM中，如果一個操作執行的結果需要對另一個操作可見，那么這兩個操作之間必須存在happens-before關系。

happens-before使用的地方

happens-before的出現地方：

• 程序次序規則：一個線程內，按照代碼順序，書寫在前面的操作先行發生于書寫在后面的操作；
• 鎖定規則：一個unLock操作先行發生于后面對同一個鎖額lock操作；
• volatile變量規則：對一個變量的寫操作先行發生于后面對這個變量的讀操作；
• 傳遞規則：如果操作A先行發生于操作B，而操作B又先行發生于操作C，則可以得出操作A先行發生于操作C；
• 線程啟動規則：Thread對象的start()方法先行發生于此線程的每個一個動作；
• 線程中斷規則：對線程interrupt()方法的調用先行發生于被中斷線程的代碼檢測到中斷事件的發生；
• 線程終結規則：線程中所有的操作都先行發生于線程的終止檢測，我們可以通過Thread.join()方法結束、Thread.isAlive()的返回值手段檢測到線程已經終止執行；
• 對象終結規則：一個對象的初始化完成先行發生于他的finalize()方法的開始；

總結

以上是生活随笔為你收集整理的JMM中的happens-before的全部內容，希望文章能夠幫你解決所遇到的問題。

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