ARM嵌入式编程优化之在C/C++中栈的使用

最新推荐文章于 2023-08-13 16:12:05 发布

SOC罗三炮

最新推荐文章于 2023-08-13 16:12:05 发布

阅读量4.4k

点赞数 4

分类专栏： ARM Compiler 文章标签： c语言 ARM 编译器编译优化 stack 栈

本文链接：https://blog.csdn.net/luolaihua2018/article/details/130903369

版权

ARM Compiler 专栏收录该内容

9 篇文章 3 订阅

订阅专栏

文章目录

Stack的使用场景
如何确定stack空间的使用情况
检查栈使用情况
减少栈使用的方法

Stack的使用场景

栈在C/C++中使用得非常频繁，比如，栈中可以保存：

在调用函数时，保存函数的返回地址。
保存一些寄存器的值，这取决于ARM 架构：the Procedure Call Standard for the Arm Architecture (AAPCS) or the Procedure Call Standard for the Arm 64-bit Architecture (AAPCS64)，比如在进入子程序时，将一些寄存器里的状态信息保存到栈中。
局部变量，比如数组、结构体或者联合体。
C++中的类，类的数据主要放在栈区或堆区，有可能是堆，也有可能是栈。这取决于实例化对象的方式：
– A a1 = new A(); //堆
– A a2; //栈
还有一些比较不明显的使用场景：
如果局部整型或者浮点型变量溢出了（即没有分配给寄存器），则他们会被存储到栈空间中。
结构体通常会被分配到栈空间，在栈上保留了一个相当于sizeof(struct)填充为字节倍数的空间，其中对于AArch64状态为16，对于AArch32状态为8。但是，编译器可能会尝试将结构体分配给寄存器。
一些优化操作可以引入新的临时变量来保存中间结果。优化包括CSE消除（CSE elimination）、live range拆分和结构体拆分。编译器会尝试将这些临时变量分配给寄存器。如果没有，编译器则会将它们保存到栈中。
如果数组的大小在编译时已知，则编译器会在栈上分配内存。同样，在栈上保留了一个相当于sizeof(array)的空间，填充为字节的倍数，其中对于AArch64状态为16，对于AArch32状态为8。此外，可变长度数组的内存，会在运行时被分配到堆内存空间中。
通常，为只支持16位编码T32指令的处理器编译的代码比A64代码、A32代码和为支持32位编码T32指令的处理器编译的代码更多地使用了栈。这是因为16位编码的T32指令只有8个寄存器可供分配，而A32代码和32位编码的T32指令有14个寄存器可供分配。
AAPCS和AAPCS64要求一些函数参数通过堆栈而不是寄存器传递，这取决于它们的类型、大小和顺序。
- 在ARMv7或者AArch32状态下，当函数参数个数小于或等于4个（或者总的参数大小不大于4*4 bytes）时，使用寄存器（R0,R1,R2,R3）传递。当函数参数个数大于四个时，将通过压栈方式进行传递。我们通常讲的32 bit 状态下可以用寄存器（R0,R1,R2,R3）传递四个参数，这四个参数是指的四个不大于4 bytes类型的参数，如果是参数类型为 8 bytes大小，则只能传递两个。所以我们应该这么理解：如果四个寄存器（R0,R1,R2,R3）不能能存下该函数的所有参数（4 bytes 对齐），则会存储到栈中。
- 在AArch 64状态下，X0~X7用于函数入参，最多支持8个函数入参，多余则采用入栈方式。

嵌入式应用中，通常对内存有严格限制，因此堆栈上可用的空间也有限。可以使用Arm Compiler for Embedded来确定应用程序代码中的函数使用了多少堆栈空间。函数使用的堆栈量取决于函数参数的数量和类型、函数中的局部变量以及编译器执行的优化等因素。

如何确定stack空间的使用情况

栈的使用情况很难估计，因为它依赖于代码，并且根据程序执行时所采用的代码路径，栈的使用在每次运行之间可能会变化。但是，可以使用以下方法手动估计堆栈利用率的程度：

编译时使用 -g 选项，并且链接时使用 –callgraph 选项，来产生一个静态的统计图，这个callgraph 将会显示所有函数的信息，包括栈的使用情况。
在链接时使用 –info=stack 或者 –info=summarystack选项，将所有全局变量的栈使用情况列出。
使用调试器在栈中的最后一个可用位置上设置一个观察点，并查看是否命中了该观察点。使用-g选项进行编译以生成必要的DWARF信息。
使用调试器时，我们可以：
- 给栈分配内存空间时，尽量比程序使用的预期要更大。
- 给栈的内存使用一些已知的数据（比如0xdeadbeaf）进行初始化。
- 运行应用程序时。目标是在测试运行中使用尽可能多的堆栈空间。例如，尝试执行嵌套最深的函数调用和静态分析发现的最坏情况路径。尝试在适当的地方生成中断，以便将它们包含在栈跟踪中。
- 在应用程序完成执行之后，检查内存的堆栈空间，看看有多少已知值（比如0xdeadbeaf）被覆盖了。使用 byte作为单位计算出被覆盖区域的内存大小，即可知道栈的使用情况。
- 使用与目标处理器或体系结构对应的固定虚拟平台(FVP)。使用映射文件，在堆栈正下方定义一个禁止访问的内存区域。如果堆栈溢出到禁止区域，则会发生数据中断，调试器可以捕获该中断。

检查栈使用情况

检查应用程序中函数使用的栈使用量是一种很好的做法。然后可以考虑重写代码以减少栈使用。
要检查应用程序中的栈使用情况，可以使用链接器选项** --info=stack **。下面的示例代码显示了具有不同数量参数的函数：

__attribute__((noinline)) int fact(int n)
{
  int f = 1;
  while (n>0)
  {
    f *= n--;
  }
  return f;
}

int foo (int n)
{
  return fact(n);
}

int foo_mor (int a, int b, int c, int d)
{
 return fact(a);
}

int main (void)
{
  return foo(10) + foo_mor(10,11,12,13);
}

使用armclang --target=arm-arm-none-eabi -march=armv8-a -c -g file.c -o file.o进行编译，使用-g选项可以产生 DWARF 帧信息，然后 armlink可以利用这些信息来估计栈的使用情况：
armlink file.o --info=stack
以下是armlink对上述代码进行栈使用情况分析的结果：

Stack Usage for fact 0xc bytes.
Stack Usage for foo 0x8 bytes.
Stack Usage for foo_mor 0x10 bytes.
Stack Usage for main 0x8 bytes.

同样也可以使用armlink file.o --callgraph -o FileImage.axf命令，生成callgraph文件，该命令会生成一个名为FileImage.htm的文件，它包含应用程序中各种函数的堆栈使用信息。

fact (ARM, 84 bytes, Stack size 12 bytes, file.o(.text))

[Stack]

Max Depth = 12
Call Chain = fact

[Called By]
>>   foo_mor
>>   foo
foo (ARM, 36 bytes, Stack size 8 bytes, file.o(.text))

[Stack]

Max Depth = 20
Call Chain = foo >> fact

[Calls]
>>   fact

[Called By]
>>   main
foo_mor (ARM, 76 bytes, Stack size 16 bytes, file.o(.text))

[Stack]

Max Depth = 28
Call Chain = foo_mor >> fact

[Calls]
>>   fact

[Called By]
>>   main
main (ARM, 76 bytes, Stack size 8 bytes, file.o(.text))

[Stack]

Max Depth = 36
Call Chain = main >> foo_mor >> fact

[Calls]
>>   foo_mor
>>   foo

[Called By]
>>   __rt_entry_main (via BLX)