4、栈空间规划：栈指针初始化，栈大小计算与溢出保护

栈这个东西，说白了就是一块临时用的内存。函数调用、局部变量、中断现场保存，全得靠它。我见过不少新手，上来就写代码，栈大小随便填个值，结果跑起来莫名其妙死机。嗯，今天咱们就把栈这件事彻底聊透。

4.1 栈指针初始化：第一行代码的使命

Bootloader 启动后，CPU 执行的第一条指令之前，栈指针（SP）必须指向一个合法的内存地址。为什么？因为第一条指令可能是函数调用，也可能是中断向量表跳转，没有栈，CPU 连返回地址都没地方存。

我个人习惯在启动汇编代码里，第一时间把 SP 设置好。比如 ARM Cortex-M 系列，复位后会自动从向量表加载 SP，但很多其他架构需要手动初始化。看个例子：

; ARM 架构手动初始化 SP
LDR R0, =_stack_top
MOV SP, R0

这里有个坑——栈指针必须对齐。ARM 要求 8 字节对齐，x86 要求 4 字节对齐。不对齐的话，某些指令会触发异常。我曾经在一个项目里，因为链接脚本里栈顶地址没对齐，导致浮点运算时直接 HardFault，查了两天才找到原因。

4.2 栈大小计算：别靠猜，靠算

栈大小怎么定？很多人直接拍脑袋：给 1KB 吧，不够再加。这种做法在简单项目里也许能蒙混过关，但 Bootloader 这种对可靠性要求极高的场景，绝对不能这么干。

我建议用以下方法计算栈大小：

1. 分析函数调用深度——画出调用链，找出最深的那条路径。比如 main → funcA → funcB → funcC，每层函数需要多少栈空间？
2. 统计局部变量大小——每个函数的局部变量、参数、返回地址，加起来就是单层栈帧大小。
3. 加上中断嵌套开销——如果支持中断嵌套，每个中断的栈帧也要算进去。
4. 留出安全余量——我一般会多留 20%-30%，防止意外情况。

举个例子，一个典型的 Bootloader 栈大小计算表：

你想想看，如果只给 512 字节，那在极端情况下栈溢出几乎是必然的。我建议 Bootloader 的栈至少给 1KB，复杂一点的给 2KB-4KB。别心疼那点 RAM，Bootloader 稳定比什么都重要。

4.3 溢出保护：别等崩了才后悔

栈溢出是嵌入式开发中最隐蔽的 bug 之一。它不会立刻报错，而是悄悄覆盖相邻内存区域的数据。等你发现程序跑飞了，现场早就被破坏得面目全非。

我曾经在一个量产项目里，Bootloader 偶尔在升级固件时死机。查了三天，最后发现是栈溢出了，覆盖了全局变量区的校验标志。从那以后，我每个项目都会加栈溢出保护。

常用的保护方法有三种：

• 栈填充法——初始化时把整个栈区域填上固定模式（比如 0xDEADBEEF），运行时定期检查边界是否被改写。
• 硬件 MPU/MMU 保护——用内存保护单元给栈区域设置边界，一旦越界就触发异常。这是最可靠的方法。
• 编译器内置检查——GCC 的 -fstack-protector 选项会在栈帧里插入 canary 值，函数返回前检查是否被篡改。

看一个栈填充法的实现：

#define STACK_FILL_PATTERN 0xDEADBEEF
#define STACK_SIZE 1024

void stack_init(void) {
    uint32_t *stack_base = (uint32_t *)STACK_BASE;
    for (int i = 0; i < STACK_SIZE / 4; i++) {
        stack_base[i] = STACK_FILL_PATTERN;
    }
}

uint32_t stack_check(void) {
    uint32_t *stack_base = (uint32_t *)STACK_BASE;
    uint32_t used = 0;
    for (int i = 0; i < STACK_SIZE / 4; i++) {
        if (stack_base[i] != STACK_FILL_PATTERN) {
            used = (STACK_SIZE / 4 - i) * 4;
            break;
        }
    }
    return used;  // 返回已使用的栈空间
}

4.4 避坑指南：我踩过的那些雷

最后分享几个实战中容易忽略的点：

• 中断栈和主栈要分开——有些 MCU 支持双栈模式，中断用独立栈。如果没分开，中断嵌套时主栈可能被撑爆。
• 递归函数慎用——Bootloader 里尽量别用递归。我见过有人用递归做目录遍历，结果栈直接炸了。
• 链接脚本里栈段要对齐——栈顶地址最好按 8 字节或 16 字节对齐，否则某些 DMA 操作会出问题。
• 调试时把栈区域映射到未使用的 RAM——这样溢出时不会立刻破坏关键数据，给调试留出时间。

嗯，栈空间规划这件事，说难不难，说简单也不简单。核心就三点：初始化要早、大小要算准、保护要到位。做到这三点，你的 Bootloader 在栈这块就不会出大问题。