ARM架构下函数调用与堆栈优化实战：从寄存器分配到内存安全

1次阅读

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

去年调试智能水表项目时，遇到一个诡异的 HardFault：设备正常运行 3 天后必然崩溃。最后发现是某个高频调用的传感器读取函数，在 -O2 优化下寄存器分配溢出，导致栈指针被意外修改。更棘手的是，这个 bug 在仿真器单步调试时永远不会触发。

另一个典型案例是工业网关的无线通信模块。当系统同时处理 TCP 重传和 OTA 升级时，由于中断嵌套导致栈空间不足，直接冲毁了相邻任务的 TCB 结构体。这种问题用常规的栈填充检测（如 0xDEADBEEF 模式）很难及时发现。

不同于 x86 的单一调用约定，ARM 的 AAPCS(ARM Architecture Procedure Call Standard)有几个关键特性：

参数传递优先级：前 4 个 32 位参数通过 r0-r3 传递，超出的部分通过栈传递
寄存器易失性：r0-r3 和 r12 在函数调用后可能被修改（caller-saved），r4-r11 必须由被调函数保存（callee-saved）
返回地址存储：x86 用栈保存返回地址，ARM 通常用专用链接寄存器 LR（r14）

对于热点函数，可以通过内联汇编手动控制寄存器分配。以下是读取 ADC 的优化示例：

__attribute__((naked)) uint16_t read_adc_optimized(uint8_t channel) {
    asm volatile(
        "mov   r1, #0x40000000\n"   // ADC 基地址
        "orr   r1, r1, #0x00012400\n"
        "strb  r0, [r1, #0x28]\n"   // 设置通道号
        "mov   r2, #0x80000000\n"   // 启动转换标志
        "str   r2, [r1, #0x08]\n"
        "1:\n"
        "ldr   r3, [r1, #0x00]\n"   // 读取状态寄存器
        "tst   r3, #0x00010000\n"   // 检查 EOC 标志
        "beq   1b\n"
        "ldr   r0, [r1, #0x4C]\n"   // 读取转换结果
        "bx    lr\n"
        ::: "r1", "r2", "r3");
}

典型 ARM 栈帧结构如下（从高地址到低地址）：

|----------------|
| 参数 N          | <-- 调用者栈帧
| ...            |
| 参数 5          |
|----------------|
| 返回地址       |
|----------------|
| 旧 FP           | <-- FP 指向这里
|----------------|
| 局部变量 1      |
| ...            |
| 局部变量 N      |
|----------------|
| 被保存的 r4     |
| ...            |
| 被保存的 r11    |
|----------------| <-- SP 指向这里

在 Cortex- M 系列上配置 MPU 保护栈空间：

void configure_mpu(void) {
    MPU->RNR = 0; // 选择区域 0
    MPU->RBAR = (uint32_t)(&__stack_end__) | MPU_RBAR_VALID_Msk;
    MPU->RASR = MPU_RASR_ENABLE_Msk          // 启用区域
              | MPU_RASR_SIZE_4KB            // 保护 4KB 栈空间
              | MPU_RASR_AP_PRW_URO_Msk      // 仅特权写访问
              | MPU_RASR_XN_Msk;             // 禁止执行
    SCB->SHCSR |= SCB_SHCSR_MEMFAULTENA_Msk; // 启用内存错误异常
    __DSB();
    __ISB();}

使用 DWT(Dat Watchpoint and Trace)计数器测量函数调用开销：