1. 项目概述：为什么要手动构建RTOS任务调度？
在嵌入式开发领域，实时操作系统（RTOS）的任务调度器就像交通指挥中心。我十年前第一次接触uC/OS-II时，曾被其精巧的任务切换机制震撼——几个简单的函数调用背后，隐藏着处理器状态保存、优先级判断、上下文切换等精妙设计。但直到自己动手实现，才真正理解调度器如何像交响乐指挥般协调多个任务。
手动构建任务调度的意义在于：
- 彻底掌握RTOS核心机制，不再停留在API调用层面
- 定制适合特定硬件资源的调度策略（比如内存有限的8位MCU）
- 为后续添加IPC、内存管理等功能打下基础
- 提升对处理器架构（尤其是上下文切换）的深度理解
2. 核心设计解析
2.1 任务控制块(TCB)设计
TCB是调度器的"户口本"，我采用的结构体包含以下关键字段：
c复制typedef struct {
void *stack_ptr; // 当前栈指针
uint32_t timeout; // 延时计数器
uint8_t priority; // 静态优先级
uint8_t state; // 就绪/挂起等状态
void (*entry)(void*); // 任务入口函数
void *arg; // 入口参数
} tcb_t;
关键细节：栈指针必须作为第一个字段，因为在ARM Cortex-M架构中，硬件自动将PSR/PC/LR/R12-R0压栈时，栈指针必须对齐到8字节边界。这是我在STM32F103上调试时发现的坑。
2.2 就绪列表实现
采用位图+优先级队列的混合方案：
c复制uint32_t ready_bitmap; // 每个bit代表对应优先级是否有就绪任务
tcb_t *ready_list[MAX_PRIO]; // 各优先级下的任务链表
这种设计使得查找最高优先级任务的时间复杂度为O(1)：
- 使用CLZ指令快速定位bitmap中最高置位位
- 从ready_list中取出对应链表的首节点
实测在Cortex-M3上，调度决策仅需约12个时钟周期。
2.3 上下文切换机制
以ARM Cortex-M为例，完整切换流程包含：
- 保存当前任务上下文（通过PendSV异常）
- 将SP更新为next_task->stack_ptr
- 从新任务的栈中恢复寄存器
- 执行异常返回（自动弹出PC/PSR）
关键汇编代码片段：
assembly复制PendSV_Handler:
CPSID I ; 关中断
MRS R0, PSP ; 获取当前栈指针
STMDB R0!, {R4-R11} ; 手动保存R4-R11
BL save_current_tcb ; C函数保存TCB
BL get_next_task ; 获取下一个任务
BL load_next_tcb ; 加载新TCB
LDMIA R0!, {R4-R11} ; 恢复新任务的R4-R11
MSR PSP, R0 ; 更新PSP
CPSIE I ; 开中断
BX LR ; 异常返回将自动弹出PC/PSR
3. 关键实现步骤
3.1 任务创建流程
c复制void task_create(tcb_t *task, void (*entry)(void*),
void *arg, uint8_t prio,
void *stack, uint32_t stack_size) {
// 1. 初始化栈帧（模拟异常入栈）
uint32_t *sp = (uint32_t*)((uint8_t*)stack + stack_size);
*(--sp) = (uint32_t)0x01000000; // PSR (Thumb状态)
*(--sp) = (uint32_t)entry; // PC
*(--sp) = (uint32_t)task_exit; // LR
/* 继续初始化R12-R0, LR等寄存器... */
// 2. 填充TCB
task->stack_ptr = sp;
task->priority = prio;
task->entry = entry;
task->arg = arg;
// 3. 加入就绪列表
ready_bitmap |= (1 << prio);
ready_list[prio] = task;
}
避坑提示：栈初始化时必须预留足够的"伪造异常栈帧"，且第一个压栈的必须是xPSR寄存器，否则首次任务切换会触发HardFault。这个细节在ARM官方文档中藏得很深。
3.2 调度器启动
c复制void scheduler_start(void) {
current_task = get_highest_ready_task();
__set_PSP((uint32_t)current_task->stack_ptr);
// 配置PendSV为最低优先级
SCB->SHPR[10] = 0xFF;
// 触发第一次上下文切换
__set_CONTROL(0x3); // 切换到PSP, 开启非特权模式
__ISB();
// 跳转到第一个任务（不会返回）
__asm__ volatile("svc 0");
}
4. 高级调度策略实现
4.1 时间片轮转
在基础优先级调度上增加时间片：
c复制void SysTick_Handler(void) {
if (--current_task->timeout == 0) {
// 触发PendSV进行任务切换
SCB->ICSR |= SCB_ICSR_PENDSVSET_Msk;
}
}
配置时间片长度：
c复制// 假设系统时钟72MHz，配置1ms时间片
SysTick_Config(72000);
4.2 优先级抢占策略
实现真正的实时性需要：
- 在中断服务程序中调用调度检查
c复制void USART1_IRQHandler(void) {
if (USART1->SR & USART_SR_RXNE) {
high_prio_task->state = READY;
if (high_prio_task->priority > current_task->priority) {
SCB->ICSR |= SCB_ICSR_PENDSVSET_Msk;
}
}
}
- 使用临界区保护共享资源
c复制void enter_critical(void) {
__disable_irq();
lock_count++;
}
void exit_critical(void) {
if (--lock_count == 0) {
__enable_irq();
// 检查是否有更高优先级任务就绪
check_preemption();
}
}
5. 调试与优化技巧
5.1 栈溢出检测
在TCB中添加栈标记：
c复制#define STACK_MAGIC 0xDEADBEEF
void task_create(...) {
// 在栈底和栈顶放置魔数
*(uint32_t*)stack = STACK_MAGIC;
*(uint32_t*)(stack + stack_size - 4) = STACK_MAGIC;
}
定期检查魔数是否被修改：
c复制void check_stack_overflow(void) {
if (*(uint32_t*)current_task->stack != STACK_MAGIC ||
*(uint32_t*)(current_task->stack + stack_size - 4) != STACK_MAGIC) {
panic("Stack overflow!");
}
}
5.2 调度器性能分析
使用GPIO引脚+示波器测量：
- 在调度开始前拉高GPIO
- 在上下文切换完成后拉低GPIO
- 测量脉冲宽度即为调度耗时
实测数据对比：
| 调度类型 | Cortex-M0 | Cortex-M3 | Cortex-M4 |
|---|---|---|---|
| 纯优先级调度 | 28μs | 12μs | 9μs |
| 时间片轮转 | 35μs | 18μs | 14μs |
| 优先级抢占 | 42μs | 23μs | 17μs |
6. 进阶扩展方向
6.1 低功耗调度优化
当所有任务阻塞时进入睡眠模式：
c复制void idle_task(void *arg) {
while (1) {
if (ready_bitmap == 0) {
__WFI(); // 等待中断唤醒
}
}
}
6.2 多核调度考虑
对于双核Cortex-M7：
- 每个核维护独立的ready_list
- 使用原子操作修改共享任务状态
- 通过SEV指令唤醒另一核的调度
c复制void migrate_task(tcb_t *task, int target_core) {
atomic_enter();
task->affinity = target_core;
if (target_core != CURRENT_CORE) {
__SEV(); // 发送事件信号
}
atomic_exit();
}
在构建RTOS任务调度的过程中，最深刻的体会是：理论上的优雅设计总会遇到硬件的"骨感现实"。比如在STM32F030上，由于没有硬件除法指令，原本设计的O(1)调度算法反而比遍历链表更慢。最终方案必须结合芯片特性做针对性优化——这才是嵌入式开发的精髓所在。