1. 堆栈基础：任务堆栈的作用、堆栈溢出原理、Cortex-M内核的堆栈指针机制

各位同学，咱们今天聊聊堆栈。说实话，我做了十几年嵌入式开发，见过最多的坑就是堆栈问题。系统跑着跑着就挂了，查半天发现是堆栈溢出了。所以这一章，咱们把堆栈的底裤扒干净。

1.1 任务堆栈到底是个啥？

任务堆栈，说白了就是一块内存区域。每个任务都有自己的专属空间。就像你办公桌上的抽屉，别人不能乱翻。

那堆栈里存了啥？我列个清单：

• 局部变量：函数里定义的临时变量
• 函数调用信息：返回地址、参数啥的
• 寄存器现场：任务被切换时，CPU寄存器的值
• 中断嵌套信息：中断来了，当前任务的状态得保存

我个人习惯，每个任务至少分配256字节的堆栈。但这不是死规矩，得看实际情况。

1.2 堆栈溢出——嵌入式开发的头号杀手

堆栈溢出，就是任务用的空间超过了分配的大小。你想想看，就像你往小抽屉里硬塞大件行李，最后抽屉炸了。

溢出的后果很严重：

• 数据被覆盖，程序跑飞
• 系统死机，看门狗复位
• 最坑的是——随机性故障，时好时坏，查都查不到

我在项目中遇到过一件事。一个电机控制程序，平时跑得好好的，一上高速就死机。查了三天，最后发现是某个中断服务函数里定义了一个512字节的数组，直接把堆栈撑爆了。

为什么会这样？因为Cortex-M内核的中断有优先级嵌套。高优先级中断来了，低优先级中断的现场也得保存。嵌套层数一多，堆栈消耗就上去了。

1.3 Cortex-M内核的堆栈指针机制

Cortex-M内核有两个堆栈指针：

指针名称	作用	使用场景
MSP（主堆栈指针）	系统级堆栈	中断服务、异常处理
PSP（进程堆栈指针）	任务级堆栈	普通任务运行

FreeRTOS里，任务切换时用的是PSP。中断来了，自动切到MSP。这个设计很巧妙——任务和中断的堆栈空间是隔离的，互不干扰。

嗯，这里要注意：

• 任务创建时，FreeRTOS会初始化任务的堆栈
• 堆栈指针指向栈顶（高地址）
• 数据压栈时，指针递减
• 出栈时，指针递增

说白了，就是后进先出。你压进去的数据，最后才能拿出来。

1.4 堆栈溢出检测方法

FreeRTOS提供了堆栈溢出检测钩子函数。你可以在配置里打开：

// FreeRTOSConfig.h
#define configCHECK_FOR_STACK_OVERFLOW 2

// 实现钩子函数
void vApplicationStackOverflowHook(TaskHandle_t xTask, char *pcTaskName)
{
    // 堆栈溢出了，赶紧处理
    // 我一般在这里打印任务名，然后系统复位
    printf("Stack overflow in task: %s\n", pcTaskName);
    // 或者点亮一个LED，方便定位
}

方法1和方法2的区别：

• 方法1：只检查当前堆栈指针是否越界
• 方法2：检查堆栈尾部标记是否被破坏（更可靠）

我个人推荐用方法2。它会在堆栈底部写一个标记值，每次任务切换时检查这个标记还在不在。如果被覆盖了，说明堆栈溢出了。

1.5 堆栈大小估算——别拍脑袋

很多新手喜欢随便给个堆栈大小，比如128字节。结果系统跑着跑着就崩了。

我一般这样估算：

1. 列出任务里所有函数的局部变量大小
2. 加上函数调用深度（嵌套层数）
3. 加上中断嵌套的消耗
4. 再加20%的余量

举个例子：

void task_function(void *pvParameters)
{
    char buffer[128];        // 128字节
    int data[10];            // 40字节
    // 函数调用深度：3层
    // 每层约消耗32字节（寄存器保存）
    // 中断嵌套：2层，每层约64字节
    
    // 估算：128 + 40 + 3*32 + 2*64 = 128+40+96+128 = 392字节
    // 加20%余量：约470字节
    // 取整：512字节
}

1.6 知识体系总览

下面这张图，把堆栈的核心逻辑串起来了：

这张图把堆栈的三大块串起来了：堆栈的作用、溢出原理、Cortex-M机制。你顺着箭头看，就能理解整个逻辑链条。

好了，堆栈基础就聊到这儿。记住一句话：堆栈是任务的命根子，别省那点内存。下一节咱们聊堆栈优化的实战技巧，到时候我会分享几个我踩过的坑。

---

公众号:蓝海资料掘金营，微信deep3321