3. OSEK OS任务管理：任务状态机、任务类型与优先级调度

好，咱们今天聊聊OSEK OS里最核心的东西——任务管理。说白了，整个操作系统就是围着任务转的。你任务管不好，系统肯定要出乱子。我在项目里见过太多因为任务状态搞混、优先级设错导致的死锁或者丢数据的情况了。

3.1 任务状态机：四个状态的流转

OSEK的任务状态机，一共就四个状态：运行、就绪、等待、挂起。嗯，听起来简单，但这里面的门道不少。

• 运行（Running）：CPU正在执行这个任务的代码。同一时刻，只有一个任务能处于运行态。
• 就绪（Ready）：任务啥都准备好了，就等CPU来执行。说白了就是排队等着。
• 等待（Waiting）：任务因为某些原因被阻塞了，比如等一个事件、等一个资源。这时候CPU不会理它。
• 挂起（Suspended）：任务还没被激活，或者执行完了。这是任务的初始状态。

状态之间的转换，我习惯画个图来记：

挂起 --(激活)--> 就绪
就绪 --(调度)--> 运行
运行 --(抢占)--> 就绪
运行 --(等待事件)--> 等待
等待 --(事件到达)--> 就绪
运行 --(任务终止)--> 挂起

你想想看，一个任务从挂起开始，被激活后进入就绪队列。调度器一看，嗯，你优先级最高，那就运行吧。运行过程中如果来了个更高优先级的任务，你就得乖乖回到就绪态。这就是抢占。

3.2 任务类型：基本任务 vs 扩展任务

OSEK把任务分成了两类：基本任务（Basic Task）和扩展任务（Extended Task）。这两者的区别，说白了就是一个能不能等，一个不能等。

特性	基本任务	扩展任务
状态数	3个（挂起、就绪、运行）	4个（多了等待态）
能否等待	不能	能（通过WaitEvent）
栈需求	较小	较大（需要保存等待上下文）
典型用途	周期性任务、短任务	需要等待事件的任务

基本任务：我个人的习惯是，能用基本任务就用基本任务。为什么？因为它简单、轻量、开销小。基本任务一旦开始执行，要么自己主动终止（TerminateTask），要么被更高优先级的任务抢占，要么运行到结束。它不能停下来等什么东西。

扩展任务：这个就有意思了。它可以在运行过程中调用WaitEvent，然后进入等待态。等事件来了，再回到就绪态。我在项目中遇到过这样一个场景：一个任务需要等待多个传感器数据都到位后才能处理，这时候用扩展任务就特别合适。

3.3 优先级调度：谁抢谁的问题

OSEK用的是固定优先级抢占式调度。什么意思？每个任务在创建时就定好了优先级，运行过程中不能改。调度器永远选择就绪态中优先级最高的那个任务来运行。

这里有个经典问题：优先级反转。我曾经在一个项目中踩过这个坑。低优先级任务拿着一个资源，高优先级任务等着用这个资源，结果中优先级任务把低优先级任务抢占了，高优先级任务就一直等不到资源。嗯，这就是优先级反转。

OSEK怎么解决？它提供了优先级天花板协议和优先级继承协议。我个人更推荐优先级天花板协议，因为它实现简单，死锁风险低。

// 伪代码示例：优先级天花板协议
Task A (优先级 5) 获取资源 R
    - 资源 R 的天花板优先级 = 10
    - A 的优先级临时提升到 10
Task B (优先级 8) 尝试获取资源 R
    - 发现 R 被 A 占用，B 进入等待
Task A 释放资源 R
    - A 的优先级恢复为 5
    - B 获得资源 R

3.4 调度策略：非抢占与抢占

OSEK允许你配置任务为非抢占或抢占。这个选择会影响系统的实时性。

• 抢占式：高优先级任务随时可以打断低优先级任务。响应快，但上下文切换开销大。
• 非抢占式：任务一旦开始运行，必须运行到主动放弃CPU（比如调用Schedule或TerminateTask）。响应慢，但确定性好。

我个人的建议是：对于时间关键的任务（比如中断响应、控制环路），用抢占式。对于非关键任务（比如日志记录、状态上报），用非抢占式。这样既能保证实时性，又能减少不必要的切换开销。

3.5 实际项目中的任务设计要点

好了，理论说完了，我分享几个实际项目中的经验：

1. 优先级别设太多：我见过有人设了32个优先级，结果调度器光比较优先级就花了不少时间。一般8-16个优先级就够用了。
2. 基本任务优先：能用基本任务解决的问题，别用扩展任务。扩展任务的等待态管理起来很麻烦。
3. 注意栈大小：每个任务都有自己的栈。基本任务的栈可以小一点（比如256字节），扩展任务建议至少512字节。
4. 避免死锁：多个任务争抢多个资源时，很容易死锁。我的习惯是：所有任务按相同的顺序申请资源。