建站
咨詢
售后
建站咨詢
新聞中心
STOP，廢話結(jié)束
創(chuàng)新互聯(lián)公司是專業(yè)的新津縣網(wǎng)站建設(shè)公司，新津縣接單;提供成都網(wǎng)站建設(shè)、網(wǎng)站建設(shè),網(wǎng)頁設(shè)計,網(wǎng)站設(shè)計,建網(wǎng)站,PHP網(wǎng)站建設(shè)等專業(yè)做網(wǎng)站服務(wù);采用PHP框架,可快速的進(jìn)行新津縣網(wǎng)站開發(fā)網(wǎng)頁制作和功能擴(kuò)展;專業(yè)做搜索引擎喜愛的網(wǎng)站,專業(yè)的做網(wǎng)站團(tuán)隊(duì),希望更多企業(yè)前來合作!
今天介紹兩個 JVM 中的高頻基礎(chǔ)題：
- 對象的創(chuàng)建過程(new 一個對象在堆中的歷程)
- 對象在堆上分配的兩種方式
對象的創(chuàng)建過程分五步走，如下圖：
我感覺 JVM 如果不看 GC 收集器那塊(滑稽)，似乎東西還不多
老規(guī)矩，背誦版在文末。點(diǎn)擊閱讀原文可以直達(dá)我收錄整理的各大廠面試真題
類加載檢查
對象創(chuàng)建過程的第一步，所謂類加載檢查，就是檢測我們接下來要 new 出來的這個對象所屬的類是否已經(jīng)被 JVM 成功加載、解析和初始化過了(具體的類加載過程會在后續(xù)文章詳細(xì)解釋~)
具體來說，當(dāng) Java 虛擬機(jī)遇到一條字節(jié)碼 new 指令時：
1)首先檢查根據(jù) class 文件中的常量池表(Constant Pool Table)能否找到這個類對應(yīng)的符號引用
此處可以回顧一波常量池表 (Constant Pool Table) 的概念：
用于存放編譯期生成的各種字面量(字面量相當(dāng)于 Java 語言層面常量的概念，如文本字符串，聲明為 final 的常量值等)與符號引用。有一些文章會把 class 常量池表稱為靜態(tài)常量池。
都是常量池，常量池表和方法區(qū)中的運(yùn)行時常量池有啥關(guān)系嗎?運(yùn)行時常量池是干嘛的呢?
運(yùn)行時常量池可以在運(yùn)行期間將 class 常量池表中的符號引用解析為直接引用。簡單來說，class 常量池表就相當(dāng)于一堆索引，運(yùn)行時常量池根據(jù)這些索引來查找對應(yīng)方法或字段所屬的類型信息和名稱及描述符信息
2)然后去方法區(qū)中的運(yùn)行時常量池中查找該符號引用所指向的類是否已被 JVM 加載、解析和初始化過
如果沒有，那就先執(zhí)行相應(yīng)的類加載過程
如果有，那么進(jìn)入下一步，為新生對象分配內(nèi)存
分配內(nèi)存
類加載檢查通過后，這個對象待會兒要是被創(chuàng)建出來得有地方放他對吧?
所以接下來 JVM 會為新生對象分配內(nèi)存空間。
至于 JVM 怎么知道這個空間得分配多大呢?事實(shí)上，對象所需內(nèi)存的大小在類加載完成后就已經(jīng)可以完全確定了。在 Hotspot 虛擬機(jī)中，對象在內(nèi)存中的布局可以分為 3 塊區(qū)域：對象頭、實(shí)例數(shù)據(jù)和對齊填充。
1)Hotspot 虛擬機(jī)的對象頭包括兩部分信息：
- 第一部分用于存儲對象自身的運(yùn)行時數(shù)據(jù)(如哈希碼(HashCode)、GC 分代年齡、鎖狀態(tài)標(biāo)志、線程持有的鎖、偏向線程 ID、偏向時間戳等，這部分?jǐn)?shù)據(jù)的長度在 32 位和 64 位的虛擬機(jī)(未開啟壓縮指針)中分別為 32 個比特和 64 個比特，官方稱它為 “Mark Word”。學(xué)過 synchronized 的小伙伴對這個一定不陌生~)
- 另一部分是類型指針，即對象指向它的類型元數(shù)據(jù)的指針，虛擬機(jī)通過這個指針來確定這個對象是哪個類的實(shí)例
2)實(shí)例數(shù)據(jù)部分存儲的是這個對象真正的有效信息，即我們在程序代碼里面所定義的各種類型的字段內(nèi)容，無論是從父類繼承下來的，還是在子類中定義的字段都必須記錄起來。
3)對齊填充部分不是必須的，也沒有什么特別的含義，僅僅起占位作用。因?yàn)?Hotspot 虛擬機(jī)的自動內(nèi)存管理系統(tǒng)要求對象起始地址必須是 8 字節(jié)的整數(shù)倍，換句話說就是對象的大小必須是 8 字節(jié)的整數(shù)倍。而對象頭部分正好是 8 字節(jié)的倍數(shù)(1 倍或 2 倍)，因此，當(dāng)對象實(shí)例數(shù)據(jù)部分沒有對齊時，就需要通過對齊填充來補(bǔ)全。
對象在堆上的兩種分配方式
為對象分配內(nèi)存空間的任務(wù)通俗來說把一塊確定大小的內(nèi)存塊從 Java 堆中劃分出來給這個對象用。
根據(jù)堆中的內(nèi)存是否規(guī)整，有兩種劃分方式，或者說對象在堆上的分配有兩種方式：
1)假設(shè) Java 堆中內(nèi)存是絕對規(guī)整的，所有被使用過的內(nèi)存都被放在一邊，空閑的內(nèi)存被放在另一邊，中間放著一個指針作為分界點(diǎn)的指示器，那所分配內(nèi)存就僅僅是把這個指針 向 空閑空間方向 挪動一段與對象大小相等的距離，這種分配方式稱為 指針碰撞(Bump The Pointer)
2)如果 Java 堆中的內(nèi)存并不是規(guī)整的，已被使用的內(nèi)存和空閑的內(nèi)存相互交錯在一起，那就沒有辦法簡單地進(jìn)行指針碰撞了，虛擬機(jī)就必須維護(hù)一個列表，記錄哪些內(nèi)存塊是可用的，在分配的時候從列表中找到一塊足夠大的連續(xù)空間劃分給這個對象，并更新列表上的記錄，這種分配方式稱為 空閑列表(Free List)。
選擇哪種分配方式由 Java 堆是否規(guī)整決定，那又有同學(xué)會問了，堆是否規(guī)整又由誰來決定呢?
Java 堆是否規(guī)整由所采用的垃圾收集器是否帶有空間壓縮整理(Compact)的能力決定的(或者說由垃圾收集器采用的垃圾收集算法來決定的，具體垃圾收集算法見后續(xù)文章)：
因此，當(dāng)使用 Serial、ParNew 等帶壓縮整理過程的收集器時，系統(tǒng)采用的分配算法是指針碰撞，既簡單又高效
而當(dāng)使用 CMS 這種基于清除(Sweep)算法的收集器時，理論上就只能采用較為復(fù)雜的空閑列表來分配內(nèi)存
對象創(chuàng)建時候的并發(fā)安全問題
另外，在為對象創(chuàng)建內(nèi)存的時候，還需要考慮一個問題：并發(fā)安全問題。
對象創(chuàng)建在虛擬機(jī)中是非常頻繁的行為，以上面介紹的指針碰撞法為例，即使只修改一個指針?biāo)赶虻奈恢?，在并發(fā)情況下也并不是線程安全的，可能出現(xiàn)某個線程正在給對象 A 分配內(nèi)存，指針還沒來得及修改，另一個線程創(chuàng)建了對象 B 又同時使用了原來的指針來分配內(nèi)存的情況。
解決這個問題有兩種可選方案：
- 方案 1：CAS + 失敗重試：CAS 大伙應(yīng)該都熟悉，比較并交換，樂觀鎖方案，如果失敗就重試，直到成功為止
- 方案 2：本地線程分配緩沖(Thread Local Allocation Buffer，TLAB)：每個線程在堆中預(yù)先分配一小塊內(nèi)存，每個線程擁有的這一小塊內(nèi)存就稱為 TLAB。哪個線程要分配內(nèi)存了，就在哪個線程的 TLAB 中進(jìn)行分配，這樣各個線程之間互不干擾。如果某個線程的 TLAB 用完了，那么虛擬機(jī)就需要為它分配新的 TLAB，這時才需要進(jìn)行同步鎖定?？梢酝ㄟ^ -XX：+/-UseTLAB 參數(shù)來設(shè)定是否使用 TLAB。
初始化零值
內(nèi)存分配完成之后，JVM 會將分配到的內(nèi)存空間(當(dāng)然不包括對象頭啦)都初始化為零值，比如 boolean 字段都初始化為 false 啊，int 字段都初始化為 0 啊之類的
這步操作保證了對象的實(shí)例字段在 Java 代碼中可以不賦初始值就直接使用，使程序能訪問到這些字段的數(shù)據(jù)類型所對應(yīng)的零值。
如果使用了 TLAB 的話，初始化零值這項(xiàng)工作可以提前至 TLAB 分配時就順便進(jìn)行了
設(shè)置對象頭
上面我們說過，對象在內(nèi)存中的布局可以分為 3 塊區(qū)域：對象頭(Object Header)、實(shí)例數(shù)據(jù)和對齊填充
對齊填充并不是什么有意義的數(shù)據(jù)，實(shí)例數(shù)據(jù)我們在上一步操作中進(jìn)行了初始化零值，那么對于剩下的對象頭中的信息來說，自然不必多說，也是要進(jìn)行一些賦值操作的：例如這個對象是哪個類的實(shí)例、如何才能找到類的元數(shù)據(jù)信息、對象的哈希碼、對象的 GC 分代年齡等信息。根據(jù)虛擬機(jī)當(dāng)前運(yùn)行狀態(tài)的不同，如是否啟用偏向鎖等，對象頭會有不同的設(shè)置方式。
執(zhí)行 init 方法
上面四個步驟都走完之后，從 JVM 的視角來看，其實(shí)一個新的對象已經(jīng)成功誕生了。
但是從我們程序員的視角來看，這個對象確實(shí)是創(chuàng)建出來了，但是還沒按照我們定義的構(gòu)造函數(shù)來進(jìn)行賦值呢，所有的字段都還是默認(rèn)的零值啊。
構(gòu)造函數(shù)即 Class 文件中的 () 方法，一般來說，new 指令之后會接著執(zhí)行 ()方法，按照構(gòu)造函數(shù)的意圖對這個對象進(jìn)行初始化，這樣一個真正可用的對象才算完全地被構(gòu)造出來了，皆大歡喜。
最后放上這道題的背誦版：
???? 面試官：講一下對象的創(chuàng)建過程
小牛肉：new 一個對象在堆中的過程主要分為五個步驟：
1)類加載檢查：具體來說，當(dāng) Java 虛擬機(jī)遇到一條字節(jié)碼 new 指令時，它會首先檢查根據(jù) class 文件中的常量池表(Constant Pool Table)能否找到這個類對應(yīng)的符號引用，然后去方法區(qū)中的運(yùn)行時常量池中查找該符號引用所指向的類是否已被 JVM 加載、解析和初始化過
- 如果沒有，那就先執(zhí)行相應(yīng)的類加載過程
- 如果有，那么進(jìn)入下一步，為新生對象分配內(nèi)存
2)分配內(nèi)存：就是在堆中給劃分一塊內(nèi)存空間分配給這個新生對象用。具體的分配方式根據(jù)堆內(nèi)存是否規(guī)整有兩種方式：
- 堆內(nèi)存規(guī)整的話采用的分配方式就是指針碰撞：所有被使用過的內(nèi)存都被放在一邊，空閑的內(nèi)存被放在另一邊，中間放著一個指針作為分界點(diǎn)的指示器，分配內(nèi)存就是把這個指針向空閑空間方向挪動一段與對象大小相等的距離
- 堆內(nèi)存不規(guī)整的話采用的分配方式就是空閑列表：所謂內(nèi)存不規(guī)整就是已被使用的內(nèi)存和空閑的內(nèi)存相互交錯在一起，那就沒有辦法簡單地進(jìn)行指針碰撞了，JVM 就必須維護(hù)一個列表，記錄哪些內(nèi)存塊是可用的，在分配的時候從列表中找到一塊足夠大的連續(xù)空間劃分給這個對象，并更新列表上的記錄，這就是空閑列表的方式
3)初始化零值：對象在內(nèi)存中的布局可以分為 3 塊區(qū)域：對象頭、實(shí)例數(shù)據(jù)和對齊填充，對齊填充僅僅起占位作用，沒啥特殊意義，初始化零值這個操作就是初始化實(shí)例數(shù)據(jù)這個部分，比如 boolean 字段初始化為 false 之類的
4)設(shè)置對象頭：這個步驟就是設(shè)置對象頭中的一些信息
5)執(zhí)行 init 方法：最后就是執(zhí)行構(gòu)造函數(shù)，構(gòu)造函數(shù)即 Class 文件中的 ()方法，一般來說，new 指令之后會接著執(zhí)行() 方法，按照構(gòu)造函數(shù)的意圖對這個對象進(jìn)行初始化，這樣一個真正可用的對象才算完全地被構(gòu)造出來了
本文題目：New 一個對象在堆中的歷程
分享路徑：http://www.dlmjj.cn/article/dpdjjhe.html
