Java記憶體模型（Java Memory Model）本身是一個抽象概念，並不真實存在，它描述的是一種規範，Java記憶體模型的主要目標是通過這組規範去定義程式中各個變數的訪問規則，即在虛擬機器中將變數儲存到記憶體和從記憶體中取出變數這樣底層細節。此處的變數與Java程式設計時所說的變數不一樣，指包括了例項欄位、靜態欄位和構成陣列物件的元素（例項欄位，靜態欄位和構成陣列物件的元素主要儲存於方法區，而方法區是執行緒共享的資料區域，所以才能被save和load），但是不包括區域性變數與方法引數，後者是執行緒私有的，不會被共享。（區域性變數和方法引數主要儲存於虛擬機器棧，而虛擬機器棧是執行緒私有的

主記憶體和工作記憶體

       Java記憶體模型中規定了所有的變數都儲存在主記憶體中，每條執行緒還有自己的工作記憶體，執行緒的工作記憶體中儲存了該執行緒使用到的變數到主記憶體副本拷貝，執行緒對變數的所有操作（讀取、賦值）都必須在工作記憶體中進行，而不能直接讀寫主記憶體中的變數。不同執行緒之間無法直接訪問對方工作記憶體中的變數，執行緒間變數值的傳遞均需要在主記憶體來完成，執行緒、主記憶體和工作記憶體的互動關係如下圖所示

 這裡的主記憶體，工作記憶體與Java記憶體區域的堆，棧，方法區等並不是同個層次上的劃分，前面就已說過記憶體模型只是一種概念，如果非要將兩者聯絡起來，那麼主記憶體主要對應於Java堆中的物件例項資料部分（堆執行緒共享

記憶體間互動操作

關於主記憶體與工作記憶體之間的具體互動協議，即一個變數如何從主記憶體拷貝到工作記憶體、如何從工作記憶體同步到主記憶體之間的實現細節，Java記憶體模型定義了以下八種操作來完成，虛擬機器實現時必須保證下面提及的每一種操作都是原子的，不可再分：

• lock（鎖定）：作用於主記憶體的變數，把一個變數標識為一條執行緒獨佔狀態。
• unlock（解鎖）：作用於主記憶體變數，把一個處於鎖定狀態的變數釋放出來，釋放後的變數才可以被其他執行緒鎖定。
• read（讀取）：作用於主記憶體變數，把一個變數值從主記憶體傳輸到執行緒的工作記憶體中，以便隨後的load動作使用
• load（載入）：作用於工作記憶體的變數，它把read操作從主記憶體中得到的變數值放入工作記憶體的變數副本中。
• use（使用）：作用於工作記憶體的變數，把工作記憶體中的一個變數值傳遞給執行引擎，每當虛擬機器遇到一個需要使用變數的值的位元組碼指令時將會執行這個操作。
• assign（賦值）：作用於工作記憶體的變數，它把一個從執行引擎接收到的值賦值給工作記憶體的變數，每當虛擬機器遇到一個給變數賦值的位元組碼指令時執行這個操作。
• store（儲存）：作用於工作記憶體的變數，把工作記憶體中的一個變數的值傳送到主記憶體中，以便隨後的write的操作。
• write（寫入）：作用於主記憶體的變數，它把store操作從工作記憶體中一個變數的值傳送到主記憶體的變數中。

如果要把一個變數從主記憶體中複製到工作記憶體，就需要按順尋地執行read和load操作，如果把變數從工作記憶體中同步回主記憶體中，就要按順序地執行store和write操作。Java記憶體模型只要求上述操作必須按順序執行，而沒有保證必須是連續執行。也就是read和load之間，store和write之間是可以插入其他指令的。

除此之外，Java記憶體模型還規定在執行上述8種操作時必須滿足如下規則：

• 不允許read和load、store和write操作之一單獨出現
• 不允許一個執行緒丟棄它的最近assign的操作，即變數在工作記憶體中改變了之後必須同步到主記憶體中。
• 不允許一個執行緒無原因地（沒有發生過任何assign操作）把資料從工作記憶體同步回主記憶體中。
• 一個新的變數只能在主記憶體中誕生，不允許在工作記憶體中直接使用一個未被初始化（load或assign）的變數。即就是對一個變數實施use和store操作之前，必須先執行過了assign和load操作。
• 一個變數在同一時刻只允許一條執行緒對其進行lock操作，lock和unlock必須成對出現
• 如果對一個變數執行lock操作，將會清空工作記憶體中此變數的值，在執行引擎使用這個變數前需要重新執行load或assign操作初始化變數的值
• 如果一個變數事先沒有被lock操作鎖定，則不允許對它執行unlock操作；也不允許去unlock一個被其他執行緒鎖定的變數。
• 對一個變數執行unlock操作之前，必須先把此變數同步到主記憶體中（執行store和write操作）。

這8種記憶體訪問操作以及上述規則限定，再加上對volatile的一些特殊規定，就可以完全確定Java程式中哪些記憶體訪問操作在併發下是安全的

雖然如此，但由於定義繁瑣，實踐起來很麻煩。所以用這種定義的一個等效判斷原則————先行發生原則，來確定一個訪問在併發環境下是否安全。