1. 任务栈溢出检测与防护机制

做嵌入式开发的朋友，十有八九都遇到过任务栈溢出。说白了吧，就是任务用的栈空间不够了，踩到了别人的地盘。我刚开始用FreeRTOS那会儿，就因为这个坑，排查了整整三天。后来我养成了一个习惯——每个任务都开栈溢出检测。

为什么会栈溢出？任务栈里存的是局部变量、函数调用时的返回地址、寄存器现场等等。你想想看，如果函数嵌套调用太深，或者局部变量定义得太大，栈指针一不小心就越界了。后果嘛，轻则数据被篡改，重则系统直接跑飞。

1.1 栈溢出检测的两种方法

FreeRTOS提供了两种检测机制，我分别说说。

方法一：方法一：堆栈溢出检测方法1

这种方法是在任务创建时，把栈空间全部填成一个已知的标记值。我习惯用 0xa5a5a5a5。然后FreeRTOS在任务切换时，会检查栈顶附近的几个字节，看看标记值还在不在。

// 在 FreeRTOSConfig.h 中配置
#define configCHECK_FOR_STACK_OVERFLOW    1

// 实现栈溢出钩子函数
void vApplicationStackOverflowHook( TaskHandle_t xTask, char *pcTaskName )
{
    // 任务名和句柄都传进来了
    // 我个人习惯在这里打印任务名，然后挂起所有任务
    for( ;; );
}

这种方法的好处是开销小，只在任务切换时检查。但有个问题——如果栈溢出刚好绕过了检查的那几个字节，就可能漏报。我在项目中遇到过这种情况，后来就改用第二种方法了。

方法二：堆栈溢出检测方法2

这个方法更靠谱。它会在任务切换时，检查当前栈指针是否还在有效的栈空间内。说白了，就是看看SP有没有跑到栈底以下。

// 配置为方法2
#define configCHECK_FOR_STACK_OVERFLOW    2

// 钩子函数跟方法1一样
void vApplicationStackOverflowHook( TaskHandle_t xTask, char *pcTaskName )
{
    // 这里可以做更详细的错误记录
    // 我曾经在这里把栈使用率也打印出来
    for( ;; );
}

嗯，这里要注意：方法2需要MPU或者MMU的支持，如果没有硬件保护，它其实也是靠软件判断的。不过对于大多数MCU来说，方法2已经够用了。

1.2 栈使用率的实时监控

光靠溢出检测还不够，我建议你在开发阶段就监控栈的使用率。FreeRTOS提供了 uxTaskGetStackHighWaterMark() 这个API，它能告诉你任务栈还剩多少空间没用过。

// 获取任务栈的"高水位线"
UBaseType_t uxHighWaterMark;

// 传入任务句柄，NULL表示当前任务
uxHighWaterMark = uxTaskGetStackHighWaterMark( NULL );

// 打印剩余栈空间（单位：字，不是字节）
printf("Task stack remaining: %u words\n", uxHighWaterMark);

我一般会在系统稳定运行一段时间后，调用这个函数看看各个任务的栈使用峰值。如果某个任务的剩余空间不到20%，我就会给它加栈。你想想看，万一哪天代码路径变了，栈用得更多了，不就出事了？

1.3 栈大小的合理估算

很多新手问我："栈大小到底设多少合适？"说实话，这没有标准答案。但我有个经验法则：

任务类型	建议栈大小（字）	说明
简单控制任务	128-256	比如按键扫描、LED控制
中等复杂度任务	256-512	比如通信协议处理
复杂任务	512-1024	比如文件系统、网络协议栈
带浮点运算的任务	1024+	浮点运算会占用大量栈空间

当然，这只是个起点。我建议你按照这个表格先设一个值，然后通过 uxTaskGetStackHighWaterMark() 来验证。如果剩余空间太多，就减小栈；如果太少，就增大栈。

1.4 栈溢出后的系统恢复策略

栈溢出检测到了，然后呢？直接复位？还是尝试恢复？我个人的建议是：

• 开发阶段： 检测到栈溢出就进入死循环，方便调试。钩子函数里可以打印错误信息。
• 产品阶段： 检测到栈溢出后，尝试重启出问题的任务，或者直接系统复位。毕竟栈溢出意味着内存已经被破坏了，继续运行风险很大。

// 产品阶段的栈溢出处理
void vApplicationStackOverflowHook( TaskHandle_t xTask, char *pcTaskName )
{
    // 保存错误信息到非易失存储
    saveErrorLog( pcTaskName );
    
    // 尝试重启任务
    vTaskDelete( xTask );
    xTaskCreate( vTaskFunction, pcTaskName, STACK_SIZE, NULL, TASK_PRIORITY, NULL );
    
    // 如果重启失败，就系统复位
    // NVIC_SystemReset();
}

嗯，这里要注意：在钩子函数里做太多操作本身就有风险，因为栈已经溢出了。我一般只做最必要的操作，比如保存错误码，然后直接复位。

1.5 知识体系总览

下面这张图，是我对栈溢出检测与防护机制的总结。你可以把它当作一个检查清单，做项目时对照着来。

说白了，栈溢出检测不是银弹。它只是一个安全网，帮你尽早发现问题。真正靠谱的做法，是在设计阶段就估算好栈大小，在开发阶段用工具验证，在产品阶段留足余量。我做了这么多年嵌入式，踩过的坑告诉我：栈空间，宁多勿少。