JVM 字節碼執行機制：解釋執行與 JIT 編譯深度解析

JVM 字節碼執行機制：解釋執行與 JIT 編譯深度解析

參考：《分散式 Java 應用：基礎與實踐》、《深入理解 Java 虛擬機（第二版）》

1. 兩種執行模式

JIT 兩大編譯器模式

• C1 (Client Compiler)：少量高性價比優化、佔用記憶體少、適用桌面程式
• C2 (Server Compiler)：大量激進優化、佔用記憶體多、適用伺服器端、收集大量運行期資訊

預設選擇：32 位元機器預設 C1；64 位元且 CPU>2 核、記憶體>2GB 則預設 C2。可用 -client / -server 強制指定。

HotSpot 混合模式：對執行頻率高的「熱點代碼」進行 JIT 編譯，其餘繼續解釋執行，平衡啟動速度與執行效能。

2. 解釋執行流程

參考《深入理解 Java 虛擬機》第 3 章類檔案結構與 javap 反編譯，以 inc() 方法為例，解釋器基於棧架構逐條執行字節碼指令（iload、iinc、istore 等）。

3. JIT 編譯觸發條件與流程

編譯對象

• 完整方法
• 方法中的迴圈體（OSR 編譯：On-Stack Replacement）

兩大計數器觸發閾值

半衰期機制：計數器統計的是一段時間（半衰周期）內的次數。若半衰期內未達閾值，計數值減半。可用 -XX:-UseCounterDecay 關閉半衰，-XX:CounterHalfLifeTime 設定周期。

編譯執行流程（非阻塞）

1. 解釋器調用方法/進入迴圈時檢查是否有編譯版本
2. 無編譯版本 → 計數器 +1 → 判斷是否超過閾值
3. 超過閾值 → 後台編譯線程啟動編譯，前台繼續解釋執行不阻塞
4. 下次調用/進入迴圈時，若編譯完成則執行機器碼，否則繼續解釋

4. C1 編譯器優化手段

「少量高性價比優化」，主要包含：

1. 方法內聯 - 最基礎優化，消除方法調用開銷（建棧幀、參數傳遞、返回值、跳轉）
2. 冗余消除
3. 複製傳播
4. 無用代碼消除
5. 類別繼承關係分析 (CHA) - 輔助去虛擬化
6. 去虛擬化

優化連鎖範例

// 原始碼
static class B { int value; final int get() { return value; } }
public void foo() { y = b.get(); /* do something */ z = b.get(); sum = y + z; }

// 1. 方法內聯 (get() ≤ 35 bytes，-XX:MaxInlineSize)
public void foo() { y = b.value; /* do something */ z = b.value; sum = y + z; }

// 2. 冗余消除 (假設 do something 未修改 b.value)
public void foo() { y = b.value; /* do something */ z = y; sum = y + z; }

// 3. 複製傳播 (z 僅用於 sum 計算)
public void foo() { y = b.value; /* do something */ y = y; sum = y + y; }

// 4. 無用代碼消除
public void foo() { y = b.value; /* do something */ sum = y + y; }

去虛擬化與逆優化

// 假設 Animal 只有 Cat 一個實現類
public void methodA(Animal animal) { animal.eat(); }

// CHA 分析後去虛擬化
public void methodA(Animal animal) { System.out.println("cat eat fish"); }

// 運行期載入 Dog 實現類 → 逆優化：回退至解釋執行

逆優化：當編譯假設失效（如新增子類），機器碼失效，回退解釋執行。

5. C2 編譯器進階優化（逃逸分析為基礎）

啟用：-XX:+DoEscapeAnalysis

判斷方法內變數是否被外部執行緒/方法讀取，若不逃逸則進行：

範例：標量替換

Point point = new Point(1, 2);
System.out.println("x:" + point.x + ", y:" + point.y);
// 後續無任何代碼訪問 point
// ↓ 標量替換後
int x = 1; int y = 2;
System.out.println("x:" + x + ", y:" + y);

範例：同步消除

synchronized(cat) { /* do xxx */ }
// 若 cat 不逃逸出當前執行緒
// ↓ 同步消除後
/* do xxx */

6. 總結對比

為何不用 AOT（預先編譯）？ 除上述優點外，JIT 關鍵優勢在於運行期收集 Profile 資訊，依據實際執行熱點與型別分佈進行針對性優化（如去虛擬化、內聯決策），這正是 AOT 無法做到的。