C語言模組間時序問題排查實戰：休眠導致的競態條件分析

問題背景

在多模組協同的軟體系統中，訊息處理的時序正確性至關重要。本文記錄一個真實專案案例：模組 A 與模組 B 透過訊息隊列通訊，模組 A 發送攜帶用戶號碼與序列號的訊息後，將用戶號碼按序列號存入全域變量；模組 B 處理完畢後原樣返回。模組 A 收到回覆時，依序列號查找原發送號碼並比對。自測階段發現比對失敗，導致後續流程中斷。

模組 A 執行流程分析

模組 A 的關鍵流程如下：

1. 發送訊息給模組 B
2. 休眠一段時間
3. 將用戶號碼與序列號拷貝至全域變量
4. 接收模組 B 回覆
5. 根據序列號從全域變量取出原發送號碼
6. 與回覆中的號碼比對

關鍵問題在於步驟 2 的休眠：模組 B 處理極快，在模組 A 休眠期間就已返回訊息。此時模組 A 尚未完成步驟 3 的拷貝，全域變量仍為空值，導致步驟 6 比對失敗。

排查過程與日誌關鍵證據

1. 初步現象：`strncmp` 比對失敗，但日誌顯示發送/接收號碼與序列號均一致
2. 加強日誌：在比對前打印發送/接收號碼，發現「發送號碼為空值」，「接收號碼正確」
3. 驗證拷貝邏輯：在拷貝語句後加日誌，確認拷貝本身成功
4. 時序反轉發現：詳細日誌時間戳顯示，「接收回覆時間」早於「拷貝全域變量時間」
5. 定位罪魁禍首：代碼檢視發現「發送訊息 → 休眠 → 拷貝」順序錯誤

驗證與修復

將休眠代碼註釋後重測，問題消失。根本修復：將拷貝全域變量移至發送訊息之前，保留休眠不影響正確性。修改後流程：

1. 拷貝用戶號碼與序列號至全域變量
2. 發送訊息給模組 B
3. 休眠（如有必要）
4. 接收回覆並比對

經驗總結

• 詳盡日誌是定位利器：關鍵節點（發送、拷貝、接收、比對）必須記錄時間戳與關鍵資料值
• 理清前後依賴關係：共享資料的寫入必須早於任何可能的讀取路徑
• 小心「休眠」等非確定性延遲：在即時系統中，`sleep` 往往掩蓋時序缺陷而非解決問題
• 快速驗證假設：註釋可疑代碼、調整順序、加日誌，快速迭代確認根因

程式碼片段對比

錯誤版本

send_msg_to_B(msg);
sleep(DELAY_MS);              // 危險：模組 B 可能在此期間已返回
copy_to_global(seq, user_id); // 太晚了！
recv_msg_from_B(&reply);
if (strcmp(global[reply.seq], reply.user_id) != 0) error();

修正版本

copy_to_global(seq, user_id); // 先寫入，建立有效上下文
send_msg_to_B(msg);
sleep(DELAY_MS);              // 現在安全了
recv_msg_from_B(&reply);
if (strcmp(global[reply.seq], reply.user_id) != 0) error();

結語

時序錯誤隱蔽且破壞力強，往往在高負載或不同機器上才暴露。養成「先建立上下文、再觸發異步操作」的編程習慣，配合完善的日誌體系，是避免此類缺陷的關鍵。