实时任务调度：PREEMPT_RT补丁安装与配置实战 - 第4节
4.1 中断线程化：将硬中断变为可调度任务
在标准 Linux 内核中，硬件中断请求（IRQ）具有最高优先级，一旦触发就会抢占当前正在运行的任务（包括实时任务），并且中断处理程序（Top Half）运行在关闭本地 CPU 中断的上下文中。这导致两个问题：中断延迟不可预测（实时任务可能被长时间屏蔽）和中断处理程序不能被实时调度器管理。
PREEMPT_RT 的核心突破之一是将中断处理程序强制转换为内核线程，称为 中断线程化（IRQ Threading）。原本在关闭中断的原子上下文中执行的“上半部”逻辑，现在被移入一个可被调度、可被抢占的内核线程中执行。只有极少数真正需要立即响应的中断（如时钟中断、IPI）保留在原始上下文。
SCHED_FIFO 调度策略和固定的优先级（默认 50）。实时任务可以通过设置更高的优先级来确保自己不会被中断处理程序无限期抢占。
ps -eo pid,comm,policy,rtprio,pri | grep irq 可以查看系统中所有中断线程及其实时优先级。例如 irq/50-eth0 表示网卡中断线程。
4.2 自旋锁可抢占化：从忙等到睡眠等待
自旋锁（spinlock）是内核中最常用的短临界区保护机制。在标准内核中，持有自旋锁的代码不能睡眠、不能被抢占，也不能被中断打断（取决于变体）。这导致实时任务在等待自旋锁时只能“原地打转”（忙等），造成 CPU 时间浪费和不可预测的延迟。
PREEMPT_RT 将内核中几乎所有的自旋锁替换为 可睡眠的互斥锁（rt_mutex）。当实时任务试图获取一个已被占用的锁时，它不再忙等，而是主动调度出去，让出 CPU 给其他任务，直到锁被释放后再被唤醒。这一机制称为 自旋锁可抢占化（Spinlock Preemptible）。
| 特性 | 标准内核自旋锁 | PREEMPT_RT 自旋锁 |
|---|---|---|
| 底层实现 | 原子操作 + 忙等 | rt_mutex（可睡眠） |
| 持有期间能否被抢占 | 否（关闭抢占） | 是（可被更高优先级任务抢占） |
| 持有期间能否睡眠 | 否（会导致死锁） | 是（底层已替换为睡眠锁） |
| 等待锁时的行为 | 忙等（消耗 CPU） | 睡眠等待（不消耗 CPU） |
| 对实时延迟的影响 | 增加优先级反转风险 | 降低延迟抖动 |
spin_lock() 的代码现在可能睡眠。这意味着原本在中断处理程序（非线程化部分）中使用自旋锁的代码必须被重写为使用 raw_spin_lock()，后者保留原始的忙等语义。PREEMPT_RT 补丁已经完成了这些替换，但驱动开发者需要留意。
4.3 高精度定时器：微秒级的定时精度
标准 Linux 内核的定时器基于周期性的时钟滴答（tick），通常为 100 Hz 或 250 Hz，定时精度受限于 tick 周期（例如 10 ms 或 4 ms）。对于需要微秒级或纳秒级精度的实时应用，这种粗粒度的定时器完全无法满足需求。
PREEMPT_RT 集成了 高精度定时器（High Resolution Timer, HRTimer） 框架，该框架利用硬件提供的时钟事件设备（如 TSC、HPET、ACPI PM Timer）实现单次触发的定时器，精度可达纳秒级。HRTimer 不再依赖周期性的 tick，而是由硬件在指定时间点直接触发中断。
struct hrtimer 使用红黑树（Red-Black Tree）组织，支持 CLOCK_MONOTONIC、CLOCK_REALTIME、CLOCK_BOOTTIME 等多种时钟源。定时器回调函数在软中断上下文中执行，但在 PREEMPT_RT 中，回调函数运行在进程上下文，可以被实时任务抢占。
hrtimer_start(timer, ns_to_ktime(50000), HRTIMER_MODE_REL) 可以启动一个 50 微秒后到期的单次定时器。在 PREEMPT_RT 系统上，该定时器的到期抖动通常小于 10 微秒。
4.4 优先级继承协议：解决优先级反转
优先级反转（Priority Inversion）是实时系统中经典的死锁类问题：一个低优先级任务持有高优先级任务所需的资源，导致高优先级任务被阻塞，而中优先级任务（不共享资源）却可以抢占低优先级任务，进一步延长高优先级任务的等待时间。
PREEMPT_RT 通过在内核的 rt_mutex 实现中集成 优先级继承协议（Priority Inheritance Protocol, PIP） 来解决此问题。当高优先级任务被低优先级任务持有的锁阻塞时，低优先级任务会临时继承高优先级任务的优先级，从而不会被中优先级任务抢占，能够尽快释放锁。
| 场景 | 无优先级继承 | 有优先级继承（PREEMPT_RT） |
|---|---|---|
| 任务优先级 | H（高）> M（中）> L（低） | H（高）> M（中）> L（低） |
| 锁持有者 | L 持有锁 | L 持有锁 |
| H 请求锁 | H 被阻塞，等待 L | H 被阻塞，L 继承 H 的优先级 |
| M 抢占 | M 抢占 L，L 无法释放锁 | L 优先级高于 M，M 无法抢占 L |
| 结果 | H 无限期等待（反转） | L 快速释放锁，H 继续执行 |
lockdep 锁依赖检查工具，可以在开发阶段检测潜在的死锁。
4.5 四大核心机制协同工作
中断线程化、自旋锁可抢占化、高精度定时器和优先级继承协议并非独立工作，它们共同构成了 PREEMPT_RT 的实时能力基础：
- 中断线程化 将中断处理程序纳入调度器管理，使其可以被实时任务抢占。
- 自旋锁可抢占化 消除了忙等，让锁等待变为可调度的睡眠等待。
- 高精度定时器 提供了微秒级的定时精度，满足硬实时周期任务需求。
- 优先级继承协议 保证了共享资源访问的确定性，防止优先级反转导致的任务饿死。