function - 如果esp指向栈顶,那么ebp指向哪里?

标签 function assembly cpu-registers stack-pointer

我在理解 esp 时遇到了一些麻烦和 ebp使用寄存器。

我们为什么这样做:

pushl %ebp 
movl %esp, %ebp

在每个功能开始时?什么是ebp第一次按下时保持?

最佳答案

在每个函数的开头,ebp 指向调用函数想要它的任何地方,它与当前函数无关,直到当前函数的代码选择使用它。 ebp 只是一个堆栈帧指针,以防您选择拥有堆栈帧。这个概念是您可以使用 ebp 对您的函数的堆栈进行非移动引用,同时您可以自由地继续使用 esp 添加或删除堆栈上的项目。如果您不使用堆栈指针并继续使用 esp 作为对堆栈的引用,那么堆栈上的特定项目在您的函数过程中的位置相对于 esp 会有所不同。如果您在开始使用堆栈之前设置 ebp(而不是保存 ebp),那么您将拥有一个固定的相对地址,指向您的函数关心的堆栈上的参数,例如传递的参数、局部变量等。

您可以完全自由地使用 eax 或 edx 或任何其他寄存器作为您函数中的堆栈帧指针,ebp 可作为通用寄存器供您用于堆栈帧,因为 x86 历来具有堆栈依赖性(返回地址和旧的调用约定是基于堆栈的)。其他具有更多寄存器的指令集可能只是为编译器实现选择一个寄存器作为函数指针/堆栈帧指针。如果您可以选择使用堆栈框架。它会烧掉一个你可以用来做其他事情的寄存器,烧掉更多的代码和执行时间。与使用其他通用寄存器一样,根据当今使用的调用约定,ebp 是非 volatile 的,您需要保留它并以您找到它的方式返回它。所以它指向的是特定于函数的。它在输入您的函数时指向的内容特定于调用函数。

一个特定的编译器实现可以选择有堆栈帧并可以选择它如何使用 ebp。如果它在启用时总是以相同的方式使用,那么使用该工具链,您可能有一个调试器或其他工具可以利用它。例如,如果函数中的第一件事是将 ebp 压入堆栈,那么与 ebp 相关的任何函数中调用函数的返回地址是固定的(除非有一些尾部优化,否则它可能是调用者的调用者(调用者(调用者的)))。您正在为此功能烧录寄存器和堆栈空间以及代码空间,但是,就像为调试而编译一样,您可以在开发期间使用堆栈帧进行编译以使用这些功能。

您从推送开始的原因是这是使用帧指针并定义一致位置的好方法。作为您做的第一件事,将它推送到堆栈上 1) 保留 ebp,这样您就不会使调用函数崩溃 2) 在 ebp 以下定义一致的引用点地址是返回地址和调用参数在固定偏移量的持续时间内功能。对于这样的方案,局部变量位于 ebp 以上的固定地址。编译器以及人类完全有能力不需要这样做,我的第一个参数可能在代码中的某个点位于 esp-20 ,然后我可能会在堆栈上再压入 8 个字节,因为相同的参数是在 esp-28,只需将其编码即可。但出于调试目的,调试生成的代码,有时例如在固定偏移量处查找返回地址。刻录另一个寄存器,是 IMO 懒惰的,但是,绝对可以帮助调试和提高编译器输出的质量。更快地找到编译器输出中的错误,并帮助试图阅读代码的人以更少的努力更快地理解它。在正确使用堆栈帧指针的情况下,所有参数和局部变量在堆栈帧指针设置和清除点之间的函数持续时间内都处于堆栈帧指针的固定偏移量。推送指针以保存它 将帧指针设置为带有或不带有偏移量的堆栈指针。在返回之前弹出帧指针。

关于function - 如果esp指向栈顶,那么ebp指向哪里?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55196862/

相关文章:

assembly - 布置堆栈变量开始比 rbp 更接近 rsp 的意义

c - 跳回向量化余数循环的一些迭代

linux - wrsmr 命令没有在 MSR 中注册我的输入

c - 在C编程语言中,寄存器存储类变量存储在哪里(即微处理器的哪个寄存器中)?

assembly - 为什么这个编译器在翻译成NASM时会输出GCC错误?

assembly - 使用 asm 指令读取 MIPS CPU 寄存器

c - C 中数字数组的排序

c++ - 使用 void 指针时转换函数(CUBA Nint 例程)

linux - 在 Linux 中通过编辑二进制文件来更改函数

python - 初始化类定义的可选变量,其默认值与实例变量相同