RTOS 核心解密：任务切换与优先级反转

实时操作系统（RTOS）是嵌入式开发的进阶必修课。很多人会用 FreeRTOS 或 RT-Thread 创建任务、发送信号量，但鲜少有人真正理解“任务切换”这一魔法背后的机制。本文将带你深入内核深处，从汇编层面解密任务切换，并探讨并发编程中著名的“优先级反转”问题。

1. 任务控制块 (TCB) 的秘密

在 RTOS 中，每个任务都有一个身份证，叫做 **TCB (Task Control Block)**。它通常是一个结构体，包含了任务的所有信息：

typedef struct tskTaskControlBlock
{
    volatile StackType_t    *pxTopOfStack;  /* 栈顶指针，必须是第一个成员 */
    ListItem_t              xStateListItem; /* 任务状态列表项 */
    ListItem_t              xEventListItem; /* 事件列表项 */
    UBaseType_t             uxPriority;     /* 优先级 */
    char                    pcTaskName[ configMAX_TASK_NAME_LEN ]; 
    // ... 其他成员
} tskTCB;

最关键的成员是 pxTopOfStack。当任务被切换出去时，它的“现场”（所有寄存器的值）都会被保存在它自己的栈（Stack）里，而 pxTopOfStack 就指向栈顶。恢复任务时，CPU 就从这个位置把寄存器值弹出来。

2. 任务切换：汇编级的魔法

任务切换的本质，就是保存上一个任务的上下文，恢复下一个任务的上下文。在 ARM Cortex-M 架构中，这通常在 PendSV 中断中完成。

为什么是 PendSV？因为它是一个可挂起的系统调用，通常配置为最低优先级，确保不会打断其他紧急中断。

切换流程推演（以 Cortex-M3/M4 为例）

触发调度：SysTick 定时器到期，或者代码主动调用 taskYIELD()。
进入中断：CPU 自动将 xPSR, PC, LR, R12, R3-R0 压入当前任务的栈（这是硬件自动完成的）。

保存剩余寄存器：进入 PendSV Handler 后，我们需要手动保存 R4-R11（因为硬件不帮我们存这几个）。

1
2
3

MRS     R0, PSP         ; 读取当前进程栈指针 PSP 到 R0
STMDB   R0!, {R4-R11}   ; 将 R4-R11 压入栈
MOV     R0, LR          ; 保存 LR (EXC_RETURN)

保存栈顶指针：将操作完的 R0 (新的 PSP) 存入当前任务的 TCB。
查找最高优先级任务：调用调度算法，找到下一个要运行的任务 TCB。
恢复新任务栈顶：从新任务 TCB 中读出 pxTopOfStack 赋值给 CSP。

恢复剩余寄存器：

1 2	LDMIA R0!, {R4-R11} ; 从新栈中弹出 R4-R11 MSR PSP, R0 ; 更新 PSP

退出中断：执行 BX LR，硬件自动弹出 xPSR, PC, LR, R12, R3-R0，原本的任务就像从未被打断过一样继续运行了。

3. 优先级反转 (Priority Inversion)

了解了切换，我们再看并发。RTOS 允许抢占，这很好，但也带来了陷阱。优先级反转是指：高优先级任务被低优先级任务阻塞，导致系统实时性崩溃。

经典场景：火星探路者号 (Mars Pathfinder)

1997年，NASA 的火星探路者号频繁重启，原因就是优先级反转。

**任务 H (High)**：总线管理任务，频率高。
**任务 M (Medium)**：通信任务，耗时长。
**任务 L (Low)**：气象数据采集，持有共享互斥锁 Mutex。

故障剧本：

L 运行，获取了 Mutex。
H 抢占 L 运行，试图获取 Mutex，被阻塞（因为 L 还没释放），H 进入阻塞态，L 继续运行。
这时，M 主要来了。因为 M 优先级高于 L，M 抢占了 L。
悲剧发生：H 在等 L，L 被 M 抢占无法运行。结果是 H 竟然在等 M！
如果 M 运行时间很长，H 就会饿死。看门狗复位系统。

解决方案

1. 优先级继承 (Priority Inheritance)

FreeRTOS 的 Mutex 默认支持此机制。

当 H 申请被 L 占用的锁时，暂时将 L 的优先级提升到 H 的水平。
这样 M 就抢占不了 L 了。
L 尽快跑完临界区释放锁，一旦释放，L 的优先级立即恢复原状，H 获取锁继续运行。

2. 优先级天花板 (Priority Ceiling)

给每个 Mutex 设定一个“天花板优先级”（即所有可能访问该锁的任务中最高的那个）。哪怕没有竞争，只要任务获得该锁，优先级直接升到天花板。

优点：避免了多次上下文切换。
缺点：效率低，且需预知所有任务优先级。

4. 总结

RTOS 并非玄学。理解任务切换的汇编实现能帮你写出更稳健的 HardFault Handler；理解优先级反转能帮你避免系统随机死锁的噩梦。掌握这些，你才算真正跨过了嵌入式操作系统的门槛。

hello world