概覽

一個物件根據不同情況可以被劃分成兩種情況，當物件是一個非陣列物件的時候，物件頭，例項資料，對齊填充在記憶體中三分天下，而陣列物件中在物件頭中多了一個用於描述陣列物件長度的部分

物件頭

物件頭分為兩部分，第一部分稱之為"Mark Word"，第二部分是用於獲取該物件型別的型別指標，如果是陣列物件還包括記錄陣列長度的資料。

在不同的作業系統中，這些區域所佔的記憶體也不同，在32位的系統中，MarkWord佔用32bit的空間（也就是4位元組）。型別指標和陣列長度資料一樣合作佔用32bit的空間。

在64位的作業系統中，MarkWord佔用64bit的空間，型別指標在不開啟指標壓縮（CompressedOOPs）的情況下是64bit（8 byte），而在開啟指標壓縮的情況下，僅剩32bit（4 byte）

Mark Word

這一部分儲存的是物件自身的執行時資料，這一塊兒內容的資料結構並不固定，它會根據物件的狀態複用自己的儲存空間，

這是摘自markOop.hpp檔案中的片段，其中表示了物件的以下五種狀態：

標誌位	偏向鎖標識位	狀態
01	0	無鎖
01	1	偏向鎖
00	無	輕量級鎖
10	無	重量級鎖
11	無	GC Mark

我們接下來接著去看MarkWord的結構：

在這裡我們可以看到，初始化的時候只是定義了無鎖和偏向鎖狀態的結構（上半部分是沒有開啟COOPs-指標壓縮的結構，下半部分是開啟了指標壓縮的結構），

當處於輕量級鎖、重量級鎖時，記錄的物件指標，根據JVM的說明，此時認為指標仍然是64位，最低兩位假定為0;當處於偏向鎖時，記錄的為獲得偏向鎖的執行緒指標，該指標也是64位；

更多的內容我們就不再這裡擴充套件了，根據反饋的情況，我會在後面併發程式設計中單開一篇來聊聊鎖的進化之路。

型別指標

這個東西有時候會用到去確定該物件屬於哪個類的例項，也有用不到的時候，這個要根據不同的虛擬機器對於物件的定位實現演算法的選擇來進行（比如HotSpot JVM就使用該型別指標去獲取該物件型別資料）

例項資料

例項資料是物件真正儲存的有效資訊，也是在程式程式碼中所定義的各種型別的欄位內容，這裡的欄位內容不僅僅包括當前類的欄位，也包括他的父類中所定義的欄位。

這部分的儲存規則遵循虛擬機器分配策略引數和欄位在Java原始碼中的定義順序，HotSpot JVM預設的分配策略是long/double， int，short/char，byte/boolean，oops（普通物件指標，Ordinary Object Pointers）也可以理解為reference，關於指標壓縮我們下節去說。

這裡需要注意，在父類中定義的變數會出現在子類前，但是我們可以通過將CompactFileds引數設定為true，將子類中較小的變數插入到父類大變數的空隙中。

對齊填充

這部分內容並不是必須存在的，因為Hot Spot JVM中規定了物件的大小必須是8位元組的整數倍，在C/C++中類似的功能被稱之為記憶體對齊，記憶體空間都是按照 byte 劃分的，從理論上講似乎對任何型別的變數的訪問可以從任何地址開始，但實際情況是在訪問特定型別變數的時候經常在特定的記憶體地址訪問，這就需要各種型別資料按照一定的規則在空間上排列，而不是順序的一個接一個的排放，這就是對齊。

記憶體對齊遵循兩個規則：

• 假設第一個成員的起始地址為0，每個成員的起始地址（startpos）必須是其資料型別所佔空間大小的整數倍

• 結構體的最終大小必須是其成員（基礎資料型別成員）裡最大成員所佔大小的整數倍。

這裡也就不難理解為什麼JVM規定物件的大小必須是8位元組的整數倍了，因為在64位系統下（不開啟指標壓縮），物件中存在很多佔用8 byte的資料型別。但是同時也存在一些4 byte的資料型別，這時我們的Padding就起到了作用，去補充不滿8 byte的部分，湊齊8的整數倍。

公眾號

相關推薦