FreeRTOS ARM CM0移植下任务栈占用变化原因及相关问题咨询

6字长栈差异的核心原因 #

• 不存在额外持久写入的6字长上下文帧。Cortex-M0架构下FreeRTOS的上下文切换，由硬件自动压栈8个通用寄存器、移植层手动压栈8个寄存器组成，单任务的静态上下文帧总共16字长，这部分大小是固定的，不会随延时参数变化。
• 6字长的差异来自栈高水位线的临时峰值：
  • 当myDELAY=100时，任务调用vTaskDelay后直接进入阻塞态，执行流停在内核延时处理逻辑中，PendSV会直接完成上下文切换，此时当前任务的栈指针到达的深度就是固定的阻塞点深度，没有额外的嵌套压栈。
  • 当myDELAY=1时，任务被频繁唤醒、同优先级任务间切换的概率大幅升高。如果上下文切换的触发点落在任务调用内核API（vTaskDelay、信号量操作）的中途，PendSV中断处理会直接在当前任务的栈上完成寄存器压栈，这部分临时压栈的内容会让栈指针比之前的阻塞点更深6字长。由于栈高水位线记录的是任务启动以来栈指针到达过的最深位置，哪怕后续任务被唤醒、弹出这部分临时压栈的内容，高水位线的记录也不会回退，最终表现为栈占用比长延时场景高6字长。

6字长差异值的变化特性 #

• 这个差值不是固定值，会随场景变化：
  • 编译器优化等级变化时，各函数的栈帧大小调整，会直接改变调度点处的栈深度，导致差值变化。
  • FreeRTOS移植层调整PendSV处理的压栈逻辑、临界区代码长度时，临时压栈的栈深度会变化。
  • 任务代码中调用的函数嵌套深度变化时，调度触发点的位置改变，临时压栈的叠加深度也会变化。

影响栈占用升高的常见因素 #

• 函数调用深度变化：原SPI轮询代码本身是无嵌套的浅层循环，替换为DMA驱动时，HAL库相关的启动、配置函数带有多层嵌套调用、局部变量占用，这部分会直接增加栈的最深可达深度。
• 调度触发点的位置偏移：如果调度点从任务循环的最外层移动到深层嵌套函数内部，上下文切换的临时压栈会叠加在更深的栈位置，直接抬高高水位线。
• 中断栈的共享配置：如果移植层未配置独立的中断栈，中断ISR的压栈内容、ISR内部的函数调用栈会直接占用当前被打断任务的栈空间，大幅抬升栈占用。
• 内核API的栈占用：不同FreeRTOS内核API的内部栈帧大小不同，在深层函数中调用信号量、队列操作接口时，这部分栈占用会被计入高水位线统计。

对应实测观测现象的解释 #

• 栈占用分阶段增长到最大值：栈高水位线是单向更新的，只要栈指针比之前记录的最深位置更深，就会刷新记录。任务在不同执行路径上逐步到达更深的栈位置时，就会表现为分阶段增长的趋势。栈中除了上下文帧，还存储了各层函数的局部变量、临时寄存器值、返回地址，并非仅存储上下文。
• 移除SPI轮询循环换DMA后栈直接拉满：原轮询代码的栈最深位置仅来自信号量操作、打印函数的调用；替换为DMA驱动后，相关配置函数的嵌套深度直接让栈指针到达整个执行路径的最深位置，因此高水位线会一次性达到最大值，和延时设置无关。
• 当前使用的heap_1内存分配方案为任务一次性分配固定大小的栈空间，不存在动态栈扩展的行为，观测到的栈占用变化完全来自高水位线的刷新，而非内存分配器的影响。

内容的提问来源于stack exchange，提问作者MaxNTF