JAVA內存模型
Java內存模型（Java Memory Model，JMM）
是在硬件內存模型基礎上更高層的抽象，它屏蔽了各種硬件和操作系統對內存訪問的差異性，從而實現讓Java程序在各種平臺下都能達到一致的併發效果。
主內存與工作內存：
除了主內存，每條線程還有自己的工作內存，此處可與CPU的高速緩存進行類比。
工作內存中保存着該線程使用到的變量的主內存副本的拷貝，線程對變量的操作都必須在工作內存中進行，包括讀取和賦值等，而不能直接讀寫主內存中的變量。
不同的線程之間也無法直接訪問對方工作內存中的變量，線程間變量值的傳遞必須通過主內存來完成。
內存間的交互操作：
關於主內存與工作內存之間具體的交互協議，Java內存模型定義了以下8種具體的操作來完成：
（1）lock，鎖定，作用於主內存的變量，它把主內存中的變量標識爲一條線程獨佔狀態；
（2）unlock，解鎖，作用於主內存的變量，它把鎖定的變量釋放出來，釋放出來的變量纔可以被其它線程鎖定；
（3）read，讀取，作用於主內存的變量，它把一個變量從主內存傳輸到工作內存中，以便後續的load操作使用；
（4）load，載入，作用於工作內存的變量，它把read操作從主內存得到的變量放入工作內存的變量副本中；
（5）use，使用，作用於工作內存的變量，它把工作內存中的一個變量傳遞給執行引擎，每當虛擬機遇到一個需要使用到變量的值的字節碼指令時將會執行這個操作；
（6）assign，賦值，作用於工作內存的變量，它把一個從執行引擎接收到的變量賦值給工作內存的變量，每當虛擬機遇到一個給變量賦值的字節碼指令時使用這個操作；
（7）store，存儲，作用於工作內存的變量，它把工作內存中一個變量的值傳遞到主內存中，以便後續的write操作使用；
（8）write，寫入，作用於主內存的變量，它把store操作從工作內存得到的變量的值放入到主內存的變量中；
如果要把一個變量從主內存複製到工作內存，那就要按順序地執行read和load操作，同樣地，如果要把一個變量從工作內存同步回主內存，就要按順序地執行store和write操作。
注意，這裏只說明瞭要按順序，並沒有說一定要連續，也就是說可以在read與load之間、store與write之間插入其它操作。
執行上述8種操作的基本規則：
（1）不允許read和load、store和write操作之一單獨出現，即不允許出現從主內存讀取了而工作內存不接受，或者從工作內存回寫了但主內存不接受的情況出現；
（2）不允許一個線程丟棄它最近的assign操作，即變量在工作內存變化了必須把該變化同步回主內存；
（3）不允許一個線程無原因地（即未發生過assign操作）把一個變量從工作內存同步回主內存；
（4）一個新的變量必須在主內存中誕生，不允許工作內存中直接使用一個未被初始化（load或assign）過的變量，換句話說就是對一個變量的use和store操作之前必須執行過load和assign操作；
（5）一個變量同一時刻只允許一條線程對其進行lock操作，但lock操作可以被同一個線程執行多次，多次執行lock後，只有執行相同次數的unlock操作，變量才能被解鎖。
（6）如果對一個變量執行lock操作，將會清空工作內存中此變量的值，在執行引擎使用這個變量前，需要重新執行load或assign操作初始化變量的值；
（7）如果一個變量沒有被lock操作鎖定，則不允許對其執行unlock操作，也不允許unlock一個其它線程鎖定的變量；
（8）對一個變量執行unlock操作之前，必須先把此變量同步回主內存中，即執行store和write操作；
注意，這裏的lock和unlock是實現synchronized的基礎，Java並沒有把lock和unlock操作直接開放給用戶使用，但是卻提供了兩個更高層次的指令來隱式地使用這兩個操作，即moniterenter和moniterexit。
原子性、可見性、有序性:
Java內存模型就是爲了解決多線程環境下共享變量的一致性問題。
一致性主要包含三大特性：原子性、可見性、有序性，下面我們就來看看Java內存模型是怎麼實現這三大特性的。
（1）原子性
原子性是指一段操作一旦開始就會一直運行到底，中間不會被其它線程打斷，這段操作可以是一個操作，也可以是多個操作。
由Java內存模型來直接保證的原子性操作包括read、load、user、assign、store、write這兩個操作，我們可以大致認爲基本類型變量的讀寫是具備原子性的。
如果應用需要一個更大範圍的原子性，Java內存模型還提供了lock和unlock這兩個操作來滿足這種需求，儘管不能直接使用這兩個操作，但我們可以使用它們更具體的實現synchronized來實現。
因此，synchronized塊之間的操作也是原子性的。
（2）可見性
可見性是指當一個線程修改了共享變量的值，其它線程能立即感知到這種變化。
Java內存模型是通過在變更修改後同步回主內存，在變量讀取前從主內存刷新變量值來實現的，它是依賴主內存的，無論是普通變量還是volatile變量都是如此。
普通變量與volatile變量的主要區別是是否會在修改之後立即同步回主內存，以及是否在每次讀取前立即從主內存刷新。因此我們可以說volatile變量保證了多線程環境下變量的可見性，但普通變量不能保證這一點。
除了volatile之外，還有兩個關鍵字也可以保證可見性，它們是synchronized和final。
synchronized的可見性是由“對一個變量執行unlock操作之前，必須先把此變量同步回主內存中，即執行store和write操作”這條規則獲取的。
final的可見性是指被final修飾的字段在構造器中一旦被初始化完成，那麼其它線程中就能看見這個final字段了。
（3）有序性
Java程序中天然的有序性可以總結爲一句話：如果在本線程中觀察，所有的操作都是有序的；如果在另一個線程中觀察，所有的操作都是無序的。
前半句是指線程內表現爲串行的語義，後半句是指“指令重排序”現象和“工作內存和主內存同步延遲”現象。
Java中提供了volatile和synchronized兩個關鍵字來保證有序性。
volatile天然就具有有序性，因爲其禁止重排序。
synchronized的有序性是由“一個變量同一時刻只允許一條線程對其進行lock操作”這條規則獲取的。