1. 觸發編譯
JIT編譯的觸發基于熱點代碼檢測，主要通過兩種計數器：
? 方法調用計數器：統計方法被調用的次數（默認閾值：C1為1,500次，C2為10,000次）。
? 回邊計數器：統計循環體的執行次數（如for、while中的跳轉指令）。
當計數器超過閾值時，JVM將代碼加入編譯隊列，由后臺編譯線程處理。
2. 編譯流程（以HotSpot JVM為例）
JIT的編譯過程分為多個階段，不同編譯器（C1/C2/Graal）細節略有差異，但核心流程相似：
(1) 字節碼解析與中間表示（IR）生成
? 輸入：字節碼（.class文件中的指令）。
? 輸出：生成高級中間表示（HIR），如控制流圖（CFG）。
? 關鍵操作：
? 解析字節碼，構建基本塊（Basic Block）。
? 識別循環結構、異常處理塊等。
(2) 方法內聯（Method Inlining）
? 優化目標：減少方法調用開銷。
? 規則：
? 內聯小方法（如getter/setter）。
? 避免內聯巨型方法（通過-XX:MaxInlineSize=35控制閾值）。
? 示例：
// 內聯前
int getValue() { return value; }
void print() { System.out.println(getValue()); }// 內聯后
void print() { System.out.println(value); }
(3) 逃逸分析（Escape Analysis）
? 目標：判斷對象是否僅在方法內部使用。
? 優化結果：
? 棧上分配：對象直接分配在棧幀，減少GC壓力。
? 標量替換：將對象拆解為基本類型局部變量。
? 鎖消除：若對象無競爭，移除同步操作。
? 示例：
// 優化前
void foo() {Object obj = new Object(); // 對象可能被分配在堆synchronized(obj) { ... } // 同步鎖
}// 優化后（逃逸分析確認obj未逃逸）
void foo() {// 對象被標量替換或棧上分配，鎖被消除
}
(4) 循環優化
? 循環展開（Loop Unrolling）：減少循環條件判斷次數。
// 優化前
for (int i = 0; i < 4; i++) { sum += i; }// 優化后
sum += 0; sum += 1; sum += 2; sum += 3;
? 循環向量化（SIMD）：利用CPU單指令多數據（如AVX指令）并行計算數組。
(5) 公共子表達式消除（CSE）
? 移除冗余計算：復用相同表達式的計算結果。
// 優化前
int a = x * y + z;
int b = x * y + w;// 優化后
int tmp = x * y;
int a = tmp + z;
int b = tmp + w;
(6) 死代碼消除（Dead Code Elimination）
? 移除不可達代碼：如if (false) { ... }或未使用的變量。
// 優化前
int x = 1;
if (false) { x = 2; } // 死代碼
System.out.println(x);// 優化后
System.out.println(1);
(7) 本地代碼生成
? 目標平臺適配：根據CPU架構（x86/ARM）生成機器碼。
? 寄存器分配：優化寄存器使用，減少內存訪問。
? 指令選擇：選擇高效指令（如用LEA替代乘法）。
3. 分層編譯（Tiered Compilation）
現代JVM（如HotSpot）采用分層策略逐步優化代碼：
- 第0層：解釋執行（快速啟動）。
- 第1層（C1編譯器）：輕量優化（方法內聯、簡單循環展開）。
- 第2層（C2編譯器）：深度優化（逃逸分析、向量化）。
- Graal編譯器（可選）：替代C2，支持更激進優化（如JDK17的GraalVM）。
觸發條件：
? C1編譯：方法調用約1,500次（-XX:CompileThreshold）。
? C2編譯：方法調用約10,000次（-XX:Tier4CompileThreshold）。
4. 反優化（Deoptimization）
當假設條件不滿足時，JVM會回退到解釋執行，常見場景：
? 類加載變化：如動態加載新類導致原有優化失效。
? 多態調用：虛方法的目標方法改變（如接口實現類新增）。
? 斷言失敗：逃逸分析假設被打破（對象意外逃逸）。
5. 監控與調優
(1) 查看JIT編譯日志
java -XX:+PrintCompilation -XX:+PrintInlining -XX:+UnlockDiagnosticVMOptions MyApp
輸出示例：
42 3 java.lang.String::hashCode (55 bytes) COMPILE SKIPPED: already compiled
56 1 java.util.ArrayList::size (5 bytes) INLINE (hot)
(2) 關鍵JVM參數
| 參數 | 作用 |
|---|---|
-XX:+TieredCompilation | 啟用分層編譯（默認開啟） |
-XX:CompileThreshold=1500 | 調整C1編譯的調用閾值 |
-XX:MaxInlineSize=35 | 控制方法內聯的最大字節碼大小 |
-XX:+PrintAssembly | 打印生成的機器碼（需HSDIS插件） |
6. 實際案例：優化斐波那契數列
原始代碼（遞歸）
long fib(int n) {if (n <= 1) return n;return fib(n-1) + fib(n-2); // 重復計算，性能差
}
JIT優化后
- 內聯：遞歸調用被展開。
- 循環展開：轉換為迭代形式。
- 最終機器碼：近似以下優化版本：
long fib(int n) {if (n <= 1) return n;long a = 0, b = 1;for (int i = 2; i <= n; i++) {long c = a + b;a = b;b = c;}return b; }
性能提升：從指數級時間復雜度（O(2^n)）降至線性（O(n)）。
7. 總結
? 觸發條件：基于熱點代碼的調用或循環次數。
? 核心優化：方法內聯、逃逸分析、循環優化、死代碼消除等。
? 分層編譯：逐步從解釋執行過渡到深度優化（C1→C2）。
? 反優化：動態適應運行時變化，保證正確性。
? 調優建議：監控編譯日志，合理配置閾值，避免冷啟動影響性能測試。
理解JIT編譯過程有助于編寫對編譯器友好的代碼（如小方法、減少動態綁定），最大化運行時性能。
)
