概述
對於 Java 程序員來說，在虛擬機自動內存管理機制下，不再需要像 C/C++程序開發程序員這樣為每一個 new 操作去寫對應的 delete/free 操作，不容易出現內存洩漏和內存溢出問題。正是因為 Java 程序員把內存控制權利交給 Java 虛擬機，一旦出現內存洩漏和溢出方面的問題，如果不瞭解虛擬機是怎樣使用內存的，那麼排查錯誤將會是一個非常艱鉅的任務。
運行時數據區域
Java 虛擬機在執行 Java 程序的過程中會把它管理的內存劃分成若干個不同的數據區域。
線程私有的：
- 程序計數器
- 虛擬機棧
- 本地方法棧
線程共享的：
- 堆
- 方法區
- 直接內存 (非運行時數據區的一部分)
程序計數器
程序計數器是一塊較小的內存空間，可以看作是當前線程所執行的字節碼的行號指示器。
字節碼解釋器工作時通過改變這個計數器的值來選取下一條需要執行的字節碼指令，分支、循環、跳轉、異常處理、線程恢復等功能都需要依賴這個計數器來完成。
為了線程切換後能恢復到正確的執行位置，每條線程都需要有一個獨立的程序計數器，各線程之間計數器互不影響，獨立存儲，我們稱這類內存區域為“線程私有”的內存。
程序計數器主要有兩個作用：
字節碼解釋器通過改變程序計數器來依次讀取指令，從而實現代碼的流程控制，如：順序執行、選擇、循環、異常處理。
在多線程的情況下，程序計數器用於記錄當前線程執行的位置，從而當線程被切換回來的時候能夠知道該線程上次運行到哪兒了。
注意：程序計數器是唯一一個不會出現 OutOfMemoryError 的內存區域，它的生命週期隨著線程的創建而創建，隨著線程的結束而死亡。
Java 虛擬機棧
Java 虛擬機棧也是線程私有的，它的生命週期和線程相同，描述的是 Java 方法執行的內存模型，每次方法調用的數據都是通過棧傳遞的。
Java 內存可以粗糙的區分為堆內存（Heap）和棧內存 (Stack),其中棧就是現在說的虛擬機棧，或者說是虛擬機棧中局部變量表部分。 （實際上，Java 虛擬機棧是由一個個棧幀組成，而每個棧幀中都擁有：局部變量表、操作數棧、動態鏈接、方法出口信息。）
局部變量表主要存放了編譯器可知的各種數據類型（boolean、byte、char、short、int、float、long、double）、對象引用（reference 類型，它不同於對象本身，可能是一個指向對象起始地址的引用指針，也可能是指向一個代表對象的句柄或其他與此對象相關的位置）。
Java 虛擬機棧會出現兩種異常：StackOverFlowError 和 OutOfMemoryError。
- StackOverFlowError： 若 Java 虛擬機棧的內存大小不允許動態擴展，那麼當線程請求棧的深度超過當前 Java 虛擬機棧的最大深度的時候，就拋出 StackOverFlowError 異常。
- OutOfMemoryError： 若 Java 虛擬機棧的內存大小允許動態擴展，且當線程請求棧時內存用完了，無法再動態擴展了，此時拋出 OutOfMemoryError 異常。
Java 虛擬機棧也是線程私有的，每個線程都有各自的 Java 虛擬機棧，而且隨著線程的創建而創建，隨著線程的死亡而死亡。
方法/函數如何調用？
Java 棧可用類比數據結構中棧，Java 棧中保存的主要內容是棧幀，每一次函數調用都會有一個對應的棧幀被壓入 Java 棧，每一個函數調用結束後，都會有一個棧幀被彈出。
Java 方法有兩種返回方式：
return 語句。
拋出異常。
不管哪種返回方式都會導致棧幀被彈出。
本地方法棧
和虛擬機棧所發揮的作用非常相似，區別是： 虛擬機棧為虛擬機執行 Java 方法 （也就是字節碼）服務，而本地方法棧則為虛擬機使用到的 Native 方法服務。 在 HotSpot 虛擬機中和 Java 虛擬機棧合二為一。
本地方法被執行的時候，在本地方法棧也會創建一個棧幀，用於存放該本地方法的局部變量表、操作數棧、動態鏈接、出口信息。
方法執行完畢後相應的棧幀也會出棧並釋放內存空間，也會出現 StackOverFlowError 和 OutOfMemoryError 兩種異常。
堆
Java 虛擬機所管理的內存中最大的一塊，Java 堆是所有線程共享的一塊內存區域，在虛擬機啟動時創建。此內存區域的唯一目的就是存放對象實例，幾乎所有的對象實例以及數組都在這裡分配內存。
Java 堆是垃圾收集器管理的主要區域，因此也被稱作GC 堆（Garbage Collected Heap）.從垃圾回收的角度，由於現在收集器基本都採用分代垃圾收集算法，所以 Java 堆還可以細分為：新生代和老年代：再細緻一點有：Eden 空間、From Survivor、To Survivor 空間等。進一步劃分的目的是更好地回收內存，或者更快地分配內存。
上圖所示的 eden 區、s0 區、s1 區都屬於新生代，tentired 區屬於老年代。大部分情況，對象都會首先在 Eden 區域分配，在一次新生代垃圾回收後，如果對象還存活，則會進入 s0 或者 s1，並且對象的年齡還會加 1(Eden 區->Survivor 區後對象的初始年齡變為 1)，當它的年齡增加到一定程度（默認為 15 歲），就會被晉升到老年代中。對象晉升到老年代的年齡閾值，可以通過參數 -XX:MaxTenuringThreshold 來設置。
方法區
方法區與 Java 堆一樣，是各個線程共享的內存區域，它用於存儲已被虛擬機加載的類信息、常量、靜態變量、即時編譯器編譯後的代碼等數據。雖然 Java 虛擬機規範把方法區描述為堆的一個邏輯部分，但是它卻有一個別名叫做 Non-Heap（非堆），目的應該是與 Java 堆區分開來。
方法區也被稱為永久代。很多人都會分不清方法區和永久代的關係，為此我也查閱了文獻。
方法區和永久代的關係
《Java 虛擬機規範》只是規定了有方法區這麼個概念和它的作用，並沒有規定如何去實現它。那麼，在不同的 JVM 上方法區的實現肯定是不同的了。 方法區和永久代的關係很像 Java 中接口和類的關係，類實現了接口，而永久代就是 HotSpot 虛擬機對虛擬機規範中方法區的一種實現方式。 也就是說，永久代是 HotSpot 的概念，方法區是 Java 虛擬機規範中的定義，是一種規範，而永久代是一種實現，一個是標準一個是實現，其他的虛擬機實現並沒有永久代這一說法。
常用參數
JDK 1.8 之前永久代還沒被徹底移除的時候通常通過下面這些參數來調節方法區大小
-XX:PermSize=N //方法區 (永久代) 初始大小
-XX:MaxPermSize=N //方法區 (永久代) 最大大小,超過這個值將會拋出 OutOfMemoryError 異常:java.lang.OutOfMemoryError: PermGen
相對而言，垃圾收集行為在這個區域是比較少出現的，但並非數據進入方法區後就“永久存在”了。
JDK 1.8 的時候，方法區（HotSpot 的永久代）被徹底移除了（JDK1.7 就已經開始了），取而代之是元空間，元空間使用的是直接內存。
下面是一些常用參數：
-XX:MetaspaceSize=N //設置 Metaspace 的初始（和最小大小）
-XX:MaxMetaspaceSize=N //設置 Metaspace 的最大大小
與永久代很大的不同就是，如果不指定大小的話，隨著更多類的創建，虛擬機會耗盡所有可用的系統內存。
為什麼要將永久代 (PermGen) 替換為元空間 (MetaSpace) 呢?
整個永久代有一個 JVM 本身設置固定大小上限，無法進行調整，而元空間使用的是直接內存，受本機可用內存的限制，並且永遠不會得到 java.lang.OutOfMemoryError。你可以使用 -XX：MaxMetaspaceSize 標誌設置最大元空間大小，默認值為 unlimited，這意味著它只受系統內存的限制。-XX：MetaspaceSize 調整標誌定義元空間的初始大小如果未指定此標誌，則 Metaspace 將根據運行時的應用程序需求動態地重新調整大小。
當然這只是其中一個原因，還有很多底層的原因，這裡就不提了。
運行時常量池
運行時常量池是方法區的一部分。Class 文件中除了有類的版本、字段、方法、接口等描述信息外，還有常量池信息（用於存放編譯期生成的各種字面量和符號引用）
既然運行時常量池是方法區的一部分，自然受到方法區內存的限制，當常量池無法再申請到內存時會拋出 OutOfMemoryError 異常。
JDK1.7 及之後版本的 JVM 已經將運行時常量池從方法區中移了出來，在 Java 堆（Heap）中開闢了一塊區域存放運行時常量池。
直接內存
直接內存並不是虛擬機運行時數據區的一部分，也不是虛擬機規範中定義的內存區域，但是這部分內存也被頻繁地使用。而且也可能導致 OutOfMemoryError 異常出現。
JDK1.4 中新加入的 NIO(New Input/Output) 類，引入了一種基於通道（Channel） 與緩存區（Buffer） 的 I/O 方式，它可以直接使用 Native 函數庫直接分配堆外內存，然後通過一個存儲在 Java 堆中的 DirectByteBuffer 對象作為這塊內存的引用進行操作。這樣就能在一些場景中顯著提高性能，因為避免了在 Java 堆和 Native 堆之間來回複製數據。
本機直接內存的分配不會受到 Java 堆的限制，但是，既然是內存就會受到本機總內存大小以及處理器尋址空間的限制。
————————————————
閱讀更多 程序員小皮 的文章
