2. Linux实时性挑战

标准 Linux 内核在设计之初主要面向通用计算和服务器场景，追求高吞吐量和公平调度，而非确定性的实时响应。这种设计哲学导致内核中存在多个阻碍实时性的关键因素。本章将深入分析三大核心根源：关中断、大内核锁以及不可抢占路径，并揭示它们如何共同导致任务响应延迟的不可预测性。

2.1 关中断：最高优先级的延迟源

中断是硬件通知 CPU 异步事件的标准机制。在标准内核中，当 CPU 响应中断时，会立即进入中断上下文，并默认关闭本地 CPU 的所有可屏蔽中断。这意味着，即使一个优先级更高的实时任务就绪，它也无法被调度执行，直到当前中断处理程序完成并重新开启中断。

下图展示了标准内核中一个外部中断到来后，实时任务被阻塞的典型时序：

关中断带来的延迟是优先级反转的一种极端形式：中断处理程序（通常优先级最高）的执行时间直接决定了所有实时任务的等待时间。常见的关中断场景包括：

• 中断处理程序 (ISR) 上半部：硬件中断触发后，内核默认关闭本地中断执行 ISR。
• spin_lock_irqsave() / local_irq_save()：驱动或内核代码在访问共享资源时，主动关闭本地中断以防止死锁。
• 调度器内部路径：某些调度器关键操作会短暂关闭中断以保证数据结构一致性。

2.2 大内核锁：单核时代的遗留债务

在 Linux 早期版本（2.0 之前），内核使用一个全局的大内核锁 (Big Kernel Lock, BKL) 来保护整个内核。虽然 BKL 在 2.6 系列内核中被逐步移除，但其设计思想——一次只允许一个 CPU 执行内核代码——仍然通过其他机制（如全局 spinlock）在某些路径中体现。

下表对比了 BKL 与现代细粒度锁在实时性方面的差异：

虽然 BKL 已不复存在，但其遗留问题以全局 spinlock 的形式存在于某些核心子系统（如进程 ID 分配、VFS 某些路径）中。这些全局锁仍然是实时性的潜在瓶颈。

2.3 不可抢占路径：内核态的执行垄断

标准 Linux 内核在以下场景中会禁止内核抢占，即当前正在执行的进程不能被其他进程（即使优先级更高）抢占：

1. 持有 spinlock 时：这是最普遍的不可抢占路径。如果进程 A 在持有 spinlock 时被抢占，新进程 B 尝试获取同一 spinlock 将导致自旋等待，造成 CPU 资源浪费。
2. 中断上下文：中断处理程序（上半部）运行在中断上下文中，不属于任何进程，无法被调度器抢占。
3. 调度器自身代码：调度器在执行 schedule() 函数时，会设置 preempt_count 禁止抢占，以防止递归调度。
4. 显式禁止抢占：内核代码可通过 preempt_disable() / local_bh_disable() 主动关闭抢占。

下图展示了不可抢占路径如何导致高优先级任务被低优先级任务阻塞：

2.4 三大根源的累积效应

在实际系统中，关中断、大内核锁（或全局锁）和不可抢占路径往往相互叠加，形成复杂的延迟链。例如：

• 一个中断处理程序（关中断）可能尝试获取一个全局 spinlock（不可抢占）。
• 一个低优先级任务在持有 spinlock 时被中断打断，中断处理程序又尝试获取另一个锁，导致锁的嵌套和优先级反转的级联。
• 调度器本身在运行期间关闭中断和抢占，导致即使有实时任务就绪，也无法立即执行上下文切换。

下表总结了三大根源的关键特征及其对实时性的影响程度：