深度剖析 Java 同步機制：從 C++ Monitor 模式到 Java 內建實現的對比與實踐

雙重視角：C++ 模式本質與 Java 語言封裝

本文從兩面闡述：(1) 用 C++ 描述 Monitor Object 設計模式，幫助讀者從本質認識該模式（Java 語言層封裝屏蔽了細節）；(2) 結合 C++ 版本深入理解 Java 同步機制，指導正確高效使用。

預備知識：RAII、Scoped Lock、Condition Variables

RAII (Resource Acquisition Is Initialization)

建構子獲取資源，解構子釋放資源。C++ 智慧指標、Scoped Lock 均基於此。Java 無解構子，靠 GC 管理記憶體，資源釋放用 `finally` 區塊模擬 RAII。

Scoped Lock (區域鎖)

進入區域自動獲取鎖，離開自動釋放。C++ 用 RAII 實作 `Guard` 模板類管理 `LOCK`（如 Windows `CRITICAL_SECTION`）。Java 語言層內建支援：`synchronized` 關鍵字即為 Scoped Lock，保證進入區域獲取物件鎖，無論從何處退出（正常、異常、return）鎖皆正確釋放。

Condition Variables (條件變數)

執行緒等待共享資料達特定狀態。C++ 需封裝 OS API（如 Solaris `cond_t`），關聯 Mutex。Java 根類別 `Object` 直接提供 `wait()`/`notify()`/`notifyAll()`，無需自行封裝。

Monitor Object 設計模式：C++ 完整實作

問題描述

並發環境下，物件方法會改變物件狀態。需解決：(1) 任一時刻唯一公共方法由唯一執行緒執行；(2) 同步透明化，調用者無需干預；(3) 方法因條件不滿足阻塞時，允許其他客戶端方法存取物件。

四大參與者

1. Monitor Object：定義公共介面方法。
2. Synchronized Methods：防止競爭條件，任一時刻僅一同步方法執行。
3. Monitor Lock：每個 Monitor Object 擁有一把鎖，同步方法用於序列化存取。
4. Monitor Condition：同步方法配合鎖與條件決定阻塞/恢復執行。

執行序列協作

1. 同步方法調用與序列化：客戶執行緒獲取 Monitor Lock，失敗則阻塞；成功進入臨界區執行；完成自動釋放鎖。
2. 同步方法執行緒掛起：條件不滿足時在 Monitor Condition 上 `wait()`，暫時釋放鎖並掛起。
3. Monitor Condition 通知：其他執行緒 `notify()`/`notifyAll()` 喚醒掛起執行緒。
4. 同步方法執行緒恢復：被喚醒執行緒重新獲取鎖，從 `wait()` 點繼續執行。

生產者/消費者完整 C++ 範例

定義 `Message_Queue`：固定長度佇列，多生產者/消費者操作。核心欄位：`monitor_lock_` (Mutex)、`not_empty_`/`not_full_` (Condition Variables)。

• `put()`：獲取鎖 → `while(full) not_full_.wait()` → 入隊 → `not_empty_.notify()` → 釋放鎖。
• `get()`：獲取鎖 → `while(empty) not_empty_.wait()` → 出隊 → `not_full_.notify()` → 釋放鎖。
• 內部方法 `put_i()`/`get_i()`/`empty_i()`/`full_i()` 非同步，由公共同步方法保護。

關鍵點：`Guard` 實現 Scoped Lock；`wait()` 內部自動釋放鎖並掛起，返回前自動重獲鎖；區分 `not_empty`/`not_full` 兩條件變數精確通知。

Java Monitor 實踐

Java Monitor 運作機制

Java 物件本身即 Monitor Object，語言內建支援：

• 互斥執行：物件鎖（`synchronized` 獲取）保證共享資料執行緒互斥。
• 協作： `wait()`/`notify()`/`notifyAll()` 協同執行緒。

執行緒獲取鎖成功成為 Owner，任一時刻僅一 Owner。Owner 呼叫 `wait()` 自動釋放鎖進入等待集合。

生產者/消費者 Java 版

代碼大幅簡化：`synchronized` 方法隱含鎖獲取/釋放；`wait()`/`notifyAll()` 直接可用。但無法區分 `not_empty`/`not_full` 兩條件變數，只能用 `notifyAll()` 喚醒所有等待者（C++ 版可精確 `notify()`）。

對比總結：Java 簡化了什麼？犧牲了什麼？

結論：Java 確實簡化了基於 Monitor Object 並發模式的開發。但並發實戰遠比語法簡單複雜，我們必須看清本質（鎖競爭、條件等待、喚醒風暴等）才能構建健壯並發應用。