2. 任务优先级原理：优先级数值与逻辑高低的关系、静态优先级与动态优先级、优先级位图调度算法

在 RTOS 中，任务优先级是调度器决定“下一个该运行哪个任务”的核心依据。理解优先级数值与逻辑高低的关系、静态与动态优先级的适用场景，以及优先级位图调度算法的高效实现，是调试外设驱动时分析任务抢占、响应延迟和优先级反转问题的前提。

2.1 优先级数值与逻辑高低的关系

不同 RTOS 对优先级数值的定义方向可能相反，这是初学者最容易混淆的概念。下表对比了两种常见约定：

下图直观展示了两种数值约定下优先级与任务执行顺序的关系：

2.2 静态优先级与动态优先级

RTOS 根据优先级在任务生命周期中是否可变，分为静态优先级和动态优先级两种策略。下表从多个维度对比了二者的差异：

动态优先级的典型修改流程如下：

1. 获取当前任务句柄：通过 osThreadGetId() 或内核自带的 task_self()。
2. 调用优先级修改 API：如 FreeRTOS 的 vTaskPrioritySet()、RT-Thread 的 rt_thread_control()。
3. 触发重新调度：修改后调度器自动将任务插入对应优先级的就绪队列。
4. 恢复原优先级：在临界操作完成后，将优先级恢复至初始值。

/* FreeRTOS 动态优先级修改示例 */
TaskHandle_t xTaskHandle = NULL;

void vHighPriorityTask(void *pvParameters) {
    /* 临时提升低优先级任务的优先级，防止反转 */
    vTaskPrioritySet(xLowTaskHandle, configMAX_PRIORITIES - 1);
    
    /* 访问共享资源（如外设寄存器） */
    access_shared_peripheral();
    
    /* 恢复原优先级 */
    vTaskPrioritySet(xLowTaskHandle, tskIDLE_PRIORITY);
}

2.3 优先级位图调度算法

优先级位图调度算法是 RTOS 中最高效的“查找当前最高优先级就绪任务”的实现方式之一，被 FreeRTOS、uC/OS-III 等内核广泛采用。其核心思想是：用位图的每一位表示一个优先级是否就绪，通过硬件级位运算（CLZ/BSF 指令）在 O(1) 时间内找到最高优先级。

下图展示了优先级位图调度算法的数据结构与查找流程：

优先级位图调度算法的核心步骤可归纳为：

• 位图维护：每个优先级对应位图中的一位。任务就绪时置 1，任务阻塞或删除时清 0。
• 查找最高优先级：使用 CPU 指令 CLZ（Count Leading Zeros，前导零计数）或 BSF（Bit Scan Forward，向前位扫描）直接定位最高置位位。
• 任务切换：根据查到的优先级索引，从对应链表中取出第一个任务执行。

以下为 FreeRTOS 中优先级位图查找的简化实现（基于 ARM Cortex-M）：

/* FreeRTOS 优先级位图查找核心逻辑 */
#define portGET_HIGHEST_PRIORITY(uxTopReadyPriority, uxHighestPriority) \
    uxHighestPriority = (31UL - (uint32_t) __CLZ(uxTopReadyPriority))

/* 任务就绪时设置位图 */
#define taskRECORD_READY_PRIORITY(uxPriority) \
    uxTopReadyPriority |= (1UL << (uxPriority))

/* 任务脱离就绪时清除位图 */
#define taskREMOVE_READY_PRIORITY(uxPriority) \
    if(pxReadyTasksLists[uxPriority].xListEnd.pxNext == NULL) { \
        uxTopReadyPriority &= ~(1UL << (uxPriority)); \
    }