天天看點

JVM活學活用——Jvm記憶體結構

Java記憶體結構:

  

JVM活學活用——Jvm記憶體結構

JVM記憶體結構主要是有三大塊:堆記憶體、方法區和棧。堆記憶體是JVM中最大的一塊由年輕代和老年代組成,而年輕代記憶體又被分為三部分,Eden空間、From Survivor空間、To Survivor空間,預設情況下年輕代按照8:1:1的比例來配置設定;

方法區存儲類資訊、常量、靜态變量等資料,是線程共享的區域,為與Java堆區分,方法區還有一個别名Non-Heap(非堆);

棧又分為Java虛拟機棧和本地方法棧,主要用于方法的執行。

在通過一張圖來了解如何通過參數來控制各區域的記憶體大小:

JVM活學活用——Jvm記憶體結構

控制參數

-Xms  設定堆的最小空間大小

-Xmx  設定堆的最大空間大小

-XX:NewSize  設定新生代最小空間大小

-XX:MaxNewSize  設定新生代最大空間大小

-XX:PermSize  設定永久代最小空間大小

-XX:MaxPermSize  設定永久代最大空間大小

-Xss  設定每個線程的堆棧大小。

沒有直接設定老年代的參數,但是可以設定堆空間大小和新生代空間大小兩個參數來間接控制。

  老年代空間大小=堆空間大小-年輕代空間大小

從更高的一個次元再次來看JVM和系統調用之間的關系

JVM活學活用——Jvm記憶體結構

 方法區和堆是所有線程共享的記憶體區域;而Java棧、本地方法棧和程式員計數器是運作是線程私有的記憶體區域。

詳細介紹每個區域的作用

堆記憶體(Heap)

  對于大多數應用來說,Java堆是Java虛拟機所管理的記憶體的最大的一塊。Java堆是被所有線程共享的一塊記憶體區域,在虛拟機啟動時建立。此記憶體區域的唯一目的就是存放對象執行個體,幾乎所有的對象執行個體都在這裡配置設定記憶體。

  Java堆是垃圾收集器管理的主要區域,是以很多時候也被成為“GC堆”。如果從記憶體回收的角度看,由于現在收集器基本都是采用的分代收集算法,是以Java堆中開始細分:年輕代和老年代;再細緻一點的有Eden空間、From Survivor空間、To Survivor空間等。

  根據Java虛拟機規範的規定,Java堆可以處于實體上不連續的記憶體空間中,隻要邏輯上是連續的即可。就像磁盤空間一樣。在實作時,既可以實作成固定大小的,也可以是擴拓展的,不過目前的主流的虛拟機都是可拓展來實作(通過-Xmx和-Xms控制)。

  如果在堆中沒有記憶體完成執行個體配置設定,并且堆也無法再擴充時,将會抛出OutOfMemoryErrory異常。

方法區(Method Area)

  方法區(Method Area)與Java堆一樣,是各個線程共享的記憶體區域,它用于存儲已被虛拟機加載的類資訊,常量,靜态變量,即時編譯器編譯後的代碼等資料。雖然Java虛拟機規範把方法區描述為堆的一個邏輯部分,但是它卻有一個别名叫做非堆,目的就是與Java堆區分開來。

  該區域也叫做永久代。

  Java虛拟機規範對這個區域的限制非常寬松,除了和Java堆一樣不需要連續的記憶體和可以選擇固定大小或者可擴充外,還可以選擇不實作垃圾收集。相對而言,垃圾收集行為在這個區域是比較少出現的,但并非資料進入了方法區就如永久代的名字一樣“永久存在了”。這個區域的記憶體回收目标主要是常量池的回收和對類型的解除安裝,一般說,這個區域的回收成績比較難以令人滿意,尤其是類型的解除安裝,條件相對苛刻,但是這部分區域的回收确實是有必要的。

  根據Java虛拟機規範的規定,當方法區無法滿足記憶體配置設定需求時,将抛出OutOfMemoryErrory異常。

 程式計數器(Program Counter Register)

  程式計數器(Program Count Register)是一塊較小的記憶體空間,它的作用可以看做是目前線程所執行的位元組碼的行号訓示器。在虛拟機的概念模型裡(僅是概念模型,各種虛拟機可能通過一些更高效的方式去實作),位元組碼解釋器工作時就是通過改變這個計數器的值來選取下一條需要執行的位元組碼指令,分支,循環,跳轉,異常處理,線程恢複等基礎功能都需要依賴這個計數器來完成。

  由于Java虛拟機的多線程是通過線程輪流切換并配置設定處理器執行時間的方式來實作的,在任何一個确定的時刻,一個處理器(對于多核處理器來說是一個核心)隻會執行一條線程中的指令。是以,為了線程切換後能恢複到正确的執行位置,每條線程都需要有一個獨立的程式計數器,各條線程之間的計數器互不影響,獨立存儲,我們稱這類記憶體區域為“線程私有”的記憶體。

  如果線程正在執行的是一個Java方法,這個計數器記錄的是正在執行的虛拟機位元組碼指令的位址;如果正在執行的是Native方法,這個計數器值則為空(Undefined)。

  此記憶體區域是唯一一個在Java虛拟機規範中沒有規定任何OutOfMemoryError情況的區域。

JVM棧(JVM Stacks)

  與程式計數器一樣,Java虛拟機棧(Java Virtual Machine Stacks)也是線程私有的,它的生命周期與線程相同。虛拟機棧描述的是Java方法執行的記憶體模型:每個方法被執行的時候都會同時建立一個棧幀(Stack Frame)用于存儲局部變量表、操作棧、動态連結、方法出口等資訊。每一個方法被調用直至執行完成的過程,就對應着一個棧幀中從入棧到出棧的過程。

  局部變量表存放了編譯期可知的各種基本資料類型(boolean,byte, char,short,int,float,long,double)、對象引用(reference類型,他不等同于對象本身,根據不同的虛拟機實作,它可能是一個指向對象起始位址的引用指針,也可能指向一個代表對象的句柄或者其他與此對象相關的位置)和returnAddress類型(指向了一條位元組碼指令的位址)。

  其中64位長度的long和double類型的資料會占用兩個局部變量空間(Slot),其餘的資料類型隻占用1個。局部變量表所需的記憶體空間在編譯期間完成配置設定,當進入一個方法時,這個方法需要在幀中配置設定多大的局部變量空間是完全确定的,在方法運作期間不會改變局部變量表的大小。

  在Java虛拟機規範中,對這個區域規定了兩種異常情況:如果線程請求的棧深度大于虛拟機所允許的深度,将抛出StackOverflowError異常;如果虛拟機棧可以動态擴充(目前大部分的Java虛拟機都可以動态擴充,隻不過Java虛拟機規範中也允許固定長度的虛拟機棧),當擴充時無法申請到足夠的記憶體時會抛出OutOfMemoryError異常。

本地方法棧(Native Method Stacks)

  本地方法棧(Native Method Stacks)與虛拟機棧所發揮的作用是非常相似的,其差別不過是虛拟機棧為虛拟機執行Java方法(也就是位元組碼)服務,而本地方法棧則是為虛拟機使用到的Native方法服務。虛拟機規範中對本地方法棧中的方法使用的語言、使用方式與資料結構并沒有強制規定,是以具體的虛拟機可以自由實作它。甚至有的虛拟機(譬如Sun HotSpot虛拟機)直接就把本地方法棧和虛拟機棧合二為一。與虛拟機棧一樣,本地方法棧區域也會抛出StackOverflowError和OutOfMemoryError異常。

直接記憶體(Direct Memory)

  直接記憶體并不是虛拟機運作時資料區的一部分,也不是Java虛拟機規範中定義的記憶體區域。這部分記憶體也會被頻繁使用,而且會出現OutOfMemoryError異常。

  在JDK1.4新加入了NIO(new input/output)類,引入了基于通道與緩沖區的I/O方式,它可以使用Native函數庫直接配置設定堆外記憶體,然後通過一個存儲在Java堆中的DirectByteBuffer對象作為這塊記憶體的引用進行操作。這樣能在一些場景中顯著提高性能,因為避免了在Java堆和Native堆中來回複制資料。

  顯然,本機的直接記憶體的配置設定不會受到Java堆大小的限制,但是,既然是記憶體,肯定會受到本機總記憶體大小以及處理器尋址空間的限制。

參考:

《深入了解Java虛拟機:JVM進階特性與最佳實踐_周志明.高清掃描版》

個人部落格網站 http://www.janti.cn

下一篇: alergy