Java 線程同步鎖選擇指南：避免 String 常量池導致的誤同步陷阱

synchronized 鎖對象的選擇直接決定同步範圍。錯誤選擇（如 String 常量、Boxed 基本類型）會導致非預期的跨實例同步，嚴重影響併發性能甚至死鎖。

錯誤示範：String 字面量鎖

public class SyncTest {
    private String name = "name"; // 字面量進入常量池
    public void method(String flag) {
        synchronized (name) { // 所有實例共用同一把鎖！
            System.out.println(flag + ", invoke method ....");
            Thread.sleep(1000);
        }
    }
    public static void main(String[] args) {
        SyncTest t1 = new SyncTest(), t2 = new SyncTest();
        // 4 條線程分別綁定 t1、t1、t2、t2
        // 預期：t1 兩線程同步，t2 兩線程同步，t1/t2 互不干擾
        // 實際：4 線程全串行，因鎖定同一常量池 "name"
    }
}

推薦做法：專用零長度 byte 數組

public class SyncTest {
    private final byte[] lock = new byte[0]; // 每個實例唯一、不可變、零內存
    public void method(String flag) {
        synchronized (lock) { // 實例級鎖，互不干擾
            System.out.println(flag + ", invoke method f....");
            Thread.sleep(1000);
        }
    }
    // main 測試同前，輸出符合預期：t1 兩線程串行，t2 兩線程串行，t1/t2 並行
}

為什麼選 new byte[0]？

進階：ReentrantLock 替代方案

需可中斷、公平、多條件變量時，優先 java.util.concurrent.locks.ReentrantLock：

private final Lock lock = new ReentrantLock();
public void method() {
    lock.lock();
    try { /* critical section */ }
    finally { lock.unlock(); }
}

總結

1. 鎖對象必須 final、不可變、實例私有。
2. 首選 private final byte[] lock = new byte[0]，零內存、語義清晰。
3. 避免 String、包裝類、this 等「共享/可變/公開」對象。
4. 複雜同步需求轉用 Lock 體系。