3.2.2.3 调度可调度性分析(RMA) 3.2.2.3 调度可调度性分析(RMA):当“理论可调度”撞上“实际卡死”——一个被忽略的优先级反转陷阱与Lubell-Yamada修正法的实战落地 你有没有遇到过这样的场景? 系统设计阶段,你用Rate Monotonic Analysis(RMA)一笔算出:所有任务周期 $Ti$、执行时间 $Ci$、截止期 $Di = Ti$ 全部满足 Liu & Layland 可调度性条件 $\sum{i=1}^{n}\frac{Ci}{Ti} \leq n(2^{1/n} - 1)$,甚至保守的超周期法(Hyperperiod Test)也通过;