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

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

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

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

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

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

深入透视 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 驱动。