RTOS核心概念：任务、调度器、上下文切换、临界区与互斥
各位同学，咱们今天聊点实在的。RTOS（实时操作系统）听起来高大上，但说白了，它就是个帮你管好CPU时间的管理员。我做了十几年嵌入式，见过太多人把RTOS用成了“玄学”——跑飞了不知道原因，死锁了不知道怎么查。其实，只要把几个核心概念吃透，RTOS就是个听话的工具。
任务（Task）——RTOS的基本工作单元
任务是什么？你可以把它理解成一个独立的“小程序”。每个任务都有自己的栈空间、优先级和状态。在ARMv7上，任务就是一组寄存器的快照加上一段代码。
核心要点：任务不是函数调用，它是调度器眼中的“独立执行流”。
我习惯把任务分成三类：
- 周期性任务——比如每10ms采集一次传感器数据
- 事件驱动型任务——比如按键按下才处理
- 后台型任务——比如系统健康检查，有空就跑
每个任务都有状态机，常见的有：
| 状态 | 含义 | 典型场景 |
|---|---|---|
| 就绪（Ready） | 任务可以运行，但CPU被别的任务占着 | 高优先级任务正在执行 |
| 运行（Running） | CPU正在执行这个任务 | 当前获得CPU使用权 |
| 阻塞（Blocked） | 任务在等某个事件或资源 | 等待信号量、消息队列 |
| 挂起（Suspended） | 任务被强制暂停 | 调试时手动挂起 |
我的经验：任务栈大小别拍脑袋定。我见过一个项目，任务栈设了256字节，结果函数嵌套一深就栈溢出，系统随机死机。后来我习惯用栈水印检测，跑个72小时看看峰值使用量，再留30%余量。
调度器（Scheduler）——谁来决定下一个跑谁？
调度器是RTOS的大脑。它决定哪个任务该获得CPU。ARMv7上最常用的是基于优先级的抢占式调度。
什么意思？高优先级的任务一旦就绪，立刻抢走CPU。低优先级的任务？等着吧。
调度策略主要有三种：
- 优先级抢占式——最高优先级的就绪任务先跑，ARMv7的RTOS标配
- 时间片轮转——同优先级任务轮流跑，每人一个时间片
- 协作式——任务主动让出CPU，RTOS里用得少
我曾经在一个项目中遇到个坑：三个任务优先级分别是3、4、5，结果优先级5的任务一直占着CPU不放，优先级3的任务永远得不到执行。后来加了优先级天花板协议才解决。
注意：优先级反转是RTOS里最常见的死锁原因。低优先级任务拿着锁，高优先级任务等锁，中优先级任务抢CPU——结果高优先级任务被低优先级任务“反向压制”了。
上下文切换（Context Switch）——RTOS的“换人”操作
上下文切换，说白了就是保存当前任务的“现场”，再恢复下一个任务的“现场”。ARMv7的Cortex-M系列有硬件支持，效率很高。
切换过程大致是这样的：
- 触发PendSV异常（软件触发的中断）
- 硬件自动压栈：xPSR、PC、LR、R12、R3-R0
- 软件手动压栈：R4-R11
- 更新当前任务的栈指针（PSP）
- 找到下一个任务的栈指针
- 软件出栈：R4-R11
- 硬件自动出栈：R0-R3、R12、LR、PC、xPSR
- CPU开始执行新任务
你看，ARMv7的硬件已经帮你做了8个寄存器的压栈出栈，软件只需要处理R4-R11这8个寄存器。这就是为什么Cortex-M系列做RTOS特别顺手。
性能关键：上下文切换时间 = 硬件压栈时间 + 软件压栈时间 + 调度决策时间。我实测过，在72MHz的STM32F4上，一次完整切换大约1.5μs。如果你的系统要求切换频率低于10kHz，这个开销完全可以接受。
我画了一张图，帮你理清上下文切换的完整流程：
临界区与互斥——别让任务“打架”
临界区，就是一段不能被打断的代码。比如你在更新一个全局变量，刚读到一半，任务被切换了，另一个任务也来读写这个变量——数据就乱了。
ARMv7上保护临界区有几种方式：
| 方法 | 原理 | 适用场景 | 注意事项 |
|---|---|---|---|
| 关中断 | 禁止所有中断响应 | 极短临界区（<10条指令） | 关中断时间过长会影响实时性 |
| 信号量 | P操作获取，V操作释放 | 任务间同步、资源计数 | 注意优先级反转 |
| 互斥量 | 带优先级继承的信号量 | 保护共享资源 | ARMv7的RTOS通常内置支持 |
| 自旋锁 | 忙等待，不释放CPU | 多核场景 | 单核RTOS基本不用 |
我曾经踩过的坑：在一个项目中，我在中断服务函数里调用了信号量释放操作。结果中断优先级比任务高，信号量释放后触发了任务切换，但中断还没退出——直接导致系统挂死。记住：中断里尽量别做RTOS API调用，非要调用的话，用中断安全的API版本。
临界区的设计原则，我总结成三条：
- 越短越好——临界区里只做必要的操作，别在里面算傅里叶变换
- 避免嵌套——一个临界区里别再去拿另一个锁，容易死锁
- 统一优先级——访问同一资源的任务，优先级尽量一致，减少反转风险
我的调试习惯：在临界区入口和出口加GPIO翻转，用逻辑分析仪看波形。如果某个临界区占用了超过100μs，那就要优化了。这个方法帮我抓过不少“隐形死锁”。
好了，这一章的核心概念就这些。任务、调度器、上下文切换、临界区与互斥——这四个概念是RTOS的基石。你想想看，没有任务，系统就是裸机跑大循环；没有调度器，任务就是一堆乱跑的线程；没有上下文切换，任务之间没法切换；没有临界区保护，共享数据就是一团浆糊。