1 Java記憶體模型(JMM)的意義

記憶體模型描述程式的可能行為。

Java虛拟機規範中試圖定義一種Java記憶體模型

來屏蔽掉各種硬體和作業系統的記憶體通路差異

，規定

以實作讓Java程式在各種平台下都能達到一緻性的記憶體通路效果。

Java程式設計語言記憶體模型通過檢查執行跟蹤中的每個讀操作，并根據某些規則檢查該讀操作觀察到的寫操作是否有效來工作。

隻要程式的所有執行産生的結果都可以由記憶體模型預測。具體的實作者任意實作，包括操作的重新排序和删除不必要的同步。

記憶體模型決定了在程式的每個點上可以讀取什麼值

1.1 Shared Variables 共享變量的描述

可以線上程之間共享的記憶體稱為

共享記憶體或堆記憶體

所有執行個體字段、靜态字段和數組元素都存儲在堆記憶體中

如果至少有一個通路是寫的，那麼對同一個變量的兩次通路(讀或寫)是沖突的。

為了獲得比較好的執行效率，JMM并沒有限制執行引擎使用處理器的特定寄存器或緩存來和主記憶體進行互動，也沒有限制即時編譯器調整代碼執行順序這類權限。

JMM規定

所有的變量都存儲在主記憶體(Main Memory)

每條線程有自己的工作記憶體(Working Memory)

儲存了該線程使用到的變量的主記憶體副本拷貝(線程所通路對象的引用或者對象中某個線上程通路到的字段,不會是整個對象的拷貝!)

線程對變量的所有操作(讀，指派等)都必須在工作記憶體中進行，不能直接讀寫主記憶體中的變量

volatile變量依然有工作記憶體的拷貝,隻是他特殊的操作順序性規定,看起來如同直接在主記憶體讀寫

不同線程之間無法直接通路對方工作記憶體中的變量，線程間變量值的傳遞均要通過主記憶體

JVM模型與JMM不是同一層次的記憶體劃分，基本是沒有關系的，硬要對應起來，從變量，記憶體，工作記憶體的定義來看