Java 多線程同步進階：Doug Lea Mutex 實現原理與 Sync 介面設計藝術

背景：為什麼需要 Mutex？

synchronized 關鍵字鎖定範圍侷限於方法/代碼塊，無法跨方法、跨對象協調。Doug Lea 的 concurrent 包引入 Sync 介面，統一鎖、閘、條件變量語義，實現面向抽象編程，靈活切換同步策略。

Sync 介面定義

public interface Sync {
    void acquire() throws InterruptedException;      // 獲取許可（阻塞）
    boolean attempt(long msecs) throws InterruptedException; // 嘗試獲取（帶超時）
    void release();                                   // 釋放許可
}

• acquire() / attempt() 可拋 InterruptedException，需捕獲
• release() 不拋異常，適合 finally 區塊保證釋放

標準使用模板

class X {
    private final Sync gate = new Mutex(); // 或 Semaphore 等

    public void m() {
        try {
            gate.acquire();
            try {
                // 臨界區業務邏輯
            } finally {
                gate.release(); // 保證釋放
            }
        } catch (InterruptedException ex) {
            // 中斷應對：記錄、恢復中斷狀態、拋出等
        }
    }
}

Mutex 實現原碼深度解析

public class Mutex implements Sync {
    protected boolean inuse_ = false; // 鎖狀態

    public void acquire() throws InterruptedException {
        if (Thread.interrupted()) throw new InterruptedException(); // (1) 快速失敗
        synchronized (this) {
            try {
                while (inuse_) wait(); // (2) 自旋等待
                inuse_ = true;         // 佔用鎖
            } catch (InterruptedException ex) {
                notify();              // (3) 喚醒其他等待者
                throw ex;
            }
        }
    }

    public synchronized void release() {
        inuse_ = false;
        notify(); // 喚醒一個等待者
    }

    public boolean attempt(long msecs) throws InterruptedException {
        if (Thread.interrupted()) throw new InterruptedException();
        synchronized (this) {
            if (!inuse_) {
                inuse_ = true;
                return true;
            }
            if (msecs <= 0) return false;

            long waitTime = msecs;
            long start = System.currentTimeMillis();
            try {
                for (;;) {
                    wait(waitTime);
                    if (!inuse_) {
                        inuse_ = true;
                        return true;
                    }
                    waitTime = msecs - (System.currentTimeMillis() - start);
                    if (waitTime <= 0) return false;
                }
            } catch (InterruptedException ex) {
                notify();
                throw ex;
            }
        }
    }
}

關鍵設計細節

1. 非重入：同一線程重複 acquire() 會死鎖，簡化實現，效能更高
2. 雙重檢查中斷：進入 synchronized 前後各檢查一次 Thread.interrupted()，響應更及時
3. wait/notify 機制：建立在 synchronized(this) 監視器上，經典條件變量模式
4. release() 無條件喚醒：不檢查是否持有鎖，簡化邏輯，允許「過度釋放」
5. attempt() 精確超時控制：動態計算剩餘等待時間，避免過度/不足等待

Sync 體系主要實現

現代替代：java.util.concurrent.locks

JDK 5+ 內建 Lock、ReadWriteLock、Condition，功能更豐富、效能更優、API 更標準。新項目首選 JDK 內建，僅維護舊代碼時研究 Doug Lea 實現。

設計啟示

Sync 介面展示了「面向抽象編程」的威力：上層業務邏輯依賴 Sync，底層可熱插拔 Mutex/Semaphore/ReentrantLock，零修改切換同步策略，這才是框架級設計的風範。

1. 上一篇文章： J2ME 動畫開發入門：Canvas + 執行緒實現文字閃爍效果
2. 下一篇文章： 編寫高效能 Java 應用：JVM 方法內聯、Profiling 與手動優化實戰

Java 程式設計入門

Java Media Framework (JMF) 打造跨平台媒體播放器：從 GUI 設計到核心播放邏輯

專案目標 使用 JMF (Java Media Framew

Java Swing 列表框動態增刪元素與數據回收完整實現

場景痛點 雙列表框交互 (可選項 ←→ 已選項) 是典型 U

敏捷建構核心：透過測試分類實現極速建構 — 單元、組件、系統測試三層策略

前言：測試套件膨脹帶來的建構危機 某創業公司 2002 年起

即時戰略遊戲在 J2ME 上的可行性探索：架構設計與效能突破

前言 即時戰略（RTS）遊戲以複雜運算、高頻資料交換、龐大繪