史上最詳細(xì)JVM,Java內(nèi)存區(qū)域講解-創(chuàng)新互聯(lián)

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

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

十年的銀海網(wǎng)站建設(shè)經(jīng)驗(yàn),針對設(shè)計、前端、開發(fā)、售后、文案、推廣等六對一服務(wù),響應(yīng)快,48小時及時工作處理。成都營銷網(wǎng)站建設(shè)的優(yōu)勢是能夠根據(jù)用戶設(shè)備顯示端的尺寸不同,自動調(diào)整銀海建站的顯示方式,使網(wǎng)站能夠適用不同顯示終端,在瀏覽器中調(diào)整網(wǎng)站的寬度,無論在任何一種瀏覽器上瀏覽網(wǎng)站,都能展現(xiàn)優(yōu)雅布局與設(shè)計,從而大程度地提升瀏覽體驗(yàn)。創(chuàng)新互聯(lián)從事“銀海網(wǎng)站設(shè)計”,“銀海網(wǎng)站推廣”以來,每個客戶項目都認(rèn)真落實(shí)執(zhí)行。

史上最詳細(xì)JVM,Java內(nèi)存區(qū)域講解

程序計數(shù)器(Program Counter Register)

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

程序計數(shù)器是一塊“線程私有”的內(nèi)存,如上文的圖所示,每條線程都有一個獨(dú)立的程序計數(shù)器,各條線程之間的計數(shù)器互不影響,獨(dú)立存儲。這樣設(shè)計使得在多線程環(huán)境下,線程切換后能恢復(fù)到正確的執(zhí)行位置。

如果線程正在執(zhí)行的是一個Java方法,這個計數(shù)器記錄的是正在執(zhí)行的虛擬機(jī)字節(jié)碼指令的地址;若執(zhí)行的是Native方法,則計數(shù)器為空(Undefined)(因?yàn)閷τ贜ative方法而言,它的方法體并不是由Java字節(jié)碼構(gòu)成的,自然無法應(yīng)用上述的“字節(jié)碼指令的地址”的概念)。程序計數(shù)器也是唯一一個在Java虛擬機(jī)規(guī)范中沒有規(guī)定任何OutOfMemoryError情況的內(nèi)存區(qū)域。

Java虛擬機(jī)棧(Java Virtual Machine Stacks)

Java虛擬機(jī)棧(Java Virtual Machine Stacks)描述的是Java方法執(zhí)行的內(nèi)存模型:每個方法在執(zhí)行的同時都會創(chuàng)建一個棧幀(Stack Frame),棧幀中存儲著局部變量表、操作數(shù)棧、動態(tài)鏈接、方法出口等信息。每一個方法從調(diào)用直至執(zhí)行完成的過程,會對應(yīng)一個棧幀在虛擬機(jī)棧中入棧到出棧的過程。與程序計數(shù)器一樣,Java虛擬機(jī)棧也是線程私有的。

函數(shù)的調(diào)用有完美的嵌套關(guān)系——調(diào)用者的生命期總是長于被調(diào)用者的生命期,并且后者在前者的之內(nèi)。這樣,被調(diào)用者的局部信息所占空間的分配總是后于調(diào)用者的(后入),而其釋放則總是先于調(diào)用者的(先出),所以正好可以滿足棧的LIFO順序,選用棧這種數(shù)據(jù)結(jié)構(gòu)來實(shí)現(xiàn)調(diào)用棧是一種很自然的選擇。

局部變量表中存放了編譯期可知的各種:

  • 基本數(shù)據(jù)類型(boolen、byte、char、short、int、 float、 long、double)

  • 對象引用(reference類型,它不等于對象本身,可能是一個指向?qū)ο笃鹗嫉刂返闹羔?,也可能是指向一個代表對象的句柄或其他與此對象相關(guān)的位置)

  • returnAddress類型(指向了一條字節(jié)碼指令的地址)

其中64位長度的long和double類型的數(shù)據(jù)會占用2個局部變量空間(Slot),其余數(shù)據(jù)類型只占用1個。局部變量表所需的內(nèi)存空間在編譯期間完成分配,當(dāng)進(jìn)入一個方法時,這個方法需要在幀中分配多大的局部變量空間是完全確定的,在方法運(yùn)行期間不會改變局部變量表的大小。

Java虛擬機(jī)規(guī)范中對這個區(qū)域規(guī)定了兩種異常狀況:

  • StackOverflowError:線程請求的棧深度大于虛擬機(jī)所允許的深度,將會拋出此異常。

  • OutOfMemoryError:當(dāng)可動態(tài)擴(kuò)展的虛擬機(jī)棧在擴(kuò)展時無法申請到足夠的內(nèi)存,就會拋出該異常。

本地方法棧(Native Method Stack)

本地方法棧(Native Method Stack)與Java虛擬機(jī)棧作用很相似,它們的區(qū)別在于虛擬機(jī)棧為虛擬機(jī)執(zhí)行Java方法(即字節(jié)碼)服務(wù),而本地方法棧則為虛擬機(jī)使用到的Native方法服務(wù)。

在虛擬機(jī)規(guī)范中對本地方法棧中使用的語言、方式和數(shù)據(jù)結(jié)構(gòu)并無強(qiáng)制規(guī)定,因此具體的虛擬機(jī)可實(shí)現(xiàn)它。甚至有的虛擬機(jī)(Sun HotSpot虛擬機(jī))直接把本地方法棧和虛擬機(jī)棧合二為一。與虛擬機(jī)一樣,本地方法棧會拋出StackOverflowError和OutOfMemoryError異常。

Java堆(Heap)

對于大多數(shù)應(yīng)用而言,Java堆(Heap)是Java虛擬機(jī)所管理的內(nèi)存中大的一塊,它被所有線程共享的,在虛擬機(jī)啟動時創(chuàng)建。此內(nèi)存區(qū)域唯一的目的是存放對象實(shí)例,幾乎所有的對象實(shí)例都在這里分配內(nèi)存,且每次分配的空間是不定長的。在Heap 中分配一定的內(nèi)存來保存對象實(shí)例,實(shí)際上只是保存對象實(shí)例的屬性值,屬性的類型和對象本身的類型標(biāo)記等,并不保存對象的方法(方法是指令,保存在Stack中),在Heap 中分配一定的內(nèi)存保存對象實(shí)例和對象的序列化比較類似。對象實(shí)例在Heap 中分配好以后,需要在Stack中保存一個4字節(jié)的Heap 內(nèi)存地址,用來定位該對象實(shí)例在Heap 中的位置,便于找到該對象實(shí)例。

Java虛擬機(jī)規(guī)范中描述道:所有的對象實(shí)例以及數(shù)組都要在堆上分配,但是隨著JIT編譯器的發(fā)展和逃逸分析技術(shù)逐漸成熟,棧上分配、標(biāo)量替換優(yōu)化技術(shù)將會導(dǎo)致一些微妙的變化發(fā)生,所有的對象都在堆上分配的定論也并不“絕對”了。

Java堆是垃圾收集器管理的主要區(qū)域,因此也被稱為“GC堆(Garbage Collected Heap)”。從內(nèi)存回收的角度看內(nèi)存空間可如下劃分:

史上最詳細(xì)JVM,Java內(nèi)存區(qū)域講解

  • 新生代(Young): 新生成的對象優(yōu)先存放在新生代中,新生代對象朝生夕死,存活率很低。在新生代中,常規(guī)應(yīng)用進(jìn)行一次垃圾收集一般可以回收70% ~ 95% 的空間,回收效率很高。新生代又可細(xì)分為Eden空間、From Survivor空間、To Survivor空間,默認(rèn)比例為8:1:1。它們的具體作用將在下一篇文章講解GC時介紹。

  • 老年代(Tenured/Old):在新生代中經(jīng)歷了多次(具體看虛擬機(jī)配置的閥值)GC后仍然存活下來的對象會進(jìn)入老年代中。老年代中的對象生命周期較長,存活率比較高,在老年代中進(jìn)行GC的頻率相對而言較低,而且回收的速度也比較慢。

  • 永久代(Perm):永久代存儲類信息、常量、靜態(tài)變量、即時編譯器編譯后的代碼等數(shù)據(jù),對這一區(qū)域而言,Java虛擬機(jī)規(guī)范指出可以不進(jìn)行垃圾收集,一般而言不會進(jìn)行垃圾回收。

其中新生代和老年代組成了Java堆的全部內(nèi)存區(qū)域,而永久代不屬于堆空間,它在JDK 1.8以前被Sun HotSpot虛擬機(jī)用作方法區(qū)的實(shí)現(xiàn),關(guān)于方法區(qū)的具體內(nèi)容將在稍后介紹。

方法區(qū)(Method Area)

方法區(qū)(Method Area)與Java堆一樣,是各個線程共享的內(nèi)存區(qū)域。Object Class Data(類定義數(shù)據(jù))是存儲在方法區(qū)的,此外,常量、靜態(tài)變量、JIT編譯后的代碼也存儲在方法區(qū)。正因?yàn)榉椒▍^(qū)所存儲的數(shù)據(jù)與堆有一種類比關(guān)系,所以它還被稱為?Non-Heap。

JDK 1.8以前的永久代(PermGen)

Java虛擬機(jī)規(guī)范對方法區(qū)的限制非常寬松,除了和Java堆一樣不需要連續(xù)的內(nèi)存和可以選擇固定大小或者可擴(kuò)展外,還可以選擇不實(shí)現(xiàn)垃圾收集,也就是說,Java虛擬機(jī)規(guī)范只是規(guī)定了方法區(qū)的概念和它的作用,并沒有規(guī)定如何去實(shí)現(xiàn)它。對于JDK 1.8之前的版本,HotSpot虛擬機(jī)設(shè)計團(tuán)隊選擇把GC分代收集擴(kuò)展至方法區(qū),即用永久代來實(shí)現(xiàn)方法區(qū),這樣HotSpot的垃圾收集器可以像管理Java堆一樣管理這部分內(nèi)存,能夠省去專門為方法區(qū)編寫內(nèi)存管理代碼的工作。對于其他的虛擬機(jī)(如Oracle JRockit、IBM J9等)來說是不存在永久代的概念的。

如果運(yùn)行時有大量的類產(chǎn)生,可能會導(dǎo)致方法區(qū)被填滿,直至溢出。常見的應(yīng)用場景如:

  • Spring和ORM框架使用CGLib操縱字節(jié)碼對類進(jìn)行增強(qiáng),增強(qiáng)的類越多,就需要越大的方法區(qū)來保證動態(tài)生成的Class可以加載入內(nèi)存。

  • 大量JSP或動態(tài)產(chǎn)生JSP文件的應(yīng)用(JSP第一次運(yùn)行時需要編譯為Java類)。

  • 基于OSGi的應(yīng)用(即使是同一個類文件,被不同的類加載器加載也會視為不同的類)。 ……

這些都會導(dǎo)致方法區(qū)溢出,報出java.lang.OutOfMemoryError: PermGen space。

JDK 1.8的元空間(Metaspace)

在JDK 1.8中,HotSpot虛擬機(jī)設(shè)計團(tuán)隊為了促進(jìn)HotSpot與?JRockit的融合,修改了方法區(qū)的實(shí)現(xiàn),移除了永久代,選擇使用本地化的內(nèi)存空間(而不是JVM的內(nèi)存空間)存放類的元數(shù)據(jù),這個空間叫做元空間(Metaspace)。

做了這個改動以后,java.lang.OutOfMemoryError: PermGen的空間問題將不復(fù)存在,并且不再需要調(diào)整和監(jiān)控這個內(nèi)存空間。且虛擬機(jī)需要為方法區(qū)設(shè)計額外的GC策略:如果類元數(shù)據(jù)的空間占用達(dá)到參數(shù)“MaxMetaspaceSize”設(shè)置的值,將會觸發(fā)對死亡對象和類加載器的垃圾回收。 為了限制垃圾回收的頻率和延遲,適當(dāng)?shù)谋O(jiān)控和調(diào)優(yōu)元空間是非常有必要的。元空間過多的垃圾收集可能表示類、類加載器內(nèi)存泄漏或?qū)δ愕膽?yīng)用程序來說空間太小了。

元空間的內(nèi)存管理由元空間虛擬機(jī)來完成。先前,對于類的元數(shù)據(jù)我們需要不同的垃圾回收器進(jìn)行處理,現(xiàn)在只需要執(zhí)行元空間虛擬機(jī)的C++代碼即可完成。在元空間中,類和其元數(shù)據(jù)的生命周期和其對應(yīng)的類加載器是相同的。話句話說,只要類加載器存活,其加載的類的元數(shù)據(jù)也是存活的,因而不會被回收掉。

我們從行文到現(xiàn)在提到的元空間稍微有點(diǎn)不嚴(yán)謹(jǐn)。準(zhǔn)確的來說,每一個類加載器的存儲區(qū)域都稱作一個元空間,所有的元空間合在一起就是我們一直說的元空間。當(dāng)一個類加載器被垃圾回收器標(biāo)記為不再存活,其對應(yīng)的元空間會被回收。在元空間的回收過程中沒有重定位和壓縮等操作。但是元空間內(nèi)的元數(shù)據(jù)會進(jìn)行掃描來確定Java引用。

元空間虛擬機(jī)負(fù)責(zé)元空間的分配,其采用的形式為組塊分配。組塊的大小因類加載器的類型而異。在元空間虛擬機(jī)中存在一個全局的空閑組塊列表。當(dāng)一個類加載器需要組塊時,它就會從這個全局的組塊列表中獲取并維持一個自己的組塊列表。當(dāng)一個類加載器不再存活,那么其持有的組塊將會被釋放,并返回給全局組塊列表。類加載器持有的組塊又會被分成多個塊,每一個塊存儲一個單元的元信息。組塊中的塊是線性分配(指針碰撞分配形式)。組塊分配自內(nèi)存映射區(qū)域。這些全局的虛擬內(nèi)存映射區(qū)域以鏈表形式連接,一旦某個虛擬內(nèi)存映射區(qū)域清空,這部分內(nèi)存就會返回給操作系統(tǒng)。

史上最詳細(xì)JVM,Java內(nèi)存區(qū)域講解

上圖展示的是虛擬內(nèi)存映射區(qū)域如何進(jìn)行元組塊的分配。類加載器1和3表明使用了反射或者為匿名類加載器,他們使用了特定大小組塊。 而類加載器2和4根據(jù)其內(nèi)部條目的數(shù)量使用小型或者中型的組塊。

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

運(yùn)行時常量池(Runtime Constant Pool)是方法區(qū)的一部分。Class文件中除了有類的版本、字段、方法、接口等描述信息外,還有一項信息是常量池(Constant Pool Table),用于存放編譯期生成的各種字面量和符號引用,這部分內(nèi)容將在類加載后進(jìn)入方法區(qū)的運(yùn)行時常量池存放。

Java虛擬機(jī)對Class文件每一部分(自然包括常量池)的格式有嚴(yán)格規(guī)定,每一個字節(jié)用于存儲那種數(shù)據(jù)都必須符合規(guī)范上的要求才會被虛擬機(jī)認(rèn)可、裝載和執(zhí)行。但對于運(yùn)行時常量池,Java虛擬機(jī)規(guī)范沒有做任何有關(guān)細(xì)節(jié)的要求,不同的提供商實(shí)現(xiàn)的虛擬機(jī)可以按照自己的需求來實(shí)現(xiàn)此內(nèi)存區(qū)域。不過一般而言,除了保存Class文件中的描述符號引用外,還會把翻譯出的直接引用也存儲在運(yùn)行時常量池中。

運(yùn)行時常量池相對于Class文件常量池的另外一個重要特征是具備動態(tài)性,Java語言并不要求常量一定只有編譯器才能產(chǎn)生,也就是并非置入Class文件中的常量池的內(nèi)容才能進(jìn)入方法區(qū)運(yùn)行時常量池,運(yùn)行期間也可能將新的常量放入池中,此特性被開發(fā)人員利用得比較多的便是String類的intern()方法。

直接內(nèi)存

直接內(nèi)存(Direct Memory)并不是虛擬機(jī)運(yùn)行時數(shù)據(jù)區(qū)的一部分,也不是Java虛擬機(jī)規(guī)范中定義的內(nèi)存區(qū)域。但這部分內(nèi)存也被頻繁運(yùn)用,而卻可能導(dǎo)致OutOfMemoryError異常出現(xiàn),所以這里放到一起講解。

以NIO(New Input/Output)類為例,NIO引入了一種基于通道(Channel)與緩沖區(qū)(Buffer)的I/O方式,它可以使用Native函數(shù)庫直接分配堆外內(nèi)存,然后通過一個存儲在Java堆中的DirectByteBuffer對象作為這塊內(nèi)存的引用進(jìn)行操作。這樣能避免在Java堆和Native堆中來回復(fù)制數(shù)據(jù),在一些場景里顯著提高性能。

本機(jī)直接內(nèi)存的分配不會受到Java堆大小的限制,但是既然是內(nèi)存,還是會受到本機(jī)總內(nèi)存(包括RAM以及SWAP區(qū)或分頁文件)大小以及處理器尋址空間的限制。服務(wù)器管理員在配置虛擬機(jī)參數(shù)時,會根據(jù)實(shí)際內(nèi)存設(shè)置-Xmx等參數(shù)信息,但經(jīng)常忽略直接內(nèi)存,使得各個內(nèi)存區(qū)域總和大于物理內(nèi)存限制(包括物理的和操作系統(tǒng)的限制),從而導(dǎo)致動態(tài)擴(kuò)展時出現(xiàn)OutOfMemoryError異常。

HotSpot中的對象

對象的創(chuàng)建

Java的對象創(chuàng)建大致有如下四種方式:

  • new關(guān)鍵字?這應(yīng)該是我們最常見和最常用最簡單的創(chuàng)建對象的方式。

  • 使用newInstance()方法?這里包括Class類的newInstance()方法和Constructor類的newInstance()方法(前者其實(shí)也是調(diào)用的后者)。

  • 使用clone()方法?要使用clone()方法我們必須實(shí)現(xiàn)實(shí)現(xiàn)Cloneable接口,用clone()方法創(chuàng)建對象并不會調(diào)用任何構(gòu)造函數(shù)。即我們所說的淺拷貝。

  • 反序列化?要實(shí)現(xiàn)反序列化我們需要讓我們的類實(shí)現(xiàn)Serializable接口。當(dāng)我們序列化和反序列化一個對象,JVM會給我們創(chuàng)建一個單獨(dú)的對象,在反序列化時,JVM創(chuàng)建對象并不會調(diào)用任何構(gòu)造函數(shù)。即我們所說的深拷貝。

上面的四種創(chuàng)建對象的方法除了第一種使用new指令之外,其他三種都是使用invokespecial(構(gòu)造函數(shù)的直接調(diào)用)。這里我們只說new創(chuàng)建對象的方式,關(guān)于invokespecial的內(nèi)容將在后續(xù)文章中介紹。下面我們來看看當(dāng)虛擬機(jī)遇到new指令的時候?qū)ο笫侨绾蝿?chuàng)建的。

1. 類加載檢查

虛擬機(jī)遇到一條new指令時,首先將去檢查這個指令的參數(shù)是否能在常量池中定位到一個類的符號引用,并且檢查這個符號引用代表的類是否已被加載、解析和初始化過的,如果沒有,則必須先執(zhí)行相應(yīng)的類加載過程,關(guān)于類加載機(jī)制和類加載器的詳細(xì)內(nèi)容將在后續(xù)文章中介紹。

2. 分配內(nèi)存

在類加載檢查通過后,虛擬機(jī)就將為新生對象分配內(nèi)存。對象所需內(nèi)存的大小在類加載完成后便可完全確定(如何確定在下一節(jié)對象內(nèi)存布局時再詳細(xì)講解),為對象分配空間的任務(wù)具體便等同于從Java堆中劃出一塊大小確定的內(nèi)存空間,可以分如下兩種情況討論:

  • Java堆中內(nèi)存絕對規(guī)整?所有用過的內(nèi)存都被放在一邊,空閑的內(nèi)存被放在另一邊,中間放著一個指針作為分界點(diǎn)的指示器,那所分配內(nèi)存就僅僅是把那個指針向空閑空間那邊挪動一段與對象大小相等的距離,這種分配方式稱為“指針碰撞”(Bump The Pointer)。

  • Java堆中的內(nèi)存不規(guī)整?已被使用的內(nèi)存和空閑的內(nèi)存相互交錯,那就沒有辦法簡單的進(jìn)行指針碰撞了,虛擬機(jī)就必須維護(hù)一個列表,記錄哪些內(nèi)存塊是可用的,在分配的時候從列表中找到一塊足夠大的空間劃分給對象實(shí)例,并更新列表上的記錄,這種分配方式稱為“空閑列表”(Free List)。

選擇哪種分配方式由Java堆是否規(guī)整決定,而Java堆是否規(guī)整又由所采用的垃圾收集器是否帶有壓縮整理功能決定。因此在使用Serial、ParNew等帶Compact過程的收集器時,系統(tǒng)采用的分配算法是指針碰撞,而使用CMS這種基于Mark-Sweep算法的收集器時(說明一下,CMS收集器可以通過UseCMSCompactAtFullCollection或CMSFullGCsBeforeCompaction來整理內(nèi)存),就通常采用空閑列表。關(guān)于垃圾收集器的具體內(nèi)容將在下一篇文章中介紹。

除如何劃分可用空間之外,另外一個需要考慮的問題是對象創(chuàng)建在虛擬機(jī)中是非常頻繁的行為,即使是僅僅修改一個指針?biāo)赶虻奈恢?,在并發(fā)情況下也并非線程安全的,可能出現(xiàn)正在給對象A分配內(nèi)存,指針還沒來得及修改,對象B又同時使用了原來的指針來分配內(nèi)存。解決這個問題有如下兩個方案:

  • 對分配內(nèi)存空間的動作進(jìn)行同步?實(shí)際上虛擬機(jī)是采用CAS配上失敗重試的方式保證更新操作的原子性。

  • 把內(nèi)存分配的動作按照線程劃分在不同的空間之中進(jìn)行?即每個線程在Java堆中預(yù)先分配一小塊內(nèi)存,稱為本地線程分配緩沖(TLAB ,Thread Local Allocation Buffer),哪個線程要分配內(nèi)存,就在哪個線程的TLAB上分配,只有TLAB用完,分配新的TLAB時才需要同步鎖定。虛擬機(jī)是否使用TLAB,可以通過-XX:+/-UseTLAB參數(shù)來設(shè)定。

3. 初始化

內(nèi)存分配完成之后,虛擬機(jī)需要將分配到的內(nèi)存空間都初始化為零值(不包括對象頭),如果使用TLAB的話,這一個工作也可以提前至TLAB分配時進(jìn)行。這步操作保證了對象的實(shí)例字段在Java代碼中可以不賦初始值就直接使用。

4. 設(shè)置對象頭

接下來,虛擬機(jī)要設(shè)置對象的信息(如這個對象是哪個類的實(shí)例、如何才能找到類的元數(shù)據(jù)信息、對象的哈希碼、對象的GC分代年齡等信息)并存放在對象的對象頭(Object Header)中。根據(jù)虛擬機(jī)當(dāng)前的運(yùn)行狀態(tài)的不同,如是否啟用偏向鎖等,對象頭會有不同的設(shè)置方式。關(guān)于對象頭的具體內(nèi)容,在下一節(jié)再詳細(xì)介紹。

5. 執(zhí)行<init>方法

在上面工作都完成之后,在虛擬機(jī)的視角來看,一個新的對象已經(jīng)產(chǎn)生了。但是在Java程序的視角看來,對象創(chuàng)建才剛剛開始——<init>方法還沒有執(zhí)行,所有的字段都還為零值。所以一般來說(由字節(jié)碼中是否跟隨有invokespecial指令所決定),new指令之后會接著執(zhí)行<init>方法,把對象按照程序員的意愿進(jìn)行初始化,這樣一個真正可用的對象才算完全產(chǎn)生出來。

對象的內(nèi)存布局

HotSpot虛擬機(jī)中,對象在內(nèi)存中存儲的布局可以分為三塊區(qū)域:對象頭(Header)、實(shí)例數(shù)據(jù)(Instance Data)和對齊填充(Padding)。

1. 對象頭

HotSpot虛擬機(jī)的對象頭包括兩部分信息:

  • 對象自身的運(yùn)行時數(shù)據(jù) “Mark Word”?如哈希碼(HashCode)、GC分代年齡、鎖狀態(tài)標(biāo)志、線程持有的鎖、偏向線程ID、偏向時間戳等等,這部分?jǐn)?shù)據(jù)的長度在32位和64位的虛擬機(jī)(暫不考慮開啟壓縮指針的場景)中分別為32個和64個Bits,官方稱它為“Mark Word”。對象需要存儲的運(yùn)行時數(shù)據(jù)很多,其實(shí)已經(jīng)超出了32、64位Bitmap結(jié)構(gòu)所能記錄的限度,但是對象頭信息是與對象自身定義的數(shù)據(jù)無關(guān)的額外存儲成本,考慮到虛擬機(jī)的空間效率,Mark Word被設(shè)計成一個非固定的數(shù)據(jù)結(jié)構(gòu)以便在極小的空間內(nèi)存儲盡量多的信息,它會根據(jù)對象的狀態(tài)復(fù)用自己的存儲空間。例如在32位的HotSpot虛擬機(jī)中對象未被鎖定的狀態(tài)下,Mark Word的32個Bits空間中的25Bits用于存儲對象哈希碼(HashCode),4Bits用于存儲對象分代年齡,2Bits用于存儲鎖標(biāo)志位,1Bit固定為0,在其他狀態(tài)(輕量級鎖定、重量級鎖定、GC標(biāo)記、可偏向)下對象的存儲內(nèi)容如下圖所示:

史上最詳細(xì)JVM,Java內(nèi)存區(qū)域講解

  • 類型指針?類型指針即對象指向它的類元數(shù)據(jù)的指針,虛擬機(jī)通過這個指針來確定這個對象是哪個類的實(shí)例。并不是所有的虛擬機(jī)實(shí)現(xiàn)都必須在對象數(shù)據(jù)上保留類型指針,換句話說查找對象的元數(shù)據(jù)信息并不一定要經(jīng)過對象本身,這點(diǎn)我們在下一節(jié)討論。另外,如果對象是一個Java數(shù)組,那在對象頭中還必須有一塊用于記錄數(shù)組長度的數(shù)據(jù),因?yàn)樘摂M機(jī)可以通過普通Java對象的元數(shù)據(jù)信息確定Java對象的大小,但是從數(shù)組的元數(shù)據(jù)中無法確定數(shù)組的大小。

2. 實(shí)例數(shù)據(jù)

實(shí)例數(shù)據(jù)是對象真正存儲的有效信息,也既是我們在程序代碼里面所定義的各種類型的字段內(nèi)容,無論是從父類繼承下來的,還是在子類中定義的都需要記錄起來。這部分的存儲順序會受到虛擬機(jī)分配策略參數(shù)(FieldsAllocationStyle)和字段在Java源碼中定義順序的影響。HotSpot虛擬機(jī)默認(rèn)的分配策略為longs/doubles、ints、shorts/chars、bytes/booleans、oops(Ordinary Object Pointers),從分配策略中可以看出,相同寬度的字段總是被分配到一起。在滿足這個前提條件的情況下,在父類中定義的變量會出現(xiàn)在子類之前。如果CompactFields參數(shù)值為true(默認(rèn)為true),那子類之中較窄的變量也可能會插入到父類變量的空隙之中。

3. 對齊填充

對齊填充并不是必然存在的,也沒有特別的含義,它僅僅起著占位符的作用。由于HotSpot VM的自動內(nèi)存管理系統(tǒng)要求對象起始地址必須是8字節(jié)的整數(shù)倍,換句話說就是對象的大小必須是8字節(jié)的整數(shù)倍。對象頭部分正好似8字節(jié)的倍數(shù)(1倍或者2倍),因此當(dāng)對象實(shí)例數(shù)據(jù)部分沒有對齊的話,就需要通過對齊填充來補(bǔ)全。

對象的訪問定位

我們的Java程序需要通過棧上的對象引用(reference)數(shù)據(jù)(存儲在棧上的局部變量表中)來操作堆上的具體對象。由于reference類型在Java虛擬機(jī)規(guī)范里面也只規(guī)定了是一個指向?qū)ο蟮囊茫]有定義這個引用的具體實(shí)現(xiàn),對象訪問方式也是取決于虛擬機(jī)實(shí)現(xiàn)而定的。主流的訪問方式有使用句柄和直接指針兩種。

1. 使用句柄訪問

如果使用句柄訪問的話,Java堆中將會劃分出一塊內(nèi)存來作為句柄池,reference中存儲的就是對象的句柄地址,而句柄中包含了對象實(shí)例數(shù)據(jù)與類型數(shù)據(jù)的各自的具體地址信息。如下圖所示:

史上最詳細(xì)JVM,Java內(nèi)存區(qū)域講解

2. 使用直接指針訪問

如果使用直接指針訪問的話,Java堆對象的布局中就必須考慮如何放置訪問類型數(shù)據(jù)的相關(guān)信息,reference中存儲的直接就是對象地址,如下圖所示:

史上最詳細(xì)JVM,Java內(nèi)存區(qū)域講解


這兩種對象訪問方式各有優(yōu)勢,下面分別來談一談:

  • 句柄?使用句柄訪問的大好處就是reference中存儲的是穩(wěn)定的句柄地址,在對象被移動(垃圾收集時移動對象是非常普遍的行為)時只會改變句柄中的實(shí)例數(shù)據(jù)指針,而reference本身不需要被修改。

  • 直接指針?使用直接指針來訪問大的好處就是速度更快,它節(jié)省了一次指針定位的時間開銷,由于對象訪問的在Java中非常頻繁,因此這類開銷積小成多也是一項 非常可觀的執(zhí)行成本。從上一部分講解的對象內(nèi)存布局可以看出,HotSpot是使用直接指針進(jìn)行對象訪問的,不過在整個軟件開發(fā)的范圍來 看,各種語言、框架中使用句柄來訪問的情況也十分常見。

創(chuàng)新互聯(lián)www.cdcxhl.cn,專業(yè)提供香港、美國云服務(wù)器,動態(tài)BGP最優(yōu)骨干路由自動選擇,持續(xù)穩(wěn)定高效的網(wǎng)絡(luò)助力業(yè)務(wù)部署。公司持有工信部辦法的idc、isp許可證, 機(jī)房獨(dú)有T級流量清洗系統(tǒng)配攻擊溯源,準(zhǔn)確進(jìn)行流量調(diào)度,確保服務(wù)器高可用性。佳節(jié)活動現(xiàn)已開啟,新人活動云服務(wù)器買多久送多久。

網(wǎng)站題目:史上最詳細(xì)JVM,Java內(nèi)存區(qū)域講解-創(chuàng)新互聯(lián)
網(wǎng)站路徑:http://muchs.cn/article18/dsgedp.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供動態(tài)網(wǎng)站、定制開發(fā)、面包屑導(dǎo)航、服務(wù)器托管、響應(yīng)式網(wǎng)站、網(wǎng)站排名

廣告

聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請盡快告知,我們將會在第一時間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場,如需處理請聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時需注明來源: 創(chuàng)新互聯(lián)

成都網(wǎng)站建設(shè)