栈溢出初探：什么是任务栈？为什么栈会溢出？一个简单的栈溢出演示实验
各位同学，咱们今天正式进入《FreeRTOS任务栈溢出检测与修复实战》的第一课。说实话，栈溢出这个问题，我入行头三年几乎每年都会遇到。有一次在产线上，设备跑着跑着就死机了，查了三天，最后发现就是一个任务栈开小了。嗯，从那以后，我对栈的敬畏心就上来了。
一、任务栈到底是什么？
先问大家一个问题：你写一个函数，里面的局部变量存在哪？函数调用时，返回地址存在哪？中断来了，CPU的寄存器值存在哪？
答案就是——栈（Stack）。
在FreeRTOS里，每个任务都有自己的栈。说白了，它就是一块连续的内存区域，用来存放任务运行时的临时数据。我习惯把它想象成一个「临时储物柜」：任务执行时，不断往里放东西（压栈），用完了再拿出来（出栈）。
任务栈里主要存这几样东西：
- 局部变量：你在任务函数里定义的 int a、char buf[100] 这些
- 函数调用信息：调用子函数时的返回地址、参数
- 中断现场：发生中断时，CPU自动把寄存器压栈保存
- 任务上下文：任务切换时，FreeRTOS会把当前任务的寄存器全部保存到栈里
你想想看，如果一个任务里调用了三层函数，每层函数又定义了几个大数组，那栈空间消耗得有多快？
二、为什么栈会溢出？
栈溢出，说白了就是「储物柜不够用了」。任务往栈里写数据，写到了栈顶之外的内存区域。那片区域可能是别的任务的栈，也可能是全局变量，甚至是代码区。
我总结了一下，常见的栈溢出原因有这几个：
- 栈大小估算不足：这是最常见的原因。很多新手随便给个128字节、256字节，结果任务里一个函数嵌套就把栈撑爆了。
- 函数调用层级过深：递归调用或者多层函数嵌套，每层都要消耗栈空间。
- 局部变量太大：比如在任务里定义了一个 uint8_t buffer[1024]，而栈总共才512字节，那肯定溢出。
- 中断嵌套：中断服务函数也会使用当前任务的栈。如果中断里再开中断，嵌套几层，栈消耗会急剧增加。
- 任务切换频繁：每次切换都要保存和恢复上下文，这也需要栈空间。
三、一个简单的栈溢出演示实验
光说不练假把式。咱们直接写个代码，看看栈溢出到底长什么样。
先创建一个任务，栈大小给128字节：
void vTaskFunction(void *pvParameters)
{
uint8_t ucLocalBuffer[200]; // 局部数组，200字节
// 任务栈总共才128字节，这里就定义了200字节的局部变量
// 栈肯定溢出了
for(;;)
{
// 往数组里写数据
for(int i = 0; i < 200; i++)
{
ucLocalBuffer[i] = i;
}
vTaskDelay(pdMS_TO_TICKS(100));
}
}
void main(void)
{
xTaskCreate(
vTaskFunction,
"StackOverflowDemo",
128, // 栈大小：128字节
NULL,
1,
NULL
);
vTaskStartScheduler();
}
这段代码跑起来会怎样？我告诉你，大概率是：
- 系统启动后正常运行几秒钟
- 然后突然卡死，或者进入HardFault异常
- 有时候甚至会出现「灵异现象」——另一个任务的变量莫名其妙被改了
为什么会这样？因为ucLocalBuffer[200]写到了栈顶之外，把别的内存区域给覆盖了。如果覆盖的是另一个任务的栈，那个任务就会行为异常；如果覆盖的是FreeRTOS的内核数据结构，系统直接崩溃。
四、怎么判断栈溢出了？
在没有工具辅助的情况下，你可以观察这些现象：
| 现象 | 可能原因 |
|---|---|
| 系统随机死机，没有规律 | 栈溢出导致内存踩踏 |
| 某个任务的局部变量值莫名其妙变化 | 栈溢出覆盖了该任务的栈空间 |
| 进入HardFault异常 | 栈溢出破坏了返回地址或异常向量表 |
| 任务不按预期执行 | 栈溢出导致任务控制块被破坏 |
嗯，这里要注意：这些现象也可能是其他问题导致的。但如果你发现系统行为异常，而且没有明显的外部干扰，栈溢出绝对是第一个要排查的方向。
五、小结
今天咱们聊了三个核心问题：
- 任务栈是什么：每个任务私有的临时数据存储区
- 为什么会溢出：栈大小不够，或者局部变量太大、函数嵌套太深
- 溢出长什么样：系统随机崩溃、变量被篡改、HardFault异常
下一节课，我会教大家怎么用FreeRTOS自带的栈溢出检测机制，以及如何通过调试工具精确定位问题。说实话，掌握了这些工具，栈溢出就不再是玄学了。
好，今天就到这里。大家回去可以自己跑一下那个演示代码，亲眼看看栈溢出是什么效果。实践出真知嘛。