Windows C++ 多線程調試：斷點會改變時序，改用無鎖日誌庫 log4cplus 記錄線程執行軌跡

多線程下打斷點會阻塞當前線程，破壞原本的併發時序，導致難以復現競態條件。正解是非阻塞異步日誌記錄關鍵節點，事後離線分析。

為什麼斷點失效？

• 斷點觸發 → 線程暫停 → 其他線程繼續跑 → 鎖/條件變量狀態改變 → 繼續執行時上下文已不同。
• Heisenbug（海森堡蟲）：觀測即改變行為。

推薦方案：log4cplus 異步 Appender

1. 引入庫

// vcpkg install log4cplus
// CMakeLists.txt
find_package(log4cplus REQUIRED)
target_link_libraries(myapp PRIVATE log4cplus)

2. 配置異步滾動文件

# log4cplus.properties
log4cplus.rootLogger=DEBUG, ASYNCFILE

log4cplus.appender.ASYNCFILE=log4cplus::AsyncAppender
log4cplus.appender.ASYNCFILE.Appender=ROLFILE

log4cplus.appender.ROLFILE=log4cplus::RollingFileAppender
log4cplus.appender.ROLFILE.File=logs/mt_debug.log
log4cplus.appender.ROLFILE.MaxFileSize=50MB
log4cplus.appender.ROLFILE.MaxBackupIndex=10
log4cplus.appender.ROLFILE.Layout=log4cplus::PatternLayout
log4cplus.appender.ROLFILE.Layout.ConversionPattern=%d{%Y-%m-%d %H:%M:%S.%q} [%t] %-5p %c{2} %x - %m%n

3. 代碼中記錄線程關鍵事件

#include 
#include 

static log4cplus::Logger logger = log4cplus::Logger::getInstance(LOG4CPLUS_TEXT("MT"));

void Worker::process(Task t) {
    LOG4CPLUS_DEBUG(logger, "TID=" << std::this_thread::get_id() << " start task " << t.id);
    // ... 業務邏輯
    LOG4CPLUS_DEBUG(logger, "TID=" << std::this_thread::get_id() << " lock mutex");
    std::lock_guard lk(mtx);
    LOG4CPLUS_DEBUG(logger, "TID=" << std::this_thread::get_id() << " got mutex");
    // ...
    LOG4CPLUS_DEBUG(logger, "TID=" << std::this_thread::get_id() << " finish task " << t.id);
}

進階分析技巧

• 日誌含 %t（線程 ID/名）、%q（毫秒級時間戳），可用 grep/awk 重構時序圖。
• 配合 log4cplus::NDC（嵌套診斷上下文）標記請求鏈路：
  log4cplus::NDCContextCreator _ctx("Req-" + reqId);
• 死鎖排查：搜尋同一線程連續兩次 `lock mutex` 中間無 `got mutex`。

替代方案

• Event Tracing for Windows (ETW)：系統級、極低開銷，配合 WPA 分析，適合生產環境。
• Intel VTune / Visual Studio Concurrency Visualizer：圖形化線程時間線，需專業版授權。