(1) What does it really mean by saying “ordered before”? Because even if action_a happens-before action_b,action_a can be executed after action_b in some implementation,right?

發生之前是因果關系,而不是時間關系. action_a在action_b之前進行因果排序,無論它是否在它之前實際執行.然而,在實踐中,運行時很難在沒有時間順序的情況下保持因果關系.查看my earlier question,其中詳細介紹了因果關系的主題.

(2) If action_a happens-before action_b,does it mean action_a MUST NOT see action_b? Or action_a may see or may not see action_b?

行動對另一方的可見性有一個明確的整體順序.這由指定格式良好的執行的部分處理.因此,對于任何兩個動作a和b,a對b可見,或b對a可見,或者上述都不可見.理解精心構造的執行概念的良好讀物是Java Memory Model Examples: Good,Bad,and Ugly.

(3) If action_a does NOT happen-before action_b,and action_b does NOT happen-before action_a,does it mean action_a may see or may not see action_b?

是的,兩者都有可能.無論如何都無法保證.

(4) There could not be any cyclic happens-before,right?

Happens-before必須強加部分排序,而排序的關鍵屬性是無循環.

總結

以上是生活随笔為你收集整理的Java 内存 关系_发生在Java内存模型中的关系之前的全部內容，希望文章能夠幫你解決所遇到的問題。

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