【计算机基础】-23-RT-Thread-如何保障调度器能执行？
RT-Thread 通过多层次机制确保调度器（Scheduler）能够在正确时机被触发并执行，从而实现任务的切换与系统实时性。其核心思想是：“调度请求可被记录，但调度动作必须在线程上下文中安全执行”。
以下是 RT-Thread 保障调度器能执行的关键机制：
一、调度器触发的两种场景
1.线程上下文主动触发
- 当前线程调用
rt_thread_delay()、rt_sem_take()等阻塞函数时：- 线程将自己挂起；
- 直接调用
rt_schedule()触发调度； - 调度器立即选择下一个就绪线程运行。
✅ 此时调度器在线程上下文中执行，安全且高效。
2.中断上下文被动触发（关键！）
- 在 ISR 中调用
rt_sem_release()、rt_mb_send_irq()等函数时：- 可能唤醒更高优先级线程；
- 但ISR 中不能直接执行调度（中断上下文不能切换线程栈）；
- RT-Thread 采用“延迟调度”机制：仅设置调度请求标志，待退出中断后再执行调度。
🔑 这是保障调度器能执行且安全执行的核心设计。
二、核心机制：调度请求标志 + PendSV / 异常返回时调度
RT-Thread 利用 Cortex-M 的PendSV 异常（或类似机制）实现“中断退出后调度”。
工作流程（以 Cortex-M 为例）：
NewThread调度器PendSV 异常中断服务程序当前线程NewThread调度器PendSV 异常中断服务程序当前线程CPU 检测到 PendSV 挂起被中断打断调用 rt_schedule() → 但实际只设置 rt_scheduler_need = 1触发 PendSV 异常（挂起）中断返回（硬件自动恢复部分寄存器）自动进入 PendSV Handler执行完整上下文切换（rt_hw_context_switch）切换到新线程
关键步骤详解：
1.在 ISR 中设置调度请求
// rt_schedule() 在 ISR 中的行为 void rt_schedule(void) { if (rt_interrupt_get_nest() > 0) { /* 在中断中：仅标记需要调度 */ rt_scheduler_need = 1; /* 触发 PendSV 异常 */ SCB->ICSR |= SCB_ICSR_PENDSVSET_Msk; } else { /* 在线程中：立即调度 */ _rt_scheduler_run(); } }2.PendSV 异常处理调度
- PendSV 是 Cortex-M 的可挂起异常，优先级通常设为最低；
- 它会在所有高优先级中断处理完毕后才执行；
- 在 PendSV Handler 中完成：
- 保存当前线程寄存器到 TCB；
- 选择下一个就绪线程；
- 恢复新线程寄存器；
- 返回即进入新线程。
✅优势：
- 避免在 ISR 中做复杂操作；
- 确保上下文切换在线程模式下安全完成。
三、其他保障机制
1.系统节拍（SysTick）驱动时间片轮转
- SysTick中断定期触发；
- 若启用时间片（
RT_USING_SCHED_RR），会检查是否需切换同优先级线程； - 同样通过PendSV 延迟调度实现。
2.关中断保护调度器数据结构
- 调度器内部的就绪队列、TCB 等关键数据结构，在修改时会临时关中断：
rt_base_t level = rt_hw_interrupt_disable(); /* 修改就绪队列 */ rt_hw_interrupt_enable(level); - 防止 ISR 与调度器同时访问导致数据不一致。
3.idle 线程兜底
- 若无任何就绪线程，调度器会运行idle 线程；
- idle 线程可执行功耗管理（如
WFI指令），但始终保证系统有可运行线程。
四、为什么这样设计？
| 问题 | RT-Thread 的解决方案 |
|---|---|
| ISR 中不能切换线程栈 | → 用 PendSV 延迟到线程上下文执行 |
| 多个 ISR 可能连续触发调度 | → PendSV 只挂起一次，合并调度请求 |
| 调度器数据结构需原子访问 | → 关中断保护关键操作 |
| 必须保证系统永不“无事可做” | → idle 线程兜底 |
五、验证方法
1. 查看 PendSV 配置（Cortex-M）
// 在 startup_xxx.s 中 PendSV_Handler: B rt_hw_context_switch_exit2. 调度请求标志（内核变量）
rt_scheduler_need：全局调度请求标志；- 在
rt_schedule()中设置，在 PendSV 中清除。
✅ 总结：RT-Thread 如何保障调度器能执行？
- 线程上下文：直接调用调度器，立即执行；
- 中断上下文：
- 仅设置调度请求标志；
- 通过PendSV 异常在中断退出后、线程模式下安全执行调度；
- 数据一致性：关键操作关中断保护；
- 系统兜底：idle 线程确保总有可运行任务。
🔑核心思想：
“调度决策可在中断中做出，但调度执行必须在线程上下文中完成。”
这一设计兼顾了实时响应性与系统安全性，是 RTOS 调度器的经典实现范式。