Linux 平台 C/C++ 開發：執行緒控制與同步機制詳解

執行緒優勢：輕量級並發的核心選擇

在 Linux 系統程式設計中，執行緒相較於進程具有顯著優勢：

• 開銷極小：執行緒建立與銷毀的系統開銷遠低於進程，上下文切換速度更快
• 資料共享便利：同一進程內的所有執行緒天然共享堆、全域變數、檔案描述符等資源，無需複雜的 IPC 機制

典型應用場景

• 非同步處理機制：將耗時運算移至背景執行緒，保持主執行緒響應性
• 阻塞式 I/O 處理：專門執行緒處理 network、disk 等阻塞操作，避免阻塞主流程

核心 API 與標頭檔

POSIX 執行緒函數定義於 <pthread.h>，核心 API 包含：

共享資料同步機制

1. 顯式互斥鎖

pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

pthread_mutex_lock(&mutex);
// 臨界區操作共享資料
pthread_mutex_unlock(&mutex);

2. 讀寫鎖

適用於「讀多寫少」場景，允許多執行緒並發讀取，寫入時獨佔。

3. 條件變數

配合互斥鎖實現「等待-通知」模式，避免忙等待浪費 CPU。

效能優化：執行緒池模式

頻繁建立/銷毀執行緒會產生額外開銷。採用執行緒池預先建立固定數量執行緒，任務佇列分發工作，實現執行緒複用。推薦使用成熟庫 Boost.Threadpool 或 C++17 std::thread 搭配自定義任務佇列實現。

最佳實踐建議

• 儘量縮小鎖的持有範圍，降低爭用機率
• 避免在持有鎖時呼叫阻塞函數或複雜運算
• 使用 RAII 包裝器（如 std::lock_guard、std::unique_lock）確保鎖正確釋放
• 注意死鎖預防：固定鎖獲取順序、使用 std::lock 同時獲取多個鎖

註：本文為系列第四篇，前三篇分別涵蓋基本概念、I/O 模型、進程控制。