3. PREEMPT_RT补丁简介
PREEMPT_RT（Real-Time Preemption）补丁是 Linux 内核社区为实现硬实时能力而开发的一套内核抢占机制增强补丁集。它通过将内核中不可抢占的临界区最小化，使 Linux 能够满足微秒级确定性响应需求。本章将系统介绍 PREEMPT_RT 的历史演进、核心目标、与主线内核的集成关系以及社区治理结构。
关键概念： PREEMPT_RT 不是独立的内核分支，而是基于主线内核的补丁集。其最终目标是让主线内核原生支持实时抢占，从而消除长期维护补丁集的负担。
3.1 PREEMPT_RT 项目历史
PREEMPT_RT 项目始于 2004 年，由 Ingo Molnár 发起，最初作为 Linux 内核实时抢占的探索性补丁。此后经历了多个关键里程碑：
| 时间 | 里程碑事件 | 核心贡献者 |
|---|---|---|
| 2004 | Ingo Molnár 发布首个实时抢占补丁（-rt 系列） | Ingo Molnár |
| 2005-2009 | 补丁集逐步成熟，引入可抢占内核锁、高精度定时器 | Thomas Gleixner, Peter Zijlstra |
| 2010-2015 | 主线内核逐步吸收 RT 特性（如 RT_MUTEX、FUTEX） | Steven Rostedt, Darren Hart |
| 2016-2019 | PREEMPT_RT 补丁集进入主线内核的“-next”树 | Thomas Gleixner, Sebastian Siewior |
| 2020-至今 | 主线内核逐步合并 PREEMPT_RT 核心机制，接近完全集成 | Thomas Gleixner, Peter Zijlstra, Frederic Weisbecker |
历史启示： PREEMPT_RT 从独立补丁集到主线内核的演进，展示了 Linux 社区如何通过渐进式合并，将实验性特性转化为稳定内核的一部分。这一过程历时近 20 年，体现了内核开发对稳定性和兼容性的极致追求。
3.2 核心目标
PREEMPT_RT 补丁集的核心目标可以概括为以下五个方面：
- 最小化不可抢占临界区：将内核中所有自旋锁、读写锁等替换为可抢占的 RT-mutex 实现，使高优先级任务几乎不会被低优先级任务阻塞。
- 中断线程化：将硬件中断处理程序转换为内核线程，允许实时调度器对中断处理进行优先级管理，避免中断风暴导致实时任务错过截止时间。
- 高精度定时器：提供微秒级定时精度，支持高分辨率定时器（HRTIMER）与实时调度器的协同工作。
- 优先级继承协议：通过 RT-mutex 实现优先级继承，防止优先级反转问题，确保实时任务的可调度性。
- 确定性调度延迟：将调度延迟（scheduling latency）控制在可预测的范围内，典型目标为 100 微秒以内。
重要提示： PREEMPT_RT 并不改变 Linux 内核的调度策略（如 SCHED_FIFO、SCHED_RR），而是通过改造内核内部的同步机制和中断处理路径，使这些调度策略能够真正发挥实时效果。没有 PREEMPT_RT，即使使用 SCHED_FIFO，内核中的不可抢占区域仍可能导致不可预测的延迟。
3.3 与主线内核的关系
PREEMPT_RT 与主线 Linux 内核的关系经历了从“完全独立”到“逐步合并”的演变。当前状态可以用以下表格清晰描述：
| 维度 | 主线内核（vanilla kernel） | PREEMPT_RT 补丁内核 |
|---|---|---|
| 抢占模型 | PREEMPT_NONE / PREEMPT_VOLUNTARY / PREEMPT | PREEMPT_RT（额外抢占选项） |
| 自旋锁 | 标准自旋锁（不可抢占） | RT-mutex 实现（可抢占） |
| 中断处理 | 硬中断上下文 | 中断线程化（可被调度） |
| 定时器精度 | HZ 级别（通常 100-1000Hz） | 高精度定时器（HRTIMER） |
| 调度延迟 | 毫秒级（不可预测） | 微秒级（可预测） |
| 主线集成度 | 已合并约 70% 的 RT 特性 | 剩余 30% 仍在补丁集中 |
集成现状： 截至 Linux 6.x 内核，PREEMPT_RT 的核心机制（如 RT-mutex、高精度定时器、中断线程化框架）已全部进入主线。剩余未合并的部分主要集中在：
local_irq_save() 等原始中断禁用区域的改造、部分驱动中的不可抢占路径、以及一些架构特定的实时支持代码。
3.4 主要维护者与社区
PREEMPT_RT 项目由 Linux 基金会旗下的实时 Linux 工作组（Real-Time Linux Working Group, RTLWG）协调管理。核心维护者包括：
| 姓名 | 角色 | 主要贡献领域 |
|---|---|---|
| Thomas Gleixner | 项目维护者（Linutronix） | 中断线程化、高精度定时器、RT-mutex |
| Peter Zijlstra | 调度器维护者（Intel） | 实时调度器、抢占模型、锁机制 |
| Steven Rostedt | RT 补丁维护者（VMware） | RT 补丁集管理、ftrace 实时跟踪 |
| Sebastian Siewior | RT 补丁维护者（Linutronix） | 补丁集整合、主线合并推进 |
| Frederic Weisbecker | 核心贡献者（Red Hat） | NO_HZ、CPU isolation、实时性能 |
社区参与方式： 实时 Linux 工作组每月举行电话会议，讨论补丁进展和问题。开发者可以通过
linux-rt-users@vger.kernel.org 邮件列表参与讨论，或访问 RTLWG Wiki 获取最新信息。贡献代码时，补丁应基于最新的 -rt 树（git://git.kernel.org/pub/scm/linux/kernel/git/rt/linux-rt-devel.git）。
3.5 实时性指标与验证
PREEMPT_RT 补丁的实时性能通常通过以下指标衡量：
- 调度延迟（Scheduling Latency）：从事件发生到实时任务开始执行的时间，典型值 10-50μs（x86 平台）。
- 中断延迟（Interrupt Latency）：从中断触发到中断处理程序开始执行的时间，典型值 5-20μs。
- 抖动（Jitter）：调度延迟的最大值与最小值之差，反映确定性程度，目标 < 10μs。
- 最坏情况执行时间（WCET）：实时任务在最不利条件下的执行时间，需通过 cyclictest 等工具测量。
验证工具： 最常用的实时性能测试工具是
cyclictest（来自 rt-tests 套件）。以下命令测量 1 个实时线程的调度延迟，持续 60 秒：
# cyclictest -t 1 -p 99 -i 1000 -l 60000 -m -n
# 输出示例：
# T: 0 (12345) P: 99 I: 1000 C: 60000 Min: 2 Act: 5 Avg: 4 Max: 18Max: 18 表示最大调度延迟为 18 微秒，这是典型的 PREEMPT_RT 性能表现。