Linux 实时性演进历史：从 Linux 2.0 到 5.x 的实时性改进历程

Linux 内核的实时性并非一蹴而就，而是经历了从“完全不可抢占”到“几乎完全可抢占”的漫长演进。理解这一历程，有助于开发者把握 PREEMPT_RT 补丁的定位与价值。

2.1 实时性改进的四个关键阶段

从 Linux 2.0 到 5.x，实时性改进可划分为四个主要阶段，每个阶段都引入了关键的抢占模型或基础设施。

2.2 主线内核与 RT 补丁的关系

主线内核（Mainline Kernel）与 RT 补丁（PREEMPT_RT patch）的关系可以用“主干与分支”来比喻：

• 主线内核： 追求通用性、性能与稳定性的平衡。它提供了 PREEMPT_NONE、PREEMPT_VOLUNTARY、PREEMPT 三种抢占模型，适用于服务器、桌面和嵌入式非实时场景。
• RT 补丁： 在主线内核基础上，通过替换自旋锁为可抢占锁、实现中断线程化、引入 raw_spinlock 保护机制等，将最坏情况下的调度延迟从数十毫秒降低到微秒级。

2.3 实时性改进的里程碑：从 2.6 到 5.x 的关键合入

以下 SVG 图展示了从 Linux 2.6 到 5.x 期间，与实时性相关的关键特性合入主线的时间线。

2.4 抢占模型的演进与对比

主线内核提供的三种抢占模型与 RT 补丁的 PREEMPT_RT 模型，构成了 Linux 实时性的完整谱系。

2.5 RT 补丁的核心机制与主线化进程

RT 补丁之所以能实现微秒级延迟，依赖于以下四项核心机制。这些机制中的大部分已在主线内核中实现，但 RT 补丁将它们组合为一个完整的实时解决方案。

1. 中断线程化 (IRQ Threading)： 将硬件中断处理程序转换为内核线程，允许被更高优先级的实时任务抢占。
2. 可抢占自旋锁 (Sleeping Spinlocks)： 将自旋锁替换为互斥锁，使得持有锁的进程可以被抢占，从而消除优先级反转。
3. 优先级继承互斥锁 (PI Mutex)： 实现优先级继承协议，防止优先级反转导致的无界阻塞。
4. 高精度定时器 (hrtimer)： 提供纳秒级精度的定时器，替代传统的 jiffies 定时器。

以下 SVG 图展示了 RT 补丁的核心机制及其在主线内核中的合入状态。

2.6 实时性改进的量化指标

从 Linux 2.0 到 5.x，实时性的提升可以通过以下量化指标直观体现：

• 调度延迟： 从事件发生到任务开始执行的时间。在 2.0 时代，该值可达 100ms 级别；在 5.x + PREEMPT_RT 下，可稳定在 10μs 以内。
• 中断响应时间： 从硬件中断触发到中断处理程序开始执行的时间。中断线程化后，该时间从不可预测变为可预测。
• 优先级反转持续时间： 在引入 PI 互斥锁后，高优先级任务被低优先级任务阻塞的时间从“无界”变为“有界且可控”。