1. 程式人生 > >01 深入理解JVM的內存區域

01 深入理解JVM的內存區域

啟動 也有 存在 jvm 入棧 並不是 第一次 部分 代碼

先來看看JVM運行時候的內存區域,如下圖:

技術分享圖片

  大多數 JVM 將內存區域劃分為 Heap(堆)、方法區、Stack(棧)、本地方法棧、程序計數器。其中 Heap 和 方法區 是線程共享的,Stack、本地方法棧 和 程序計數器 是非線程共享的。為什麽分為線程共享和非線程共享的呢?請繼續往下看。

  首先我們熟悉一下一個 Java 程序的工作過程。一個 Java 源程序文件,會被編譯為字節碼文件(以 .class 為擴展名),每個 Java 程序都需要運行在自己的 JVM 上,被 JVM 通過字節碼解釋器加載運行。那麽程序開始運行後,都是如何涉及到各內存區域的呢?

  概括地說,JVM 初始運行的時候都會分配好 Heap 和 方法區,而 JVM 每遇到一個線程,就為其分配一個 Stack、本地方法棧 和 程序計數器。當線程終止時,三者所占用的內存空間也會被釋放掉。這也是為什麽我把內存區域分為線程共享和非線程共享的原因,非線程共享的那三個區域的生命周期與所屬線程相同,而線程共享的區域與 Java 程序運行的生命周期相同,所以這也是系統垃圾回收的場所只發生在線程共享的區域(實際上對大部分虛擬機來說是發生在 Heap 上)的原因。

1、Heap

Heap(堆)是 JVM 的內存數據區。Heap 的管理很復雜,是被所有線程共享的內存區域,在 JVM 啟動的時候創建,專門用來保存對象。在 Heap 中分配一定的內存來保存對象,實際上也只是保存對象的屬性值、屬性的類型 和 對象本身的類型標記等,並不保存對象的方法(方法以棧幀的形式保存在 Stack 中)。而對象在 Heap 中分配好內存以後,需要在 Stack 中保存一個4個字節的 Heap 內存地址,用來定位該對象在 Heap 中的位置,便於找到該對象。Heap 是垃圾回收的主要場所。Heap 處於物理不連續的內存空間中,只要邏輯上連續即可。

2、方法區

Object Class Data(加載類的類定義數據) 是存儲在方法區的。除此之外,常量、靜態變量、JIT(即時編譯器)編譯後的代碼也都在方法區。正因為方法區所存儲的數據與堆有一種類比關系,所以它還被稱為 Non-Heap。方法區也可以是內存不連續的區域組成的,並且可設置為固定大小,也可以設置為可擴展的,這點與堆一樣。

垃圾回收在這個區域會比較少出現,這個區域的內存回收主要針對常量池的回收和類的卸載。

3、Stack

先來了解下 Java 指令的構成:

Java 指令由 操作碼(方法本身)和 操作數(方法內部變量)組成。   

1)方法本身是指令的操作碼部分,保存在 Stack 中;

2)方法內部變量(局部變量)作為指令的操作數部分,跟在指令的操作碼之後,保存在 Stack 中(實際上是簡單類型(int, byte, short 等)保存在 Stack 中,對象類型在 Stack 中保存地址,在 Heap 中保存值);

  棧也叫棧內存,是在線程創建時創建,它的生命期是跟隨線程的生命期,線程結束棧內存也就釋放,對於棧來說不存在垃圾回收問題,只要線程一結束,該棧就 Over ,所以不存在垃圾回收。也有一些資料翻譯成 Java 方法棧,大概是因為它所描述的是 Java 方法執行的內存模型,每個方法執行的同時創建棧幀(Strack Frame)用於存儲局部變量表,操作棧(記錄出棧、入棧的操作),動態鏈接,方法出口 等信息,每個方法被調用直到執行完畢的過程,對應著 棧幀 在 棧 的入棧和出棧的過程。

  局部變量表 存放了編譯期可知的各種基本數據類型(byte、short、int、long、float、double、boolean、char)、對象的引用( reference 類型,不等同於對象本身)和 returnAdress 類型(指向下一條字節碼指令的地址)。局部變量表 所需的內存空間在編譯期間完成分配,在方法運行之前,該局部變量表所需要的內存空間是固定的,運行期間也不會改變。

  棧幀是一個內存區塊,是一個數據集,是一個有關方法( Method ) 和運行期數據的數據集,當一個方法 A 被調用時就產生了一個棧幀 F1 ,並被壓入到棧中,A 方法又調用了 B 方法,於是產生棧幀 F2 也被壓入棧,執行完畢後,先彈出 F2 棧幀,再彈出 F1 棧幀,遵循 “先進後出” 原則。

4、本地方法棧

與 Stack 相似,Stack 為 JVM 提供執行 Java 方法的服務,本地方法棧 則為 JVM 提供使用 native 方法的服務。

5、程序計數器

程序計數器是一塊較小的內存區域,作用可以看做是當前線程執行的字節碼的位置指示器。分支、循環、跳轉、異常處理和線程恢復等基礎功能都需要依賴這個計數器來完成。

JVM 運行例子

我們來寫一個簡單的類,代碼如下:

public class JVMShowcase {  
    // 靜態類常量
    public final static String ClASS_CONST = "I'm a Const";  

    // 私有實例變量  
    private int instanceVar = 15;  

    public static void main(String[] args) {  

        // 調用靜態方法  
        runStaticMethod();  

        // 調用非靜態方法  
        JVMShowcase showcase = new JVMShowcase();  
        showcase.runNonStaticMethod(100);  
    }  

    // 常規靜態方法  
    public static String runStaticMethod() {  
        return ClASS_CONST;  
    }  

    // 非靜態方法  
    public int runNonStaticMethod(int parameter) {  
        int methodVar = this.instanceVar * parameter;  
        return methodVar;  
    }  
}

這個類沒有任何意義,不用猜測這個類是做什麽用的,只是寫一個比較典型的類,然後我們來看看 JVM 是如何運行的,也就是輸入 java JVMShowcase 後,我們來看 JVM 是如何處理的:

  • 第 1 步, 向操作系統申請空閑內存。JVM 對操作系統說 “給我 64M(隨便模擬數據,並不是真實數據) 空閑內存” ,於是,操作系統就查找自己的內存分配表,找了段 64M 的內存寫上 “Java 占用” 標簽,然後把內存段的起始地址和終止地址給 JVM, JVM 準備加載類文件。

  • 第 2 步,JVM 分配內存。JVM 獲得 64M 內存,就開始得瑟了,首先給 Heap 分配內存,然後給 Stack 也分配好。

  • 第 3 步,文件檢查 和 分析 class 文件。若發現有錯誤即返回錯誤。

  • 第 4 步,加載類。由於沒有指定加載器,JVM 默認使用 bootstrap 加載器,就把 rt.jar 下的所有類都加載,JVMShowcase 也被加載到內存中。我們來看看方法區,如下圖:(這時候包含了 main 方法和 runStaticMethod 方法的符號引用,因為它們都是靜態方法,在類加載的時候就會加載)

技術分享圖片

此時,Heap 是空,Stack 是空,因為還沒有對象的新建和線程被執行。

  • 第 5 步,執行方法。執行 main 方法。執行啟動一個線程,開始執行 main 方法,在 main 執行完畢前,方法區如下圖所示:
    (public final static String ClASS_CONST = "I‘m a Const"; )

技術分享圖片

在 方法區 加入了 CLASS_CONST 常量,它是在第一次被訪問時產生的(runStaticMethod方法內部)。

Heap 內存中有兩個對象 Object 和 showcase 對象,如下圖所示:(執行了JVMShowcase showcase = new JVMShowcase(); )

技術分享圖片

為什麽會有 Object 對象呢?因為它是 JVMShowcase 的父類,JVM 是先初始化父類,然後再初始化子類,不管有多少個父類都初始化。

在 Stack 內存中有三個棧幀,如下圖所示:

技術分享圖片

於此同時,還創建了一個程序計數器指向下一條要執行的語句。

  • 第 6 步,釋放內存。運行結束,JVM 向操作系統發送消息,說 “內存用完了,我還給你” ,運行結束。

本文永久更新地址:https://github.com/nnngu/LearningNotes/blob/master/JVM/01%20%E6%B7%B1%E5%85%A5%E7%90%86%E8%A7%A3JVM%E7%9A%84%E5%86%85%E5%AD%98%E5%8C%BA%E5%9F%9F.md

01 深入理解JVM的內存區域