任务调度核心原语：TCB、就绪表与上下文切换代价

各位同学，今天我们聊点真正硬核的东西——任务调度的三大核心原语。说白了，就是操作系统怎么“记住”每个任务、怎么“找到”该运行的任务、以及怎么“切换”过去。这三个东西搞不明白，后面的事件驱动和低功耗设计全是空中楼阁。

我在一个智能穿戴项目里吃过亏。当时任务优先级配得乱七八糟，TCB 结构体里塞了一堆用不上的字段，结果 RAM 爆了，切换延迟还高得离谱。嗯，从那以后我养成了一个习惯：先把原语抠清楚，再谈调度策略。

2.1 任务控制块（TCB）——任务的“身份证”

每个任务在系统里都有一个对应的 TCB。你可以把它想象成任务的档案袋，里面装着这个任务的所有关键信息。调度器不看任务代码长什么样，它只看 TCB。

我个人习惯把 TCB 分成三个区域：

• 身份区：任务 ID、任务名指针（调试用，正式版可以砍掉）
• 状态区：当前状态（就绪/阻塞/挂起/运行）、优先级、栈指针
• 调度辅助区：时间片剩余量、等待事件掩码、延时到期计数器

下面是一个我在 Cortex-M3 平台上用过的精简 TCB 结构体。你想想看，如果每个任务省 4 字节，32 个任务就能省出 128 字节——这在资源受限的 MCU 上可不是小数目。

typedef struct tcb {
    uint32_t    *sp;            // 栈指针（必须第一个字段，用于快速切换）
    uint8_t     priority;       // 当前优先级（0最高，255最低）
    uint8_t     state;          // 任务状态：就绪/阻塞/挂起/运行
    uint8_t     task_id;        // 任务ID，用于调试和事件匹配
    uint16_t    delay_ticks;    // 延时到期计数器
    uint32_t    event_mask;     // 等待的事件位掩码
    struct tcb  *next;          // 链表指针（用于就绪表或阻塞队列）
} TCB_t;

2.2 就绪表与优先级管理——调度器的“决策依据”

调度器怎么知道当前哪个任务该运行？它得查一张表——就绪表。这张表记录了所有“可以运行”的任务。

就绪表的设计直接影响调度效率。我见过三种主流方案：

方案	查找时间	RAM 开销	适用场景
优先级位图法	O(1)	小（32位即可覆盖32级优先级）	硬实时、任务数固定
双向链表	O(n)	中（每个任务多2个指针）	任务数动态变化
多级队列	O(log n)	较大	优先级层级多、任务量大

我个人最推荐优先级位图法。为什么？因为它的查找时间是确定的——不管系统里有多少个任务，找到最高优先级的就绪任务只需要几条指令。这在实时系统里太重要了。

举个例子，假设我们用 32 位变量表示 32 个优先级（bit0 为最高优先级）：

uint32_t ready_bitmap;  // 就绪位图，每个bit对应一个优先级

// 设置优先级p的任务为就绪态
void set_ready(uint8_t p) {
    ready_bitmap |= (1U << p);
}

// 清除优先级p的任务的就绪态
void clear_ready(uint8_t p) {
    ready_bitmap &= ~(1U << p);
}

// 获取当前最高就绪优先级
uint8_t get_highest_ready(void) {
    // 利用CLZ指令（Count Leading Zeros）快速找到最高优先级
    return __CLZ(ready_bitmap);
}

2.3 上下文切换的代价分析——别让切换吃掉你的 CPU

上下文切换，说白了就是“保存当前任务的状态，恢复下一个任务的状态”。这个操作看似简单，但代价往往被低估。

我习惯把切换代价拆成三部分：

1. 保存现场：压栈 CPU 寄存器（R0-R12、LR、PC、xPSR 等）
2. 切换栈指针：更新 PSP 或 MSP 到新任务的 TCB.sp
3. 恢复现场：出栈新任务的寄存器

在 Cortex-M3/M4 上，一次完整的上下文切换大约需要：

操作	指令数	时钟周期（@72MHz）	说明
保存通用寄存器	8（STM）	~12	批量压栈，效率较高
保存特殊寄存器	4	~8	LR、PRIMASK、FAULTMASK、BASEPRI
切换栈指针	2	~4	读 TCB.sp，写 PSP
恢复通用寄存器	8（LDM）	~12	批量出栈
恢复特殊寄存器	4	~8	与保存顺序对称
总计	26	~44	约 0.6μs

你可能会说：“0.6μs 而已，能有多大影响？” 但别忘了，这是纯切换时间。如果系统每秒切换 10000 次，光切换就吃掉 6ms 的 CPU 时间——相当于 0.6% 的算力被白白浪费了。

2.4 核心原语的关系图

下面这张图展示了 TCB、就绪表和上下文切换三者之间的协作关系。我建议你把它记在脑子里——这是调度器的心脏。

2.5 实战中的取舍与建议

讲完理论，咱们聊聊实际项目中怎么用。我总结了三条铁律：

• TCB 要瘦：每个字段都问自己一句“调度器真的需要它吗？” 调试用的字段用条件编译包起来。
• 就绪表要快：能用位图就别用链表，能用硬件指令（CLZ、CTZ）就别用软件循环。
• 切换要少：不是所有任务都需要频繁切换。把计算密集型的任务优先级降低，或者用时间片轮转代替抢占式调度。