Java內(nèi)存模型最新修訂是在Java5。 JSR-176 羅列了 J2SE5.0 相關發(fā)布特性，包含其中的 JSR-133（JavaTM內(nèi)存模型與線程規(guī)范），java虛擬機遵循此規(guī)范。延續(xù)至今該內(nèi)存模型在Java8中依然奏效。

JSR 全稱 Java Specification Requests，意為Java標準化技術規(guī)范的正式請求。

Java程序運行在虛擬機上（Jvm）。從邏輯角度看，Jvm內(nèi)存被劃分為線程堆棧和堆。每個線程都擁有自己的堆棧，該線程堆棧存儲的數(shù)據(jù)不對其它線程可見。堆內(nèi)存用于存儲共享數(shù)據(jù)。

線程堆棧存儲方法中所有局部變量，包含原始類型（boolean，byte，short，char，int，long， float，double）和對象引用。

堆存儲需要共享對象和靜態(tài)變量。

注意：對象不一定都會存儲到堆內(nèi)存?？聪旅胬樱偃绻鸒bject對象不需要被其它線程共享，編譯器會執(zhí)行堆分配轉(zhuǎn)化為棧分配。

解釋一下，編譯器會根據(jù)對象是否逃逸做出優(yōu)化。優(yōu)化的其中一項就是堆分配轉(zhuǎn)化為棧分配，目的在于減輕GC壓力，提升性能。此優(yōu)化動作由Jvm參數(shù)-XX:+DoEscapeAnalysi 進行控制。Java8 默認開啟。

測試：通過開啟或關閉 -XX:+PrintGC -XX:-DoEscapeAnalysis 觀察是否執(zhí)行GC來判斷對象存儲位置。

public static void main(String[] args){
     for(int i = 0; i < 10000000; i++){
         createObj();
     }
 }
 public static void createObj(){
     new Object();
 }

2、硬件內(nèi)存架構(gòu)

如下圖，現(xiàn)代計算機通常都裝有2個或者更多的CPU，CPU又可以是多核。一個CPU包含一組寄存器，每個CPU具有一個高速緩存，而高速緩存又分為L1，L2，L3，L4 不同層級緩存。

RAM為主存儲也就是我們說的計算機內(nèi)存，所有CPU都可以讀取主存儲。

當CPU讀取主存儲數(shù)據(jù)時，它會將部分主存儲數(shù)據(jù)讀入CPU高速緩存中，又將緩存的中一部分讀入寄存器執(zhí)行，操作結(jié)束后，將值從寄存器刷新到高速緩存中，高速緩存在特定的時刻將數(shù)據(jù)統(tǒng)一刷新到內(nèi)存中。

3、實際執(zhí)行

事實上，上面闡述的Java堆棧內(nèi)存模型是為了理解抽象出來的。實際執(zhí)行就像下圖一樣，線程棧和堆的數(shù)據(jù)可能分散到硬件不同的存儲區(qū)域。數(shù)據(jù)分散在不同區(qū)域會帶來以下兩個主要問題。

3.1 共享對象可見性

下面場景兩個線程同時操作對象obj.count，其中一個線程對obj.count進行更新，但是對其它線程不可見。

線程A操作obj時，先從主存里拷貝一個數(shù)據(jù)副本到CPU高速緩存，又到寄存器，然后修改obj.count=2后刷新到CPU高速緩存，但是數(shù)據(jù)暫未同步到主存。以此同時線程B也操作obj，拷貝的數(shù)據(jù)副本仍然為obj.count=1，這會導致程序結(jié)果錯誤。

解決此問題，可以使用Java volatile關鍵字。volatile可簡單理解為跳過CPU高速緩存，讓修改結(jié)果及時同步到主存，從而保證了其它線程讀到最新值。volatile 后期專門介紹。