您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C >> 關於C

深度解析：為什麼雙重檢查鎖定模式(DCLP)在C/C++中不可靠

編輯：關於C

單例模式是設計模式中最常用也最容易出錯的一種。為了在多線程環境下實現線程安全且高效的單例，雙重檢查鎖定模式（Double-Checked Locking Pattern，DCLP）曾被廣泛推崇。然而，在C/C++中，DCLP存在嚴重的根本性缺陷。本文深入剖析其失效原因。

單例模式的線程安全問題

最基本的單例實現：

Singleton* Singleton::instance() {
    if (pInstance == 0) {        // Line 1
        pInstance = new Singleton; // Line 2
    }
    return pInstance;
}

單線程下完美工作，但多線程下會出現競態條件：線程A檢查到pInstance為空，被掛起；線程B創建實例並返回；線程A恢復執行，再次創建實例，導致兩個實例並發存在，違背單例初衷。

加鎖版本的性能代價

在檢查前加全局鎖雖能保證安全，但每次調用都需加鎖解鎖，性能開銷巨大。實際上只有首次創建需要同步，後續調用直接返回即可。

DCLP的設計初衷

Singleton* Singleton::instance() {
    if (pInstance == 0) {        // 第一次檢查
        Lock lock;
        if (pInstance == 0) {    // 第二次檢查
            pInstance = new Singleton;
        }
    }
    return pInstance;
}

意圖：第一次檢查無鎖快速通過，僅在實例未創建時獲取鎖，第二次檢查確保無其他線程搶先創建。理論完美，實際卻暗藏殺機。

核心缺陷：指令重排序

pInstance = new Singleton 並非原子操作，編譯器通常分三步執行：

分配內存：operator new(sizeof(Singleton))
構造對象：在分配內存上調用構造函數
賦值指針：讓pInstance指向該內存

關鍵問題：編譯器為優化性能，可能將步驟2和3重排序（先賦值指針，再構造對象）。這在單線程無影響，但在多線程下災難性後果：

線程A執行到步驟3（pInstance已非空），但對象尚未構造完成（步驟2未執行）
線程B進入，第一次檢查發現pInstance非空，直接返回該指針
線程B解引用未構造完成的對象 → 未定義行為、崩潰、數據損壞

為什麼C/C++標準無法保證順序

C++98/03標準未定義線程模型，編譯器優化器在單線程語義下自由重排指令。即使C++11引入內存模型，new表達式的三步操作仍無順序保證，除非顯式使用std::atomic配合內存屏障。

正確的現代解決方案

C++11及以上：利用靜態局部變量初始化的線程安全性

Singleton& Singleton::instance() {
    static Singleton instance; // C++11保證線程安全初始化
    return instance;
}

編譯器自動生成線程安全的初始化代碼，無鎖、高效、正確。

C++11前或需精確控制：使用std::call_once


std::once_flag flag;
Singleton* Singleton::instance() {
    std::call_once(flag, []{ pInstance = new Singleton; });
    return pInstance;
}

雙重檢查鎖定的正確寫法（C++11原子操作）


std::atomic pInstance{nullptr};
std::mutex mtx;

Singleton* Singleton::instance() {
    Singleton* tmp = pInstance.load(std::memory_order_acquire);
    if (!tmp) {
        std::lock_guard lock(mtx);
        tmp = pInstance.load(std::memory_order_relaxed);
        if (!tmp) {
            tmp = new Singleton;
            pInstance.store(tmp, std::memory_order_release);
        }
    }
    return tmp;
}

關鍵點：std::atomic配合memory_order_acquire/release建立happens-before關係，禁止關鍵指令重排序。