本文轉(zhuǎn)載自微信公眾號(hào)「飛天小牛肉」，作者小牛肉。轉(zhuǎn)載本文請聯(lián)系飛天小牛肉公眾號(hào)。

數(shù)據(jù)庫系列吭哧吭哧寫得差不多了，準(zhǔn)備寒假看完 JVM，然后開學(xué)來看看框架背背八股就準(zhǔn)備秋招了。話不多說，JVM 第一個(gè)知識(shí)點(diǎn)必定要奉獻(xiàn)給 Java 程序運(yùn)行時(shí)的數(shù)據(jù)區(qū)域劃分。

老規(guī)矩，背誦版在文末。點(diǎn)擊閱讀原文可以直達(dá)我收錄整理的各大廠面試真題

JVM 運(yùn)行時(shí)數(shù)據(jù)區(qū)域總覽

JVM 在執(zhí)行 Java 程序的過程中(簡稱運(yùn)行時(shí))會(huì)把它所管理的內(nèi)存劃分為若干個(gè)不同的數(shù)據(jù)區(qū)域。這些區(qū)域有各自的用途，以及創(chuàng)建和銷毀的時(shí)間，有的區(qū)域隨著虛擬機(jī)進(jìn)程的啟動(dòng)而一直存在，有些區(qū)域則是依賴用戶線程的啟動(dòng)和結(jié)束而建立和銷毀。

根據(jù)《Java 虛擬機(jī)規(guī)范》的規(guī)定，Java 虛擬機(jī)所管理的內(nèi)存將會(huì)包括以下幾個(gè)運(yùn)行時(shí)數(shù)據(jù)區(qū)域，如下圖所示：

從圖中可以看到，線程共享的區(qū)域是方法區(qū)和堆，線程隔離(線程私有)的區(qū)域是虛擬機(jī)棧、本地方法棧和程序計(jì)數(shù)器。

簡單解釋下線程共享和線程私有是啥意思：

• 所謂線程私有，通俗來說就是每個(gè)線程都會(huì)創(chuàng)建一個(gè)屬于自己的空間，每個(gè)線程之間的這塊私有空間互不影響，獨(dú)立存儲(chǔ)。比如程序計(jì)數(shù)器就是線程私有的，每個(gè)線程都會(huì)擁有一個(gè)屬于自己的程序計(jì)數(shù)器，互不干涉。
• 線程共享就沒啥好說的，簡單理解為公共場所，誰都能去，存儲(chǔ)的數(shù)據(jù)所有線程都能訪問。

下面我們來分別解釋下這幾個(gè)數(shù)據(jù)區(qū)域 ??

線程私有：程序計(jì)數(shù)器 Program Counter Register

程序計(jì)數(shù)器是一塊較小的內(nèi)存空間，它可以看作是當(dāng)前線程所執(zhí)行的字節(jié)碼的行號(hào)指示器。字節(jié)碼解釋器工作時(shí)就是通過改變這個(gè)計(jì)數(shù)器的值來選取下一條需要執(zhí)行的字節(jié)碼指令，分支、循環(huán)、跳轉(zhuǎn)、異常處理、線程恢復(fù)等基礎(chǔ)功能都需要依賴這個(gè)計(jì)數(shù)器來完成。

由于 Java 虛擬機(jī)的多線程是通過線程輪流切換、分配處理器執(zhí)行時(shí)間的方式來實(shí)現(xiàn)的，在任何一個(gè)確定的時(shí)刻，一個(gè)處理器(對于多核處理器來說是一個(gè)內(nèi)核)都只會(huì)執(zhí)行一條線程中的指令。

因此，為了線程切換后能恢復(fù)到正確的執(zhí)行位置，每條線程都需要有一個(gè)獨(dú)立的程序計(jì)數(shù)器，各個(gè)線程之間的計(jì)數(shù)器互不影響。

那么程序計(jì)數(shù)器里存的到底是什么東西呢?

• 如果線程正在執(zhí)行的是一個(gè) Java 方法，這個(gè)計(jì)數(shù)器記錄的是正在執(zhí)行的虛擬機(jī)字節(jié)碼指令的地址
• 如果正在執(zhí)行的是本地(Native)方法，這個(gè)計(jì)數(shù)器值則應(yīng)為空(Undefined)。至于什么是 Native 方法，在本地方法棧那一小節(jié)會(huì)詳細(xì)解釋

注意!此內(nèi)存區(qū)域是唯一一個(gè)在《Java虛擬機(jī)規(guī)范》中沒有規(guī)定任何 OutOfMemoryError(內(nèi)存溢出)情況的區(qū)域。這個(gè)問題也算是一個(gè)比較常見的面試題了

線程私有：虛擬機(jī)棧 Java Virtual Machine Stack

虛擬機(jī)棧其實(shí)是由一個(gè)一個(gè)的 棧幀(Stack Frame) 組成的，一個(gè)棧幀描述的就是一個(gè) Java 方法執(zhí)行的內(nèi)存模型。也就是說每個(gè)方法在執(zhí)行的同時(shí)都會(huì)同步創(chuàng)建一個(gè)棧幀，用于存儲(chǔ)局部變量表、操作數(shù)棧、動(dòng)態(tài)鏈接、方法的返回地址等信息。

每一個(gè)方法被調(diào)用直至執(zhí)行完畢的過程，就對應(yīng)著一個(gè)棧幀在虛擬機(jī)棧中從入棧到出棧的過程。

其中，局部變量表存放了以下三種類型的數(shù)據(jù)：

• 編譯期可知的各種 Java 虛擬機(jī)的基本數(shù)據(jù)類型：boolean、byte、char、short、int、float、long、double
• 對象引用，reference 類型：它并不等同于對象本身，可能是一個(gè)指向?qū)ο笃鹗嫉刂返囊弥羔槪部赡苁侵赶蛞粋€(gè)代表對象的句柄或者其他與此對象相關(guān)的位置。(關(guān)于 reference 類型，具體涉及到對象的訪問定位的兩種方式，使用句柄訪問和使用直接指針訪問，這個(gè)在后續(xù)文章中會(huì)詳細(xì)介紹)
• returnAddress 類型：指向了一條字節(jié)碼指令的地址

這些數(shù)據(jù)類型在局部變量表中的存儲(chǔ)空間以 局部變量槽 (Slot) 來表示，或者說局部變量表的基本存儲(chǔ)單元是 Slot，JVM 為每一個(gè) Slot 都分配了一個(gè)訪問索引，通過這個(gè)索引就可以成功訪問到局部變量表中存儲(chǔ)的某個(gè)值。

其中，64 位長度的 long 和 double 類型的數(shù)據(jù)會(huì)占用兩個(gè) Slot，其余的數(shù)據(jù)類型都是 32 位只占用一個(gè)。

在《Java虛擬機(jī)規(guī)范》中，對虛擬機(jī)棧這個(gè)內(nèi)存區(qū)域規(guī)定了兩類異常狀況：

• 如果線程請求的棧深度大于虛擬機(jī)所允許的深度，將拋出 StackOverflowError 異常(棧溢出)
• 如果使用的 JVM 支持動(dòng)態(tài)擴(kuò)展虛擬機(jī)棧容量的話，當(dāng)棧擴(kuò)展時(shí)無法申請到足夠的內(nèi)存就會(huì)拋出 OutOfMemoryError 異常(內(nèi)存溢出)

線程私有：本地方法棧 Native Method Stacks

本地方法棧和上面我們所說的虛擬機(jī)棧作用基本一樣，區(qū)別只不過是本地方法棧為虛擬機(jī)使用到的 Native 方法服務(wù)，而虛擬機(jī)棧為虛擬機(jī)執(zhí)行 Java 方法(也就是字節(jié)碼)服務(wù)。

這里解釋一下 Native 方法的概念，其實(shí)不僅 Java，很多語言中都有這個(gè)概念。

"A native method is a Java method whose implementation is provided by non-java code."

就是說一個(gè) Native 方法其實(shí)就是一個(gè)接口，但是它的具體實(shí)現(xiàn)是在外部由非 Java 語言比如 C 或 C++ 等來寫的。Java 通過 JNI 來調(diào)用本地方法， 而本地方法是以庫文件的形式存放的(在 WINDOWS 平臺(tái)上是 DLL 文件形式，在 UNIX 機(jī)器上是 SO 文件形式)。

所以同一個(gè) Native 方法，如果用不同的虛擬機(jī)去調(diào)用它，那么得到的結(jié)果和運(yùn)行效率可能是不一樣的，因?yàn)椴煌奶摂M機(jī)對于某個(gè) Native 方法都有自己的實(shí)現(xiàn)，比如 Object 類的 hashCode 方法。

那么為什么需要 Native 方法呢?

其主要原因就是 Java 雖然使用起來很方便，但是有些層次的任務(wù)用 Java 實(shí)現(xiàn)起來不容易，或者對程序的效率有比較高的要求時(shí)，Java 語言可能并不是最好的選擇。所以 Native 方法使得 Java 程序能夠超越 Java 運(yùn)行時(shí)的界限，有效地?cái)U(kuò)充了 JVM。

與虛擬機(jī)棧一樣，本地方法棧也會(huì)在棧深度溢出或者棧擴(kuò)展失敗時(shí)分別拋出 StackOverflowError 和 OutOfMemoryError 異常

線程共享：堆 Heap

Java 堆是虛擬機(jī)所管理的內(nèi)存中最大的一塊。堆是被所有線程共享的一塊內(nèi)存區(qū)域，在虛擬機(jī)啟動(dòng)時(shí)創(chuàng)建。此內(nèi)存區(qū)域的唯一目的就是存放對象實(shí)例，“幾乎” 所有的對象實(shí)例都在這里分配內(nèi)存。

注意!這里我們用的是幾乎，技術(shù)發(fā)展至今，其實(shí)并非所有的對象實(shí)例都會(huì)分配到堆上，比如逃逸技術(shù)，這個(gè)我們后續(xù)文章我再做解釋~

堆是垃圾收集器管理的內(nèi)存區(qū)域，因此一些資料中它也被稱作 “GC 堆”(Garbage Collected Heap)。

對于堆這個(gè)概念小伙伴們肯定還聽說過各種諸如新生代、老年代、永久代、Eden 空間、From Survivor 空間、To Survivor 空間等名詞，需要注意的是，這些區(qū)域劃分僅僅是一部分垃圾收集器的共同特性或者說設(shè)計(jì)風(fēng)格而已，只是為了通過這種分代設(shè)計(jì)來更好地回收內(nèi)存，或者更快地分配內(nèi)存，而非某個(gè) Java 虛擬機(jī)具體實(shí)現(xiàn)的固有內(nèi)存布局，更不是《Java虛擬機(jī)規(guī)范》里對 Java 堆的進(jìn)一步細(xì)致劃分

根據(jù)《Java虛擬機(jī)規(guī)范》的規(guī)定，Java 堆可以處于物理上不連續(xù)的內(nèi)存空間中，但在邏輯上它應(yīng)該被視為連續(xù)的，這點(diǎn)就像我們用磁盤空間去存儲(chǔ)文件一樣，并不要求每個(gè)文件都連續(xù)存放。但對于大對象(典型的如數(shù)組對象)，多數(shù)虛擬機(jī)實(shí)現(xiàn)出于實(shí)現(xiàn)簡單、存儲(chǔ)高效的考慮，很可能會(huì)要求連續(xù)的內(nèi)存空間。

Java 堆既可以被實(shí)現(xiàn)成固定大小的，也可以是可擴(kuò)展的，當(dāng)前主流的 Java 虛擬機(jī)都是按照可擴(kuò)展來實(shí)現(xiàn)的(通過參數(shù) -Xmx 和 -Xms 設(shè)定)

如果在堆中沒有內(nèi)存來完成對象實(shí)例的分配，并且堆也無法再擴(kuò)展時(shí)，JVM 就會(huì)拋出 OutOfMemoryError 異常

線程共享：方法區(qū) Method Area

方法區(qū)通俗點(diǎn)理解就是，在虛擬機(jī)完成類加載之后，存儲(chǔ)這個(gè)類相關(guān)的類型信息、常量、靜態(tài)變量、即時(shí)編譯器編譯后的代碼緩存等數(shù)據(jù)。

It stores per-class structures such as the run-time constant pool, field and method data, and the code for methods and constructors, including the special methods used in class and instance initialization and interface initialization. 它存儲(chǔ)每個(gè)類的結(jié)構(gòu)，如運(yùn)行時(shí)的常量池、字段和方法數(shù)據(jù)，以及方法和構(gòu)造函數(shù)的代碼，包括類和實(shí)例初始化和接口初始化中使用的特殊方法

舉個(gè)簡單的小例子：

方法區(qū)其實(shí)本身很好理解，但是《Java 虛擬機(jī)規(guī)范》/ 《深入理解 Java 虛擬機(jī)》提到的一句話：方法區(qū)是堆的一個(gè)邏輯部分，真的是讓我困惑了很長時(shí)間。

下面我來結(jié)合我的理解給大家解釋下，我覺得這個(gè) “方法區(qū)是堆的一個(gè)邏輯部分” 應(yīng)該適用于 JDK 8 以前，而不適用 JDK 8

先來看 JDK 8 之前:

可以看到，JDK 8 之前，堆和方法區(qū)其實(shí)是連在一起的，或者說，方法區(qū)就是堆的一部分。

但是呢，方法區(qū)存儲(chǔ)的東西又有些特別，在過去自定義類加載器使用不普遍的時(shí)候，類幾乎是 “靜態(tài)的” 并且很少被卸載和回收，因此類也可以被看成 “永久的”(這也就是永久代的含義)，另外由于類作為 JVM 實(shí)現(xiàn)的一部分，它們不由程序來創(chuàng)建，所以為了和堆區(qū)分開來呢，就給了 “方法區(qū)” 這樣一個(gè)名字用來存儲(chǔ)類的信息，也有人把方法區(qū)稱為 “非堆”。

需要注意的是，無論是方法區(qū)還是非堆，其實(shí)都只是一個(gè)邏輯上的概念，在 JDK 8 之前，其具體的實(shí)現(xiàn)方法是永久代。

永久代是 HotSpot 虛擬機(jī)給出的實(shí)現(xiàn)，但是對于其他虛擬機(jī)實(shí)現(xiàn)，譬如 BEA JRockit、IBM J9 等來說，是不存在永久代的概念的。

永久代是一段連續(xù)的內(nèi)存空間，我們在 JVM 啟動(dòng)之前可以通過設(shè)置 -XX:MaxPermSize 的值來控制永久代的大小，32 位機(jī)器默認(rèn)的永久代的大小為 64M，64 位的機(jī)器則為 85M。

永久代的垃圾回收和老年代的垃圾回收是綁定的，一旦其中一個(gè)區(qū)域被占滿，這兩個(gè)區(qū)都要進(jìn)行垃圾回收。

顯然這種設(shè)計(jì)并不是一個(gè)好的主意，由于我們可以通過 ?XX:MaxPermSize 設(shè)置永久代的大小，一旦類的元數(shù)據(jù)超過了設(shè)定的大小，程序就會(huì)耗盡內(nèi)存，并出現(xiàn)內(nèi)存溢出錯(cuò)誤 (java.lang.OutOfMemoryError: PermGen space)。

而且有極少數(shù)的方法(例如適用 String的 intern()方法可以在運(yùn)行過程中手動(dòng)的將字符串添加到 字符串常量池中，在 JDK1.7 之前的 HotSpot 虛擬機(jī)中，字符串常量池被存儲(chǔ)在永久代中)會(huì)因永久代的原因而導(dǎo)致不同虛擬機(jī)下有不同的表現(xiàn)

所以我們總結(jié)下 HotSpots 在 JDK 8 拋棄永久代，轉(zhuǎn)而用元空間來實(shí)現(xiàn)方法區(qū)的兩大原因：

• 由于永久代的垃圾回收和老年代的垃圾回收是綁定的，一旦其中一個(gè)區(qū)域被占滿，這兩個(gè)區(qū)都要進(jìn)行垃圾回收，增大了 OOM 發(fā)生的概率
• 有少數(shù)的方法例如 String 的 intern() 方法會(huì)因永久代的原因而導(dǎo)致不同虛擬機(jī)下有不同的表現(xiàn)，不利于代碼遷移

那么元空間到底是個(gè)啥，和方法區(qū)有啥區(qū)別?

元空間與永久代之間最大的區(qū)別在于：元空間不再與堆連續(xù)，并且是存在于本地內(nèi)存(Native memory)中的。

運(yùn)行時(shí)數(shù)據(jù)區(qū)域的對比如下圖：

元空間存在于本地內(nèi)存，意味著只要本地內(nèi)存足夠，它就不會(huì) OOM，不會(huì)出現(xiàn)像永久代中的 java.lang.OutOfMemoryError: PermGenspace

運(yùn)行時(shí)常量池 Runtime Constant Pool

運(yùn)行時(shí)常量池是方法區(qū)的一部分。上面我們說過方法區(qū)包含類信息，而描述類信息的 Class 文件中除了有類的版本、字段、方法、接口等描述信息外，還有一項(xiàng)信息是常量池表 (Constant Pool Table)，用于存放編譯期生成的各種字面量(字面量相當(dāng)于 Java 語言層面常量的概念，如文本字符串，聲明為 final 的常量值等)與符號(hào)引用。有一些文章會(huì)把 class 常量池表稱為靜態(tài)常量池。

都是常量池，常量池表和運(yùn)行時(shí)常量池有啥關(guān)系嗎?運(yùn)行時(shí)常量池是干嘛的呢?

運(yùn)行時(shí)常量池可以在運(yùn)行期間將 class 常量池表中的符號(hào)引用解析為直接引用。簡單來說，class 常量池表就相當(dāng)于一堆索引，運(yùn)行時(shí)常量池根據(jù)這些索引來查找對應(yīng)方法或字段所屬的類型信息和名稱及描述符信息

為什么需要常量池這個(gè)東西呢?主要是為了避免頻繁的創(chuàng)建和銷毀對象而影響系統(tǒng)性能，其實(shí)現(xiàn)了對象的共享。以字符串常量池為例，字符串 String 既然作為 Java 中的一個(gè)類，那么它和其他的對象分配一樣，需要耗費(fèi)高昂的時(shí)間與空間代價(jià)，作為最基礎(chǔ)最常用的數(shù)據(jù)類型，大量頻繁的創(chuàng)建字符串，將會(huì)極大程度的影響程序的性能。為此，JVM 為了提高性能和減少內(nèi)存開銷，在實(shí)例化字符串常量的時(shí)候進(jìn)行了一些優(yōu)化：

• 為字符串開辟了一個(gè)字符串常量池 String Pool，可以理解為緩存區(qū)
• 創(chuàng)建字符串常量時(shí)，首先檢查字符串常量池中是否存在該字符串
• 若字符串常量池中存在該字符串，則直接返回該引用實(shí)例，無需重新實(shí)例化;若不存在，則實(shí)例化該字符串并放入池中。

需要注意的是，字符串常量池的位置在 JDK 1.7 前后有所變化，可以參考下面這張表：

最后放上這道題的背誦版：

 面試官：講一下 JVM 運(yùn)行時(shí)數(shù)據(jù)區(qū)域

小牛肉：JVM 在執(zhí)行 Java 程序的過程中會(huì)把它所管理的內(nèi)存劃分為若干個(gè)不同的數(shù)據(jù)區(qū)域。線程共享的區(qū)域是方法區(qū)和堆，線程私有的區(qū)域是虛擬機(jī)棧、本地方法棧和程序計(jì)數(shù)器。

所謂線程私有就是每個(gè)線程都會(huì)創(chuàng)建一個(gè)屬于自己的空間，每個(gè)線程之間的這塊私有空間互不影響，獨(dú)立存儲(chǔ)。

先來說線程私有的三個(gè)區(qū)域：

程序計(jì)數(shù)器：程序計(jì)數(shù)器是一塊較小的內(nèi)存空間，它可以看作是當(dāng)前線程所執(zhí)行的字節(jié)碼的行號(hào)指示器。字節(jié)碼解釋器工作時(shí)就是通過改變這個(gè)計(jì)數(shù)器的值來選取下一條需要執(zhí)行的字節(jié)碼指令，分支、循環(huán)、跳轉(zhuǎn)、異常處理、線程恢復(fù)等基礎(chǔ)功能都需要依賴這個(gè)計(jì)數(shù)器來完成。

這個(gè)內(nèi)存區(qū)域是唯一一個(gè)在《Java 虛擬機(jī)規(guī)范》中沒有規(guī)定任何 OutOfMemoryError 情況的區(qū)域。

虛擬機(jī)棧：虛擬機(jī)棧其實(shí)是由一個(gè)一個(gè)的棧幀(Stack Frame)組成的，一個(gè)棧幀描述的就是一個(gè) Java 方法執(zhí)行的內(nèi)存模型。也就是說每個(gè)方法在執(zhí)行的同時(shí)都會(huì)同步創(chuàng)建一個(gè)棧幀，用于存儲(chǔ)局部變量表、操作數(shù)棧、動(dòng)態(tài)鏈接、方法的返回地址等信息。每一個(gè)方法被調(diào)用直至執(zhí)行完畢的過程，就對應(yīng)著一個(gè)棧幀在虛擬機(jī)棧中從入棧到出棧的過程。

虛擬機(jī)棧這個(gè)內(nèi)存區(qū)域有兩種異常狀況：

• 如果線程請求的棧深度大于虛擬機(jī)所允許的深度，將拋出 StackOverflowError 異常(棧溢出)
• 如果使用的 JVM 支持動(dòng)態(tài)擴(kuò)展虛擬機(jī)棧容量的話，當(dāng)棧擴(kuò)展時(shí)無法申請到足夠的內(nèi)存就會(huì)拋出 OutOfMemoryError 異常(內(nèi)存溢出)

本地方法棧：本地方法棧和虛擬機(jī)棧作用基本一樣，區(qū)別只不過是本地方法棧為虛擬機(jī)使用到的 Native 方法服務(wù)，而虛擬機(jī)棧為虛擬機(jī)執(zhí)行 Java 方法(也就是字節(jié)碼)服務(wù)

本地方法棧也會(huì)在棧深度溢出或者棧擴(kuò)展失敗時(shí)分別拋出 StackOverflowError 和 OutOfMemoryError 異常

再來說線程共享的兩個(gè)區(qū)域：

堆：Java 堆是虛擬機(jī)所管理的內(nèi)存中最大的一塊。堆是被所有線程共享的一塊內(nèi)存區(qū)域，在虛擬機(jī)啟動(dòng)時(shí)創(chuàng)建。此內(nèi)存區(qū)域的唯一目的就是存放對象實(shí)例，“幾乎” 所有 new 出來的對象實(shí)例都在這里分配內(nèi)存。

Java 堆既可以被實(shí)現(xiàn)成固定大小的，也可以是可擴(kuò)展的，如果在堆中沒有內(nèi)存來完成對象實(shí)例的分配，并且堆也無法再擴(kuò)展時(shí)，JVM 就會(huì)拋出 OutOfMemoryError 異常

方法區(qū)：方法區(qū)就是在虛擬機(jī)完成類加載之后，存儲(chǔ)這個(gè)類相關(guān)的類型信息、常量、靜態(tài)變量、即時(shí)編譯器編譯后的代碼緩存等數(shù)據(jù)。

在 JDK 8 之前，堆和方法區(qū)其實(shí)是連在一起的，或者說方法區(qū)其實(shí)就是堆的一部分，HotSpot 虛擬機(jī)給出的具體實(shí)現(xiàn)是永久代，永久代是一個(gè)連續(xù)的內(nèi)存空間，由于永久代的垃圾回收和老年代的垃圾回收是綁定的，一旦其中一個(gè)區(qū)域被占滿，這兩個(gè)區(qū)都要進(jìn)行垃圾回收，增大了 OOM 發(fā)生的概率，另外，有少數(shù)的方法例如 String 的 intern() 方法會(huì)因永久代的原因而導(dǎo)致不同虛擬機(jī)下有不同的表現(xiàn)，不利于代碼遷移。這兩個(gè)原因呢，促使 HotSpots 在 JDK 8 之后將方法區(qū)的實(shí)現(xiàn)更換成了元空間。

元空間與永久代之間最大的區(qū)別在于：元空間不再與堆連續(xù)，并且是存在于本地內(nèi)存(Native memory)中的，這意味著只要本地內(nèi)存足夠，它就不會(huì)發(fā)生 OOM