線程同步核心機制：信號量與互斥量詳解

線程同步核心機制：信號量與互斥量詳解

線程是輕量級進程，共享進程資源，因此不需要專門的通信機制，但必須有同步機制協調對共享資源的訪問。本文概述線程同步的兩大核心工具：信號量與互斥量。

一、同步的本質

同步是指多線程按預定順序協調運行，避免競態條件。進程同步與線程同步理論相同，但實現機制不同：

• 進程間：信號量、管道、共享內存、消息隊列、Socket等。
• 線程間：信號量、互斥量、條件變量、讀寫鎖、自旋鎖等。

二、信號量

由Dijkstra提出，核心是P/V原子操作：

• P操作 (wait)：信號量 -1，若結果 < 0 則阻塞線程。
• V操作 (post)：信號量 +1，若有阻塞線程則喚醒一個。

信號量值代表可用資源數。初始值決定並發訪問能力：

• 二值信號量 (0/1)：實現互斥，類似互斥量。
• 計數信號量 (>1)：控制有限資源池（如連接池、線程池）。

線程間使用的信號量為無名信號量（內存中），進程間常用有名信號量（文件系統中）。

三、互斥量

專為線程互斥設計，不適用於進程間（除非置於共享內存並設置屬性）。

• 鎖定：線程進入臨界區前加鎖，若已被鎖則阻塞等待。
• 解鎖：離開臨界區後解鎖，喚醒等待線程。
• 所有權：只有加鎖的線程能解鎖（異於信號量）。
• 類型：正常鎖、遞歸鎖、錯誤檢查鎖、自旋鎖（忙等待，適合極短臨界區）。

四、信號量 vs 互斥量：選型指南

五、同步陷阱與最佳實踐

1. 死鎖：多線程循環等待彼此持有的鎖。預防：固定加鎖順序、使用 pthread_mutex_trylock、超時機制。
2. 活鎖/餓死：線程不斷重試卻無進展。公平鎖、隨機退避緩解。
3. 優先級反轉：低優先級線程持有鎖，高優先級等待，中優先級搶佔CPU。解決：優先級繼承協議（POSIX互斥量屬性）。
4. 臨界區最小化：鎖保護範圍越小越好，避免在鎖內調用I/O、睡眠、複雜計算。
5. RAII風格：C++用 lock_guard/unique_lock；C語言用 goto cleanup 或宏封裝確保解鎖。

線程同步是並發編程的基石。互斥量保護數據，信號量協調流程。理解二者語義差異，結合條件變量（等待條件）、讀寫鎖（讀多寫少），方能構建高效正確的並發程序。