3. PREEMPT_RT 补丁介绍
PREEMPT_RT 补丁是 Linux 内核实现硬实时能力的关键技术。它通过一系列精细化的内核改造，将 Linux 从“尽力而为”的通用操作系统，转变为可预测、低延迟的实时操作系统。本章将系统梳理其发展脉络、核心特性、与主线内核的协作关系以及适用的硬件平台。
3.1 发展历史
PREEMPT_RT 的发展史是一部 Linux 内核实时化从“民间”走向“官方”的演进史。其关键节点如下：
| 时间 | 事件 | 影响 |
|---|---|---|
| 2004 | Ingo Molnar 发布首个 PREEMPT_RT 补丁集 | 为 Linux 内核引入可抢占内核、高精度定时器等实时基础 |
| 2005-2009 | 补丁集持续迭代，社区广泛测试与反馈 | 形成稳定的实时内核分支，被工业界采用 |
| 2009 | Linux 内核峰会正式讨论 RT 补丁主线化 | 确定逐步合入策略，开启主线化进程 |
| 2015 | RT 补丁核心机制开始合入主线内核 | 主线内核逐步获得 RT 特性，降低维护成本 |
| 2019 | PREEMPT_RT 全功能合入 Linux v5.3 | 实时内核成为主线内核的一等公民 |
| 至今 | 持续优化与扩展，支持更多硬件架构 | 实时 Linux 在工业、航天、医疗等领域广泛应用 |
开发者视角： 理解 PREEMPT_RT 的历史有助于把握其设计哲学——它并非推翻 Linux 内核重新设计，而是通过“最小侵入”的方式，在内核现有框架上增加实时能力。这种演进策略保证了与主线内核的长期兼容性。
3.2 主要特性
PREEMPT_RT 补丁集为 Linux 内核带来了以下核心实时特性：
- 完全可抢占内核 (Fully Preemptible Kernel)：将内核中的大部分自旋锁替换为可睡眠的互斥锁（rt_mutex），使得高优先级任务几乎可以在任何内核代码路径上抢占低优先级任务。
- 高精度定时器 (High-Resolution Timers)：将内核定时器精度从 jiffy（通常 1-10ms）提升到纳秒级，支持微秒级的定时调度。
- 中断线程化 (Interrupt Threading)：将硬件中断处理程序转换为内核线程，允许实时任务通过优先级抢占中断处理，避免中断风暴导致调度延迟。
- 优先级继承协议 (Priority Inheritance)：通过 rt_mutex 实现优先级继承，解决优先级反转问题，确保实时任务不会因低优先级任务持有锁而无限期阻塞。
- RCU 抢占支持 (RCU Preemptible)：使 RCU（Read-Copy-Update）机制在实时内核中可被抢占，减少 RCU 临界区对调度延迟的影响。
3.3 与主线内核的关系
PREEMPT_RT 与主线 Linux 内核的关系经历了“独立补丁 → 部分合入 → 全功能合入”三个阶段。当前状态如下：
| 维度 | 主线内核 (vanilla) | PREEMPT_RT 内核 |
|---|---|---|
| 抢占模型 | PREEMPT (低延迟) / PREEMPT_VOLUNTARY / PREEMPT_NONE | PREEMPT_RT (完全可抢占) |
| 锁机制 | 自旋锁、mutex、rwlock | rt_mutex、可睡眠自旋锁 |
| 中断处理 | 硬中断上下文，不可被高优先级任务抢占 | 中断线程化，可被实时任务抢占 |
| 定时器精度 | HZ 级别 (通常 100-1000Hz) | 高精度定时器 (HRTIMER)，纳秒级 |
| 调度延迟 | 通常 1-10ms (最差情况可达 100ms+) | 通常 10-100μs (最差情况 < 200μs) |
| 适用场景 | 桌面、服务器、嵌入式通用系统 | 工业控制、机器人、音频处理、航天 |
关键理解： PREEMPT_RT 并非一个独立的内核分支，而是主线内核的一个“配置选项”。当你在内核配置中选择
CONFIG_PREEMPT_RT=y 时，内核会启用 RT 补丁集提供的所有实时特性。这意味着你可以从同一个内核源码树编译出通用内核和实时内核，极大简化了维护工作。
3.4 适用硬件平台
PREEMPT_RT 对硬件平台有一定的要求，主要集中在以下几个方面：
- 多核处理器 (SMP)：RT 补丁对 SMP 系统进行了深度优化，支持多核间的实时任务负载均衡和中断亲和性设置。
- 高精度定时器 (HPET / TSC)：需要硬件提供高精度的时间源，如 HPET（高精度事件定时器）或 TSC（时间戳计数器），以支持纳秒级定时。
- 中断控制器 (APIC / GIC)：需要支持中断亲和性和中断屏蔽的硬件机制，以便实现中断线程化和优先级管理。
- 缓存一致性 (Cache Coherency)：对于多核系统，硬件需要支持缓存一致性协议（如 MESI），以避免实时任务因缓存同步而产生不可预测的延迟。
目前，PREEMPT_RT 已广泛支持以下硬件架构：
| 架构 | 支持状态 | 典型硬件 |
|---|---|---|
| x86 / x86_64 | 完全支持，生产就绪 | Intel Core/Atom, AMD Ryzen/EPYC |
| ARM / ARM64 | 完全支持，广泛使用 | Cortex-A 系列, Raspberry Pi, NVIDIA Jetson |
| PowerPC | 支持，社区维护 | Freescale QorIQ, IBM Power 系列 |
| RISC-V | 实验性支持，持续开发中 | SiFive, StarFive 等 RISC-V 开发板 |
| MIPS | 支持，但使用较少 | 龙芯、MIPS 嵌入式处理器 |
硬件选型提示： 虽然 PREEMPT_RT 支持多种架构，但实际调度延迟表现高度依赖于硬件平台的缓存层次结构、总线带宽和中断控制器性能。在关键实时系统中，建议使用经过 RT 社区验证的参考硬件平台（如 x86_64 的 Intel Atom 系列或 ARM64 的 Cortex-A72 以上），并配合 cyclictest 等工具进行实际延迟测量。