Linux 2.6 內核中斷下半部機制深度解析：Softirq、Tasklet 與 Workqueue

中斷處理是內核響應硬件事件的核心路徑。為平衡「中斷響應延遲」與「系統吞吐量」，Linux 將中斷處理劃分為上半部與下半部。本文基於 Linux 2.6.22 內核，從使用者視角深度剖析三大下半部機制——Softirq（軟中斷）、Tasklet、Workqueue（工作隊列） 的設計哲學、核心數據結構、調度時機及選型指南。

一、 為什麼需要下半部？

• 上半部：硬件中斷處理函數（ISR），運行於關中斷上下文，執行時間必須極短（通常 < 10µs），僅完成硬件狀態確認、數據讀取、觸發下半部等關鍵動作。
• 下半部：推遲執行的非緊急任務，運行於開中斷上下文，可睡眠、可調度、可訪問用戶空間內存，處理耗時邏輯（協議棧處理、文件系統寫入、網絡包轉發等）。

二、 歷史演進：從 BH 到 Softirq

早期內核（2.2/2.4）使用 Bottom Half (BH)：靜態 32 個槽位、全局鎖串行執行、不支持 SMP 並行。Linux 2.6 引入 Softirq 解決 SMP 可擴展性問題，核心思想：「誰觸發，誰執行」，每個 CPU 獨立處理本地觸發的軟中斷，無需全局鎖競爭。

三、 Softirq 機制詳解

1. 核心數據結構

// include/linux/interrupt.h
struct softirq_action {
    void (*action)(struct softirq_action *);  // 處理函數
    void *data;                               // 私有數據
};

// 全局軟中斷向量表（32 槽位）
static struct softirq_action softirq_vec[NR_SOFTIRQS];

2. 預定義軟中斷類型

3. 註冊與觸發流程

// 註冊（通常在子系統初始化時調用）
open_softirq(NET_RX_SOFTIRQ, net_rx_action);

// 觸發（中斷上半部調用）
raise_softirq(NET_RX_SOFTIRQ);

// 執行入口（多個觸發點）
do_softirq();  // 1. 硬中斷退出 irq_exit()
               // 2. ksoftirqd 內核線程
               // 3. 顯式調用（如 local_bh_enable()）

4. ksoftirqd 線程：防止餓死

若軟中斷持續高頻觸發，do_softirq() 會長期佔用 CPU，導致用戶進程餓死。內核啟動每個 CPU 一個 ksoftirqd/n 線程，當檢測到軟中斷積壓時，將處理推遲到該線程中執行，讓出調度機會。

四、 Tasklet：Softirq 的高級封裝

• 基於 TASKLET_SOFTIRQ / HI_SOFTIRQ 實現。
• 動態創建：DECLARE_TASKLET(name, func, data) 或 tasklet_init()。
• 同類串行，異類並行：同一 tasklet 不會在多 CPU 並發運行（自動鎖保護），不同 tasklet 可並行。
• 不可睡眠：運行於軟中斷上下文，禁止調用睡眠函數。
• 適用場景：驅動程序中斷後續處理、網卡驅動 NAPI poll 等。

五、 Workqueue：可睡眠的下半部

• 運行於進程上下文（內核線程 kworker/uX:Y），允許睡眠、持有鎖、訪問用戶內存。
• 創建：DECLARE_WORK(name, func) 或 INIT_WORK()。
• 提交：schedule_work()（共享默認 workqueue）、queue_work()（自定義 workqueue）。
• 延遲執行：schedule_delayed_work()、queue_delayed_work()。
• 適用場景：文件系統操作、模塊加載/卸載、用戶態數據拷貝、需調用睡眠 API 的驅動邏輯。

六、 三大機制對比與選型決策樹

選型口訣

1. 需睡眠/訪問用戶內存/長耗時 → Workqueue。
2. 高頻、低延遲、無睡眠、SMP 友好 → Softirq（核心子系統專用）。
3. 驅動中斷後處理、單實例串行 → Tasklet（首選）。

七、 與 NGSA（新一代系統架構）對比

NGSA 採用統一的「中斷線程」模型：中斷處理函數直接在內核線程中運行，無顯式上/下半部之分。優點是編程模型簡單、天然可睡眠；缺點是中斷延遲略高、線程切換開銷大。Linux 通過 irq_exit() 集中調用 do_softirq()，為移植到類 NGSA 架構預留了清晰接口。