Java併發編程的藝術學習筆記（三） Java內存模型（五）

3.5 鎖的內存語義 3.5.1 鎖的釋放——獲取建立的happens-before關係 每一個箭頭鏈接的兩個節點，代表了一個happens-before關係。黑色箭頭表示 程序順序規則；橙色箭頭表示監視器鎖規則；藍色箭頭表示組合這些規則後提供的happensbefore保證。 3.5.2 鎖的釋放和獲取的內存語義 對比鎖釋放-獲取的內存語義與volatile寫-讀的內存語義可以看出：鎖釋放與vo

>>阅读原文<<