前言

本文將從底層原理和源代碼層面詳細(xì)解釋Java的對(duì)象頭（Object Header），并且盡量用通俗易懂的語(yǔ)言讓初學(xué)者也能理解。首先從概念開(kāi)始，逐步深入到實(shí)現(xiàn)細(xì)節(jié)，涵蓋對(duì)象頭的結(jié)構(gòu)、作用、源碼分析，并提供完整的步驟和推導(dǎo)。內(nèi)容清晰、結(jié)構(gòu)化，避免過(guò)于晦澀的技術(shù)術(shù)語(yǔ)。由于對(duì)象頭是Java鎖機(jī)制（如synchronized）的基礎(chǔ)，我會(huì)適當(dāng)結(jié)合鎖的場(chǎng)景來(lái)增強(qiáng)理解。

一、什么是Java對(duì)象頭？為什么需要它？

1.1 對(duì)象頭的概念

 在Java中，每個(gè)對(duì)象（比如new Object()創(chuàng)建的對(duì)象）在內(nèi)存中不僅存儲(chǔ)了它的實(shí)際數(shù)據(jù)（字段值），還有一個(gè)額外的“標(biāo)簽”部分，稱為對(duì)象頭（Object Header）。你可以把對(duì)象頭想象成一個(gè)身份證，記錄了對(duì)象的身份信息和狀態(tài)，比如：

• 這個(gè)對(duì)象是否被鎖??？
• 這個(gè)對(duì)象屬于哪個(gè)類？
• 這個(gè)對(duì)象的年齡（用于垃圾回收）？

對(duì)象頭就像一個(gè)“管理面板”，JVM（Java虛擬機(jī)）通過(guò)它來(lái)管理對(duì)象的生命周期、鎖狀態(tài)和內(nèi)存分配。

1.2 為什么需要對(duì)象頭？

對(duì)象頭的主要作用是為JVM提供元數(shù)據(jù)（Metadata），支持以下功能：

1. 鎖機(jī)制：實(shí)現(xiàn)synchronized鎖，記錄鎖狀態(tài)（比如哪個(gè)線程持有鎖）。
2. 垃圾回收：記錄對(duì)象的分代年齡（GC Age），決定對(duì)象是否需要被回收。
3. 類型信息：指向?qū)ο蟮念愋畔?，確保JVM知道這個(gè)對(duì)象是哪個(gè)類的實(shí)例。
4. 哈希碼：存儲(chǔ)對(duì)象的hashCode()值，用于HashMap等數(shù)據(jù)結(jié)構(gòu)。
5. 數(shù)組支持：如果對(duì)象是數(shù)組，記錄數(shù)組長(zhǎng)度。

沒(méi)有對(duì)象頭，JVM就無(wú)法高效管理對(duì)象，也無(wú)法實(shí)現(xiàn)多線程的線程安全。

二、Java對(duì)象頭的結(jié)構(gòu)

Java對(duì)象頭的結(jié)構(gòu)在JVM實(shí)現(xiàn)中（以HotSpot JVM為主）分為幾個(gè)部分，主要包括：

1. Mark Word：動(dòng)態(tài)變化的部分，存儲(chǔ)鎖狀態(tài)、哈希碼、分代年齡等。
2. Class Metadata Address：指向?qū)ο笏鶎兕惖脑獢?shù)據(jù)地址。
3. Array Length（可選）：如果對(duì)象是數(shù)組，存儲(chǔ)數(shù)組長(zhǎng)度。

以下是對(duì)象頭在內(nèi)存中的典型布局（以64位JVM為例，假設(shè)未開(kāi)啟指針壓縮）：

2.1 Mark Word

Mark Word 是對(duì)象頭中最復(fù)雜、最動(dòng)態(tài)的部分。它的內(nèi)容會(huì)根據(jù)對(duì)象狀態(tài)（無(wú)鎖、鎖住、GC標(biāo)記等）變化。Mark Word 通常包含以下信息：

• 鎖狀態(tài)：無(wú)鎖、偏向鎖、輕量級(jí)鎖、重量級(jí)鎖。
• 線程ID：持有鎖的線程ID（偏向鎖時(shí)）。
• 哈希碼：對(duì)象的hashCode()值。
• 分代年齡：用于垃圾回收，記錄對(duì)象經(jīng)歷的GC次數(shù)。
• 鎖記錄指針：輕量級(jí)鎖或重量級(jí)鎖時(shí)，指向鎖記錄或Monitor。

Mark Word 的結(jié)構(gòu)會(huì)根據(jù)鎖狀態(tài)動(dòng)態(tài)調(diào)整。例如，在無(wú)鎖狀態(tài)下，它會(huì)存儲(chǔ)哈希碼和GC年齡；在鎖住狀態(tài)下，它會(huì)存儲(chǔ)線程ID或Monitor指針。

以下是 Mark Word 在不同狀態(tài)下的典型布局（64位JVM，未壓縮指針）：

完整位劃分

32位JVM中是這么存的：

通俗解釋：

• Mark Word 像一個(gè)多功能顯示屏，顯示的內(nèi)容根據(jù)對(duì)象狀態(tài)切換。
• 比如，對(duì)象沒(méi)被鎖時(shí)，顯示“哈希碼”和“GC年齡”；被鎖住時(shí)，顯示“鎖信息”和“線程ID”。

2.2 Class Metadata Address

這部分是一個(gè)指針，指向?qū)ο笏鶎兕惖脑獢?shù)據(jù)（Class Metadata），存儲(chǔ)在JVM的方法區(qū)（或元空間）。元數(shù)據(jù)包含類的結(jié)構(gòu)信息，比如：

• 類名、父類、接口。
• 方法表、字段表。
• 靜態(tài)變量等。

通俗解釋：

• 就像身份證上的“籍貫”，告訴JVM這個(gè)對(duì)象是哪個(gè)類的實(shí)例。
• JVM通過(guò)這個(gè)指針找到類的“藍(lán)圖”，知道如何操作這個(gè)對(duì)象。

2.3 Array Length

如果對(duì)象是數(shù)組（比如int[ ]），對(duì)象頭會(huì)額外包含一個(gè)4字節(jié)的字段，記錄數(shù)組的長(zhǎng)度。普通對(duì)象沒(méi)有這一部分。

通俗解釋：

• 數(shù)組就像一個(gè)貨架，Array Length 告訴你貨架上有多少格子。

三、對(duì)象頭的作用和底層原理

3.1 對(duì)象頭在鎖機(jī)制中的作用

對(duì)象頭是synchronized鎖的核心，因?yàn)樗鎯?chǔ)了鎖狀態(tài)和Monitor信息。以下是synchronized鎖的工作原理與對(duì)象頭的關(guān)聯(lián)：

1. 無(wú)鎖狀態(tài)：

   • Mark Word 存儲(chǔ)哈希碼和GC年齡，鎖標(biāo)志位是01。
   • 對(duì)象未被任何線程鎖定。

2. 偏向鎖：

   • 當(dāng)一個(gè)線程首次獲取鎖時(shí)，JVM將Mark Word中的線程ID設(shè)為該線程ID，鎖標(biāo)志位仍為01。
   • 偏向鎖假設(shè)鎖通常被同一線程持有，減少鎖獲取的開(kāi)銷。
   • 例如：Mark Word 記錄“線程A的ID”，下次線程A再獲取鎖時(shí)，直接檢查ID，無(wú)需額外操作。

3. 輕量級(jí)鎖：

   • 如果有輕微競(jìng)爭(zhēng)（比如另一個(gè)線程嘗試獲取鎖），JVM將鎖升級(jí)為輕量級(jí)鎖。
   • Mark Word 存儲(chǔ)一個(gè)指向鎖記錄的指針（如線程棧中的記錄），鎖標(biāo)志位變?yōu)?code>00。
   • 鎖記錄保存了原來(lái)的Mark Word內(nèi)容，釋放鎖時(shí)恢復(fù)。

4. 重量級(jí)鎖：

   • 如果競(jìng)爭(zhēng)激烈（多個(gè)線程爭(zhēng)搶鎖），JVM將鎖升級(jí)為重量級(jí)鎖。
   • Mark Word 存儲(chǔ)一個(gè)指向Monitor的指針，鎖標(biāo)志位變?yōu)?code>10。
   • Monitor 是一個(gè)操作系統(tǒng)級(jí)別的互斥鎖（Mutex），管理線程的等待和喚醒。

通俗例子：

• 想象對(duì)象是一個(gè)房間，Mark Word 是門上的鎖。
• 無(wú)鎖：門沒(méi)鎖，任何人都能進(jìn)。
• 偏向鎖：門上貼了“只許小明進(jìn)”的標(biāo)簽，小明不用每次都開(kāi)鎖。
• 輕量級(jí)鎖：小明和朋友輪流用鑰匙開(kāi)鎖，稍微麻煩點(diǎn)。
• 重量級(jí)鎖：請(qǐng)了個(gè)保安（Monitor）守門，所有人排隊(duì)登記才能進(jìn)。

3.2 對(duì)象頭在垃圾回收中的作用

Mark Word 中的分代年齡（GC Age）用于JVM的分代垃圾回收（Generational GC）：

• 每次對(duì)象在Minor GC中存活，年齡加1。
• 當(dāng)年齡達(dá)到閾值（默認(rèn)15），對(duì)象晉升到老年代。
• Mark Word 的GC標(biāo)記位（11）在GC期間用于標(biāo)記對(duì)象是否存活。

通俗解釋：

• 分代年齡就像人的年齡，記錄對(duì)象“活了多久”。
• JVM通過(guò)年齡判斷對(duì)象是否“老了”，決定是否搬到“養(yǎng)老院”（老年代）。

3.3 對(duì)象頭在哈希碼中的作用

當(dāng)調(diào)用對(duì)象的hashCode()方法時(shí)，JVM將哈希碼存儲(chǔ)在Mark Word中。如果對(duì)象被鎖住，哈希碼可能被暫時(shí)移到Monitor或鎖記錄中。

通俗解釋：

• 哈希碼就像對(duì)象的“身份證號(hào)”，用于HashMap等場(chǎng)景。
• Mark Word 是身份證的“號(hào)碼欄”，鎖住時(shí)號(hào)碼可能被臨時(shí)抄到別處。

四、對(duì)象頭的源碼分析

對(duì)象頭的實(shí)現(xiàn)主要在HotSpot JVM的C++代碼中，位于src/hotspot/share/oops/目錄。我們重點(diǎn)分析Mark Word和相關(guān)邏輯。

4.1 Mark Word的定義

在HotSpot JVM中，Mark Word 由markOop類表示，定義在markOop.hpp中：

// src/hotspot/share/oops/markOop.hpp
class markOopDesc : public oopDesc {
private:
  uintptr_t _value; // Mark Word的實(shí)際值（64位機(jī)器上是64位）

public:
  // 獲取鎖狀態(tài)
  inline uintptr_t lock_bits() const {
    return (_value & lock_mask_in_place);
  }

  // 獲取線程ID（偏向鎖）
  inline uintptr_t biased_thread_id() const {
    return (_value >> biased_lock_thread_id_shift);
  }

  // 獲取哈希碼
  inline uintptr_t hash() const {
    return (_value >> hash_shift) & hash_mask;
  }

  // 獲取分代年齡
  inline uintptr_t age() const {
    return (_value >> age_shift) & age_mask;
  }
};

關(guān)鍵點(diǎn)解釋：

• _value 是一個(gè)64位整數(shù)，存儲(chǔ)Mark Word的所有信息。
• 通過(guò)位運(yùn)算（>>、&）提取鎖狀態(tài)、線程ID、哈希碼、年齡等。
• 鎖標(biāo)志位（最低2位）決定Mark Word的當(dāng)前狀態(tài)（01、00、10、11）。

4.2 對(duì)象頭的內(nèi)存布局

HotSpot JVM中，對(duì)象的內(nèi)存布局由oopDesc類定義，位于oop.hpp：

// src/hotspot/share/oops/oop.hpp
class oopDesc {
private:
  volatile markOop _mark; // Mark Word
  Klass* _metadata;       // Class Metadata Address
};

• _mark：Mark Word，存儲(chǔ)鎖狀態(tài)等。
• _metadata：指向類元數(shù)據(jù)的指針。

如果對(duì)象是數(shù)組，還會(huì)額外包含數(shù)組長(zhǎng)度字段（由JVM在分配內(nèi)存時(shí)添加）。

4.3 鎖狀態(tài)的切換邏輯

鎖狀態(tài)的切換在 synchronizer.cpp 中實(shí)現(xiàn)，涉及偏向鎖、輕量級(jí)鎖、重量級(jí)鎖的轉(zhuǎn)換。以下是簡(jiǎn)化邏輯：

// src/hotspot/share/runtime/synchronizer.cpp
void ObjectSynchronizer::enter(Handle obj, BasicLock* lock, Thread* self) {
  markOop mark = obj->mark(); // 獲取Mark Word

  if (mark->is_neutral()) { // 無(wú)鎖狀態(tài)
    // 嘗試偏向鎖
    if (UseBiasedLocking) {
      markOop biased = mark->biased_to(self); // 設(shè)置線程ID
      if (Atomic::cmpxchg(biased, obj->mark_addr(), mark) == mark) {
        return; // 偏向成功
      }
    }
    // 嘗試輕量級(jí)鎖
    lock->set_displaced_header(mark); // 保存Mark Word到鎖記錄
    if (Atomic::cmpxchg((markOop)lock, obj->mark_addr(), mark) == mark) {
      return; // 輕量級(jí)鎖成功
    }
  }

  // 升級(jí)到重量級(jí)鎖
  ObjectMonitor* monitor = inflate_monitor(obj, self);
  monitor->enter(self); // 進(jìn)入Monitor
}

關(guān)鍵點(diǎn)解釋：

1. 無(wú)鎖到偏向鎖：
   • 檢查Mark Word是否為無(wú)鎖（is_neutral()）。
   • 用CAS（cmpxchg）將線程ID寫入Mark Word。
2. 偏向鎖到輕量級(jí)鎖：
   • 如果有競(jìng)爭(zhēng)，撤銷偏向鎖（biased_to失?。?。
   • 將Mark Word替換為鎖記錄指針，保存原Mark Word到鎖記錄。
3. 輕量級(jí)鎖到重量級(jí)鎖：
   • 如果競(jìng)爭(zhēng)加劇，創(chuàng)建Monitor（inflate_monitor）。
   • Mark Word指向Monitor，進(jìn)入操作系統(tǒng)級(jí)鎖。

4.4 Monitor與對(duì)象頭的交互

重量級(jí)鎖依賴ObjectMonitor類（objectMonitor.hpp），Mark Word存儲(chǔ)Monitor指針：

class ObjectMonitor {
private:
  Thread* _owner; // 持有鎖的線程
  markOop _header; // 保存原來(lái)的Mark Word
  // ...
};

• 當(dāng)鎖升級(jí)為重量級(jí)鎖，Mark Word指向ObjectMonitor實(shí)例。
• 釋放鎖時(shí)，ObjectMonitor將保存的 _header（原Mark Word）恢復(fù)到對(duì)象頭。

五、對(duì)象頭的內(nèi)存開(kāi)銷和優(yōu)化

5.1 內(nèi)存開(kāi)銷

在64位JVM中，對(duì)象頭的典型大?。?/p>

• 普通對(duì)象：8字節(jié)（Mark Word）+ 8字節(jié)（Class Metadata Address）= 16字節(jié)。
• 數(shù)組對(duì)象：16字節(jié) + 4字節(jié)（Array Length）= 20字節(jié)。

這意味著即使一個(gè)空對(duì)象（無(wú)字段）也有16字節(jié)的開(kāi)銷，主要來(lái)自對(duì)象頭。

5.2 指針壓縮

為了減少內(nèi)存開(kāi)銷，HotSpot JVM支持指針壓縮（-XX:+UseCompressedOops）：

• 將64位指針壓縮為32位（通過(guò)偏移編碼）。
• 壓縮后，對(duì)象頭大小變?yōu)椋?ul>
• 普通對(duì)象：8字節(jié)（Mark Word）+ 4字節(jié)（壓縮的Class Metadata Address）= 12字節(jié)。
• 數(shù)組對(duì)象：12字節(jié) + 4字節(jié)（Array Length）= 16字節(jié)。

通俗解釋：

• 指針壓縮就像把“詳細(xì)地址”的省市縣簡(jiǎn)化成“郵編”，節(jié)省空間。

5.3 鎖優(yōu)化

對(duì)象頭的鎖狀態(tài)切換（偏向鎖 → 輕量級(jí)鎖 → 重量級(jí)鎖）是JVM的性能優(yōu)化：

• 偏向鎖：適合單線程場(chǎng)景，Mark Word直接記錄線程ID，獲取鎖幾乎無(wú)開(kāi)銷。
• 輕量級(jí)鎖：適合低競(jìng)爭(zhēng)場(chǎng)景，用CAS操作鎖記錄，減少系統(tǒng)調(diào)用。
• 重量級(jí)鎖：適合高競(jìng)爭(zhēng)場(chǎng)景，依賴操作系統(tǒng)Mutex，但開(kāi)銷大。

六、完整流程

1. 對(duì)象頭的定義：

   • 每個(gè)Java對(duì)象在內(nèi)存中包含對(duì)象頭，分為Mark Word、Class Metadata Address、Array Length（可選）。
   • Mark Word 是動(dòng)態(tài)部分，存儲(chǔ)鎖狀態(tài)、哈希碼、GC年齡等。

2. 對(duì)象頭的作用：

   • 鎖機(jī)制：通過(guò)Mark Word實(shí)現(xiàn)synchronized的偏向鎖、輕量級(jí)鎖、重量級(jí)鎖。
   • 垃圾回收：記錄分代年齡，支持分代GC。
   • 類型信息：指向類元數(shù)據(jù)，確定對(duì)象類型。
   • 哈希碼：存儲(chǔ)hashCode()值。

3. 底層實(shí)現(xiàn)：

   • Mark Word 由markOop類管理，通過(guò)位運(yùn)算提取信息。
   • 鎖狀態(tài)切換由synchronizer.cpp實(shí)現(xiàn)，涉及CAS和Monitor。
   • 對(duì)象頭與JVM的內(nèi)存管理和線程調(diào)度緊密協(xié)作。

4. 內(nèi)存優(yōu)化：

   • 指針壓縮減少對(duì)象頭大?。?6字節(jié) → 12字節(jié)）。
   • 鎖優(yōu)化（偏向鎖、輕量級(jí)鎖）降低鎖開(kāi)銷。

七、通俗總結(jié)

• 對(duì)象頭是什么？它是對(duì)象的“身份證”，記錄鎖狀態(tài)、類型信息、年齡等。
• 怎么工作？Mark Word 像一個(gè)多功能顯示屏，根據(jù)對(duì)象狀態(tài)切換顯示內(nèi)容（鎖、哈希碼等）。
• 為什么重要？沒(méi)有對(duì)象頭，JVM無(wú)法實(shí)現(xiàn)鎖、垃圾回收等核心功能。
• 底層實(shí)現(xiàn)？通過(guò)HotSpot JVM的C++代碼（markOop、synchronizer）管理，依賴位運(yùn)算和操作系統(tǒng)支持。

生活化比喻：

• 對(duì)象頭就像一個(gè)智能門牌，平時(shí)顯示房間號(hào)（類型信息）、住戶ID（鎖狀態(tài)）、房屋年齡（GC年齡）。
• 當(dāng)有人敲門（線程訪問(wèn)），門牌會(huì)切換顯示“誰(shuí)能進(jìn)”（鎖信息），還能記錄“敲門次數(shù)”（哈希碼）。

八、擴(kuò)展閱讀

1. 源碼推薦：
   • HotSpot JVM：markOop.hpp（Mark Word定義）、synchronizer.cpp（鎖邏輯）。
   • 相關(guān)類：oop.hpp（對(duì)象布局）、objectMonitor.hpp（Monitor實(shí)現(xiàn)）。
2. 工具：
   • 用jmap -histo查看對(duì)象內(nèi)存占用，分析對(duì)象頭開(kāi)銷。
   • 用jol（Java Object Layout）庫(kù)查看對(duì)象頭結(jié)構(gòu)。
3. 書籍：
   • 《深入理解Java虛擬機(jī)》（周志明）：深入講解JVM內(nèi)存和對(duì)象頭。
   • 《Java并發(fā)編程實(shí)戰(zhàn)》：結(jié)合鎖機(jī)制理解對(duì)象頭。

到此這篇關(guān)于Java的對(duì)象頭原理與源碼超詳細(xì)講解的文章就介紹到這了,更多相關(guān)Java對(duì)象頭原理詳解內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論