STM32F4平台Naked函数与栈操作规则相关技术咨询

已梳理的已知规则 #

基于公开资料整理的ARM平台C函数调用栈保护规则如下：

• 函数调用时寄存器与栈数据保护责任分为调用者（caller）、被调用者（callee）两类：
  • caller负责保存r0-r3、lr等寄存器
  • callee若使用r4-r11寄存器，需自行完成对应保存操作
• callee正式执行业务逻辑前后，会自动执行两段附加流程：
  • prologue（函数序言）：进入函数时执行
  • epilogue（函数尾声）：函数退出前执行

待解答问题 #

1. 目前未完全理解prologue与epilogue的设计必要性，需要相关学习参考方向。
2. 核心疑问：为函数添加Naked属性后，编译器不会自动生成prologue与epilogue流程，此时caller与callee对应的栈保存规则是否仍然生效？是否需要开发者在应用代码中手动实现相关栈保护操作？

解答 #

关于prologue与epilogue的设计作用 #

这两段流程是编译器按照ARM AAPCS调用约定自动生成的固定汇编逻辑，核心作用是帮上层C代码屏蔽底层栈、寄存器操作细节，自动落地callee侧的栈保护责任：

• prologue核心逻辑：进入函数后第一时间调整栈指针，将当前函数会用到的callee责任寄存器（r4-r11、必要时的lr）压栈，为函数内局部变量预留栈空间，建立当前函数的独立栈帧
• epilogue核心逻辑：函数返回前恢复之前压栈的寄存器值，释放局部变量占用的栈空间，将栈指针恢复到进入函数时的初始状态，最终跳转回lr存储的caller执行地址
  如果没有这两段自动生成的逻辑，开发者每次写函数都要手动写汇编处理寄存器保存、栈调整、返回跳转，不仅开发效率极低，还很容易出现栈错乱、寄存器被意外覆盖导致的程序跑飞问题。
  学习这部分内容可以直接对照ARM Cortex-M4内核的官方编程指南、AAPCS调用约定文档，再结合编译器生成的汇编反汇编代码对照分析，理解效率最高。

关于Naked函数的栈规则 #

给函数添加Naked属性后，编译器不会为该函数自动生成任何指令，所有callee侧的栈保护责任全部转移到开发者手中，caller侧的栈保存规则完全不受影响，具体规则如下：

• caller侧行为无变化：只要你通过标准C语法调用该Naked函数，caller会完全按照AAPCS规则，在调用前自行保存它负责的r0-r3、lr等寄存器，不需要在Naked函数中针对caller的保存逻辑做额外处理。
• callee侧规则需要手动实现：
  • 如果Naked函数内部会用到r4-r11这类属于callee保存责任的寄存器，必须在函数最开头手写汇编指令将用到的寄存器压栈，在函数返回前手动出栈恢复
  • 如果Naked函数内部需要调用其他函数，必须手动提前保存lr寄存器的值，否则跳转到其他函数后lr会被覆盖，无法返回原调用位置
• Naked函数仅适用于极端底层场景，比如中断入口、任务上下文切换、系统调用入口等，普通业务逻辑不建议使用。如果在Naked函数中编写C代码，编译器不会为这些C代码生成栈帧支撑，极易出现栈溢出、寄存器数据被意外篡改的诡异问题，绝大多数场景下Naked函数体应当全部为手写汇编，最终通过bx lr等返回指令直接跳转返回。

内容的提问来源于stack exchange，提问作者MCM