3. 优先级反转问题
3.1 优先级反转定义
优先级反转（Priority Inversion） 是实时系统中一种经典的现象：一个高优先级任务因等待低优先级任务持有的共享资源而被阻塞，而低优先级任务又被中等优先级任务抢占，导致高优先级任务的完成时间被不可预测地延长。从行为上看，高优先级任务的“有效优先级”被反转到了低于中等优先级任务的水平。
核心定义： 优先级反转是指系统中高优先级任务被低优先级任务间接阻塞，且阻塞时间不受高优先级任务控制，可能被中等优先级任务无限延长的现象。
3.2 经典三任务场景
优先级反转最典型的场景涉及三个任务：高优先级任务 H、中等优先级任务 M 和 低优先级任务 L。它们共享一个受互斥锁保护的资源。
场景前提： 任务 H 和任务 L 共享同一把锁；任务 M 不访问该共享资源，但纯计算密集型。
下图展示了无优先级继承机制时，优先级反转的完整时序流程：
上述时序图中，事件顺序如下：
- t0: 任务 L 获得锁并开始执行临界区。
- t1: 任务 H 被唤醒，抢占 L 并请求同一把锁，因锁被 L 持有而阻塞。H 进入等待队列。
- t2: 任务 M 就绪，抢占 L（L 仍持有锁），开始执行。H 继续等待。
- t3: 任务 M 执行完毕，L 恢复执行，继续持有锁运行临界区。
- t4: 任务 L 释放锁，H 获得锁并执行。
关键观察： 在 t2 到 t3 区间，高优先级任务 H 被中等优先级任务 M 间接阻塞。H 的优先级实际上被“反转”到了低于 M 的水平。这种阻塞时间与临界区长度无关，完全取决于 M 的执行时间，因此是无界的。
3.3 对实时系统的影响
优先级反转对实时系统的影响是灾难性的，主要体现在以下方面：
| 影响维度 | 具体表现 | 后果严重性 |
|---|---|---|
| 可调度性破坏 | 高优先级任务的响应时间被不可预测地延长，超出截止时间 | 任务集可能从可调度变为不可调度 |
| 确定性丧失 | 阻塞时间取决于中等优先级任务的执行模式，而非临界区长度 | 系统行为难以分析和验证 |
| 多米诺效应 | 一个高优先级任务超时可能触发级联故障，影响其他依赖任务 | 系统整体可靠性下降 |
| 死锁风险 | 在嵌套锁场景下，优先级反转可能演变为死锁 | 系统完全停滞 |
| 实时性指标恶化 | 最差情况执行时间（WCET）分析变得极其保守 | 资源利用率大幅降低 |
经典案例： 1997 年火星探路者（Mars Pathfinder）任务中，由于优先级反转导致高优先级总线管理任务频繁超时，系统反复复位。最终通过启用优先级继承协议解决了问题。这一事件使优先级反转成为实时系统领域广为人知的经典问题。
下图总结了优先级反转在实时系统中的影响链路：
3.4 优先级反转的量化指标
在实时系统分析中，常用以下指标量化优先级反转的影响：
- 阻塞时间 BH： 高优先级任务 H 因等待低优先级任务释放资源而被阻塞的总时间。
- 反转因子 Rinv： 实际阻塞时间与临界区长度的比值。理想情况下 Rinv = 1；无协议保护时 Rinv 可能远大于 1。
- 最差情况阻塞时间 WCBT： 在给定任务集和协议下，高优先级任务可能经历的最大阻塞时间。
分析要点： 在无优先级继承的系统中，WCBT 可能等于所有中等优先级任务执行时间之和，这是一个无界值。PREEMPT_RT 的优先级继承机制将 WCBT 限制为最多一个临界区执行时间（即持有锁的最长持续时间），从而恢复系统的可调度性。