Java 內存模型
由于 ConcurrentHashMap 是建立在 Java 內存模型基礎上的，為了更好的理解 ConcurrentHashMap，讓我們首先來了解一下 Java 的內存模型。
Java 語言的內存模型由一些規則組成，這些規則確定線程對內存的訪問如何排序以及何時可以確保它們對線程是可見的。下面我們將分別介紹 Java 內存模型的重排序，內存可見性和 happens-before 關系。
重排序
內存模型描述了程序的可能行為。具體的編譯器實現可以產生任意它喜歡的代碼 -- 只要所有執行這些代碼產生的結果，能夠和內存模型預測的結果保持一致。這為編譯器實現者提供了很大的自由，包括操作的重排序。
編譯器生成指令的次序，可以不同于源代碼所暗示的“顯然”版本。重排序后的指令，對于優化執行以及成熟的全局寄存器分配算法的使用，都是大有脾益的，它使得程序在計算性能上有了很大的提升。
重排序類型包括：
- 編譯器生成指令的次序，可以不同于源代碼所暗示的“顯然”版本。
- 處理器可以亂序或者并行的執行指令。
- 緩存會改變寫入提交到主內存的變量的次序。
內存可見性
由于現代可共享內存的多處理器架構可能導致一個線程無法馬上（甚至永遠）看到另一個線程操作產生的結果。所以 Java 內存模型規定了 JVM 的一種最小保證：什么時候寫入一個變量對其他線程可見。
在現代可共享內存的多處理器體系結構中每個處理器都有自己的緩存，并周期性的與主內存協調一致。假設線程 A 寫入一個變量值 V，隨后另一個線程 B 讀取變量 V 的值，在下列情況下，線程 B 讀取的值可能不是線程 A 寫入的最新值：
- 執行線程 A 的處理器把變量 V 緩存到寄存器中。
- 執行線程 A 的處理器把變量 V 緩存到自己的緩存中，但還沒有同步刷新到主內存中去。
- 執行線程 B 的處理器的緩存中有變量 V 的舊值。
Happens-before 關系
happens-before 關系保證：如果線程 A 與線程 B 滿足 happens-before 關系，則線程 A 執行動作的結果對于線程 B 是可見的。如果兩個操作未按 happens-before 排序，JVM 將可以對他們任意重排序。
下面介紹幾個與理解 ConcurrentHashMap 有關的 happens-before 關系法則：
- 程序次序法則：如果在程序中，所有動作 A 出現在動作 B 之前，則線程中的每動作 A 都 happens-before 于該線程中的每一個動作 B。
- 監視器鎖法則：對一個監視器的解鎖 happens-before 于每個后續對同一監視器的加鎖。
- Volatile 變量法則：對 Volatile 域的寫入操作 happens-before 于每個后續對同一 Volatile 的讀操作。
- 傳遞性：如果 A happens-before 于 B，且 B happens-before C，則 A happens-before C。