一、java內(nèi)存區(qū)域

Java虛擬機(jī)在執(zhí)行Java程序的過程中會把它所管理的內(nèi)存劃分為若干個不同的數(shù)據(jù)區(qū)域。這些區(qū)域都有各自的用途，以及創(chuàng)建和銷毀的時間，有的區(qū)域隨著虛擬機(jī)進(jìn)程的啟動而存在，有的區(qū)域則依賴用戶線程的啟動和結(jié)束而建立和銷毀。根據(jù)《Java虛擬機(jī)規(guī)范（JavaSE7版）》的規(guī)定，Java虛擬機(jī)所管理的內(nèi)存將會包括以下幾個運(yùn)行時數(shù)據(jù)區(qū)域。

1.程序計數(shù)器（線程私有）

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

每條線程都有一個獨(dú)立的程序計數(shù)器，各個線程之間互不影響，獨(dú)立儲存。

如果線程正在執(zhí)行的是一個java方法，計數(shù)器記錄的是正在執(zhí)行的虛擬機(jī)字節(jié)碼指令的地址；

如果線程正在執(zhí)行的是一個Native方法，計數(shù)器值為空（undefined）。

此內(nèi)存區(qū)域是唯一一個在Java規(guī)范中沒有規(guī)定任何OutOfMemoryError（OOM）情況的區(qū)域

2.Java虛擬機(jī)棧（線程私有）

虛擬機(jī)棧（Java Virtual Machine Stacks）描述的是Java方法執(zhí)行的內(nèi)存模型：每個方法在執(zhí)行的同時會創(chuàng)建一個棧幀，用于存儲局部變量表、操作數(shù)棧、動態(tài)鏈接、方法出口等信息。每個方法從調(diào)用到執(zhí)行完成的過程，就對應(yīng)著一個棧幀在虛擬機(jī)棧中入棧和出棧的過程。

通常大家所說的虛擬機(jī)堆內(nèi)存和棧內(nèi)存中，棧內(nèi)存一般是指這里的局部變量表部分。

局部變量表存放了編譯期可知的各種基本數(shù)據(jù)類型、對象引用（不是對象本身，可能是指向?qū)ο蟮闹羔樆虼韺ο蟮木浔蚱渌呐c此對象相關(guān)的位置，涉及到下文的“對象的訪問定位”）和returnAddress類型。

3.本地方法棧（線程私有）

本地方法棧（Native Method Stack）與虛擬機(jī)棧所發(fā)揮的作用是非常相似的，區(qū)別不過是虛擬機(jī)棧為Java方法（字節(jié)碼）所服務(wù)，而本地方法棧則為虛擬機(jī)使用的Native方法服務(wù)。Java虛擬機(jī)規(guī)范沒有對本地方法棧使用的語言、方式和數(shù)據(jù)結(jié)構(gòu)有強(qiáng)制規(guī)定。因此虛擬機(jī)可以自由實現(xiàn)它，甚至有的虛擬機(jī)直接把本地方法棧和虛擬機(jī)棧合二為一。

4.Java堆（線程共享）

Java堆（Java Heap）是虛擬機(jī)所管理的內(nèi)存中最大的一塊。唯一的目的就是存放對象實例。所有的對象實例和數(shù)組都要在堆上分配內(nèi)存。

Java堆是垃圾收集器管理的主要區(qū)域。Java堆可以處于物理上不連續(xù)的內(nèi)存空間中，只要邏輯上是連續(xù)的即可，類似于磁盤空間。在實現(xiàn)時既可以是固定大小，也可以是可擴(kuò)展的，當(dāng)前的主流虛擬機(jī)都是按照可擴(kuò)展實現(xiàn)的。如果在堆中沒有內(nèi)存完成實例化分配，并且堆也無法擴(kuò)展時，會拋出OOM異常。

5.方法區(qū)（線程共享）

方法區(qū)（Method Area）用于存儲已經(jīng)被虛擬機(jī)加載的類信息、常量、靜態(tài)變量、即時編譯器編譯后的代碼等數(shù)據(jù)。

虛擬機(jī)規(guī)范把方法區(qū)描述為了堆的一個邏輯部分，但有個別名Non-Heap。

6.運(yùn)行時常量池（線程共享）　

運(yùn)行時常量池（Runtime Constant Pool） 是方法區(qū)的一部分。

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

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

運(yùn)行時常量池相對于Class文件常量池的另外一個重要特征是具備動態(tài)性，Java語言并不要求常量一定要只有編譯的時候產(chǎn)生，運(yùn)行期間也可能將新的常量放入池中，利用的多的便是String類的intern（）方法。

在無法再申請到內(nèi)存是會排除OOM異常。

二、HotSpot虛擬機(jī)對象探秘

HotSpot虛擬機(jī)在Java堆中對象分配、布局和訪問過程的探討。

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

Java是面向?qū)ο蟮恼Z言，在程序的執(zhí)行過程中隨時都有可能會有對象被創(chuàng)建，從語言層面上講，創(chuàng)建對象（例如克隆，反序列化）通常僅僅是new關(guān)鍵字。

過程：

加載類：當(dāng)虛擬機(jī)遇到一個new指令時，首先檢查這個指令的參數(shù)是否能在常量池中定位到一個類的符號引用，并且通過檢查這個符號引代表的類是否已經(jīng)被加載、解析和初始化過。如果沒有則執(zhí)行相應(yīng)的類加載過程。（此處不討論這部分的具體內(nèi)容，詳情參考第七章）

分配內(nèi)存：在類加載通過后，虛擬機(jī)要為新生對象分配內(nèi)存，對象所需要的內(nèi)存在類加載后就可以確定，為對象分配空間就是從Java堆中劃分出來。此時常見有兩種方法：（1）指針碰撞：若堆中內(nèi)存是絕對規(guī)整的，已經(jīng)使用的在一邊，沒有使用的在一邊，中間有個分割指針，則只需要把分割指針向沒有使用的內(nèi)存移動所需要的固定大?。?）空閑列表：Java堆內(nèi)存不是規(guī)整的，已使用的未使用的是相互交錯的，虛擬機(jī)就要維護(hù)一個列表，列表保存哪些是已經(jīng)使用的，哪些是未被使用的，分配的時候只需要從未被使用的內(nèi)存中分配固定的大小給新對象。

選擇哪種方法由堆內(nèi)存是否規(guī)整所決定，而是否規(guī)整取決于采用的垃圾收集器是否帶有壓縮整理功能。

可以很明顯的看出，這種分配空間的方法不是線程安全的，可能在對A對象分配時指針還沒來得及修改，對象B就采用了原來的指針，解決這個問題有兩種方案：

　（1）對分配空間的動作進(jìn)行同步化處理：實際上虛擬機(jī)采用CAS配上失敗重試的方式保持更新操作的原子性（要么全部做完，要么一點也不做）。

　（2）把內(nèi)存分配的動作按照線程劃分在不同的空間上進(jìn)行，即每個線程在Java堆中預(yù)先分配一塊內(nèi)存，成為本地線程分配緩沖TLAB。哪個線程要分配內(nèi)存就在那個線程的TLAB上分配，只有TLAB用完并分配新的TLAB時才需要同步鎖定。

內(nèi)存空間初始化：內(nèi)存分配結(jié)束后，虛擬機(jī)將分配的內(nèi)存空間都初始化為零值（不包括對象頭，分配的內(nèi)存空間的具體內(nèi)容下一部分會解釋），如果使用TLAB來完成，這一工作可以提前到TLAB分配時進(jìn)行，這一操作保證了對象的實例字段在Java中不賦初始值就可以直接使用，即零值。

對象頭設(shè)置：接下來，虛擬機(jī)要對對象進(jìn)行必要的設(shè)置，例如：是哪個類的實例？如何找到類的元數(shù)據(jù)信息？哈希碼？對象的GC分代年齡等。這些信息存放在對象的對象頭（Object Header）中。

初始化：從虛擬機(jī)視角來看，一個新的對象已經(jīng)產(chǎn)生，但是從Java程序來看，這才剛剛開始，因為內(nèi)存的數(shù)據(jù)內(nèi)容都是零值，執(zhí)行new之后，會執(zhí)行<init>方法，按照程序員的要求來進(jìn)行初始化。

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

分為三部分：

（1）對象頭

?、俅鎯ο笞陨淼倪\(yùn)行時數(shù)據(jù)，如哈希碼、GC分代年齡、鎖狀態(tài)標(biāo)志、線程持有的鎖、偏向線程ID、偏向時間戳等。32位虛擬機(jī)中為32bit，64位虛擬機(jī)中為64bit，官方稱之為"Mark Word"。但是需要的存儲的運(yùn)行時數(shù)據(jù)太多，其實已經(jīng)超過了32bit或者64bit，但是對象頭信息是與對象自身定義的數(shù)據(jù)無關(guān)的額外存儲成本，考慮到虛擬機(jī)的效率Mark Word被設(shè)計成一個非固定的數(shù)據(jù)結(jié)構(gòu)以便在極小的空間內(nèi)存儲盡量多的信息，它會根據(jù)對象的狀態(tài)來復(fù)用自己的存儲空間。例如在32位的HotSpot虛擬機(jī)中，如果對象處于未被鎖的狀態(tài)下，那么就不儲存和鎖有關(guān)的信息，25bit存儲hashcode，4bit存儲GC，2bit存儲鎖標(biāo)志位、1bit固定為0。

　②類型指針，即對象指向他的類元數(shù)據(jù)的指針，虛擬機(jī)通過這個指針來確定這個對象是哪個類的示例。并不是所有的虛擬機(jī)實現(xiàn)都必須通過數(shù)據(jù)上保留類型指針（和對象的訪問定定位有關(guān)，下面會進(jìn)行解釋）。如果對象是一個Java數(shù)組，那在對象頭還必須有一塊來記錄數(shù)組長度的數(shù)據(jù)，因為從數(shù)組的元數(shù)據(jù)中無法確定數(shù)組的大小。　

（2）實例數(shù)據(jù)

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

（3）對齊填充

　不是必然存在的，也沒有特殊的含義，僅僅是占位符的作用。由于HotSpot VM 的自動內(nèi)存管理必須要求對象的起始地址必須是8字節(jié)的整數(shù)倍，換句話說就是對象的內(nèi)存大小必須是8字節(jié)的整數(shù)倍，如果不足，則填充到8的整數(shù)倍。

3.對象的訪問定位

即棧內(nèi)存中的引用如何訪問堆內(nèi)存中的對象。目前主流的方式有兩種：

（1）使用句柄：Java堆中會劃分一塊區(qū)域作為句柄池，棧中存儲的就是對象的句柄地址，而句柄中包含了對象實例數(shù)據(jù)指針（指向堆內(nèi)存中）和類型數(shù)據(jù)指針（指向方法區(qū)）。

（2）直接指針：棧中存儲的直接就是對象地址，而堆中對象的布局要包括對象示例數(shù)據(jù)和類型數(shù)據(jù)指針（指向方法區(qū)）。

使用句柄的優(yōu)點： 引用中存儲的穩(wěn)定的句柄地址，在對象移動（垃圾收集時移動對象是非常普遍的行為），只會改變句柄的實例數(shù)據(jù)指針，而引用本身不會改變。

直接指針的優(yōu)點： 速度快，節(jié)省了一次指針定位的時間開銷。由于對象訪問十分頻繁，極少成多之后也是可觀的執(zhí)行成本。HotSpot虛擬機(jī)是使用第二種進(jìn)行對象訪問的。

三、實戰(zhàn)：OOM異常

原書闡述了產(chǎn)生幾種異常的方式和簡單代碼，具體參考原書內(nèi)容。

以上這篇淺談Java內(nèi)存區(qū)域與對象創(chuàng)建過程就是小編分享給大家的全部內(nèi)容了，希望能給大家一個參考，也希望大家多多支持腳本之家。