第一章 JVM 內(nèi)存模型

Java 虛擬機(jī)(Java Virtual Machine=JVM)的內(nèi)存空間分為五個(gè)部分，分別是：程序計(jì)數(shù)器

Java 虛擬機(jī)棧

本地方法棧

堆

方法區(qū)。

下面對(duì)這五個(gè)區(qū)域展開深入的介紹。

1.1 程序計(jì)數(shù)器

1.1.1 什么是程序計(jì)數(shù)器？

程序計(jì)數(shù)器是一塊較小的內(nèi)存空間，可以把它看作當(dāng)前線程正在執(zhí)行的字節(jié)碼的行號(hào)指示器。也就是說，程序計(jì)數(shù)器里面記錄的是當(dāng)前線程正在執(zhí)行的那一條字節(jié)碼指令的地址。

注：但是，如果當(dāng)前線程正在執(zhí)行的是一個(gè)本地方法，那么此時(shí)程序計(jì)數(shù)器為空。

1.1.2 程序計(jì)數(shù)器的作用

程序計(jì)數(shù)器有兩個(gè)作用：字節(jié)碼解釋器通過改變程序計(jì)數(shù)器來依次讀取指令，從而實(shí)現(xiàn)代碼的流程控制，如：順序執(zhí)行、選擇、循環(huán)、異常處理。

在多線程的情況下，程序計(jì)數(shù)器用于記錄當(dāng)前線程執(zhí)行的位置，從而當(dāng)線程被切換回來的時(shí)候能夠知道該線程上次運(yùn)行到哪兒了。

1.1.3 程序計(jì)數(shù)器的特點(diǎn)是一塊較小的存儲(chǔ)空間

線程私有。每條線程都有一個(gè)程序計(jì)數(shù)器。

是唯一一個(gè)不會(huì)出現(xiàn)OutOfMemoryError的內(nèi)存區(qū)域。

生命周期隨著線程的創(chuàng)建而創(chuàng)建，隨著線程的結(jié)束而死亡。

1.2 Java虛擬機(jī)棧(JVM Stack)

1.2.1 什么是Java虛擬機(jī)棧？

Java虛擬機(jī)棧是描述Java方法運(yùn)行過程的內(nèi)存模型。

Java虛擬機(jī)棧會(huì)為每一個(gè)即將運(yùn)行的Java方法創(chuàng)建一塊叫做“棧幀”的區(qū)域，這塊區(qū)域用于存儲(chǔ)該方法在運(yùn)行過程中所需要的一些信息，這些信息包括：局部變量表 存放基本數(shù)據(jù)類型變量、引用類型的變量、returnAddress類型的變量。

操作數(shù)棧

動(dòng)態(tài)鏈接

方法出口信息

等

當(dāng)一個(gè)方法即將被運(yùn)行時(shí)，Java虛擬機(jī)棧首先會(huì)在Java虛擬機(jī)棧中為該方法創(chuàng)建一塊“棧幀”，棧幀中包含局部變量表、操作數(shù)棧、動(dòng)態(tài)鏈接、方法出口信息等。當(dāng)方法在運(yùn)行過程中需要?jiǎng)?chuàng)建局部變量時(shí)，就將局部變量的值存入棧幀的局部變量表中。

當(dāng)這個(gè)方法執(zhí)行完畢后，這個(gè)方法所對(duì)應(yīng)的棧幀將會(huì)出棧，并釋放內(nèi)存空間。

注意：人們常說，Java的內(nèi)存空間分為“?！焙汀岸选?#xff0c;棧中存放局部變量，堆中存放對(duì)象。

這句話不完全正確！這里的“堆”可以這么理解，但這里的“?！敝淮砹薐ava虛擬機(jī)棧中的局部變量表部分。真正的Java虛擬機(jī)棧是由一個(gè)個(gè)棧幀組成，而每個(gè)棧幀中都擁有：局部變量表、操作數(shù)棧、動(dòng)態(tài)鏈接、方法出口信息。

1.2.2 Java 虛擬機(jī)棧的特點(diǎn)

(1)局部變量表的創(chuàng)建是在方法被執(zhí)行的時(shí)候，隨著棧幀的創(chuàng)建而創(chuàng)建。而且，局部變量表的大小在編譯時(shí)期就確定下來了，在創(chuàng)建的時(shí)候只需分配事先規(guī)定好的大小即可。此外，在方法運(yùn)行的過程中局部變量表的大小是不會(huì)發(fā)生改變的。

(2)Java 虛擬機(jī)棧會(huì)出現(xiàn)兩種異常：StackOverFlowError 和 OutOfMemoryError。a) StackOverFlowError： 若Java虛擬機(jī)棧的內(nèi)存大小不允許動(dòng)態(tài)擴(kuò)展，那么當(dāng)線程請(qǐng)求棧的深度超過當(dāng)前Java虛擬機(jī)棧的最大深度的時(shí)候，就拋出StackOverFlowError異常。

b) OutOfMemoryError： 若Java虛擬機(jī)棧的內(nèi)存大小允許動(dòng)態(tài)擴(kuò)展，且當(dāng)線程請(qǐng)求棧時(shí)內(nèi)存用完了，無法再動(dòng)態(tài)擴(kuò)展了，此時(shí)拋出OutOfMemoryError異常。

(3)Java虛擬機(jī)棧也是線程私有的，每個(gè)線程都有各自的Java虛擬機(jī)棧，而且隨著線程的創(chuàng)建而創(chuàng)建，隨著線程的死亡而死亡。注：StackOverFlowError和OutOfMemoryError的異同？

StackOverFlowError表示當(dāng)前線程申請(qǐng)的棧超過了事先定好的棧的最大深度，但內(nèi)存空間可能還有很多。而OutOfMemoryError是指當(dāng)線程申請(qǐng)棧時(shí)發(fā)現(xiàn)棧已經(jīng)滿了，而且內(nèi)存也全都用光了。

1.3 本地方法棧

1.3.1 什么是本地方法棧？

本地方法棧和Java虛擬機(jī)棧實(shí)現(xiàn)的功能類似，只不過本地方法區(qū)是本地方法運(yùn)行的內(nèi)存模型。

本地方法被執(zhí)行的時(shí)候，在本地方法棧也會(huì)創(chuàng)建一個(gè)棧幀，用于存放該本地方法的局部變量表、操作數(shù)棧、動(dòng)態(tài)鏈接、出口信息。

方法執(zhí)行完畢后相應(yīng)的棧幀也會(huì)出棧并釋放內(nèi)存空間。

也會(huì)拋出StackOverFlowError和OutOfMemoryError異常。

1.4 堆

1.4.1 什么是堆？

堆是用來存放對(duì)象的內(nèi)存空間。 幾乎所有的對(duì)象都存儲(chǔ)在堆中。

1.4.2 堆的特點(diǎn)

(1)線程共享

整個(gè) Java 虛擬機(jī)只有一個(gè)堆，所有的線程都訪問同一個(gè)堆。而程序計(jì)數(shù)器、Java 虛擬機(jī)棧、本地方法棧都是一個(gè)線程對(duì)應(yīng)一個(gè)的。

(2)在虛擬機(jī)啟動(dòng)時(shí)創(chuàng)建。

(3)垃圾回收的主要場(chǎng)所。

(4)可以進(jìn)一步細(xì)分為：新生代、老年代。

新生代又可被分為：Eden、From Survior、To Survior。不同的區(qū)域存放具有不同生命周期的對(duì)象。這樣可以根據(jù)不同的區(qū)域使用不同的垃圾回收算法，從而更具有針對(duì)性，從而更高效。

(5)堆的大小既可以固定也可以擴(kuò)展，但主流的虛擬機(jī)堆的大小是可擴(kuò)展的，因此當(dāng)線程請(qǐng)求分配內(nèi)存，但堆已滿，且內(nèi)存已滿無法再擴(kuò)展時(shí)，就拋出 OutOfMemoryError。

1.5 方法區(qū)

1.5.1 什么是方法區(qū)？

Java 虛擬機(jī)規(guī)范中定義方法區(qū)是堆的一個(gè)邏輯部分。方法區(qū)中存放已經(jīng)被虛擬機(jī)加載的類信息、常量、靜態(tài)變量、即時(shí)編譯器編譯后的代碼等。

1.5.2 方法區(qū)的特點(diǎn)線程共享 方法區(qū)是堆的一個(gè)邏輯部分，因此和堆一樣，都是線程共享的。整個(gè)虛擬機(jī)中只有一個(gè)方法區(qū)。

永久代 方法區(qū)中的信息一般需要長期存在，而且它又是堆的邏輯分區(qū)，因此用堆的劃分方法，我們把方法區(qū)稱為老年代。

內(nèi)存回收效率低 方法區(qū)中的信息一般需要長期存在，回收一遍內(nèi)存之后可能只有少量信息無效。 對(duì)方法區(qū)的內(nèi)存回收的主要目標(biāo)是：對(duì)常量池的回收 和 對(duì)類型的卸載。

Java虛擬機(jī)規(guī)范對(duì)方法區(qū)的要求比較寬松。 和堆一樣，允許固定大小，也允許可擴(kuò)展的大小，還允許不實(shí)現(xiàn)垃圾回收。

1.5.3 什么是運(yùn)行時(shí)常量池？

方法區(qū)中存放三種數(shù)據(jù)：類信息、常量、靜態(tài)變量、即時(shí)編譯器編譯后的代碼。其中常量存儲(chǔ)在運(yùn)行時(shí)常量池中。

我們一般在一個(gè)類中通過public static final來聲明一個(gè)常量。這個(gè)類被編譯后便生成Class文件，這個(gè)類的所有信息都存儲(chǔ)在這個(gè)class文件中。

當(dāng)這個(gè)類被Java虛擬機(jī)加載后，class文件中的常量就存放在方法區(qū)的運(yùn)行時(shí)常量池中。而且在運(yùn)行期間，可以向常量池中添加新的常量。如：String類的intern()方法就能在運(yùn)行期間向常量池中添加字符串常量。

當(dāng)運(yùn)行時(shí)常量池中的某些常量沒有被對(duì)象引用，同時(shí)也沒有被變量引用，那么就需要垃圾收集器回收。

1.6 直接內(nèi)存

直接內(nèi)存是除Java虛擬機(jī)之外的內(nèi)存，但也有可能被Java使用。

在NIO中引入了一種基于通道和緩沖的IO方式。它可以通過調(diào)用本地方法直接分配Java虛擬機(jī)之外的內(nèi)存，然后通過一個(gè)存儲(chǔ)在Java堆中的DirectByteBuffer對(duì)象直接操作該內(nèi)存，而無需先將外面內(nèi)存中的數(shù)據(jù)復(fù)制到堆中再操作，從而提升了數(shù)據(jù)操作的效率。

直接內(nèi)存的大小不受Java虛擬機(jī)控制，但既然是內(nèi)存，當(dāng)內(nèi)存不足時(shí)就會(huì)拋出OOM異常。

1.7 綜上所述Java虛擬機(jī)的內(nèi)存模型中一共有兩個(gè)“?！?#xff0c;分別是：Java虛擬機(jī)棧和本地方法棧。 兩個(gè)“?！钡墓δ茴愃?#xff0c;都是方法運(yùn)行過程的內(nèi)存模型。并且兩個(gè)“?！眱?nèi)部構(gòu)造相同，都是線程私有。 只不過Java虛擬機(jī)棧描述的是Java方法運(yùn)行過程的內(nèi)存模型，而本地方法棧是描述Java本地方法運(yùn)行過程的內(nèi)存模型。

Java虛擬機(jī)的內(nèi)存模型中一共有兩個(gè)“堆”，一個(gè)是原本的堆，一個(gè)是方法區(qū)。方法區(qū)本質(zhì)上是屬于堆的一個(gè)邏輯部分。堆中存放對(duì)象，方法區(qū)中存放類信息、常量、靜態(tài)變量、即時(shí)編譯器編譯的代碼。

堆是Java虛擬機(jī)中最大的一塊內(nèi)存區(qū)域，也是垃圾收集器主要的工作區(qū)域。

程序計(jì)數(shù)器、Java虛擬機(jī)棧、本地方法棧是線程私有的，即每個(gè)線程都擁有各自的程序計(jì)數(shù)器、Java虛擬機(jī)棧、本地方法棧。并且他們的生命周期和所屬的線程一樣。 而堆、方法區(qū)是線程共享的，在Java虛擬機(jī)中只有一個(gè)堆、一個(gè)方法棧。并在JVM啟動(dòng)的時(shí)候就創(chuàng)建，JVM停止才銷毀。

第二章 揭開Java對(duì)象創(chuàng)建的奧秘

2.1 對(duì)象的創(chuàng)建過程

當(dāng)虛擬機(jī)遇到一條含有new的指令時(shí)，會(huì)進(jìn)行一系列對(duì)象創(chuàng)建的操作：

(1)檢查常量池中是否有即將要?jiǎng)?chuàng)建的這個(gè)對(duì)象所屬的類的符號(hào)引用；若常量池中沒有這個(gè)類的符號(hào)引用，說明這個(gè)類還沒有被定義！拋出ClassNotFoundException；

若常量池中有這個(gè)類的符號(hào)引用，則進(jìn)行下一步工作；

(2)進(jìn)而檢查這個(gè)符號(hào)引用所代表的類是否已經(jīng)被JVM加載；若該類還沒有被加載，就找該類的class文件，并加載進(jìn)方法區(qū)；

若該類已經(jīng)被JVM加載，則準(zhǔn)備為對(duì)象分配內(nèi)存；

(3)根據(jù)方法區(qū)中該類的信息確定該類所需的內(nèi)存大小；

一個(gè)對(duì)象所需的內(nèi)存大小是在這個(gè)對(duì)象所屬類被定義完就能確定的！且一個(gè)類所生產(chǎn)的所有對(duì)象的內(nèi)存大小是一樣的！JVM在一個(gè)類被加載進(jìn)方法區(qū)的時(shí)候就知道該類生產(chǎn)的每一個(gè)對(duì)象所需要的內(nèi)存大小。

(4)從堆中劃分一塊對(duì)應(yīng)大小的內(nèi)存空間給新的對(duì)象；分配堆中內(nèi)存有兩種方式：指針碰撞 如果JVM的垃圾收集器采用復(fù)制算法或標(biāo)記-整理算法，那么堆中空閑內(nèi)存是完整的區(qū)域，并且空閑內(nèi)存和已使用內(nèi)存之間由一個(gè)指針標(biāo)記。那么當(dāng)為一個(gè)對(duì)象分配內(nèi)存時(shí)，只需移動(dòng)指針即可。因此，這種在完整空閑區(qū)域上通過移動(dòng)指針來分配內(nèi)存的方式就叫做“指針碰撞”。

空閑列表 如果JVM的垃圾收集器采用標(biāo)記-清除算法，那么堆中空閑區(qū)域和已使用區(qū)域交錯(cuò)，因此需要用一張“空閑列表”來記錄堆中哪些區(qū)域是空閑區(qū)域，從而在創(chuàng)建對(duì)象的時(shí)候根據(jù)這張“空閑列表”找到空閑區(qū)域，并分配內(nèi)存。 綜上所述：JVM究竟采用哪種內(nèi)存分配方法，取決于它使用了何種垃圾收集器。

(5)為對(duì)象中的成員變量賦上初始值(默認(rèn)初始化)；

(6)設(shè)置對(duì)象頭中的信息；

(7)調(diào)用對(duì)象的構(gòu)造函數(shù)進(jìn)行初始化；

此時(shí)，整個(gè)對(duì)象的創(chuàng)建過程就完成了。

總結(jié)

以上是生活随笔為你收集整理的虚拟机 java 开发_深入浅出 Java 虚拟机 · 通往高级 Java 开发的必经之路的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。