注：本文主要參考自《深入理解Java虛擬機器（第二版）》和《深入理解Java記憶體模型》

1、Java記憶體模型（JMM）

Java記憶體模型的主要目標：定義在虛擬機器中將變數儲存到記憶體和從記憶體中取出變數這樣的底層細節。

注意：上邊的變數指的是共享變數（例項欄位、靜態欄位、陣列物件元素），不包括執行緒私有變數（區域性變數、方法引數），因為私有變數不會存在競爭關係。

1.1、記憶體模型就是一張圖：

說明：

• 所有共享變數存於主記憶體
• 每一條執行緒都有自己的工作記憶體（就是上圖所說的本地記憶體）
• 工作記憶體中儲存了被該執行緒使用到的變數的主記憶體副本

注意：

• 執行緒對變數的操作都要在工作記憶體中進行，不能直接操作主記憶體
• 不同的執行緒之間無法直接訪問對方的工作記憶體中的變數
• 不同執行緒之間的變數的傳遞必須通過主記憶體

類比：（注意：主記憶體與工作記憶體只是一個概念，與堆疊記憶體沒有關係，下邊的類比只是幫助理解）

• 主記憶體：對應於Java堆中的物件例項資料部分（注意：堆中還儲存了物件的其他資訊，eg.Mark Word、Klass Point和用於位元組對其補白的填充資料）
• 工作記憶體：對應於棧中的部分割槽域

1.2、8條記憶體屏障指令：

下面只列出6條與之後內容相關的，其餘的檢視《深入理解Java虛擬機器》

• lock：作用於主記憶體，把一個變數標識為一條執行緒獨佔的狀態
• unlock：作用於主記憶體
  ，把一個處於鎖定的變數解鎖

下邊四條是與volatile實現記憶體可見性直接相關的四條（store、write、read、load）

• store：把工作記憶體中的變數的值傳送到主記憶體中
• write：把store操作從工作記憶體中得到的變數值放入到主記憶體的變數中
• read：把一個變數的值從主記憶體中傳輸到執行緒的工作記憶體
• load：把read操作從主記憶體中獲取到的變數值放入工作記憶體的變數中去

注意：

• 一個變數在同一時刻只允許一條執行緒對其進行lock操作
• lock操作會將該變數在所有執行緒工作記憶體中的變數副本清空，否則就起不到鎖的作用了
• lock操作可被同一條執行緒多次進行，lock幾次，就要unlock幾次（可重入鎖）
• unlock之前必須先執行store-write
• store-write必須成對出現（工作記憶體-->主記憶體）
• read-load必須成對出現（主記憶體-->工作記憶體）

2、變數對所有執行緒的可見性

可見性：執行緒1對共享變數的修改能及時被執行緒2看到

2.1、共享變數不可見的原因

• 共享變數更新後的值沒有在工作記憶體和主記憶體之間及時更新
• 執行緒交錯執行
• 指令重排序結合執行緒交錯執行

2.2、實現共享變數及時更新的措施

執行緒1修改過共享變數後，將共享變數刷到主記憶體，然後，執行緒2從主記憶體讀取該共享變數，將該共享變數載入到工作記憶體中

注意：在短時間內的高併發情況下，如果發生下列三種情況，則執行緒2就讀不到執行緒1修改過的最新的值了，

• 可能執行緒1根本來不及將修改過後的共享變數刷到主記憶體（這個時間非常短，但是還是有）的時候，執行緒2就已經讀取了原有的主記憶體變數到其工作記憶體中。
• 可能執行緒1雖然將修改過後的值刷到了主記憶體中，但是執行緒2的工作記憶體中的變數副本還沒來得及從CPU重新整理回來，所以執行緒2讀取到的還是原來的工作記憶體中的變數副本
• 可能執行緒1根本來不及將修改過後的共享變數刷到主記憶體的時候，同時，執行緒2的工作記憶體中的變數副本還沒來得及從CPU重新整理回來

注意：工作記憶體中的變數副本在使用之後，不會立刻消失掉，會一直存在，這樣其值也一直不變，直到對其進行寫操作或資料從CPU中重新整理回來（類比volatile-read的作用）。

2.3、指令重排序：程式碼書寫順序與實際執行順序不同（編譯器或處理器為提高程式效能做的優化）

eg.

書寫程式碼的順序如下：

1         int a = 12;
2         int b = 13;
3         int c = a+b;

可能實際執行程式碼的順序如下：

1         int b = 13;
2         int a = 12;
3         int c = a+b;

總結：本文大概介紹了一下Java記憶體模型以及與共享變數可見性的一些概念，為下邊的volatile做準備。