3. OSEK OS 任务管理：任务状态模型、类型与调度策略
在OSEK/AUTOSAR实时操作系统中，任务（Task）是并发执行的基本单元，也是系统调度的核心对象。理解任务的状态模型、类型以及调度策略，是掌握OSEK OS实时行为的基础。本章将深入剖析这三个关键维度。
3.1 任务状态模型（Task State Model）
OSEK OS定义了四种任务状态，构成了一个有限状态机。任务在任何时刻只能处于其中一种状态。这四种状态分别是：运行（Running）、就绪（Ready）、等待（Waiting）和挂起（Suspended）。
| 状态 | 描述 | 典型触发事件 |
|---|---|---|
| Running | 任务正在被CPU执行。在单核系统中，同一时刻只有一个任务处于此状态。 | 调度器选择该任务；抢占发生时，被抢占的任务从Running变为Ready。 |
| Ready | 任务已具备运行条件（资源、时间等），正在等待CPU分配。它处于调度队列中。 | 任务被激活（从Suspended变为Ready）；等待的事件发生（从Waiting变为Ready）；被高优先级任务抢占（从Running变为Ready）。 |
| Waiting | 任务因等待某个事件（Event）或资源而暂停执行。此状态仅适用于扩展任务。 | 扩展任务调用 WaitEvent() 系统服务。 |
| Suspended | 任务未被激活，处于非活动状态。它不参与调度，不占用任何CPU资源，也不占用任务控制块（TCB）中的栈空间（通常栈空间在激活时分配或复用）。 | 任务执行完毕（Terminate）；系统启动时所有任务初始状态为Suspended。 |
状态转换图（核心逻辑）：
- Suspended → Ready：通过
ActivateTask()或ChainTask()激活任务。 - Ready → Running：调度器根据优先级和调度策略，选择最高优先级的就绪任务执行。
- Running → Ready：发生任务抢占（高优先级任务就绪）或时间片轮转（如果启用）。
- Running → Waiting：扩展任务调用
WaitEvent()等待特定事件。 - Waiting → Ready：等待的事件通过
SetEvent()被设置。 - Running → Suspended：任务执行结束，调用
TerminateTask()或ChainTask()。
实战要点： 在嵌入式调试中，通过查看任务状态可以快速定位问题。例如，一个高优先级任务长期处于 Ready 状态但未运行，通常意味着有更高优先级的任务在持续占用CPU（优先级反转或死循环）。一个扩展任务长期处于 Waiting 状态，则表明其等待的事件未被正确设置。
3.2 任务类型：基本任务与扩展任务
OSEK OS将任务分为两种类型，其核心区别在于是否支持 等待（Waiting） 状态。
3.2.1 基本任务（Basic Task）
- 状态模型：仅包含 Suspended、Ready、Running 三种状态。没有 Waiting 状态。
- 行为特征：一旦开始执行，必须运行到结束（调用
TerminateTask()或ChainTask()），或者被更高优先级的任务抢占。它不能主动挂起自己等待事件。 - 资源消耗：由于不需要保存等待状态，基本任务的上下文切换开销通常比扩展任务小，栈空间需求也相对固定。
- 典型应用：周期性的、计算密集型的任务（如传感器数据采集、控制算法计算），或者执行时间短、无需等待外部事件的任务。
3.2.2 扩展任务（Extended Task）
- 状态模型：包含全部四种状态：Suspended、Ready、Running、Waiting。
- 行为特征：可以在执行过程中调用
WaitEvent()主动进入 Waiting 状态，等待特定事件（Event）的发生。当事件被设置后，任务回到 Ready 状态。 - 资源消耗：需要额外的内存来保存等待状态和事件信息，上下文切换开销略高于基本任务。
- 典型应用：需要等待外部事件（如CAN报文接收、GPIO中断标志）才能继续执行的任务。例如，一个任务等待“车速信号更新”事件，然后才进行仪表显示刷新。
设计选择建议： 在AUTOSAR中，为了简化设计和提高可预测性，强烈建议优先使用基本任务。如果任务逻辑需要等待，可以考虑将等待逻辑拆分为多个基本任务，通过任务激活和同步机制（如计数器、资源）来实现。仅在确实需要等待多个异步事件且无法拆分时，才使用扩展任务。
3.3 任务优先级与调度策略
OSEK OS采用基于优先级的抢占式调度，但提供了三种灵活的调度策略组合，以适应不同实时性需求。
3.3.1 任务优先级
- 每个任务在系统配置时被分配一个固定的优先级（0 ~ 最大值，数值越小优先级越高，或反之，取决于具体实现，但OSEK标准通常定义0为最高优先级）。
- 优先级是调度器选择下一个运行任务的唯一依据（在相同优先级下，通常采用FIFO或时间片轮转）。
- 优先级天花板协议（Priority Ceiling Protocol） 和 优先级继承协议（Priority Inheritance Protocol） 是OSEK/AUTOSAR中用于防止优先级反转的常用机制，将在后续资源管理章节详述。
3.3.2 三种调度策略
| 调度策略 | 核心规则 | 优点 | 缺点 | 典型场景 |
|---|---|---|---|---|
| 非抢占调度 (Non-Preemptive) |
任务一旦开始运行，除非主动挂起（扩展任务调用WaitEvent）或终止，否则不会被其他任务抢占。调度点仅发生在任务主动释放CPU时。 | 实现简单，上下文切换次数少，系统开销低；任务执行时间可预测性高（无抢占干扰）。 | 实时性较差，高优先级任务必须等待当前低优先级任务执行完毕，可能导致高优先级任务延迟（优先级反转风险高）。 | 对实时性要求不高、任务执行时间短且相对固定的系统；或者所有任务优先级相同的情况。 |
| 抢占调度 (Preemptive) |
任何时候，只要一个更高优先级的任务进入 Ready 状态，调度器立即暂停当前正在运行的低优先级任务，将其状态变为 Ready，并切换到高优先级任务执行。 | 实时响应快，高优先级任务能及时获得CPU；是满足硬实时需求的基础。 | 上下文切换频繁，系统开销较大；需要仔细处理共享资源的互斥访问（否则易出现优先级反转、死锁）。 | 大多数硬实时系统，如发动机控制、制动系统、安全气囊控制等。 |
| 混合调度 (Mixed Preemptive) |
允许在同一个系统中，部分任务配置为非抢占，部分任务配置为抢占。通常通过任务属性中的 SCHEDULE 参数（NON / FULL）来指定。 |
兼具两者优点：关键高优先级任务使用抢占模式保证实时性；非关键或执行时间长的任务使用非抢占模式减少上下文切换和资源竞争。 | 系统设计复杂度增加，需要仔细分析每个任务的调度属性，避免非抢占任务阻塞关键抢占任务。 | 复杂的汽车电子系统，如车身控制模块（BCM）中，CAN通信任务（高优先级、抢占）与车窗升降任务（低优先级、非抢占）共存。 |
3.3.3 调度决策示例（抢占模式）
假设有三个任务：Task_H（优先级高）、Task_M（优先级中）、Task_L（优先级低）。初始状态均为Suspended。
- t0：激活 Task_L，Task_L 进入 Ready，调度器选择它运行（Running）。
- t1：Task_L 运行中，激活 Task_H。Task_H 进入 Ready，其优先级高于 Task_L。
调度动作：Task_L 被抢占（Running → Ready），Task_H 开始运行（Ready → Running）。 - t2：Task_H 运行中，激活 Task_M。Task_M 进入 Ready，但优先级低于 Task_H。
调度动作：Task_H 继续运行，Task_M 保持在 Ready 队列中等待。 - t3：Task_H 执行完毕，调用
TerminateTask()（Running → Suspended）。
调度动作：调度器从 Ready 队列中选择最高优先级的任务——Task_M，开始运行。 - t4：Task_M 执行完毕，调用
TerminateTask()（Running → Suspended）。
调度动作：调度器选择 Ready 队列中唯一的任务——Task_L，恢复其运行。
实战总结： 在配置OSEK OS时，需要为每个任务明确指定：
- 优先级：根据任务的实时性紧迫程度分配。
- 调度策略：通过
SCHEDULE = FULL（抢占）或SCHEDULE = NON（非抢占）定义。 - 任务类型：通过
EXTENDED = TRUE（扩展任务）或FALSE（基本任务）定义。