程序的虚拟地址空间

image-20240403210900001

在了解函数的栈帧之前，我们先了解一下虚拟地址空间的概念。操作系统给每个c语言程序实例分配了一块虚拟地址空间，营造了一种每个程序都独占则内存的假象。这块内存地址的分布如下。

栈区

栈是一种先进后出的数据结构。在C程序的地址空间中，%esp寄存器指向栈顶，%ebp寄存器指向栈底。栈由高地址向低地址延申，入栈时esp向低地址处移动，出栈时esp向高地址处移动

image-20240413140207649

函数的调用依赖于栈。调用函数，栈增加。函数返回，栈缩小。

函数调用

1

image-20240413140907149

调用函数的过程本质上是修改PC(程序计数器)的值，PC指向了下一条执行指令的地址

在调用函数前

  1. 参数从右往左依次入栈，
  2. call指令将返回地址入栈，用于指明当函数返回时下一条执行语句

参数传递

在32位的系统中，参数的传递是靠栈来进行的。

在X86-64架构中函数的参数是存储在寄存器中的，分别存储在di，si，dx，cx，r8,r9寄存器中。如果函数的参数大于6，超过的部分需要使用栈来进行传递

image-20240403211624970

局部变量

1
2
3
4
5
6
7
8
long caller() 
{ 
    long argl = 534; 
    long arg2 = 1057; 
    long sum= swap_add(&argl, &arg2); 
    long diff = argl -arg2; 
    return sum* diff; 
}

对应汇编代码

1
2
subq $16, %rsp 
movq $534, (%rsp)

创建局部变量