Java 內存模型是個很復雜的規范，具體看Java 內存模型詳解。 

理解的個維度：核心知識點

JMM本質上可以理解為，Java 內存模型規范了 JVM 如何提供按需禁用緩存和編譯優化的方法。

具體來說，這些方法包括： 

volatile、synchronized 和 final 三個關鍵字 Happens-Before 規則 

理解的第二個維度：可見性，有序性，原子性

原子性 

在Java中，對基本數據類型的變量的讀取和賦值操作是原子性操作，即這些操作是不可被中斷的，要么執行，要么不執行。請分析以下哪些操作是原子性操作：

上面4個語句只有語句1的操作具備原子性。

也就是說，只有簡單的讀取、賦值（而且必須是將數字賦值給某個變量，變量之間的相互賦值不是原子操作）才是原子操作。

從上面可以看出，Java內存模型只保證了基本讀取和賦值是原子性操作，如果要實現更大范圍操作的原子性，可以通過synchronized和Lock來實現。由于synchronized和Lock能夠保證任一時刻只有一個線程執行該代碼塊，那么自然就不存在原子性問題了，從而保證了原子性。

可見性 

Java提供了volatile關鍵字來保證可見性。 

當一個共享變量被volatile修飾時，它會保證修改的值會立即被更新到主存，當有其他線程需要讀取時，它會去內存中讀取新值。 

而普通的共享變量不能保證可見性，因為普通共享變量被修改之后，什么時候被寫入主存是不確定的，當其他線程去讀取時，此時內存中可能還是原來的舊值，因此無法保證可見性。 

另外，通過synchronized和Lock也能夠保證可見性，synchronized和Lock能保證同一時刻只有一個線程獲取鎖然后執行同步代碼，并且在釋放鎖之前會將對變量的修改刷新到主存當中。因此可以保證可見性。

有序性

在Java里面，可以通過volatile關鍵字來保證一定的“有序性”。另外可以通過synchronized和Lock來保證有序性，很顯然，synchronized和Lock保證每個時刻是有一個線程執行同步代碼，相當于是讓線程順序執行同步代碼，自然就保證了有序性。當然JMM是通過Happens-Before 規則來保證有序性的。