4. 任务优先级机制

在STM32H7上部署FreeRTOS时，任务优先级机制直接决定了AI推理任务能否在严格的时序约束下完成。STM32H7搭载Cortex-M7内核，主频高达480MHz，并配备TCM、Cache以及大量SRAM，这些硬件资源为多任务并发提供了基础，但同时也对任务调度提出了更高要求。若优先级配置不当，轻则导致推理帧率抖动，重则引发低优先级任务饿死或高优先级任务因等待共享资源而阻塞，最终使整个系统失控。本章将深入剖析FreeRTOS优先级定义、抢占式调度、时间片轮转、空闲任务以及优先级反转问题，并结合STM32H7的硬件特性给出可落地的设计方法。

上图展示了FreeRTOS调度机制的核心模块及其相互关系。在STM32H7平台上，理解这些模块的协同工作方式，是设计可靠AI推理系统的前提。下面我们将逐一深入剖析每个机制的原理、配置方法和实战要点。

4.1 FreeRTOS优先级定义与任务状态机

FreeRTOS使用数值表示任务优先级，数值越大优先级越高。在STM32H7的移植配置中，configMAX_PRIORITIES通常设置为32或56，对应Cortex-M7内核的硬件优先级位数。每个任务在创建时通过uxPriority参数指定优先级，该值一旦确定，可在运行时通过vTaskPrioritySet()动态调整。

任务在系统中存在四种基本状态：运行（Running）、就绪（Ready）、阻塞（Blocked）和挂起（Suspended）。调度器只从就绪列表中选择最高优先级的任务进入运行状态。STM32H7的Cortex-M7内核使用硬件NVIC管理中断优先级，而FreeRTOS的调度基于SysTick中断，两者需要协同配置。建议将PendSV和SysTick设置为最低中断优先级，以确保任务调度不会被其他中断随意打断。

在AI推理系统中，通常将推理任务设置为最高优先级（如5~7），因为它对延迟最敏感；控制任务次之（3~4）；通信和日志任务优先级最低（1~2）。这种分层设计确保了推理的实时性，同时允许后台任务利用剩余CPU时间。

4.2 抢占式调度机制与SysTick时基

FreeRTOS的抢占式调度基于SysTick定时器产生的时间片中断。每个tick中断触发时，调度器检查就绪列表，如果发现更高优先级的任务就绪，立即进行上下文切换。Cortex-M7内核的上下文切换由PendSV异常完成，该异常在所有中断处理完毕后执行，避免了在中断服务程序中直接切换上下文的复杂性。

在STM32H7上配置SysTick时，需要注意时钟源选择。H7系列支持内核时钟或外部参考时钟，通常使用内核时钟（如480MHz）分频得到1kHz的tick频率。tick频率越高，调度精度越高，但CPU开销也越大。对于AI推理任务，建议tick频率设置为1kHz（1ms周期），既能满足大多数实时性要求，又不会过度消耗CPU资源。

// FreeRTOSConfig.h 关键配置
#define configUSE_PREEMPTION          1   // 启用抢占式调度
#define configUSE_TIME_SLICING        1   // 启用时间片轮转
#define configTICK_RATE_HZ            1000 // 1kHz tick
#define configMAX_PRIORITIES          32  // 最大优先级数
#define configUSE_IDLE_HOOK           1   // 启用空闲钩子
#define configUSE_TICK_HOOK           0   // 禁用tick钩子

抢占式调度的核心优势在于高优先级任务能够及时响应外部事件。例如，当STM32H7的ADC完成一次采样并触发DMA传输完成中断时，中断服务程序可以发送信号量唤醒高优先级的控制任务，该任务将在下一个tick中断时抢占CPU。这种机制保证了从事件发生到任务执行的延迟可控，通常在微秒级。

4.3 时间片轮转与同优先级任务调度

当多个任务具有相同优先级时，FreeRTOS采用时间片轮转策略。每个任务运行一个tick周期后，调度器强制切换到下一个同优先级任务。这种机制适用于对实时性要求不高的后台任务，如日志记录、状态显示、网络心跳等。

在STM32H7的AI推理系统中，时间片轮转常用于多个传感器数据采集任务。例如，三个温度传感器任务优先级均为2，每个任务在一个tick内完成一次采样和滤波，然后让出CPU。由于每个任务执行时间远小于1ms，轮转调度不会造成数据丢失。

配置时间片轮转时，需要确保configUSE_TIME_SLICING为1。此外，可以通过taskYIELD()主动让出CPU，这比等待tick中断更高效。在STM32H7上，taskYIELD()会触发PendSV异常，立即进行上下文切换，延迟仅为几十个时钟周期。

4.4 空闲任务与CPU利用率统计

空闲任务是FreeRTOS自动创建的优先级为0的任务，它永远处于就绪状态。当所有其他任务阻塞或挂起时，空闲任务获得CPU执行权。空闲任务的主要职责包括：回收被删除任务的内核控制块（TCB）和堆栈内存，以及调用用户定义的钩子函数。

在STM32H7上，空闲任务钩子函数可用于实现低功耗模式。例如，当系统空闲时，可以进入WFI（Wait For Interrupt）指令，将CPU时钟降频或关闭外设时钟，从而降低功耗。对于电池供电的AI边缘设备，这一功能至关重要。

CPU利用率统计是评估系统负载的重要手段。FreeRTOS提供uxTaskGetSystemState()和vTaskGetRunTimeStats()接口，可以获取每个任务的运行时间。在STM32H7上，需要额外配置一个高精度定时器（如DWT->CYCCNT）来提供时钟周期计数，因为SysTick的tick精度不足以统计短任务的执行时间。

// 使用DWT时钟周期计数器
CoreDebug->DEMCR |= CoreDebug_DEMCR_TRCENA_Msk;
DWT->CYCCNT = 0;
DWT->CTRL |= DWT_CTRL_CYCCNTENA_Msk;
// 在任务切换钩子中记录时间戳
void vApplicationTaskSwitchHook(void) {
    uint32_t current = DWT->CYCCNT;
    // 计算上一个任务的执行周期数
}

通过分析CPU利用率，可以判断AI推理任务是否占用了过多时间，是否需要优化算法或调整优先级。通常，推理任务CPU占用率应控制在70%以下，留出余量给控制任务和通信任务。

4.5 优先级反转问题与互斥量解决方案

优先级反转是实时系统中最危险的调度问题之一。其典型场景是：高优先级任务H需要访问共享资源，但该资源被低优先级任务L持有；此时中优先级任务M就绪并抢占L，导致H被M间接阻塞。H的响应时间变得不可预测，甚至可能错过截止时间。

在STM32H7的AI推理系统中，优先级反转可能发生在以下场景：推理任务（高优先级）需要读取传感器校准参数，该参数由低优先级的配置任务维护；同时，一个中优先级的日志任务正在运行。如果配置任务持有互斥量但被日志任务抢占，推理任务将被迫等待，导致推理帧率下降。

FreeRTOS提供了两种解决优先级反转的机制：优先级继承和优先级天花板。互斥量（Mutex）默认启用优先级继承，即当高优先级任务阻塞在互斥量上时，持有互斥量的低优先级任务临时提升到高优先级任务的优先级，直到释放互斥量。优先级天花板则是在创建互斥量时指定一个最高优先级，任何任务持有该互斥量时都提升到该优先级。

在STM32H7上使用互斥量时，需要注意递归互斥量的使用。如果任务在持有互斥量期间再次获取同一互斥量，会导致死锁。FreeRTOS的互斥量支持递归获取，但必须确保释放次数与获取次数相同。

4.6 案例拆解：STM32H7 AI推理任务优先级设计实战

假设我们正在设计一个基于STM32H7的实时物体识别系统，包含以下任务：图像采集（DMA）、AI推理（TFLite Micro）、结果控制（电机驱动）、WiFi通信、日志记录。系统要求：推理帧率≥30FPS，控制响应延迟≤5ms，WiFi数据不丢失。

初始方案与问题：将所有任务优先级设为相同（均为3），期望通过时间片轮转实现公平调度。实际运行后发现推理帧率只有15FPS，且电机控制偶尔卡顿。通过vTaskGetRunTimeStats()分析，发现推理任务每次执行需要8ms，而时间片只有1ms，导致推理任务频繁被切换，上下文切换开销巨大。

优化过程：第一步，将AI推理任务优先级提升至6，确保其能连续执行完整推理流程。第二步，将控制任务优先级设为4，保证在推理任务阻塞等待下一帧图像时，控制任务能及时响应。第三步，WiFi通信任务优先级设为2，日志任务设为1。第四步，在推理任务内部，每完成一层卷积后调用taskYIELD()，让控制任务有机会运行。

结果对比：优化后推理帧率稳定在32FPS，控制响应延迟降至3ms，WiFi数据包丢失率为0。CPU利用率从95%降至82%，留出了余量。

复盘经验：优先级设计不能一刀切，必须结合任务执行时间和实时性要求。AI推理任务虽然优先级高，但必须主动让出CPU，否则会饿死其他任务。使用互斥量保护共享数据时，要警惕优先级反转，本例中推理任务和控制任务共享图像缓冲区，使用了带优先级继承的互斥量，避免了反转问题。