3. PREEMPT_RT 补丁简介

PREEMPT_RT 补丁是 Linux 内核实现硬实时能力的关键技术。它通过一系列精细化的内核改造，将 Linux 从“尽力而为”的通用操作系统，转变为可预测、低延迟的实时操作系统。理解其历史、维护者、主线化进程与核心设计哲学，是掌握实时内核优化的第一步。

3.1 项目历史与演进

PREEMPT_RT 项目并非一蹴而就，其发展历程反映了实时 Linux 社区近二十年的持续努力。

3.2 主要维护者

PREEMPT_RT 项目由多位内核核心开发者长期维护，形成了稳定的治理结构。

• Thomas Gleixner：现任维护者，Linutronix 公司创始人之一。主导了 RT-mutex、中断线程化、时钟事件框架的重构，是实时内核架构的“总设计师”。
• Ingo Molnar：项目发起人，早期 -rt 补丁集的作者。奠定了自旋锁可抢占、调度器延迟优化的基础。
• Peter Zijlstra：调度器与锁机制核心维护者。负责调度类、RCU 抢占化、原子操作等关键组件的实时化改造。
• Steven Rostedt：Ftrace 与实时跟踪基础设施维护者。提供了延迟测量、中断关闭时间跟踪等关键调试工具。
• Sebastian Siewior：当前补丁集打包与发布负责人，负责将 -rt 补丁同步到每个 LTS 内核版本。

3.3 主线化进程

PREEMPT_RT 的“主线化”是指将其补丁逐步合入 Linux 内核主线（mainline），而非长期维护独立分支。这一进程分为三个阶段：

1. 基础设施合入（已完成）：中断线程化（IRQ threading）、高精度定时器（hrtimer）、CPU 隔离（isolcpus）、RCU 抢占化等基础机制已进入主线。
2. 锁机制重构（进行中）：包括 RT-mutex、本地锁（local_lock）、睡眠型自旋锁（sleeping spinlock）等。这部分改动最大，涉及大量驱动适配。
3. 剩余组件合入（冲刺中）：包括 printk 无锁化、NMI 安全处理、per-CPU 变量抢占保护等。预计在 2-3 个内核版本内完成。

3.4 核心设计哲学

PREEMPT_RT 的设计哲学可以概括为“可预测性优先于吞吐量”。其核心原则包括：

• 中断线程化（IRQ Threading）：将硬件中断处理程序转换为内核线程，使其可被实时调度器管理，避免中断抢占导致的高优先级任务延迟。
• 锁机制可抢占化：将自旋锁（spinlock）替换为可睡眠的互斥锁（RT-mutex），持有锁的任务可以被更高优先级的任务抢占，并通过优先级继承（PI）防止优先级反转。
• 临界区最小化：通过精细化的锁粒度、RCU 读端可抢占、本地锁（local_lock）等机制，将不可抢占的临界区长度压缩到微秒级。
• 确定性调度：使用 SCHED_FIFO 和 SCHED_RR 实时调度策略，配合 SCHED_DEADLINE（EDF 调度），确保高优先级任务在严格的时间窗口内获得 CPU。
• 延迟测量与调试：内置 Ftrace、中断关闭跟踪（irqsoff）、抢占关闭跟踪（preemptoff）等工具，使开发者能够精确测量和定位延迟源。

3.5 设计哲学的实际体现：一个延迟对比

以下表格展示了 PREEMPT_RT 启用前后，在典型嵌入式场景下的调度延迟对比（测试环境：ARM Cortex-A72，4 核，Linux 6.1 LTS）：