📚 课程目录第4章实时内核配置详解

4. 实时内核配置详解

构建一个确定性的 PREEMPT_RT 系统，内核配置是第一步，也是最关键的一步。本章将深入剖析四个核心配置领域：中断线程化、高精度定时器、RCU 优先级继承以及自旋锁与互斥锁替换。理解这些配置项背后的机制，是进行后续延迟测量与调优的基础。

4.1 中断线程化 (IRQ Threads)

在标准 Linux 内核中，中断处理程序（Top Half）运行在不可抢占的上下文（IRQ context）中，会阻塞所有用户态和内核态任务，导致不可预测的调度延迟。PREEMPT_RT 通过中断线程化机制，将大部分中断处理程序转换为可被调度的内核线程。

  核心原理： 中断发生时，硬件中断处理程序仅执行最必要的操作（如确认中断、清除状态），然后唤醒对应的中断线程。该线程以实时优先级运行，参与内核调度器的调度，从而允许更高优先级的实时任务抢占中断处理。

配置项： CONFIG_IRQ_FORCED_THREADING=y。启用此选项后，所有非关键中断处理程序都将强制线程化。对于需要极低延迟的特定设备（如高性能网卡），可以通过内核引导参数 threadirqs 全局启用，或使用 irqaffinity 和 smp_affinity 进行细粒度控制。

下图展示了中断线程化前后的处理流程对比：

4.2 高精度定时器 (High Resolution Timers)

实时系统对时间精度有严苛要求。标准内核的定时器基于周期性的“时间滴答”（Tick），精度受限于 HZ 值（通常为 100Hz 或 1000Hz）。PREEMPT_RT 集成了高精度定时器框架，将定时器粒度从毫秒级提升到纳秒级。

特性	标准定时器 (Timer Wheel)	高精度定时器 (hrtimer)
触发机制	基于周期性的 Tick 中断	基于硬件时钟（如 TSC、HPET）的单次触发
精度	毫秒级 (1ms ~ 10ms)	纳秒级 (受硬件限制)
数据结构	时间轮 (Time Wheel)	红黑树 (Red-Black Tree)
适用场景	普通超时、调度	实时任务周期控制、高精度 I/O 超时

配置注意： 确保 CONFIG_HIGH_RES_TIMERS=y 已启用。同时，建议将 CONFIG_HZ 设置为 1000（1000Hz），以提供更细粒度的调度时间片。对于极端实时场景，可考虑 CONFIG_NO_HZ_FULL（全无滴答模式），减少不必要的定时器中断。

高精度定时器在 PREEMPT_RT 中的调度流程：

4.3 RCU 优先级继承 (RCU Priority Inheritance)

RCU（Read-Copy-Update）是一种高效的同步机制，但在实时系统中，RCU 的宽限期（Grace Period）可能被低优先级任务阻塞，导致高优先级读者（Reader）或更新者（Updater）面临不可预测的延迟。PREEMPT_RT 引入了RCU 优先级继承协议来解决此问题。

  问题场景： 一个低优先级的任务在 RCU 读端临界区中被抢占，此时一个高优先级的任务试图执行 RCU 更新操作（如 synchronize_rcu()）。由于低优先级任务尚未退出临界区，高优先级任务必须等待，导致优先级反转。

PREEMPT_RT 通过以下机制实现 RCU 优先级继承：

RCU_BOOST： 配置项 CONFIG_RCU_BOOST=y。当检测到 RCU 宽限期被阻塞时，内核会临时提升阻塞任务的优先级，使其尽快完成并退出临界区。
RCU_NOCB_CPU： 配置项 CONFIG_RCU_NOCB_CPU=y。将 RCU 回调处理卸载到特定的“nocb”内核线程，避免在关键实时 CPU 上执行 RCU 处理，减少延迟抖动。
RCU_EXPEDITED： 通过 rcu_expedited 内核引导参数或 sysfs 接口，强制使用快速宽限期，牺牲部分吞吐量以换取低延迟。

配置项	作用	对延迟的影响
`CONFIG_RCU_BOOST`	启用 RCU 优先级继承，防止优先级反转	降低最大延迟 (Worst-case Latency)
`CONFIG_RCU_NOCB_CPU`	将 RCU 回调卸载到非实时 CPU	减少平均延迟抖动 (Jitter)
`rcu_expedited`	强制使用更激进的宽限期检测	降低同步延迟，但增加 CPU 开销

调优建议： 对于大多数实时系统，建议同时启用 CONFIG_RCU_BOOST 和 CONFIG_RCU_NOCB_CPU。如果系统对最大延迟有极端要求（如 < 10µs），可以尝试启用 rcu_expedited，但需监控 CPU 开销。

4.4 自旋锁与互斥锁替换 (Spinlock & Mutex Replacement)

这是 PREEMPT_RT 最核心的改动之一。标准内核中的自旋锁（Spinlock）在持有期间会禁止抢占，导致不可预测的延迟。PREEMPT_RT 通过锁替换机制，将大部分自旋锁替换为可睡眠的互斥锁（Mutex）或实时互斥锁（RT-Mutex）。

关键区别： 在 PREEMPT_RT 中，spin_lock() 实际上被实现为 rt_mutex_lock()。这意味着持有“自旋锁”的任务可以被更高优先级的任务抢占，从而显著降低延迟。但这也带来了更高的上下文切换开销。

锁替换的详细映射关系如下表所示：

标准内核原语	PREEMPT_RT 替换原语	行为变化
`spin_lock()`	`rt_mutex_lock()`	从忙等待变为可睡眠等待，支持优先级继承
`spin_lock_irqsave()`	`raw_spin_lock_irqsave()` (仅用于真正不可抢占的路径)	大部分被替换，仅保留少数绝对关键路径
`mutex_lock()`	`rt_mutex_lock()`	行为基本一致，但优先级继承机制更完善
`rwlock_t`	替换为 `rt_rwlock_t` (基于 RT-Mutex 实现)	读者和写者均可被抢占，避免读者饿死

下图展示了锁替换如何解决优先级反转问题：

代码示例： 在编写 PREEMPT_RT 驱动程序时，应优先使用 spin_lock_t 和 mutex，而不是 raw_spinlock_t。只有在绝对需要禁止抢占的极短路径（如访问硬件寄存器）时才使用 raw_spin_lock()。

// 推荐：使用标准 spin_lock，PREEMPT_RT 会自动替换
spinlock_t my_lock;
spin_lock_init(&my_lock);
spin_lock(&my_lock);
// 临界区代码（可被抢占）
spin_unlock(&my_lock);

// 不推荐（除非绝对必要）：使用 raw_spin_lock 会绕过替换
raw_spinlock_t my_raw_lock;
raw_spin_lock(&my_raw_lock);
// 临界区代码（禁止抢占，延迟敏感）
raw_spin_unlock(&my_raw_lock);