uC/OS-II任务调度漏洞分析与加固方案

1. uC/OS-II系统调度机制基础解析

uC/OS-II作为经典的实时操作系统内核，其任务调度机制的设计直接影响系统实时性和可靠性。在深入分析OSIntExit和OS_Sched的漏洞前，我们需要先建立对uC/OS-II调度体系的基础认知。

uC/OS-II采用基于优先级的抢占式调度算法，支持最多64个优先级（版本不同可能有差异），每个优先级只能有一个任务。系统维护两个关键数据结构：

1. 就绪表(Ready List)：通过位图(OSRdyGrp和OSRdyTbl)记录哪些优先级任务处于就绪状态
2. 任务控制块(OS_TCB)：包含任务栈指针、状态、优先级等上下文信息

调度触发主要来自三种场景：

• 主动调用OS_Sched()
• 中断服务程序(ISR)退出时调用OSIntExit()
• 系统调用（如OSTimeDly）导致任务状态变更

关键设计特点：uC/OS-II的调度器是非可重入的，这意味着在调度过程中不能被再次调用，否则会导致内核数据结构损坏。

2. OSIntExit调度漏洞深度剖析

2.1 中断退出时的调度路径

在uC/OS-II中，中断服务程序的正确退出流程应该是：

c复制void ISR(void)
{
    OSIntEnter();  // 记录中断嵌套层数
    /* 中断处理代码 */
    OSIntExit();   // 中断退出调度
}

OSIntExit的核心逻辑包括：

1. 减少中断嵌套计数器OSIntNesting
2. 如果OSIntNesting==0且调度未锁定(OSLockNesting==0)，则调用OS_Sched()
3. OS_Sched()查找最高优先级任务并进行上下文切换

2.2 典型漏洞场景分析

在实际应用中，我们发现以下几种典型漏洞模式：

场景1：中断嵌套处理不当

c复制void ISR_A(void) {
    OSIntEnter();
    /* 处理代码 */
    OSIntExit();  // 此处可能错误触发调度
}

void ISR_B(void) {
    OSIntEnter();
    ISR_A();      // 中断嵌套调用
    /* 更多代码