《Java虛擬機規範》將虛擬機的記憶體分為以下幾個區域: 堆區:堆區是JVM中最大的一塊記憶體區域,按照垃圾分代收集的角度劃分,又可以分成年輕代和老年代,而年輕代記憶體又被分成三部分,Eden空間、From Survivor空間、To Survivor空間,預設情況下年輕代按照8:1:1的比例來分配; 方 ...
《Java虛擬機規範》將虛擬機的記憶體分為以下幾個區域:
- 堆區:堆區是JVM中最大的一塊記憶體區域,按照垃圾分代收集的角度劃分,又可以分成年輕代和老年代,而年輕代記憶體又被分成三部分,Eden空間、From Survivor空間、To Survivor空間,預設情況下年輕代按照8:1:1的比例來分配;
- 方法區:存儲類信息、常量、靜態變數等數據,是線程共用的區域;
- 棧區:棧區有線程獨享,棧區又可以具體分為虛擬機棧、本地方法棧和程式計數器。
堆區
堆區是虛擬機管理的記憶體中最大的一塊。這塊記憶體區域的主要功能就是存放Java對象和數組。這個區域是被所有線程共用的。
根據《Java虛擬機規範》的規定,Java堆可以處於物理上不連續的記憶體空間中,但在邏輯上它應該被視為連續的,這點就像我們用磁碟空間去存儲文件一樣,並不要求每個文件都連續存放。但對於大對象(典型的如數組對象),多數虛擬機實現出於實現簡單、存儲高效的考慮,很可能會要求連續的記憶體空間。
有些資料上會提到堆區的記憶體空間可以繼續分成“新生代”、“老年代”、“永久代”、“Eden空間”、“From Survivor空間”和“ToSurvivor空間”等。
需要註意的是這種劃分方式不是《Java虛擬機規範》對Java堆的進一步劃分,而是因為現在很多垃圾收集演算法都是根據分代理論進行垃圾收集的,所以才有這樣的劃分方式。
但現如今HotSpot中也出現了不採用分代設計的新垃圾收集器,再按照上面的提法就有很多需要商榷的地方了。
Java堆既可以被實現成固定大小的,也可以是可擴展的,不過當前主流的Java虛擬機都是按照可擴展來實現的(通過參數-Xmx和-Xms設定)。如果在Java堆中沒有記憶體完成實例分配,並且堆也無法再擴展時,Java虛擬機將會拋出OutOfMemoryError異常。
Java堆區相關的控制參數
- -Xms設置堆的最小空間大小。
- -Xmx設置堆的最大空間大小。
- -XX:NewSize設置新生代最小空間大小。
- -XX:MaxNewSize設置新生代最大空間大小。
- -Xss設置每個線程的堆棧大小。
沒有直接設置老年代的參數,但是可以設置堆空間大小和新生代空間大小兩個參數來間接控制。
棧區
從上面的介紹可以知道,棧區可以分為
- 虛擬機棧
- 本地方法棧
- 程式計數器區
虛擬機棧
Java虛擬機棧是線程私有的,生命周期和線程相同。
虛擬機棧描述的是Java方法執行的線程記憶體模型:每個方法被執行的時候,Java虛擬機都會同步創建一個棧幀(StackFrame)用於存儲局部變數表、操作數棧、動態連接、方法出口等信息。每一個方法被調用直至執行完畢的過程,就對應著一個棧幀在虛擬機棧中從入棧到出棧的過程。
在《Java虛擬機規範》中,對這個記憶體區域規定了兩類異常狀況:如果線程請求的棧深度大於虛擬機所允許的深度,將拋出StackOverflowError異常;如果Java虛擬機棧容量可以動態擴展[插圖],當棧擴展時無法申請到足夠的記憶體會拋出OutOfMemoryError異常。
本地方法棧
本地方法棧(Native Method Stacks)與虛擬機棧所發揮的作用是非常相似的,其區別隻是虛擬機棧為虛擬機執行Java方法(也就是位元組碼)服務,而本地方法棧則是為虛擬機使用到的本地(Native)方法服務。
《Java虛擬機規範》對本地方法棧中方法使用的語言、使用方式與數據結構並沒有任何強制規定,因此具體的虛擬機可以根據需要自由實現它,甚至有的Java虛擬機(譬如Hot-Spot虛擬機)直接就把本地方法棧和虛擬機棧合二為一。與虛擬機棧一樣,本地方法棧也會在棧深度溢出或者棧擴展失敗時分別拋出StackOverflowError和OutOfMemoryError異常。
程式計數器
程式計數器可以看作是當前線程所執行位元組碼的行號指示器。在Java虛擬機的概念模型里,位元組碼解釋器工作時就是通過改變這個計數器的值來選取下一條需要執行的位元組碼指令,它是程式控制流的指示器,分支、迴圈、跳轉、異常處理、線程恢復等基礎功能都需要依賴這個計數器來完成。
如果線程正在執行的是一個Java方法,這個計數器記錄的是正在執行的虛擬機位元組碼指令的地址;如果正在執行的是本地(Native)方法,這個計數器值則應為空(Undefined)。此記憶體區域是唯一一個在《Java虛擬機規範》中沒有規定任何OutOfMemoryError情況的區域。
方法區
方法區(Method Area)與Java堆一樣,是各個線程共用的記憶體區域,它用於存儲已被虛擬機載入的類型信息、常量、靜態變數、即時編譯器編譯後的代碼緩存等數據。
在JDK 8以前,很多地方會將方法區和永久代的概念等價,並且使用下麵的參數設置永久代的大小。
- -XX:PermSize設置永久代最小空間大小。
- -XX:MaxPermSize設置永久代最大空間大小。
到了JDK 8中,HotSpot的開發團隊完全廢棄了永久代(PermGem)的概念,改用與JRockit、J9一樣在本地記憶體中實現的元空間(Meta-space)來代替,把JDK 7中永久代還剩餘的內容(主要是類型信息)全部移到元空間中。因此上面的參數在JDK 8以後也不再適用了。
《Java虛擬機規範》對方法區的約束是非常寬鬆的,除了和Java堆一樣不需要連續的記憶體和可以選擇固定大小或者可擴展外,甚至還可以選擇不實現垃圾收集。相對而言,垃圾收集行為在這個區域的確是比較少出現的,但並非數據進入了方法區就如永久代的名字一樣“永久”存在了。
根據《Java虛擬機規範》的規定,如果方法區無法滿足新的記憶體分配需求時,將拋出OutOfMemoryError異常。
使用以下參數可以設置元空間的大小
- -XX:MaxMetaspaceSize=128m
假如不設置這個參數,元空間的大小將不受約束。系統能提供多大的記憶體,元空間就能使用多少記憶體。
運行時常量池
運行時常量池也是方法區的一部分。運行時常量池相對於Class文件常量池的另外一個重要特征是具備動態性,Java語言並不要求常量一定只有編譯期才能產生,也就是說,並非預置入Class文件中常量池的內容才能進入方法區運行時常量池,運行期間也可以將新的常量放入池中,這種特性被開發人員利用得比較多的便是String類的intern()方法。
直接記憶體
這邊講的直接記憶體並不屬於虛擬機運行時數據區的一部分,也不是《Java虛擬機規範》中定義的記憶體區域。但是這部分記憶體也被頻繁地使用,而且也可能導致OutOfMemoryError異常出現。
本機直接記憶體的分配不會受到Java堆大小的限制,但是,既然是記憶體,則肯定還是會受到本機總記憶體(包括物理記憶體、SWAP分區或者分頁文件)大小以及處理器定址空間的限制,一般伺服器管理員配置虛擬機參數時,會根據實際記憶體去設置-Xmx等參數信息,但經常忽略掉直接記憶體,使得各個記憶體區域總和大於物理記憶體限制(包括物理的和操作系統級的限制),從而導致動態擴展時出現OutOfMemoryError異常。