Java 線程同步鎖深度解析：從「排隊」原理到共享數據安全實戰

前言：同步其實是「排隊」

synchronize 一詞源自「使同時發生」，但 Java 線程同步的真實含義恰恰相反——強制線程排隊，逐個訪問共享資源。理解這一點，是掌握併發安全的鑰匙。本文從四大核心原則、生活類比、代碼實戰三個維度，徹底講透 Java 線程同步鎖。

四大核心原則：何時需要同步？

1. 同步即排隊：多線程對共享資源操作必須串行，避免「一窩蜂」導致數據競態；
2. 只有共享資源才需同步：線程私有變量、方法參數、棧內對象天然線程安全；
3. 只有可變共享資源才需同步：不可變對象（final、String、不可變集合）可安全共享讀取；
4. 代碼位置無關，訪問同一可變共享資源即需同步：無論是同一方法還是不同方法，甚至不同類，只要訪問同一可變共享狀態，必須同步。

生活類比：超市儲物箱與布告欄

案例一：無共享，無需同步

兩名採購員各自買樣品、寫報告，互不干擾 —— 兩線程操作各自私有數據，無共享，無同步。

案例二：只讀共享，無需同步

採購員同時看「布告欄」（只讀資源），互不影響 —— 多線程並發讀取不可變數據，安全。

案例三：讀寫共存，必須同步

行政人員修改布告欄時，採購員必須等待；採購員閱讀時，行政人員必須等待。一寫多讀、寫寫互斥，這就是同步的核心場景。注意：行政與採購員代碼邏輯完全不同，但因訪問同一可變資源（布告欄），依然需要同步 —— 驗證原則四。

同步實現機制：一把鎖，一把鑰匙

Java 提供兩種內置鎖機制：

// 1. 同步代碼塊：鎖對象任意，推薦用共享資源實例或專用鎖對象
synchronized (lockObject) {
    // 临界區：訪問共享資源
}

// 2. 同步方法：鎖隱式為 this (實例方法) 或 Class 對象 (靜態方法)
public synchronized void modifyShared() { ... }

鎖的語義：獲得鎖的線程進入臨界區，其他線程阻塞等待，釋放鎖喚醒等待者。這與超市儲物箱「一把鎖一把鑰匙」完全同構。

進階：避免常見陷阱

• 鎖對象選擇錯誤：用 new Object()、字符串常量、基本類型包裝對象作為鎖，導致實際未共享同一把鎖；
• 臨界區過大：同步塊包含耗時 I/O、睡眠、日誌輸出，嚴重降低併發度；
• 死鎖：多線程循環等待對方持有的鎖，需保證加鎖順序一致或使用 tryLock 超時機制；
• 過度同步：對不可變對象、線程局部變量加鎖，純屬性能損耗。

代碼實戰：線程安全計數器

public class SafeCounter {
    private int count = 0;
    private final Object lock = new Object(); // 專用鎖對象

    public void increment() {
        synchronized (lock) { // 僅保護核心寫操作
            count++;
        }
    }

    public int getCount() {
        synchronized (lock) { // 讀也要同步，保證可見性
            return count;
        }
    }
}

對比 AtomicInteger：CAS 無鎖方案在低競爭下性能更優，高競爭下鎖可能更穩定，按場景選型。

總結

Java 線程同步的本質是互斥訪問可變共享狀態。牢記「共享、可變、訪問」三要素，選對鎖對象、縮小臨界區、防死鎖，即可構建健壯併發程序。下一步可深入學習 ReentrantLock、ReadWriteLock、StampedLock 等顯式鎖，以及 java.util.concurrent 並發包的高級組件。