Linux内核实时性补丁驱动适配：中断线程化改造实战 - 第2节
2.1 硬实时与软实时的本质区别
在嵌入式实时系统中，实时性并非指“速度快”，而是指任务必须在规定的时间窗口内完成。根据错过截止时间（Deadline）的后果严重程度，实时系统分为硬实时与软实时两大类。
2.1.1 核心差异对比
| 对比维度 | 硬实时（Hard Real-Time） | 软实时（Soft Real-Time） |
|---|---|---|
| 截止时间后果 | 错过即系统失效，可能导致灾难 | 错过降低服务质量，但系统仍可运行 |
| 确定性要求 | 最坏情况执行时间（WCET）必须可预测 | 平均延迟满足即可，允许偶发超时 |
| 典型应用 | 飞行控制、汽车制动、医疗起搏器 | 音视频播放、网络路由、人机交互 |
| 调度策略 | 优先级抢占 + 资源预留 | CFS 或优先级调度，不强制预留 |
| 内核需求 | 完全可抢占 + 中断线程化 + 优先级继承 | 基本抢占即可，可容忍少量调度延迟 |
关键认知：Linux 原生内核是“尽力而为”的通用操作系统，属于软实时范畴。PREEMPT_RT 补丁的目标是将 Linux 改造为硬实时内核，使最坏情况下的响应延迟从毫秒级降至微秒级。
2.1.2 实时性度量指标
- 延迟（Latency）：从事件发生到任务开始执行的时间间隔。
- 抖动（Jitter）：多次延迟之间的最大偏差。
- 截止时间满足率（Deadline Miss Ratio）：硬实时要求 0% 错过，软实时允许低于 1%~5%。
2.2 Linux 内核的实时性瓶颈分析
Linux 最初为通用分时系统设计，其内核中存在多处不可抢占和长临界区，导致实时任务无法获得确定的响应时间。以下是四大核心瓶颈：
2.2.1 中断不可抢占
当 CPU 执行中断服务程序（ISR）时，即使更高优先级的实时任务就绪，也必须等待 ISR 完成。传统 Linux 的中断优先级高于任何用户态任务，导致中断延迟直接转化为任务调度延迟。
2.2.2 自旋锁（Spinlock）导致的优先级反转
自旋锁在持有期间禁止抢占，低优先级任务持有锁时被高优先级任务抢占，高优先级任务因等待锁而阻塞，低优先级任务却无法继续执行——形成优先级反转。
2.2.3 内核抢占点不足
在 PREEMPT_NONE 模式下，内核态代码几乎不可抢占。系统调用、文件系统操作、网络协议栈等路径可能执行数毫秒甚至数十毫秒，期间实时任务无法获得 CPU。
2.2.4 中断关闭（local_irq_disable）
驱动和内核代码中广泛使用 local_irq_disable() 来保护临界区，这会全局关闭本地 CPU 的中断响应，直接导致所有外部事件被屏蔽，是实时性最大的杀手。
实践警示：在适配 PREEMPT_RT 时，驱动中所有
local_irq_disable() / local_irq_save() 调用都必须替换为 raw_spin_lock_irqsave() 或 spin_lock_irqsave()，否则补丁无法生效。
2.3 抢占模型演进：从 NONE 到 RT
Linux 内核社区逐步引入了四种抢占模型，实时性依次增强。理解这些模型是进行驱动适配的前提。
2.3.1 四种抢占模型一览
| 抢占模型 | 内核配置选项 | 抢占粒度 | 最坏情况延迟 | 适用场景 |
|---|---|---|---|---|
| PREEMPT_NONE | CONFIG_PREEMPT_NONE=y |
仅在返回用户态时抢占 | 10~100 ms | 服务器、桌面、批处理 |
| PREEMPT_VOLUNTARY | CONFIG_PREEMPT_VOLUNTARY=y |
在显式抢占点（cond_resched）可抢占 | 1~10 ms | 轻度实时需求的嵌入式系统 |
| PREEMPT | CONFIG_PREEMPT=y |
内核态大部分路径可抢占（除中断上下文） | 100 µs ~ 1 ms | 软实时、多媒体、工业控制 |
| PREEMPT_RT | CONFIG_PREEMPT_RT=y |
完全可抢占，中断线程化，锁替换 | 1~20 µs | 硬实时、航空航天、医疗设备 |
2.3.2 各模型关键机制
PREEMPT_NONE（无抢占）
- 内核态代码一旦进入，必须执行到主动返回用户态或阻塞才能被抢占。
- 唯一抢占点：
schedule()调用（如系统调用返回、中断返回用户态）。 - 优点：吞吐量最高，上下文切换最少。
- 缺点：实时任务可能被内核路径阻塞数十毫秒。
PREEMPT_VOLUNTARY（自愿抢占）
- 在长循环、文件系统操作、内存分配等路径中插入
cond_resched()抢占点。 - 如果高优先级任务就绪，
cond_resched()会触发调度。 - 优点：对内核吞吐影响小，延迟改善明显。
- 缺点：依赖开发者手动插入抢占点，覆盖不完整。
PREEMPT（内核抢占）
- 除中断上下文外，内核态几乎所有路径都可被抢占。
- 使用
preempt_count计数器控制抢占使能状态。 - 自旋锁持有期间仍禁止抢占（
preempt_disable()）。 - 优点：延迟降至亚毫秒级，是主流嵌入式 Linux 的选择。
- 缺点：中断上下文仍不可抢占，优先级反转问题未解决。
PREEMPT_RT（完全实时）
- 中断线程化：所有中断处理程序（IRQ）运行在内核线程上下文中，可被抢占。
- 锁替换：自旋锁替换为
rt_mutex，支持优先级继承，消除优先级反转。 - 中断关闭替换：
local_irq_disable()替换为raw_spin_lock_irqsave()。 - 高精度定时器：所有定时器基于 hrtimer，精度达纳秒级。
- 优点：最坏情况延迟降至微秒级，满足硬实时要求。
- 缺点：吞吐量下降约 5%~15%，驱动需要适配改造。
适配核心原则：驱动从 PREEMPT 迁移到 PREEMPT_RT 时，必须检查并修改以下三类代码：
- 所有
spin_lock_irqsave()是否可安全替换为raw_spin_lock_irqsave()。 - 中断处理函数是否可分解为
request_threaded_irq()的顶半部/底半部。 - 是否使用了
local_irq_disable()保护临界区，必须替换为锁机制。
2.4 本章小结
- 硬实时要求任务必须在截止时间前完成，错过即系统失效；软实时允许偶发超时，仅降低服务质量。
- Linux 内核的实时性瓶颈集中在中断不可抢占、自旋锁优先级反转、抢占点不足和中断关闭四个方面。
- 抢占模型从 PREEMPT_NONE 演进到 PREEMPT_RT，延迟从数十毫秒降至微秒级。
- PREEMPT_RT 通过中断线程化、锁替换和中断关闭替换三大改造，使 Linux 具备硬实时能力。
- 驱动适配的核心工作：将中断处理函数改为线程化模型，替换自旋锁为
raw_spin_lock，消除local_irq_disable调用。