3、堆栈深度测量原理：基于栈指针(SP)和栈底地址的测量方法
堆栈深度测量，说白了就是搞清楚你的程序到底用了多少栈空间。我见过太多工程师，项目跑着跑着突然死机，查半天发现是栈溢出了。嗯，这问题其实可以提前避免的。
今天咱们聊的这种方法，是最直接、最常用的一种——通过栈指针（SP）和栈底地址来算深度。你想想看，只要知道SP当前指到哪了，再知道栈底在哪，差值不就是已用的栈空间吗？
3.1 基本原理
在大多数嵌入式系统中，栈是向下生长的。也就是说，每次压栈，SP的值会减小。栈底地址通常是固定的，由链接脚本或启动代码设定。
核心公式很简单：
栈已用深度 = 栈底地址 - 当前SP值举个例子：假设栈底在0x2000_1000，当前SP是0x2000_0F00，那已用深度就是0x100，也就是256字节。
关键点：这个公式成立的前提是栈向下生长。如果是向上生长的架构（极少见），公式要反过来。
我在项目中遇到过一种情况：某款MCU的栈底地址并不是固定的，它会在任务切换时动态调整。这时候你就不能死板地用固定地址去算了，得从任务控制块里读栈底信息。
3.2 测量时机
什么时候测？这是个好问题。我个人习惯分三种场景：
- 系统空闲时测量——在后台任务或空闲钩子函数里采样SP值，记录最大值。这是最安全的方式，不影响实时性。
- 任务切换时测量——在RTOS的任务调度器里，每次切出任务前读一下SP。我记得有一次调试一个多任务系统，就是用这个方法抓到了某个任务栈使用异常。
- 触发特定事件时测量——比如发生异常、中断嵌套最深的时候。说白了，这时候的栈深度最有参考价值。
我的建议：别只测一次。栈深度是动态变化的，最好连续采样几百次甚至上千次，取最大值作为设计依据。
3.3 实现方法
直接上代码吧。这是一个在ARM Cortex-M内核上常用的测量函数：
// 获取当前栈指针值
// 不同编译器有不同的内嵌汇编写法
uint32_t get_current_sp(void)
{
uint32_t sp_val;
// GCC for ARM
__asm volatile("MRS %0, MSP" : "=r" (sp_val));
return sp_val;
}
// 测量栈已用深度
uint32_t measure_stack_usage(uint32_t stack_bottom)
{
uint32_t current_sp = get_current_sp();
uint32_t used_depth;
// 栈向下生长
if (current_sp <= stack_bottom) {
used_depth = stack_bottom - current_sp;
} else {
// 异常情况：SP跑飞了
used_depth = 0;
}
return used_depth;
}你可能会问：为什么要判断 current_sp <= stack_bottom？我曾经调试过一个bug，发现SP值竟然比栈底还大——后来查出来是中断嵌套太深，把栈给撑爆了，SP直接跳到了栈底上方。嗯，这种情况要特别小心。
3.4 栈底地址的获取
栈底地址怎么来？常见的有三种方式：
| 方式 | 说明 | 适用场景 |
|---|---|---|
| 链接脚本定义 | 在链接脚本中定义栈区起始地址，C代码用extern引用 | 裸机程序、静态栈分配 |
| 启动代码变量 | 启动代码中声明栈底符号，C代码直接使用 | 大多数ARM项目 |
| 任务控制块 | RTOS中每个任务有自己的栈，栈底存在TCB里 | FreeRTOS、uC/OS等 |
我个人最推荐第三种方式。为什么？因为RTOS环境下每个任务的栈是独立的，你测一个全局栈没意义。我记得在FreeRTOS里，任务控制块有个 pxStackBottom 字段，直接拿来用就行。
注意：有些RTOS的栈底地址是栈的最高地址（因为栈向下生长），有些则是栈的最低地址。一定要看文档确认，否则算出来的深度是反的。
3.5 实际测量中的坑
讲几个我踩过的坑，你遇到了可以少走弯路：
- 中断嵌套的影响——在中断服务函数里测SP，测到的是当前中断的栈使用量，不是主任务的。我曾经在SysTick中断里采样，结果发现数据忽大忽小，后来才意识到是中断嵌套导致的。
- SP读值的原子性——读SP本身是原子操作，但如果你在读取前后有压栈/出栈操作，测到的值就不准了。建议在函数入口处立即读取SP，不要有任何参数传递。
- 栈对齐问题——有些架构要求栈8字节对齐，这时候SP的低3位可能是0。你算深度时最好按对齐后的值算，否则会多算几个字节。
3.6 测量结果的解读
拿到数据后怎么用？我一般这么处理：
- 记录最大深度，记为
max_used - 总栈大小记为
total_stack - 安全余量 =
total_stack - max_used
安全余量建议至少留20%。如果余量小于10%，我会立刻优化代码或加大栈空间。你想想看，万一哪天来了个极端情况，栈就爆了。
经验值：对于一般嵌入式应用，安全余量在30%~50%比较合理。中断嵌套深的场景，建议留到50%以上。
好了，基于SP和栈底地址的测量方法就这些。说白了，原理不复杂，但实际用起来细节不少。下一节咱们聊聊另一种方法——栈填充模式，那个更适合长期监控。