一、RTOS与上下文切换概述
1.1 什么是RTOS
RTOS，全称Real-Time Operating System，中文叫实时操作系统。说白了，它跟咱们平时用的Linux、Windows最大的区别就一个字——快，而且是那种可预测的快。
我刚开始接触嵌入式开发时，总觉得“实时”就是响应速度快。后来踩了坑才明白，实时性的核心不是快，而是确定性。你想想看，一个刹车系统，有时候10毫秒响应，有时候100毫秒响应，哪怕平均只有20毫秒，你敢用吗？不敢吧。
RTOS的核心价值，就是保证任务在规定的时间窗口内完成。它通过任务调度、中断管理、资源同步这些机制，让系统行为变得可预测。常见的RTOS有FreeRTOS、RT-Thread、uC/OS、VxWorks等，每个都有自己的脾气，但核心思想是一致的。
1.2 实时性指标
衡量一个RTOS的实时性，我们通常看这几个指标：
| 指标 | 说明 | 典型值（我见过的） |
|---|---|---|
| 中断延迟 | 从硬件中断触发到ISR开始执行的时间 | 几十ns ~ 几μs |
| 任务切换时间 | 从一个任务切换到另一个任务的开销 | 几μs ~ 几十μs |
| 调度延迟 | 任务就绪到真正获得CPU的时间 | 取决于优先级和负载 |
| 时间精度 | 定时器/延时函数的误差范围 | 通常1个tick以内 |
嗯，这里要注意：指标再漂亮，也得看实际硬件平台。我在一个Cortex-M4项目上，任务切换时间能做到2μs左右，但换到低端Cortex-M0上，直接飙到15μs。所以调优一定要结合具体硬件说话。
1.3 上下文切换的定义与代价
上下文切换，就是CPU从一个任务切换到另一个任务时，保存和恢复现场的过程。现场包括什么？寄存器、堆栈指针、状态字、浮点寄存器等等。
我习惯把上下文切换分成两类：
- 主动切换：任务主动调用延时、等待信号量、挂起等API，触发调度器工作。
- 被动切换：高优先级任务就绪，或者中断退出后，调度器强制剥夺当前任务的CPU使用权。
代价有多大？咱们直接看代码：
// 一个典型的Cortex-M3上下文切换代码（简化版）
void PendSV_Handler(void) {
// 保存当前任务的寄存器
__asm volatile(
"MRS R0, PSP \n"
"STMDB R0!, {R4-R11} \n"
"STR R0, [R2] \n" // 保存栈指针到TCB
);
// 切换到下一个任务
__asm volatile(
"LDR R0, [R2] \n" // 加载新任务的栈指针
"LDMIA R0!, {R4-R11} \n"
"MSR PSP, R0 \n"
"ORR LR, LR, #0x04 \n" // 返回线程模式
"BX LR \n"
);
}
这段代码看着简单，但每次执行都要压栈16个寄存器（包括自动压栈的8个），再加上函数调用开销、调度器本身的逻辑判断。我实测过，一次完整的上下文切换，大概要消耗几十到几百个CPU周期。如果系统里跑着几十个任务，每秒切换几千次，这个开销就相当可观了。
1.4 性能调优的意义
为什么要做上下文切换的性能调优？我总结了三个核心原因：
- 降低延迟：减少切换时间，让高优先级任务更快获得CPU。
- 提高吞吐：省下来的CPU时间，可以用来做更多有意义的工作。
- 节省功耗：同样的工作，CPU跑得更快，就能更早进入休眠模式。
你想想看，一个工业控制器，每秒要处理1000次传感器数据。如果每次上下文切换能省下5μs，那一秒就能省下5ms。这5ms，足够再处理一次数据了。
调优的核心思路：
- 减少不必要的切换次数
- 优化切换路径上的代码
- 利用硬件特性加速（比如FPU懒人栈、单周期寄存器操作）
- 合理设计任务优先级和调度策略
好了，这一章我们搞清楚了RTOS是什么、实时性怎么看、上下文切换到底干了什么、以及为什么要调优。下一章，我会带大家深入任务控制块（TCB）的内部结构，看看调度器到底是怎么管理任务的。到时候我会分享一个我调试过的真实案例，保证让你有收获。