1. 中断线程化背景：为什么Linux实时内核需要中断线程化？PREEMPT_RT补丁的核心动机
1.1 传统Linux中断处理的非实时性根源
在标准Linux内核（vanilla kernel）中，硬件中断请求（IRQ）的处理具有最高优先级——中断服务程序（ISR，Interrupt Service Routine）会抢占任何用户态进程，甚至抢占其他内核任务。这种设计在通用场景下追求吞吐量，却给实时系统带来了三个致命问题：
- 中断不可抢占：ISR在关闭本地中断（local_irq_disable）或自旋锁持有期间运行，任何更高优先级的实时任务都无法执行，造成优先级反转。
- 中断优先级固定：所有硬件中断按IRQ号排序，但IRQ号与任务优先级无关。一个低优先级设备的中断可能阻塞高优先级实时任务的调度。
- 中断上下文不可睡眠：ISR运行在原子上下文中，不能调用可能导致睡眠的API（如mutex_lock、copy_from_user），限制了驱动设计的灵活性。
关键指标：在标准Linux 5.10内核中，一次网卡中断处理可能引入 50~200 µs 的不可抢占延迟，这对要求 100 µs 以内响应时间的工业控制场景是不可接受的。
1.2 PREEMPT_RT补丁的核心动机：将中断变为可调度的内核线程
PREEMPT_RT补丁集（自Linux 5.x起逐步合入主线）的核心思路是：将硬件中断处理程序转换为内核线程（kthread），使中断处理任务可以被实时调度器管理。这一转变带来了三个根本性变化：
| 传统中断模型 | PREEMPT_RT中断线程化模型 |
|---|---|
| ISR在关闭中断的原子上下文中运行 | 中断处理分为“快速顶半部”（少量原子操作）和“线程化底半部”（可睡眠、可抢占） |
| 中断优先级由IRQ号决定，与任务无关 | 中断线程拥有独立优先级（可通过chrt设置），与实时任务统一调度 |
| ISR不能持有互斥锁或睡眠 | 中断线程可以使用mutex、wait_event等阻塞API |
| 中断延迟不可预测 | 中断线程可被更高优先级的实时任务抢占，延迟上限可控 |
理解要点：中断线程化并没有消除中断，而是将中断处理从“不可抢占的紧急任务”转变为“可调度的实时线程”。硬件中断仍然会立即触发，但顶半部只做最必要的硬件操作（如清除中断标志、读取状态寄存器），然后将剩余工作交给线程化的底半部。
1.3 中断线程化的实现架构
下图展示了PREEMPT_RT内核中中断处理流程的架构变化。左侧为标准Linux的中断路径，右侧为中断线程化后的路径：
1.4 中断线程化的关键数据结构
在PREEMPT_RT内核中，每个注册的中断处理程序都会对应一个内核线程。驱动开发者可以通过 /proc/irq/{irq_num}/ 目录查看和管理这些线程：
# 查看中断线程的调度策略和优先级
$ cat /proc/irq/28/threaded
irq/28-eth0
$ chrt -p $(pgrep irq/28-eth0)
pid 1234's current scheduling policy: SCHED_FIFO
pid 1234's current scheduling priority: 50
# 调整中断线程的实时优先级
$ chrt -f -p 80 $(pgrep irq/28-eth0)
驱动兼容性警告：中断线程化后，驱动开发者必须注意：原本在ISR中调用的原子API（如spin_lock_irqsave）需要替换为可睡眠的互斥机制（如mutex_lock）。如果驱动在顶半部中调用了可能导致睡眠的函数，内核会触发“scheduling while atomic”错误。
1.5 中断线程化的延迟收益
通过将中断处理线程化，PREEMPT_RT内核显著降低了最坏情况下的调度延迟。以下是一组在x86_64平台上的实测对比数据：
| 测试场景 | 标准内核最大延迟 | PREEMPT_RT内核最大延迟 | 改善幅度 |
|---|---|---|---|
| 空载（idle） | 15 µs | 8 µs | 46.7% |
| 网卡中断负载 | 185 µs | 42 µs | 77.3% |
| 磁盘I/O + 中断 | 320 µs | 68 µs | 78.8% |
| 多核中断亲和性测试 | 210 µs | 55 µs | 73.8% |
核心结论：中断线程化将最坏情况延迟从数百微秒降低到数十微秒级别，使Linux内核能够满足工业控制、机器人、音频处理等硬实时场景的需求。但这一收益是有代价的——驱动开发者必须重新审视中断处理代码，确保其与线程化模型兼容。
1.6 本章小结：中断线程化的本质
PREEMPT_RT补丁的中断线程化并非简单的“把ISR变成线程”，而是对Linux内核中断处理模型的根本性重构：
- 从“不可抢占”到“可调度”：中断处理不再是无条件抢占所有任务的“特权操作”，而是成为调度器管理下的普通线程。
- 从“原子上下文”到“可睡眠上下文”：线程化的底半部可以使用更丰富的内核API，但也要求驱动开发者正确区分顶半部和底半部的职责。
- 从“固定优先级”到“可配置优先级”：系统设计者可以根据实时任务的重要性，灵活调整中断线程的优先级，避免低优先级中断阻塞高优先级任务。