ARM架构下函数调用栈的深度解析与实战优化指南

1次阅读

共计 1106 个字符，预计需要花费 3 分钟才能阅读完成。

在嵌入式开发中，栈空间往往是极其有限的资源。我曾经遇到过这样一个案例：设备在运行一段时间后突然死机，经过排查发现是某个递归函数没有终止条件，导致栈空间被耗尽。这种问题在 ARM 架构下尤为常见，因为：

大多数 ARM 芯片的栈空间只有几 KB 到几十 KB
栈溢出不会立即导致程序崩溃，而是会悄无声息地破坏其他内存数据
问题可能只在特定条件下才会显现，难以复现

AAPCS(ARM Architecture Procedure Call Standard)定义了 ARM 架构下函数调用的标准规范。其中几个关键点：

寄存器使用规则
r0-r3: 用于参数传递和返回值
r4-r11: 被调用者需要保存的寄存器
r13(SP): 栈指针
r14(LR): 链接寄存器
r15(PC): 程序计数器
栈帧结构

; 典型的函数序言(prologue)
push    {r4-r6, lr}  ; 保存需要保留的寄存器和返回地址
sub     sp, sp, #8   ; 为局部变量分配栈空间

一个标准的 ARM 栈帧包含以下部分（从高地址到低地址）：

参数区域（由调用者分配）
保存的寄存器
局部变量
栈指针 (SP) 指向当前栈顶

在崩溃点获取回溯信息
```
(gdb) bt full
```
查看各帧的栈指针
```
(gdb) info frame
```

Map 文件分析：查看编译器生成的栈使用预估
调试器监测：运行时监控 SP 寄存器变化
静态分析：使用工具分析调用深度

; 优化前的代码
func:
    push    {r4-r11, lr}  ; 保存过多寄存器
    sub     sp, sp, #32   ; 分配过多局部变量空间
    ...

; 优化后的代码
func_optimized:
    push    {r4-r5, lr}   ; 只保存实际使用的寄存器
    sub     sp, sp, #8    ; 精确计算所需空间
    ...