JVM 視角下的 Java 線程：從語言規範到字節碼實現的深度解析

本文基於 Java Language Specification (JLS) 與 Java Virtual Machine Specification (JVMS)，從 JVM 角度剖析 Java 線程的語法語義、synchronized 編譯產物、監視器指令、線程與鎖的內存模型語義，幫助開發者透過現象看本質，理解併發底層機制。

一、JLS 中的 synchronized 方法語義

JLS §8.4.3.6 規定：

• 實例同步方法：鎖為 this（當前對象實例）。
• 靜態同步方法：鎖為該方法所在類的 Class 對象。

等價轉換示例：

// 代碼 1：同步方法
class Test {
    synchronized void bump() { count++; }
    static synchronized void classBump() { classCount++; }
}

// 代碼 2：等價同步塊
class Test {
    void bump() { synchronized(this) { count++; } }
    static void classBump() {
        synchronized(Test.class) { classCount++; } // Class.forName("Test") 同理
    }
}

兩者語義完全一致，編譯器將同步方法標記為 ACC_SYNCHRONIZED 訪問標誌，而非生成 monitorenter/monitorexit 指令。

二、synchronized 編譯產物：字節碼層面的差異

JVMS §7.11 規定：

1. 同步方法

方法訪問標誌設置 ACC_SYNCHRONIZED（0x0020）。JVM 調用方法時檢查此標誌，自動執行鎖獲取/釋放邏輯（隱式 monitorenter/monitorexit）。無額外字節碼指令。

2. 同步語句塊

編譯為顯式 monitorenter / monitorexit 指令對。示例：

void onlyMe(Foo f) {
    synchronized(f) { doSomething(); }
}

編譯為（簡化）：

Method void onlyMe(Foo)
 0 aload_1           // 載入 f
 1 astore_2          // 存入局部變量 2 (隱式鎖變量)
 2 aload_2           // 載入鎖對象
 3 monitorenter      // 獲取鎖
 4 aload_0           // this
 5 invokevirtual #5  // 調用 doSomething()
 8 aload_2           // 載入鎖對象
 9 monitorexit       // 釋放鎖 (正常退出)
10 return
11 aload_2           // 異常路徑入口
12 monitorexit       // 釋放鎖 (異常退出)
13 athrow            // 重拋異常

關鍵點：編譯器在正常退出與異常退出路徑各插入一條 monitorexit，確保鎖必釋放（類似 finally 語義）。