Linux 線程信號處理深度解析：信號處理函數共享與私有信號投遞機制

Linux 線程模型中，信號處理存在兩大核心特性：信號處理函數進程共享、私有信號隨線程調度投遞。本文通過兩個完整 C++ 代碼實驗，驗證這兩大機制的行為差異，並結合 pthread_kill、sigaction、tkill/tgkill 系統調用原理深度解析。

核心結論先行

1. 信號處理函數表（signal handler table）屬於進程級：同一進程內所有線程共享同一組 sigaction 註冊的處理函數，後註冊者覆蓋先前註冊。
2. 私有信號（如 pthread_kill 發送）排隊在目標線程的信號掛起集合中：只有當目標線程被調度執行（或調用 sigwait 等）時，內核才投遞信號並調用處理函數。

實驗一：驗證信號處理函數被覆蓋

場景：主線程創建 1 個 State 線程 + 3 個 Prep 線程，分別註冊 SIGTERM 處理函數 sighandler 和 sighandler2，觀察最終生效的處理函數。

關鍵代碼片段

// State 線程註冊
struct sigaction actions = {};
actions.sa_handler = sighandler;   // 打印線程 ID，設置 stateTest.cancel_flag
sigaction(SIGTERM, &actions, NULL);

// Prep 線程註冊（循環創建 3 個）
actions.sa_handler = sighandler2;  // 打印線程 ID，根據 ID 設置對應 prepTest[i].cancel_flag
sigaction(SIGTERM, &actions, NULL); // 【關鍵】覆蓋進程級 SIGTERM 處理函數

運行現象

create state thread rc = 0, id = 140123456789
create prep 0 thread rc = 0, id = 140123456790
create prep 1 thread rc = 0, id = 140123456791
create prep 2 thread rc = 0, id = 140123456792
___________________________
cancel state id = 140123456789
pthread_kill(stateID, SIGTERM)
brfore main sleep
after main sleep

觀察：發送信號給 State 線程，但輸出顯示執行的是 sighandler2（Prep 的處理函數），證明 進程級處理函數被最後註冊的 Prep 線程覆蓋。State 線程的 cancel_flag 未被置位，線程繼續運行。

內核原理

• sigaction 修改的是 struct sighand_struct（進程共享），受 task_struct->sighand 指向同一份拷貝（CLONE_SIGHAND）。
• 多線程程序默認 clone(CLONE_SIGHAND)，故所有線程共享信號處理函數表。

實驗二：驗證私有信號隨調度投遞

場景：主線程統一註冊 SIGTERM 處理函數 sighandler（打印線程 ID，根據 ID 置旗），創建 1 個 State + 3 個 Prep 線程，線程內不再註冊信號，僅發送信號給 State 線程，觀察是否有其他線程誤響應。

關鍵代碼片段

// 主線程統一註冊（僅一次）
struct sigaction actions = {};
actions.sa_handler = sighandler;
sigaction(SIGTERM, &actions, NULL);

// 線程函數內無 sigaction 調用，僅循環 sleep 打印
// 主線程發送
pthread_kill(stateID, SIGTERM);

運行現象（多次測試）

create state thread id = 140123456789
create prep 0 thread id = 140123456790
...
___________________________
cancel state id = 140123456789
pthread_kill(stateID, SIGTERM)
brfore main sleep
sighandler thread id = 140123456789   // 僅 State 線程打印
state thread 140123456789 exit
after main sleep

結論：pthread_kill 發送的私有信號 精準投遞給目標線程，其他線程不會響應。信號在目標線程的 pending 集合中排隊，待其調度時處理。

內核原理

• pthread_kill → tkill/tgkill 系統調用 → send_signal → __send_signal 將信號放入 task_struct->pending（線程私有掛起集合）。
• 調度器在目標線程下次上 CPU 時，檢查 pending，執行 handle_signal → 調用進程共享的 sa_handler。

工程實踐指導

總結

Linux 線程信號機制的核心矛盾在於：處理函數進程共享，信號投遞線程私有。理解這一點，即可避免「處理函數被覆蓋導致邏輯錯亂」、「私有信號誤觸發其他線程」等經典坑。生產代碼中請堅持「主線程統一註冊、實時信號區分業務、sigwait 同步化處理」三原則。