JMM規範：

　一.概念：規範了java虛擬機與計算機內存如何協同工作，它規定了一個線程如何和何時可以看到其他線程修改過的共享變量的值，以及在必須時如何同步地訪問共享變量。

　　　備註：如果兩個線程同時調用了同一個對象的同一個方法，他們都會訪問這個對象的成員變量，此時這個兩個線程擁有的只是這個對象的私有拷貝。

　　　如圖：

　　二.八種同步操作

　　　1、luck（鎖定）：作用於主內存的變量，它把一個變量標示為一條線程獨占的狀態。

　　 2、unlock（解鎖）：作用於主內存的變量，它把一個處於鎖定狀態的變量釋放出來，釋放後的變量才可以被其他線程鎖定。

　　 3、read（讀取）：作用於主內存的變量，它把一個變量的值從主內存傳輸到工作內存中，以便隨後的load動作使用。

　　 4、load（載入）：作用於工作內存的變量，它把read操作從主內存中得到的變量值放入工作內存的變量副本中。

　　 5、use（使用）：作用於工作內存的變量，它把工作內存中的一個變量的值傳遞給執行引擎，每當虛擬機遇到一個需要使用到變量的值得字節碼指令時將會執行這個操作。

　　 6、assign（賦值）：作用於工作內存的變量，它把一個從執行引擎接收到的值賦給工作內存的變量，每當虛擬機遇到一個給變量賦值的字節碼指令時執行這個操作。

　　 7、store（存儲）：作用於工作內存的變量，它把工作內存中的一個變量的值傳遞到主內存中，以便隨後的write操作使用。

　　 8、write（寫入）：作用於主內存的變量，它把store操作從工作內存中得到的變量值放入主內存的變量中。

　　三.對應的同步規則

　　　1、不允許read和load、store和write單獨出現。即不允許一個變量從主內存讀取了但工作內存不接受，或者從工作內從發起會寫了但主內存不接受的情況出現。

　　　2、不允許一個線程丟棄它的最近的assign操作，即變量在工作內存中改變了之後必須把該變化同步到主內存裏。

　　　3、不允許一個線程無原因地把數據從線程工作內存同步回主內存中，即沒有發生過任何的assign操作就同步到主內存中。

　　　4、一個新的變量只能在主內存中誕生，不允許在工作內存中直接使用一個沒有被初始化（load或assign）的變量，換句話說，就是對一個變量實施use、store操作之前，必須先執行assign和load操作。

　　 5、一個變量在同一時刻，只允許一個線程對其進行loack操作，但lock操作可以被同一個線程重復執行多次，多次執行lock後，只有執行相同次數的unloack操作，變量才能被解鎖。

　　 6、如果對一個變量執行了lock操作，那將會清空工作內存中此變量的值，在執行引擎使用這個變量前，需要重新執行load或assign操作初始化變量的值。

　　 7、如果一個變量事先沒有被lock操作鎖定，那就不允許對他執行unlock操作，也不允許去unlock一個被其他線程鎖定住的變量

　　 8、對一個變量執行unlock操作之前，必須先把此變量同步回主內存中（執行store、write操作）。

四.操作與規則關系圖如下：

註：感謝慕課網jimin老師，做這個並發集合知識總結的初衷完全是因為看完他的《Java並發編程與高並發解決方案》產生的想法。

java並發知識合集(前置知識——java內存模型)