4. RTOS内核原理：任务调度机制、任务状态机与上下文切换
各位同学，今天我们来啃一块硬骨头——RTOS内核的任务调度机制。说实话，很多工程师用RTOS好几年，对调度器还是一知半解。我个人觉得，搞懂调度器，才算真正入了RTOS的门。
4.1 任务调度机制：抢占式 vs 时间片
RTOS调度器，说白了就是决定「下一个该谁跑」的裁判。常见的调度策略有两种：抢占式调度和时间片轮转调度。
4.1.1 抢占式调度（Preemptive Scheduling）
抢占式调度，核心就一句话：高优先级的任务来了，低优先级的任务立刻让路。不管低优先级任务跑得多欢，只要高优先级任务就绪，CPU立马被抢走。
我在项目中遇到过这样一个坑：一个数据采集任务优先级设得比通信任务还高，结果通信任务一直抢不到CPU，数据发不出去。嗯，优先级设计真不是随便拍脑袋定的。
抢占式调度的关键特性：
- 每个任务有固定优先级
- 高优先级任务就绪时，立即抢占低优先级任务
- 调度器在系统Tick中断或任务主动让出CPU时触发
- 实时性高，但可能引发优先级反转问题
4.1.2 时间片轮转调度（Round-Robin Scheduling）
时间片轮转，就是让同优先级的任务轮流跑。每个任务分到一个时间片，跑完就换下一个。你想想看，如果所有任务优先级都一样，那大家就排队轮流用CPU。
我曾经在一个智能电表项目里，把三个采集任务设成同一优先级，结果发现某个任务总是跑不完。后来一查，是时间片设得太短，任务刚启动上下文就被切换走了。调整时间片长度后，问题解决。
| 特性 | 抢占式调度 | 时间片轮转 |
|---|---|---|
| 优先级 | 必须设置不同优先级 | 同优先级任务共享CPU |
| 实时性 | 高，高优先级任务响应快 | 中等，取决于时间片长度 |
| 公平性 | 低优先级可能饿死 | 同优先级任务公平 |
| 典型应用 | 实时控制、中断响应 | 数据采集、后台处理 |
我的建议：实际项目中，通常把抢占式和时间片结合使用。高实时性任务用抢占式，后台批量任务用时间片轮转。FreeRTOS和uC/OS都支持这种混合模式。
4.2 任务状态机：任务的一生
每个RTOS任务，从创建到销毁，会经历几个状态。理解任务状态机，是调试多任务程序的基础。
4.2.1 四种基本状态
RTOS任务通常有四个状态：运行态、就绪态、阻塞态、挂起态。我习惯用「人一天的状态」来类比：
- 运行态（Running）：正在用CPU，就像你在专心工作
- 就绪态（Ready）：随时可以跑，但CPU被别人占着，就像你排队等着用电脑
- 阻塞态（Blocked）：在等某个事件或资源，比如等延时、等信号量，就像你在等外卖
- 挂起态（Suspended）：被强制暂停，不参与调度，就像你被叫去开会
状态转换的关键点：
- 运行态 → 就绪态：时间片用完或被高优先级任务抢占
- 运行态 → 阻塞态：主动调用延时或等待资源
- 阻塞态 → 就绪态：等待的事件发生
- 就绪态 → 运行态：调度器选中该任务
4.2.2 状态机实战经验
我记得有一次调试一个电表通信任务，任务莫名其妙不跑了。用调试器一看，任务卡在阻塞态。原来是我在等一个永远不会来的信号量。嗯，这种「死等」的bug，在RTOS开发中特别常见。
避坑指南：我曾经在项目中遇到任务「假死」——任务状态显示就绪，但就是不运行。查了两天才发现，是中断服务程序里调用了阻塞函数，导致调度器混乱。记住：中断里别调用阻塞API！
4.3 上下文切换原理：RTOS的「换人」艺术
上下文切换，就是CPU从一个任务切换到另一个任务的过程。说白了，就是保存当前任务的「现场」，再恢复下一个任务的「现场」。
4.3.1 上下文切换到底在切换什么？
每个任务都有自己的「私人物品」：
- CPU寄存器：R0-R12、SP、LR、PC、PSR等
- 栈指针：每个任务有自己的栈空间
- 浮点寄存器：如果用了FPU，还得保存FPU寄存器
我习惯把上下文切换比作「换人打游戏」：A玩家打到一半，要把手柄按键状态、当前关卡、血量全部记下来。B玩家上场时，再把这些信息恢复出来。
4.3.2 上下文切换的触发时机
上下文切换不会无缘无故发生。触发时机主要有三个：
- 系统Tick中断：每个Tick到来，调度器检查是否需要切换任务
- 任务主动让出CPU：调用taskYIELD()或阻塞API
- 外部中断：中断退出时，可能触发更高优先级任务
4.3.3 上下文切换的代码实现
以ARM Cortex-M3为例，上下文切换的核心代码大概长这样：
; 保存当前任务上下文
vPortSVCHandler:
; 保存R4-R11到当前任务栈
STMFD SP!, {R4-R11}
; 保存当前栈指针到TCB
LDR R0, =pxCurrentTCB
LDR R0, [R0]
STR SP, [R0]
; 切换到下一个任务
LDR R0, =pxCurrentTCB
LDR R1, [R0]
LDR R2, =pxDelayedTaskList
; ... 调度算法选择下一个任务
; 恢复下一个任务上下文
LDR R0, =pxCurrentTCB
LDR R0, [R0]
LDR SP, [R0]
LDMFD SP!, {R4-R11}
; 返回时自动恢复R0-R3, R12, LR, PC, PSR
BX LR我的经验：上下文切换的耗时直接影响系统实时性。在Cortex-M3上，一次完整的上下文切换大约需要几十个CPU周期。如果系统Tick频率太高（比如1ms），上下文切换开销会吃掉不少CPU资源。我一般建议Tick周期设在5-10ms。
4.3.4 上下文切换的优化技巧
在实际项目中，我总结了几条优化上下文切换的经验：
- 减少不必要的切换：能用信号量就别用延时等待
- 合理设置优先级：避免频繁的优先级反转导致多次切换
- 使用FPU时注意：FPU寄存器保存开销大，能不用浮点就别用
- 中断嵌套要控制：中断嵌套越深，上下文切换越复杂
重要提醒：我曾经在一个项目中，把系统Tick设成0.5ms，结果上下文切换占了30%的CPU时间。后来改成5ms，系统性能反而提升了。记住：不是Tick越快越好，要权衡实时性和开销。
4.4 本章小结
任务调度机制、状态机和上下文切换，是RTOS内核的三大基石。我个人觉得，理解这些原理比会调用API重要得多。只有搞懂了调度器在想什么，你才能写出稳定、高效的RTOS程序。
下一章，我们会深入FreeRTOS的调度器源码，看看这些原理是怎么落地实现的。到时候我会带大家一行一行地读代码，保证让你对调度器有全新的认识。