FreeRTOS栈溢出导致任务调度异常的诊断与解决

1. 问题现象与初步分析

在FreeRTOS环境下创建9个同优先级任务时，观察到一个反常现象：当每个任务的栈深度设置为128字时，Task 4会率先运行并独占CPU资源；而当将栈深度增加到128*4字后，系统恢复预期行为，Task 1成为首个执行的任务。这个现象直接违反了FreeRTOS的同优先级任务轮转调度原则。

关键现象复现条件：

• 使用STM32CubeMX生成FreeRTOS基础工程
• 创建9个相同优先级的任务（Task1-Task9）
• 默认栈深度配置为128字（512字节）
• 未修改调度器默认配置（抢占式调度）

通过示波器抓取任务切换时间戳发现，在栈深128字时，系统从未发生过任务切换，Task 4始终占据CPU。而当使用uxTaskGetStackHighWaterMark()函数检测时，Task 4的栈空间使用率显示为100%，这强烈暗示存在栈溢出问题。

2. 技术背景与原理剖析

2.1 FreeRTOS任务调度机制

FreeRTOS对同优先级任务采用时间片轮转（Round Robin）调度策略，每个任务默认获得1个时间片（通常为1ms）的执行权。当发生以下情况时触发任务切换：

• 当前任务主动释放CPU（调用taskYIELD()或阻塞式API）
• 系统节拍中断触发（xPortSysTickHandler）
• 更高优先级任务就绪

在理想情况下，9个同优先级任务应该按创建顺序轮流执行。但实际观察到的Task 4独占现象，暴露了底层机制的特殊性。

2.2 栈溢出对调度的影响

FreeRTOS任务控制块（TCB）中包含pxTopOfStack和pxEndOfStack指针。当栈溢出发生时：

1. 溢出部分会覆盖TCB结构或相邻任务栈
2. 可能破坏任务上下文保存区
3. 导致调度器无法正确保存/恢复任务状态

特别值得注意的是，在Cortex-M架构中，栈是向下生长的。这意味着栈溢出首先会破坏栈上方内存区域——在典型的内存布局中，这往往是相邻任务的TCB。

3. 问题定位与验证

3.1 内存布局分析

通过.map文件解析，发现任务栈区域布局如下（栈深128字时）：

code复制0x20002000 Task1 Stack
0x2000220