4. 任务优先级：静态优先级与动态优先级、优先级分配策略、优先级反转问题

优先级，说白了就是给每个任务发一个「插队许可证」。谁优先级高，谁就先抢 CPU。这个道理很简单，但实际落地的时候，坑特别多。

我刚开始做 OSEK 项目那会儿，觉得优先级嘛，随便分一分就行了。结果有一次，一个低优先级的任务把高优先级任务给堵死了，整个系统直接卡住。从那以后，我再也不敢小看优先级的设计了。

4.1 静态优先级 vs 动态优先级

OSEK 标准里，优先级分两种：静态优先级和动态优先级。它们各有各的脾气。

特性	静态优先级	动态优先级
设定时机	系统配置时（编译前）	运行时（可随时调整）
确定性	高，调度行为可预测	低，调度行为依赖运行时状态
实现复杂度	低，内核开销小	高，需要额外管理逻辑
适用场景	硬实时、安全关键系统	软实时、负载变化大的系统

静态优先级，就是任务一出生，优先级就定死了。你想想看，在汽车电子的安全气囊控制器里，你敢让优先级在运行时乱变吗？肯定不敢。所以 OSEK 默认推荐的就是静态优先级。我个人习惯，只要不是特别复杂的场景，一律用静态优先级。简单、可靠、好调试。

动态优先级呢，就是任务可以「升职」或「降职」。比如一个任务本来优先级很低，但突然收到了紧急数据，内核可以临时把它提上去。我在一个车载信息娱乐系统里用过动态优先级，因为多媒体任务的负载波动很大，静态优先级根本扛不住。但要注意，动态优先级会引入不确定性，搞不好就出乱子。

4.2 优先级分配策略

优先级怎么分？不是拍脑袋随便给的。我见过不少新手，上来就把最忙的任务设成最高优先级，结果系统反而更卡了。为什么？因为高优先级任务抢占了太多 CPU，低优先级任务饿死了。

这里我分享几个常用的分配策略：

• 速率单调调度（RMS）：周期越短的任务，优先级越高。这是最经典的策略，适合周期任务占主导的系统。我在一个发动机控制项目里用过，效果很稳。
• 截止时间最早优先（EDF）：谁快过期了，谁先跑。这个策略在理论上是最优的，但实现起来需要动态计算，OSEK 原生不支持，得自己改内核。
• 关键性优先：安全等级越高的任务，优先级越高。比如刹车控制器的优先级肯定比车窗控制器高。这个策略在汽车电子里用得最多。

我个人建议，先按关键性分大组，再在组内按 RMS 分细粒度。这样既保证了安全，又兼顾了实时性。

4.3 优先级反转问题

优先级反转，是实时系统里最经典的坑。简单说就是：一个低优先级任务占着资源不放，导致高优先级任务干等着。这就像高速公路上，一辆慢车在最左道开，后面一堆快车被堵着。

我举个例子：

任务A（高优先级）  任务B（中优先级）  任务C（低优先级）
   |                  |                  |
   |                  |    占用共享资源  |
   |  请求共享资源    |                  |
   |  （被阻塞）      |                  |
   |                  |  开始运行        |
   |                  |  （抢占CPU）     |
   |                  |                  |
   |                  |  任务C被抢占     |
   |                  |  资源释放延迟    |
   |  继续等待        |                  |
   |                  |                  |

你看，任务A优先级最高，却因为任务C占着资源，被任务B这个「中间人」给拖死了。这就是优先级反转。

OSEK 标准提供了两种解决方案：

• 优先级继承协议：当低优先级任务持有高优先级任务需要的资源时，低优先级任务临时「继承」高优先级任务的优先级。这样它就能尽快跑完，释放资源。我在一个刹车控制项目里用过这个方案，效果立竿见影。
• 优先级天花板协议：每个资源都有一个「天花板优先级」，任何任务访问这个资源时，优先级自动升到天花板。这个方案更激进，但能彻底避免反转。不过实现起来稍微复杂一点。

4.4 知识结构图

下面这张图，把优先级相关的核心概念串起来了。你可以把它当作一张「优先级设计检查清单」。

4.5 实战建议

嗯，最后聊点实在的。优先级设计没有银弹，但有几个原则可以帮你少走弯路：

• 优先级数量别太多：OSEK 支持 256 级优先级，但你真的用不了那么多。我一般只用 8-16 级，够用就好。优先级太多，调度器的开销反而上去了。
• 预留紧急通道：我习惯把最高 2 级优先级留给中断和紧急任务，平时不用。万一系统出问题，至少还有一条「救生通道」。
• 用工具做可调度性分析：别靠感觉分优先级。用响应时间分析（RTA）工具算一算，看看最坏情况下任务能不能按时跑完。我吃过一次亏，后来再也不敢偷懒了。