为何mcount需要帧指针？__fentry__如何避免该依赖？

一、mcount为什么需要帧指针？ #

mcount是Linux传统性能分析工具依赖的函数，它的工作逻辑完全绑定固定栈帧结构，而帧指针（rbp寄存器）是维护这个结构的核心：

1. 栈数据定位需求：mcount需要获取调用它的函数的关键信息，比如当前函数的栈帧边界、调用者的返回地址等。在x86架构下，标准栈帧以rbp作为基址寄存器标记起始位置，栈内的局部变量、返回地址等都能通过rbp的偏移量精准访问。
2. 编译器优化的影响：如果没有强制保留帧指针（比如开启-fomit-frame-pointer优化），编译器会把rbp当作通用寄存器复用，此时栈的布局会变得动态无固定标记，mcount无法可靠解析栈结构，也就没法完成函数调用计数、调用链追踪等性能分析工作。

从你给出的仅用-pg编译的汇编代码也能直观看到这一点：

push    rbp
mov     rbp, rsp  ; 先建立以rbp为基址的标准栈帧
1:      call        mcount
nop
pop     rbp
ret

函数执行的第一步就是创建栈帧，确保mcount被调用时，rbp已经指向当前函数栈帧的固定位置，能正确读取所需的栈数据。

二、__fentry__如何避免依赖帧指针？ #

__fentry__是为替代mcount设计的新入口钩子，它通过调整调用时机和简化逻辑彻底摆脱了对帧指针的依赖：

1. 提前调用时机：__fentry__的调用发生在函数建立栈帧之前。从-pg -mcount编译的汇编代码可以看到，它是函数的第一条执行指令：

1:      call        __fentry__  ; 未建立栈帧就调用
push    rbp
mov     rbp, rsp
nop
pop     rbp
ret

此时栈中只有call指令压入的返回地址（即push rbp这条指令的地址），rsp寄存器直接指向这个返回地址，位置完全确定。
2. 简化数据获取逻辑：__fentry__只需要记录函数入口事件，它直接从rsp指向的栈顶读取返回地址，就能反推出当前函数的起始位置，不需要遍历栈帧或依赖rbp的偏移定位。
3. 无栈回溯需求：和mcount不同，__fentry__不需要追踪完整的调用链栈结构，仅完成入口记录工作，因此即使编译器省略帧指针，也不会影响它的正常运行。

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