通常使用IDE开发MCU程序在生成Image文件时，Image文件被划分为代码区，数据区，BSS区，堆区，栈区。其中，代码区，数据区，BSS区空间大小由编译器最终决定，对于MCU，堆区一般设置为0，唯一不好确定的就是栈区空间的大小了。栈空间大小由非常关键，弄不好会导致栈溢出，后果非常严重。本文基于实测的方式，确定栈区空间的大小。
1.基本概念
栈空间分为静态栈空间和动态栈空间。
1)静态栈空间
静态栈空间大小一般可由编译器分析函数调用关系及调用深度来确定，顾名思义，它只能分析固定的函数调用关系，而我们的MCU程序运行过程中可能会有中断，造成函数的调用关系及深度是无法预料的，如果仅按静态栈大小来设置栈空间大小，很有可能是不够的。查看静态栈空间大小有助于我们确定最小的栈空间大小。
如Keil中可以在Link中增加“--callgraph”来生成静态调用图，其中也包括栈的使用，也可以用“--info=stack”或“--info=summarystack”列出所有全局符号的栈的使用情况。
2)动态栈空间
动态栈空间大小就是我们的程序在运行过程中（包含中断）的栈空间大小。实际使用的栈空间大小是动态变化的（随中断及函数调用而变化），确定栈空间的大小就是要确定动态栈空间最大能有多大，再预留一定的裕量，就是我们在编写程序时需要设置的栈空间大小。也是本文后续要介绍的。
2.方法&步骤
1)预先分配一个足够大的栈空间大小，这个空间在确定栈空间大小后会修改。这个在Keil中通过“startup.s”文件进行设置，在gcc编译器中可通过“.ld”文件确定。同时我们也知道栈顶的位置（通常在RAM空间的最后）。
2)编写一小段程序初始化这段栈空间大小为一个确定的数字，如“0xDEADDEAD”。代码如下：
InitStack(0x20003ffb, 0x400);
void InitStack(uint32_t Address, uint32_t nLength)
{
while ((int32_t)nLength > 0)
{
*(volatile uint32_t *)Address = 0xDEADDEAD;
Address -= 4;
nLength -= 4;
}
}
3)运行我们的程序，我们可以进行一系列的测试，包括外部中断及各种输入以确保程序执行中函数调用关系处于最深的情况。
4)当程序执行完毕后，我们检查2)中特定数值被修改的位置，这个位置和栈顶的偏移就是我们实际需要的栈空间大小。如我们使用JLink-Commander的“Mem32”指令可在程序运行过程中读取指定地址及长度的数据。指令如下（连接过程略）：
Mem32 20003ffb 0x100
5)获得栈空间大小后，为了以防万一（步骤3)测试不充分），可以再保留一定的裕量（如50%），将此值作为最终的栈空间大小的设定值。
————————————————
版权声明：本文为CSDN博主「propor」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/propor/article/details/135064902
|
楼主
标题置顶
标题高亮
