3. 标准内核的实时性缺陷

标准 Linux 内核（主线内核）在设计之初主要面向通用计算和服务器场景，追求高吞吐量、公平调度和资源利用率。当将其直接应用于实时系统时，会暴露出四个核心缺陷：关中断时间过长、自旋锁导致优先级反转、内核抢占点不足以及高精度定时器精度受限。这些缺陷共同导致任务响应延迟不可预测，无法满足硬实时系统的确定性要求。

3.1 关中断时间过长

在标准内核中，local_irq_disable() / local_irq_save() 用于保护临界区免受中断和内核抢占的干扰。然而，这些操作会全局关闭本地 CPU 的中断响应，导致所有外部中断（包括高优先级实时设备的中断）被延迟处理。

下表列出了标准内核中常见的关中断场景及其典型持续时间：

3.2 自旋锁导致优先级反转

标准内核中，自旋锁（spinlock）用于保护短临界区。持有自旋锁的 CPU 会忙等待，且不允许抢占。当低优先级任务持有自旋锁，而高优先级任务试图获取同一锁时，会发生优先级反转——高优先级任务被低优先级任务阻塞，且阻塞时间不可控。

自旋锁导致的优先级反转问题可以通过以下步骤理解：

1. 低优先级任务 T1 获取自旋锁 L，进入临界区。
2. 高优先级任务 T3 被唤醒，尝试获取锁 L，发现已被持有，进入忙等待（自旋）。
3. 中等优先级任务 T2 就绪，抢占 T1（因为 T1 优先级低），T1 被挂起，锁 L 仍被持有。
4. T3 继续自旋等待，直到 T2 阻塞或完成，T1 恢复执行并释放锁 L。
5. T3 最终获取锁，但已经经历了不可预测的延迟。

3.3 内核抢占点不足

标准内核的抢占模型分为三种：PREEMPT_NONE（服务器）、PREEMPT_VOLUNTARY（桌面）和 PREEMPT（低延迟桌面）。即使在 PREEMPT 模式下，内核代码中仍存在大量不可抢占区域（如持有自旋锁、RCU 读端、某些异常处理路径），导致高优先级任务无法及时获得 CPU。

标准内核与 PREEMPT_RT 的抢占点分布对比：

3.4 高精度定时器精度受限

标准内核的 hrtimer（高精度定时器）虽然基于硬件定时器（如 APIC、TSC），但其到期处理仍然受到内核抢占延迟和中断关闭的影响。定时器回调函数在 hrtimer_interrupt() 上下文中执行，如果此时系统关中断或处于不可抢占状态，定时器到期事件会被延迟处理。

影响定时器精度的主要因素：

• 关中断延迟： 定时器中断被关中断临界区阻塞，导致到期检查延迟。
• 中断处理优先级： 定时器中断可能被其他中断源抢占，造成抖动。
• 调度延迟： 定时器回调唤醒的任务需要等待调度器分配 CPU。
• 时钟源切换： 标准内核在 idle 时可能切换到低精度时钟源（如 jiffies），导致定时器精度降级。

3.5 缺陷总结与实时化方向

标准内核的四个实时性缺陷相互关联，共同导致系统响应延迟不可预测。PREEMPT_RT 补丁集针对每个缺陷提出了系统性的解决方案：