1.1定義

在Java虛擬機器規範中試圖定義一種Java記憶體模型（Java Memory Model，JMM）來遮蔽各個硬體平臺和作業系統的記憶體訪問差異，以實現讓Java程式在各種平臺下都能達到一致的記憶體訪問效果。那麼Java記憶體模型規定了哪些東西呢，它定義了程式中變數的訪問規則，往大一點說是定義了程式執行的次序。注意，為了獲得較好的執行效能，Java記憶體模型並沒有限制執行引擎使用處理器的暫存器或者快取記憶體來提升指令執行速度，也沒有限制編譯器對指令進行重排序。也就是說，在java記憶體模型中，也會存在快取一致性問題和指令重排序的問題。
Java記憶體模型規定所有的變數都是存在主存當中（類似於前面說的實體記憶體），每個執行緒都有自己的工作記憶體（類似於前面的快取記憶體）。執行緒對變數的所有操作都必須在工作記憶體中進行，而不能直接對主存進行操作。並且每個執行緒不能訪問其他執行緒的工作記憶體。例如在：

i = 10 ;

這句話中，我們是先將自己的工作執行緒中對變數i所在的快取行進行賦值操作，然後再寫入主存當中。而不是直接將數值10寫入主存當中。（可以參考i++和++i的思考）
1.在Java中，簡單的讀取、賦值（而且必須是將數字賦值給某個變數，變數之間的相互賦值不是原子操作）才是原子操作，即這些操作是不可被中斷的，要麼執行，要麼不執行。
2.對於可見性，Java提供了volatile關鍵字來保證可見性。當一個共享變數被volatile修飾時，它會保證修改的值會立即被更新到主存，當有其他執行緒需要讀取時，它會去記憶體中讀取新值。通過synchronized和Lock也能夠保證可見性，synchronized和Lock能保證同一時刻只有一個執行緒獲取鎖然後執行同步程式碼，並且在釋放鎖之前會將對變數的修改重新整理到主存當中。因此可以保證可見性。
3.在Java裡面，可以通過volatile關鍵字來保證一定的“有序性”。另外可以通過synchronized和Lock來保證有序性，很顯然，synchronized和Lock保證每個時刻是有一個執行緒執行同步程式碼，相當於是讓執行緒順序執行同步程式碼，自然就保證了有序性。