Linux 设备驱动中的中断底半部机制：Softirq、Tasklet 与 Workqueue 终极选型与实战

在 Linux 嵌入式设备驱动开发中，中断处理（Interrupt Handling） 面临着操作系统设计史上最经典的矛盾——“响应的绝对高实时性（Fast Response）” 与 “复杂耗时计算的吞吐量（Heavy Processing）” 之间的天然冲突：

• 硬件中断服务程序（顶半部 / Top Half / ISR）运行在关中断或关本地中断的硬中断上下文中，必须在数微秒内快进快出（仅做关键寄存器读取与清标志位）；
• 若在 ISR 中直接执行繁重的数据解析、内存分配或 DMA 队列重排，会导致全系统其他硬件中断被长时间屏蔽，引发灾难性的网络丢包与外设超时死锁！

为了将耗时的计算延后处理，Linux 内核设计了精妙的 中断底半部机制（Bottom Half / BH）。

在现代 Linux 内核生态中，底半部体系清晰演化为三大主力机制：

1. 软中断（Softirq）：性能最高、延迟最低（纳秒级），在多核 CPU 上可完全并发执行，但其代码必须完全可重入且极难编写，仅供网络子系统（NET_RX_SOFTIRQ）与块设备等内核核心子系统独占；
2. 小任务（Tasklet）：基于软中断包装实现，确保同类型的 Tasklet 绝不会在多个 CPU 核心上并发运行（天然免除重入锁竞争），运行在中断上下文（禁止休眠！）；
3. 工作队列（Workqueue）：将任务交给内核线程（kworker）异步调度，运行在进程上下文（允许自由调用 msleep()、申请大内存与获取互斥锁 mutex！）。

深入透视 Softirq、Tasklet 与 Workqueue 在内核调度器与 CPU 核心上的微观执行时序，并掌握科学的架构选型法则，是编写工业级高性能 Linux 驱动的必备硬核功底。

Linux 中断顶半部与三大底半部分层微观拓扑

Linux 中断顶半部与三大底半部微观分流拓扑：

【硬件外部中断到来 (如网卡接收到数据帧 / 串口收到数据)】
       │
       ▼
+=========================================================================+
| 【1. 顶半部 (Top Half / 硬中断 ISR 上下文)】                            |
|   - 动作: 读取外设中断状态寄存器，清除硬件中断标志，提取关键数据指针！|
|   - 耗时: 严格控制在 < 5 微秒 (快进快出！)                              |
|   - 核心决策: 调度挂起底半部 (Schedule Bottom Half)！                   |
+=========================================================================+
       │
       ├─────────────────────────┬─────────────────────────┐
       ▼ (超高性能网络流)        ▼ (轻量无阻塞处理)        ▼ (需休眠/复杂业务)
【软中断 (Softirq)】       【小任务 (Tasklet)】      【工作队列 (Workqueue)】
  ├── 运行上下文: 中断上下文 ├── 运行上下文: 中断上下文 ├── 运行上下文: 【进程上下文！】
  ├── 是否允许休眠: 【严禁！】 ├── 是否允许休眠: 【严禁！】 ├── 是否允许休眠: 【完全允许！(msleep/mutex)】
  ├── 多核并发性: 全并发     ├── 多核并发性: 同类互斥  ├── 调度实体: 由内核线程 (kworker) 调度
  └── 延迟: < 10 微秒        └── 延迟: < 50 微秒        └── 延迟: 100 微秒 ~ 毫秒级

三大底半部机制架构选型终极决策树

中断底半部选型唯一决策树：

1. 该底半部业务代码中，是否需要执行“睡眠、阻塞等待、调用 msleep() 或获取 mutex 互斥锁”？
   ├─► 【是】: 必须且只能选用 ──► 【工作队列 (Workqueue)】！
   │          (因为只有 Workqueue 运行在进程上下文中，拥有独立的 task_struct 可以被调度器挂起休眠！)
   │
   └─► 【否 (纯内存计算/无阻塞数据重排)】:
         │
         ▼
       2. 是否属于 Linux 内核网络核心协议栈或极速高吞吐块设备？
          ├─► 【是】: 选用 ──► 【软中断 (Softirq)】 (追求极致单机百万级 PPS 吞吐)
          │
          └─► 【否 (普通字符设备、SPI/I2C/按键驱动)】:
                │
                ▼
              选用 ──► 【小任务 (Tasklet)】 (简单安全，无需考虑多核多实例重入锁！)

工业级驱动代码实战一：基于 Tasklet 的高频无阻塞底半部

#include <linux/module.h>
#include <linux/init.h>
#include <linux/interrupt.h>

struct custom_fast_dev {
    struct tasklet_struct rx_tasklet;
    uint8_t buffer[64];
};

static struct custom_fast_dev g_fast_dev;

// 1. Tasklet 底半部回调处理函数 (运行在中断上下文，禁止调用任何可能引起休眠的函数！)
static void custom_rx_tasklet_handler(struct tasklet_struct *t) {
    struct custom_fast_dev *dev = from_tasklet(dev, t, rx_tasklet);
    
    // 从容执行数据校验与协议解包 (此时全局硬件中断已重新打开，不阻碍其他中断响应！)
    pr_info("[TASKLET BH] Processing fast packet in Bottom Half...\n");
}

// 2. 硬件顶半部 ISR (快进快出)
static irqreturn_t custom_fast_isr(int irq, void *dev_id) {
    // 提取硬件数据...
    
    // 核心调用: 挂起调度 Tasklet 底半部 (在退出中断的下一个纳秒立即执行！)
    tasklet_schedule(&g_fast_dev.rx_tasklet);
    
    return IRQ_HANDLED;
}

// 模块初始化
static int __init custom_fast_init(void) {
    // 初始化 tasklet
    tasklet_setup(&g_fast_dev.rx_tasklet, custom_rx_tasklet_handler);
    return 0;
}

工业级驱动代码实战二：基于 Workqueue（工作队列）的支持休眠底半部

当底半部需要通过 I2C 读取慢速传感器、分配大块内存或调用 msleep(20) 等待硬件复位时：

#include <linux/module.h>
#include <linux/init.h>
#include <linux/interrupt.h>
#include <linux/workqueue.h>
#include <linux/delay.h>

struct custom_slow_dev {
    struct work_struct reset_work;
    struct mutex dev_mutex;
};

static struct custom_slow_dev g_slow_dev;

// 1. Workqueue 底半部回调函数 (运行在进程上下文中 / kworker 内核线程)
static void custom_reset_work_handler(struct work_struct *work) {
    struct custom_slow_dev *dev = container_of(work, struct custom_slow_dev, reset_work);

    // 核心特权: 在 Workqueue 中可以从容加互斥锁 (Mutex) 与长时间休眠 (msleep)！
    mutex_lock(&dev->dev_mutex);
    pr_info("[WORKQUEUE BH] Asserting hardware reset in process context...\n");
    
    msleep(50); // 延时 50ms 等待硬件电容放电，完全合法！
    
    mutex_unlock(&dev->dev_mutex);
    pr_info("[WORKQUEUE BH] Reset complete!\n");
}

// 2. 硬件顶半部 ISR
static irqreturn_t custom_slow_isr(int irq, void *dev_id) {
    // 核心调用: 将工作任务推入 Linux 全局系统工作队列 (system_wq)
    schedule_work(&g_slow_dev.reset_work);
    return IRQ_HANDLED;
}

static int __init custom_slow_init(void) {
    mutex_init(&g_slow_dev.dev_mutex);
    INIT_WORK(&g_slow_dev.reset_work, custom_reset_work_handler);
    return 0;
}

工业实测性能对战

在包含 50kHz 高频外部事件采样的工业网关上，对比将复杂数据解析直接塞在 ISR 顶半部与使用 Tasklet/Workqueue 底半部的系统指标：

看清 Softirq、Tasklet 与 Workqueue 在执行上下文与多核调度上的微观物理分界，坚守顶半部快进快出铁律，驱动开发者才能在面对高频工业中断洪峰时，打造出零丢包、高吞吐、绝对稳定的工业级 Linux 驱动。