許多人說搞 C 語言的開發者很厲害，因為 C 語言解決問題全靠程式設計師自己管理記憶體。而 Java 擁有異常機制、陣列越界提示，開發效率遠高於 C，不需要程式設計師過多了解底層細節，這一切都歸功於 Java Virtual Machine（JVM）。JVM 其實是一個抽象的計算機，擁有自己的指令集、機器語言（ByteCode，Class 文件）以及獨立的記憶體管理機制。本文將基於 Java HotSpot™ 虛擬機（JDK 1.8），帶您深入探討 JVM 內部結構與記憶體管理的核心機制。
圖 1 JVM 內部結構示意圖
JVM 內部主要包含類加載子系統、執行引擎、運行時數據區、本地庫接口等核心組件。其中運行時數據區是記憶體管理的核心，根據《Java 虛擬機規範》劃分為線程共享區（堆、方法區）和線程私有區（虛擬機棧、本地方法棧、程序計數器）。HotSpot 虛擬機在 JDK 1.8 中將方法區實現為元空間，使用本地記憶體，解決了永久代容易導致 OOM 的問題。
程序計數器是一塊較小的內存空間，可看作是當前線程所執行的字節碼行號指示器。字節碼解釋器通過改變這個計數器的值來選取下一條需要執行的字節碼指令。它是唯一一個在規範中沒有規定 OutOfMemoryError 的區域。
虛擬機棧描述的是 Java 方法執行的內存模型：每個方法在執行時都會創建一個棧幀，用於存儲局部變量表、操作數棧、動態鏈接、方法出口等信息。局部變量表存放基本數據類型和對象引用。若線程請求的棧深度大於虛擬機允許的深度，將拋出 StackOverflowError；若虛擬機棧可動態擴展但無法申請到足夠內存，則拋出 OutOfMemoryError。
本地方法棧與虛擬機棧類似，區別在於它為虛擬機使用到的 Native 方法服務。HotSpot 虛擬機將本地方法棧和虛擬機棧合二為一實現。
Java 堆是虛擬機管理的內存中最大的一塊，被所有線程共享，幾乎所有的對象實例和數組都在這裡分配。堆是垃圾收集器管理的主要區域，因此也稱為「GC 堆」。現代垃圾收集器多採用分代收集理論，將堆劃分為新生代和老年代，新生代再細分為 Eden 空間、From Survivor、To Survivor 空間。
方法區存儲已被虛擬機加載的類信息、常量、靜態變量、即時編譯器編譯後的代碼等數據。JDK 1.8 起，HotSpot 移除了永久代，改用元空間，直接使用本地內存，默認情況下只受本地內存大小限制，但可通過 -XX:MaxMetaspaceSize 參數限制。
JVM 的自動記憶體管理機制主要針對堆和方法區。垃圾回收器通過可達性分析算法判斷對象存活，常用收集算法包括標記-清除、標記-整理、複製算法。HotSpot 提供了多款收集器：Serial、ParNew、Parallel Scavenge、CMS、G1、ZGC 等，適用於不同場景。理解各收集器特性（如吞吐量優先、延遲優先）對於 JVM 調優至關重要。
掌握 JVM 記憶體管理原理，不僅能幫助解決線上 OOM、GC 頻繁等棘手問題，更能指導編寫高性能、低延遲的 Java 應用。後續文章將深入剖析垃圾收集算法、收集器實現與調優實戰。
