首发：嵌入式客栈
作者：逸珺

导读

从这篇文章开始，将会不定期更新关于嵌入式C语言编程相关的个人认为比较重要的知识点，或者踩过的坑。

为什么要深入理解栈？做C语言开发如果栈设置不合理或者使用不对，栈就会溢出，溢出就会遇到无法预测乱飞现象。所以对栈的深入理解是非常重要的。

注：动画如果看不清楚可以电脑看更清晰

啥是栈

观看完整视频点击这里：

没有比这个更直观的啦，栈是一种受限的数据结构模型，其数据总是只能在顶部追加，利用一个指针进行索引，顶端叫栈顶，相对的一端底部称为栈底。栈是一种LIFO后入先出的数据结构。

栈就两种操作:

PUSH，压栈，向栈内加入数据，
POP，出栈

再进一步探讨：

首先将栈与堆分清，从看到这篇文章开始，我建议你不要把堆和栈连在一起叫，栈是栈，堆是堆，这是两回事，别混为一谈！（堆本文不深入讨论）

从C/C++编程语言的角度来看：

相同点：都是一片内存区，在链接时指定栈区/堆区的位置以及大小。
不同点：
栈：由编译器分配，存放函数的参数值，局部变量，寄存器组（不同的单片机/处理器各有不同）、函数调用参数传递、中断异常产生时须保存处理器状态的寄存器值等
堆：由程序员分配释放，对于C而言，malloc、realloc/free进行分配/释放，对C++而言，由new/delete分配/释放。

为啥用

栈这个数据模型的应用价值是什么呢？先来看一下单片机内部的可能有哪些栈应用？以STM32为例，参考IAR C/C++ Development Guide，P207

如果使用RTOS还有任务栈，如果是Linux,其内核线程同样也需要栈的支持，等等这一切的一切栈，其本质上都是利用了栈数据模型的LIFO后入先出的特性，一个典型应用场景就是比如做一件事情做到一半而要转而去做另外一件事，对于芯片编程而言，就需要将当前的工作做个暂存，等另外一件事情做完了，再接着回来继续做。那么怎么做到呢，以一个中断处理为例，要记住当前的工作态有哪些信息需要暂存呢？PC指针，局部变量等就被压入栈，再将中断服务程序地址导入PC指针，进而去执行中断服务程序，待中断处理完毕，在将栈里的内容按照后入先出弹出到对应的寄存器就恢复了原程序的现场，进而继续执行。

怎么用

栈在哪里定义大小，定多大合适？这可能很多刚接触单片机开发的同学不是太清楚，下面就将比较常见的IAR开发环境为例如何定义栈定义栈大小的地方说明一下，这里以IAR8.4.1为例，有两种方式可以进行栈大小设置。

IDE设置

为了更加清楚明了，制作了一个GIF操作展示视频，在stack/heap中就可以设置了，其中stack用于设置栈区大小，heap用于设置堆大小。

这个demo中设置了其栈的大小为0x200，堆的大小为0x400，全编译后，检查map文件就印证了栈/堆的大小如预期所修改。

链接配置文件

其实对于比较熟悉的开发人员，上一种方式并非推荐用法。用链接配置文件将具有更好的灵活性，比如可以指定一个段的对齐方式，存储位置，某个符号的存储位置等等。这里同样为了直观也做了一个GIF动画，介绍如何通过链接文件进行栈/堆的大小配置。

其最终的效果也一样如预期将栈区的大小设置好了。

栈溢出

这里为了比较容易的展示栈溢出的问题，在main函数利用递归方法计算阶乘，代码如下：

#include <stdio.h>#include "main.h"static uint32_t spSatte[200];static uint32_t spIndex = 0;/*为什么要用浮点数，因为数据非常大整型很快就会溢出*/float factorial(uint32_t n){    uint32_t sp = __get_MSP();        /*记录栈指针的变化情况*/    spSatte[spIndex++] = sp;    if(n==0 || n==1)        return 1;    else        return (float)n*factorial(n-1);}int main(void){    float  x = 0;    uint32_t  n = 20;    printf("stack test:\n");    x = factorial(n);    /*打印栈指针变化情况*/    for(int i = 0;i<spIndex;i++)        printf("MSP->%08X\n",spSatte[i]);        /*打印阶乘结果*/    printf("factorial(%d)=%f\n",n,x);        while (1)    {    }}

为方便观察，将stm32f407xx\_flash.icf 将栈改为256字节

/*stm32f407xx_flash.icf 将栈改为256字节*/define symbol __ICFEDIT_size_cstack__ = 0x200;define symbol __ICFEDIT_size_heap__   = 0x200;

全编译后通过map文件来看下栈/堆的分配情况：

"P2", part 3 of 3:                          0x400  CSTACK                      0x2000'05d8   0x200  <Block>    CSTACK           uninit   0x2000'05d8   0x200  <Block tail>  HEAP                        0x2000'07d8   0x200  <Block>    HEAP             uninit   0x2000'07d8   0x200  <Block tail>                            - 0x2000'09d8   0x400

直观些，翻译成下图，CSTACK段分配在0x2000 0280-0x2000 0480,堆分配在0x2000 0480-0x2000 0680。

图为什么没有将0x2000 07D8画在栈区呢？通过调试发现，这个字空间没有用做栈的实际存储。将工程设置成simulation模式，debug进入main.o勾选掉，我们来计算20的阶乘，来具体看一下：

对这个动图解读一下：

进入复位是，SP\_main为0x200007D8，指向栈底，为空栈。那么这是怎么实现的呢？

__vector_table                ;向量表        DCD     sfe(CSTACK)   ;这条命令会将程序的CSTACK起始地址装载给SP_main        DCD     Reset_Handler ; Reset Handler复位向量

前面说0x200007D8并没有用到，怎么证明呢，在函数进入mian时，第一次压栈的情况如下：

可见STM32栈的增长方向是向下增长的，也即顶在小地址端一侧
栈存储元素是四字节对齐的，因为STM32的字长是字节，如果深入想想，如果不是司字节对齐会怎么样？留给感兴趣的思考一下。
0x200007D8--0x200007DB 这个字存储单元并不是栈的有效存储空间。

栈的变化情况：

stack test:MSP->200007A8 MSP->20000790MSP->20000778MSP->20000760MSP->20000748MSP->20000730MSP->20000718MSP->20000700MSP->200006E8MSP->200006D0MSP->200006B8MSP->200006A0MSP->20000688MSP->20000670MSP->20000658MSP->20000640MSP->20000628MSP->20000610MSP->200005F8MSP->200005E0factorial(20)=2432902023163674771.785700 /*结算结果与用计算器一致*/

每调用一次阶乘函数，栈就压入4个字，由上面还可以看到第20次进入时，栈指针为0x200005E0，如果再压入4个字栈指针会变成0x200005C8，是这样吗，结果还对吗？将n改为21编译运行，来看一看：