JVM堆中對象分配、布局和訪問的概念是什么

本篇內(nèi)容介紹了“JVM堆中對象分配、布局和訪問的概念是什么”的有關(guān)知識，在實際案例的操作過程中，不少人都會遇到這樣的困境，接下來就讓小編帶領(lǐng)大家學(xué)習(xí)一下如何處理這些情況吧！希望大家仔細閱讀，能夠?qū)W有所成！

1、對象的創(chuàng)建

Java 是一門面向?qū)ο蟮恼Z言，Java 程序運行過程中無時無刻都有對象被創(chuàng)建出來。從語言層面看，創(chuàng)建對象只是一個 new 關(guān)鍵字而已，而在虛擬機中，對象（僅限于普通 Java 對象，不包括數(shù)組和 Class 對象等）的創(chuàng)建又是怎么一個過程呢？

以 Hotspot 虛擬機為例，當虛擬機遇到一條字節(jié)碼指令，首先會檢查這個指令的參數(shù)是否能在常量池中定位到一個符號引用，并檢查這個符號引用代表的類是否已被加載、解析和初始化，如果沒有，那么會先執(zhí)行對應(yīng)的類加載過程

類加載檢查通過后，虛擬機將為新生對象分配內(nèi)存。對象所需內(nèi)存的大小在類加載過程中即可完全確定，為對象分配空間的任務(wù)實際上等同于把一塊確定大小的內(nèi)存區(qū)域從 Java 堆中劃分出來，并分配給對象。劃分內(nèi)存的方式主要有兩種：

• 指針碰撞法

  即假設(shè) Java 堆中內(nèi)存是絕對規(guī)整的，已被使用的內(nèi)存放在一邊，空閑的內(nèi)存放在另一邊，中間有一個指針作為分界點的指示器，那么當需要分配內(nèi)存時，只需要將指針向空閑空間的方向挪動一段與對象大小相等的距離即可

• 空閑列表法

  這個情況就是 Java 堆中內(nèi)存并不是規(guī)整的，已使用內(nèi)存和空閑內(nèi)存相互交錯在一起。此時虛擬機必須維護一個列表，記錄哪些內(nèi)存塊可用，分配時從列表中找出一塊足夠大的空間劃分給對象實例，并更新列表記錄

由此可見，選擇哪種分配方式由 Java 堆是否規(guī)整決定，而 Java 堆是否規(guī)整又由所采用的垃圾收集器是否帶有空間壓縮整理的能力決定

除了如何劃分可用空間以外，還有一個需要考慮的問題：對象創(chuàng)建在虛擬機中是非常頻繁的行為，即使僅僅只是修改指針的位置，在并發(fā)情況下也并不是安全的，有可能出現(xiàn)正在給對象 A 分配內(nèi)存，指針還沒來得及修改，對象 B 又同時使用原來的指針來分配內(nèi)存。解決該問題的方法有兩個：一個是對分配內(nèi)存空間的動作片進行同步處理，實際上虛擬機是采用 CAS 配上失敗重試機制來保證更新操作的原子性的；另一種是把內(nèi)存分配的動作按照線程劃分到不同的空間之中進行，即每個線程在 Java 堆中預(yù)先分配一小塊內(nèi)存，稱為本地線程分配緩沖（Thread Local Allocation Buffer），簡稱 TLAB，哪個線程要分配內(nèi)存，就在哪個線程的本地緩沖區(qū)中分配，只有本地緩沖區(qū)用完了，分配新的緩沖區(qū)時才需要同步鎖定。虛擬機是否使用 TLAB，可以通過 -XX:+/UseTLAB 參數(shù)來設(shè)定

內(nèi)存分配完成后，虛擬機必須先將分配到的內(nèi)存空間（但不包括對象頭）都初始化為零值，如果使用了 TLAB 的話，這項工作也可以提前在 TLAB 分配時順便進行。這步操作保證了對象的實例字段在 Java 代碼中可以不賦初值就直接使用，使程序可以訪問到這些字段的數(shù)據(jù)類型對應(yīng)的零值

接下來，Java 虛擬機還需要對對象的對象頭（Object Header）進行設(shè)置，對象頭存放一些信息如這個對象是哪個對象的實例、如何找到類的元數(shù)據(jù)信息、對象的哈希碼、對象的 GC 分代年齡等

上面的工作完成之后，從虛擬機的視角來看，一個新的對象已經(jīng)誕生了，而從 Java 程序的角度來看，對象的創(chuàng)建才剛剛開始，對象的構(gòu)造函數(shù)，即 Class 文件的 <init> 方法尚未執(zhí)行，所有的字段都是默認的零值。new 指令之后會接著執(zhí)行 <init> 方法，對對象進行初始化，這樣一個真正可用的對象才算完全構(gòu)造出來

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

在 HotSpot 虛擬機中，對象在堆內(nèi)存中的存儲布局可以劃分為三個部分：對象頭（Header）、實例數(shù)據(jù)（Instance Data）和對齊填充（Padding）

1. 對象頭

Hotspot 虛擬機對象的對象頭部分包括兩類信息，第一類是用于存儲對象自身的運行時數(shù)據(jù)，如哈希碼、GC 分代年齡、鎖狀態(tài)標志、線程持有鎖、偏向線程 ID、編向時間戳等。這部分數(shù)據(jù)的長度在 32 位和 64 位虛擬機中分別為 32 個比特和 64 個比特，官方稱之為 “Mark Word”

但實際上，對象需要存儲待運行時數(shù)據(jù)很多，已經(jīng)超過了 32、64 位 Bitmap 結(jié)構(gòu)所能記錄的最大限度，因此 Mark Word 被設(shè)計成一個有著動態(tài)定義的數(shù)據(jù)結(jié)構(gòu)，以便盡可能多的復(fù)用自己的存儲空間，例如在 32 位 JVM 中是這樣存儲的：

對象頭的另一個部分是類型指針，即對象指向它的類型元數(shù)據(jù)的指針，Java 虛擬機通過這個指針來確定這個對象是屬于哪個類的實例。然而，并不是所有的虛擬機都會在對象頭上保留類型指針，換句話說，查找對象的元數(shù)據(jù)信息不一定要經(jīng)過對象本身。此外，如果對象是個數(shù)組，那么在對象頭中還必須有一塊用于記錄數(shù)組長度的數(shù)據(jù)

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

實例數(shù)據(jù)部分是對象真正存儲的有效信息，即我們在代碼里面所定義的各種類型的字段內(nèi)容，無論是從父類繼承下來的，還是在子類中定義的字段都必須記錄起來

3. 對齊填充

對齊填充并不是必然存在的，它僅僅起著占位符的作用，因為 Hotspot 虛擬機的自動內(nèi)存管理機制要求對象的大小必須是 8 字節(jié)的整數(shù)倍。因此，如果對象實例數(shù)據(jù)部分沒有對齊的話，就需要通過對齊填充來補全

3、對象的訪問定位

Java 程序會通過棧上的 reference 數(shù)據(jù)來操作堆上的具體對象。在 Java 虛擬機規(guī)范中，只是規(guī)定 reference 類型是一個指向?qū)ο蟮囊?，并沒有定義要用什么方式實現(xiàn)。因此對象訪問方式是由虛擬機自主實現(xiàn)的，主流的訪問方式主要有使用句柄和直接指針兩種：

• 句柄訪問

  Java 堆中會劃分出一塊內(nèi)存來作為句柄池，reference 中存儲的就是對象的句柄地址，而句柄包含了對象實例數(shù)據(jù)和類型數(shù)據(jù)各自具體的地址信息

  

• 直接指針

  reference 中存儲的就是對象地址，所以如果只是訪問對象本身的話，可以避免多次開銷。另外，如果使用直接指針訪問，Java 堆中對象的內(nèi)存布局就必須考慮如何放置用于訪問類型數(shù)據(jù)的相關(guān)信息

  

兩種方式各有千秋，使用句柄的好處就是 reference 中存儲的是穩(wěn)定的句柄地址，如果對象被移動（例如進行垃圾收集），那么只會改變句柄中實例數(shù)據(jù)指針，而 reference 本身不需要修改。而使用直接指針的好處就是速度更快，節(jié)省時間開銷。在 HotSpot 虛擬機中主要使用直接指針方式進行對象訪問

“JVM堆中對象分配、布局和訪問的概念是什么”的內(nèi)容就介紹到這里了，感謝大家的閱讀。如果想了解更多行業(yè)相關(guān)的知識可以關(guān)注億速云網(wǎng)站，小編將為大家輸出更多高質(zhì)量的實用文章！