任务概念：什么是任务、状态机模型与TCB
各位同学，咱们今天聊点实在的。任务（Task）是OSEK操作系统的核心，也是你写嵌入式实时程序时打交道最多的东西。我刚开始接触OSEK时，觉得任务不就是个函数嘛，后来踩了不少坑才明白——任务远不止一个函数那么简单。
什么是任务？
说白了，任务就是一段独立执行的代码序列，它有自己的执行上下文。在OSEK里，任务被看作一个“独立的执行单元”。你可以把它想象成一个工人，每个工人有自己的工具箱（上下文），干自己的活（代码），互不干扰。
任务和普通函数的区别在哪？我举个例子：
- 函数：被调用时执行，执行完返回调用者，生命周期由调用者控制。
- 任务：由操作系统调度，可以独立启动、暂停、恢复，有自己的栈空间和优先级。
我在一个汽车ECU项目里遇到过这种情况：把CAN报文接收逻辑写成一个函数，在主循环里轮询调用。结果呢？报文稍微密集一点就丢帧。后来改成OSEK任务，优先级设高，事件触发，问题立马解决。这就是任务的威力——它让系统能“主动”响应，而不是被动等待。
任务的核心特征：
- 独立的执行流
- 拥有自己的栈空间
- 由操作系统调度，而非手动调用
- 具有优先级属性
- 可以处于不同的状态
任务的状态机模型
任务不是一直在跑的。它会在不同状态之间切换，这就是任务的状态机模型。OSEK定义了四种任务状态：运行、就绪、挂起、暂停。嗯，这里要注意，不同教材对“暂停”的叫法可能不一样，有的叫“等待”，但OSEK规范里就是“暂停”（Suspended）。
我画了一张状态转换图，你看完就明白了：
这张图你得记牢了。我当年面试时，面试官第一个问题就是“画一下OSEK任务状态机”。你想想看，如果连这个都答不上来，后面就不用聊了。
各状态详解
运行态（Running）
任务正在占用CPU执行代码。同一时刻，每个CPU核心只能有一个任务处于运行态。多核系统另说，但OSEK经典规范是针对单核的。
就绪态（Ready）
任务已经准备好执行，但CPU被别的任务占着。它在等调度器给它分配CPU时间。就绪队列里可能有多个任务，调度器按优先级挑一个出来运行。
挂起态（Waiting）
任务因为等待某个事件或资源而暂停执行。比如等一个信号量、等一个消息、等一个定时器超时。挂起态的任务不参与调度，直到它等的东西来了。
我的经验：挂起态是OSEK里最常用的状态。合理利用挂起态，可以让CPU在等待期间去干别的活，而不是空转轮询。我曾经把一个轮询CAN接收的代码改成事件驱动，CPU负载从85%降到了30%。
暂停态（Suspended）
任务没有被激活，或者已经执行完毕。处于暂停态的任务，对调度器来说就是“不存在”的。只有调用ActivateTask()才能把它唤醒到就绪态。
任务控制块（TCB）
每个任务在操作系统内部都有一个对应的数据结构，叫任务控制块（Task Control Block，TCB）。你可以把它理解为任务的“身份证”和“档案袋”。操作系统就是靠TCB来管理所有任务的。
TCB里存了啥？我列个表给你看：
| 字段 | 说明 | 我的备注 |
|---|---|---|
| 任务ID | 任务的唯一标识符 | 通常是个整数，从0开始 |
| 任务优先级 | 决定调度顺序 | 数值越小优先级越高（OSEK规范） |
| 任务状态 | 当前处于哪个状态 | Running/Ready/Waiting/Suspended |
| 栈指针 | 指向任务自己的栈空间 | 每个任务独立栈，大小要算好 |
| 程序计数器 | 任务上次执行到的位置 | 上下文切换时保存 |
| 上下文寄存器 | CPU寄存器的备份 | 切换任务时保存/恢复 |
| 事件掩码 | 任务等待的事件集合 | 用于挂起态的事件等待 |
| 资源列表 | 任务占用的资源 | 用于资源管理，防止死锁 |
TCB在代码里长什么样？给你看个简化版：
typedef struct {
uint8_t task_id; // 任务ID
uint8_t priority; // 优先级（0最高）
TaskState state; // 当前状态
uint32_t *stack_ptr; // 栈指针
uint32_t pc; // 程序计数器
uint32_t context[16]; // 上下文寄存器备份
uint32_t event_mask; // 事件掩码
Resource *resources; // 占用的资源列表
} TCB;避坑指南：我曾经在一个项目里把任务栈大小设得太小，结果任务一运行就栈溢出，系统随机崩溃。查了三天才找到原因。记住：每个任务的栈大小要根据它的局部变量和函数调用深度来算，别偷懒用默认值。
任务类型：基本任务 vs 扩展任务
OSEK把任务分成两种类型，这个你得搞清楚：
| 特性 | 基本任务（Basic Task） | 扩展任务（Extended Task） |
|---|---|---|
| 是否可挂起 | 否 | 是 |
| 状态数 | 3个（运行、就绪、暂停） | 4个（运行、就绪、挂起、暂停） |
| 能否等待事件 | 不能 | 能 |
| 典型用途 | 周期性任务、计算密集型 | 事件驱动、需要等待的任务 |
| 栈需求 | 较小 | 较大（需要保存更多上下文） |
我个人的习惯是：能用基本任务就用基本任务，因为它开销小、切换快。只有确实需要等待事件或资源时，才用扩展任务。别一上来就全用扩展任务，那是给自己找麻烦。
任务优先级与调度
OSEK使用固定优先级调度，优先级在任务创建时就定好了，运行时不能改。调度策略是：优先级最高的就绪任务先运行。如果两个任务优先级相同，按FIFO顺序。
这里有个关键点：抢占式调度。当一个高优先级任务就绪时，它会立即抢占正在运行的低优先级任务。你想想看，这保证了紧急任务能及时响应，但也带来了资源竞争的问题——这个我们后面讲资源管理时会细说。
优先级分配原则（我的经验）：
- 时间关键型任务（如刹车控制）→ 最高优先级
- 周期性数据采集任务 → 中高优先级
- 后台处理任务（如日志记录）→ 低优先级
- 空闲任务 → 最低优先级
任务的生命周期
一个任务从创建到销毁，大致经历这么几步：
- 创建：系统初始化时，通过配置工具生成任务，分配TCB和栈空间。
- 激活：调用
ActivateTask()，任务从暂停态进入就绪态。 - 调度：调度器根据优先级选择任务运行。
- 执行：任务运行，可能被抢占、可能主动挂起。
- 终止：任务执行完毕，调用
TerminateTask()，回到暂停态。
注意：OSEK的任务没有“销毁”这个概念。任务一旦创建，就一直在那，反复激活、执行、终止。这跟Linux的进程不一样，你别搞混了。
好了，任务的概念、状态机、TCB，这些就是OSEK任务调度的基础。你把这些搞明白了，后面讲调度算法、资源管理、事件机制时，才能跟得上。我当年学OSEK时，光状态机就画了不下二十遍，画到闭着眼都能默写出来。你也试试？