Linux内核实时性补丁驱动中断线程化移植实战工程 - 第2节
2. Linux内核实时性补丁(PREEMPT_RT)概述
PREEMPT_RT（实时抢占补丁）是 Linux 内核社区为实现硬实时能力而持续维护的一套内核功能扩展集。其发展历程可划分为以下关键阶段：
| 时间 | 里程碑 | 核心贡献 |
|---|---|---|
| 2004 年 | Ingo Molnar 发布首个 -rt 补丁集 | 引入自愿内核抢占（CONFIG_PREEMPT_VOLUNTARY） |
| 2005–2009 年 | RT 补丁快速迭代 | 实现中断线程化、自旋锁可抢占、高精度定时器 |
| 2010–2015 年 | 主线内核逐步吸收 RT 特性 | 高精度定时器、RCU 抢占、Futex 实时化进入主线 |
| 2016–2019 年 | RT 补丁重构与稳定化 | Thomas Gleixner 主导重写中断线程化框架 |
| 2020 年至今 | PREEMPT_RT 主线化推进 | PREEMPT_RT 核心代码逐步合入 Linux 5.x/6.x |
关键节点：2021 年 Linux 5.15 内核首次将 PREEMPT_RT 标记为“接近主线就绪”，标志着实时补丁从独立维护走向内核原生支持的最后冲刺阶段。
2.2 主线内核与 RT 补丁的关系
PREEMPT_RT 补丁并非独立内核，而是基于主线 Linux 内核的增量补丁集。两者关系可概括为：
- 主线内核（Mainline Kernel）：由 Linus Torvalds 维护的官方内核，追求通用性与性能平衡，实时性仅提供有限支持（CONFIG_PREEMPT）。
- RT 补丁（PREEMPT_RT Patch）：由 RT 社区维护的补丁集，叠加在主线内核之上，通过中断线程化、可抢占自旋锁等机制实现确定性调度。
- 版本对应关系：每个 RT 补丁版本对应一个具体的主线内核版本（如 patch-5.15-rt1 对应 Linux 5.15）。
| 特性 | 主线内核（标准） | 主线内核 + PREEMPT_RT |
|---|---|---|
| 中断处理 | 硬中断上下文，不可被用户任务抢占 | 中断线程化，可被高优先级实时任务抢占 |
| 自旋锁 | 禁止抢占，忙等待 | 可抢占自旋锁（rt_mutex 实现） |
| 定时器精度 | HZ 级别（通常 100–1000 Hz） | 高精度定时器（hrtimer），纳秒级 |
| 优先级继承 | 有限支持（PI futex） | 全面优先级继承，覆盖所有内核锁 |
| 最坏情况延迟 | 毫秒级（10–100 ms） | 微秒级（10–100 µs） |
实践建议：移植 RT 补丁时，务必确认补丁版本与主线内核版本严格匹配。使用 uname -r 查看当前内核版本，再到 https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/ 下载对应补丁。
2.3 RT 补丁的架构设计目标
PREEMPT_RT 补丁的架构设计围绕以下核心目标展开，这些目标直接决定了中断线程化的实现方式：
2.3.1 确定性调度（Deterministic Scheduling）
- 保证最高优先级实时任务在最坏情况下的响应时间可预测。
- 消除内核中的不可抢占区间（Preemption Latency）。
- 将中断处理程序转换为可被调度的内核线程。
2.3.2 中断线程化（Interrupt Threading）
- 将硬件中断处理程序分为上半部（快速处理）和下半部（线程化处理）。
- 中断线程拥有独立优先级，可被实时调度器管理。
- 避免中断上下文抢占用户任务导致的优先级反转。
2.3.3 锁机制可抢占化
- 自旋锁（spinlock）在 RT 补丁中变为可抢占的 rt_mutex 实现。
- 原始自旋锁（raw_spinlock）保留给真正需要禁止抢占的极短临界区。
- 读写锁（rwlock）同样支持优先级继承。
2.3.4 高精度定时与时钟管理
- 使用 hrtimer 替代传统 timer wheel，提供纳秒级定时精度。
- 支持 CLOCK_MONOTONIC 和 CLOCK_REALTIME 的绝对超时。
- 减少定时器中断的抖动（Jitter）。
常见误解：PREEMPT_RT 并不能让所有任务都变成实时任务。它只保证经过正确优先级配置的实时任务获得确定性调度。普通 SCHED_OTHER 任务仍然使用 CFS 调度器，不受 RT 补丁影响。
2.3.5 设计目标之间的依赖关系
上述四个设计目标并非独立，而是存在明确的依赖链：
- 中断线程化是基础：只有将中断处理移出硬中断上下文，才能为实时任务创造可抢占的执行环境。
- 锁可抢占化是保障：如果自旋锁仍然禁止抢占，中断线程化带来的收益会被锁竞争抵消。
- 高精度定时是工具：实时任务需要精确的唤醒和超时控制，hrtimer 提供纳秒级精度。
- 确定性调度是结果：前三者共同实现实时任务在最坏情况下的响应时间可预测。
移植要点：在移植 PREEMPT_RT 补丁时，应优先验证中断线程化是否正常工作。可以通过 /proc/interrupts 查看中断线程的 PID，使用 chrt 命令调整中断线程的实时优先级。
# 查看中断线程化后的中断处理线程
$ ps -eo pid,comm,policy,rtprio | grep irq
123 irq/50-eth0 FF 50
456 irq/33-i2c FF 45
# 调整中断线程优先级（需 root 权限）
$ chrt -f -p 60 123