函数调用堆栈详解

出处已不可考，来自网络。

这篇blog试图讲明当一个c函数被调用时，一个 栈帧(stack frame)是如何被建立，又如何被消除的。这些细节跟操作系统平台及编译器的实现有关，下面的描述是针对运行在Intel奔腾芯片上Linux的gcc编译器而言。c语言的标准并没有描述实现的方式，所以，不同的编译器，处理器，操作系统都可能有自己的建立栈帧的方式。

 

一个典型的栈帧

 

      ESP==>|           :             |
            |           .             |
            +-------------------------+
            | 被调用者保存的寄存器现场   |
            | EBX，ESI和EDI（根据需要） |
            +-------------------------+
            |  临时空间                |
            +-------------------------+
            |  局部变量#2              | [EBP - 8]
            +-------------------------+
            |  局部变量#1              | [EBP - 4]
            +-------------------------+
      EBP==>|  调用者的EBP             |
            +-------------------------+
            |  返回地址                |
            +-------------------------+
            |  实际参数#1              | [EBP + 8]
            +-------------------------+
            |  实际参数#2              | [EBP + 12]
            +-------------------------+
            |  实际参数#3              | [EBP + 16]
            +-------------------------+
            |  调用者保存的寄存器现场    |
            |  EAX，ECX和EDX（根据需要）|
            +-------------------------+
            |            :            |
            |            .            |
      
                     图 1     

图1是一个典型的栈帧，图中，栈顶在上，地址空间往下增长。
这是如下一个函数调用时的栈的内容：
int foo(int arg1, int arg2, int arg3);

并且，foo有两个局部的int变量（4个字节）。在这个简化的场景中，main调用foo，而程序的控制仍在foo中。这里，main是调用者（caller），foo是被调用者（callee）。
ESP被foo使用来指示栈顶。EBP相当于一个“基准指针”。从main传递到foo的参数以及foo本身的局部变量都可以通过这个基准指针为参考，加上偏移量找到。
由于被调用者允许使用EAX，ECX和EDX寄存器，所以如果调用者希望保存这些寄存器的值，就必须在调用子函数之前显式地把他们保存在栈中。另一方面， 如果除了上面提到的几个寄存器，被调用者还想使用别的寄存器，比如EBX，ESI和EDI，那么，被调用者就必须在栈中保存这些被额外使用的寄存器，并在 调用返回前回复他们。也就是说，如果被调用者只使用约定的EAX，ECX和EDX寄存器，他们由调用者负责保存并回复，但如果被调用这还额外使用了别的寄 存器，则必须有他们自己保存并回复这些寄存器的值。
传递给foo的参数被压到栈中，最后一个参数先进栈，所以第一个参数是位于栈顶的。foo中声明的局部变量以及函数执行过程中需要用到的一些临时变量也都存在栈中。
小于等于4个字节的返回值会被保存到EAX中，如果大于4字节，小于8字节，那么EDX也会被用来保存返回值。如果返回值占用的空间还要大，那么调用者会向被调用者传递一个额外的参数，这个额外的参数指向将要保存返回值的地址。用C语言来说，就是函数调用：
 x = foo(a, b, c);
被转化为：
 foo(&x, a, b, c);
注意，这仅仅在返回值占用大于8个字节时才发生。有的编译器不用EDX保存返回值，所以当返回值大于4个字节时，就用这种转换。
当然，并不是所有函数调用都直接赋值给一个变量，还可能是直接参与到某个表达式的计算中，如：
    m = foo(a, b, c) + foo(d, e, f);
有或者作为另外的函数的参数， 如：
 fooo(foo(a, b, c), 3);
这些情况下，foo的返回值会被保存在一个临时变量中参加后续的运算，所以，foo(a, b, c)还是可以被转化成foo(&tmp, a, b, c)。

 

让我们一步步地看一下在c函数调用过程中，一个栈帧是如何建立及消除的。

 

函数调用前调用者的动作

 

在我们的例子中，调用者是main，它准备调用函数foo。在函数调用前，main正在用ESP和EBP寄存器指示它自己的栈帧。
首先，main把EAX，ECX和EDX压栈。这是一个可选的步骤，只在这三个寄存器内容需要保留的时候执行此步骤。
接着，main把传递给foo的参数一一进栈，最后的参数最先进栈。例如，我们的函数调用是：
 a = foo(12, 15, 18);
相应的汇编语言指令是：
 push dword 18
 push dword 15
 push dword 12
最后，main用call指令调用子函数：
 call foo
当call指令执行的时候，EIP指令指针寄存器的内容被压入栈中。因为EIP寄存器是指向main中的下一条指令，所以现在返回地址就在栈顶了。在call指令执行完之后，下一个执行周期将从名为foo的标记处开始。
图2展示了call指令完成后栈的内容。图2及后续图中的 粗线指示了函数调用前栈顶的位置。我们将会看到，当整个函数调用过程结束后，栈顶又回到了这个位置。

            |                         |
            +-------------------------+
      ESP==>| 返回地址                 |
            +-------------------------+
            | 实际参数#1 = 12          | 
            +-------------------------+
            | 实际参数#2 = 15          | 
            +-------------------------+
            | 实际参数#3 = 18          | 
            +-------------------------+
            | 调用者保存的寄存器现场     |
            |EAX，ECX和EDX（根据需要）  |
            +=========================+
            |            :            |
      EBP==>|            .            |
      
              图 2
              
被调用者在函数调用后的动作

 

当函数foo，也就是被调用者取得程序的控制权，它 必须做3件事：建立它自己的栈帧，为局部变量分配空间，最后，如果需要，保存寄存器EBX，ESI和EDI的值。
首先foo必须建立它自己的栈帧。EBP寄存器现在正指向main的栈帧中的某个位置，这个值必须被保留，因此，EBP进栈。然后ESP的内容赋值给了 EBP。这使得函数的参数可以通过对EBP附加一个偏移量得到，而栈寄存器ESP便可以空出来做其他事情。如此一来，几乎所有的c函数都由如下两个指令开 始：
 push ebp
 mov ebp, esp
此时的栈入图3所示。在这个场景中，第一个参数的地址是EBP加8，因为main的EBP和返回地址各在栈中占了4个字节。
            |                         |
            +-------------------------+
  ESP=EBP==>| main的EBP               |
            +-------------------------+
            | 返回地址                 |
            +-------------------------+
            | 实际参数#1 = 12          | [EBP + 8]
            +-------------------------+
            | 实际参数#2 = 15          | [EBP + 12]
            +-------------------------+
            | 实际参数#3 = 18          | [EBP + 16]
            +-------------------------+
            | 调用者保存的寄存器现场     |
            |EAX，ECX和EDX（根据需要）  |
            +=========================+
            |            :            |
            
                  图 3

 

下一步，foo必须为它的局部变量分配空间，同时，也必须为它可能用到的一些临时变量分配 空间。比如，foo中的一些C语句可能包括复杂的表达式，其子表达式的中间值就必须得有地方存放。这些存放中间值的地方同城被称为临时的，因为他们可以为 下一个复杂表达式所复用。为说明方便，我们假设我们的foo中有两个int类型（每个4字节）的局部变量，需要额外的12字节的临时存储空间。简单地把栈 指针减去20便为这20个字节分配了空间：
 sub esp, 20
现在，局部变量和临时存储都可以通过基准指针EBP加偏移量找到了。
最后，如果foo用到EBX，ESI和EDI寄存器，则它f必须在栈里保存它们。结果，现在的栈如图4所示。

 

            |           ：            |
            +-------------------------+
      ESP==>|被调用者保存的寄存器现场    |
            |EBX，ESI和EDI（根据需要）  |
            +-------------------------+
            | 临时空间                 | [EBP - 20]
            |                         |
            +-------------------------+
            | 局部变量#2               | [EBP - 8]
            +-------------------------+
            | 局部变量#1               | [EBP - 4]
            +-------------------------+
      EBP==>| main的EBP               |
            +-------------------------+
            | 返回地址                 |
            +-------------------------+
            | 实际参数#1               | [EBP + 8]
            +-------------------------+
            | 实际参数#2               | [EBP + 12]
            +-------------------------+
            | 实际参数#3               | [EBP + 16]
            +-------------------------+
            | 调用者保存的寄存器现场     |
            |EAX，ECX和EDX（根据需要）  |
            +=========================+
            |            :            |

 

                 图 4

 

foo的函数体现在可以执行了。这其中也许有进栈、出栈的动作，栈指针ESP也会上下移动，但EBP是保持不变的。这意味着我们可以一直用[EBP+8]找到第一个参数，而不管在函数中有多少进出栈的动作。
函数foo的执行也许还会调用别的函数，甚至递归地调用foo本身。然而，只要EBP寄存器在这些子调用返回时被恢复，就可以继续用EBP加上偏移量的方式访问实际参数，局部变量和临时存储。

 

被调用者返回前的动作       

 

在把程序控制权返还给调用者前，被调用者foo必须先把返回值保存在EAX寄存器中。我们 前面已经讨论过，当返回值占用多于4个或8个字节时，接收返回值的变量地址会作为一个额外的指针参数被传到函数中，而函数本身就不需要返回值了。这种情况 下，被调用者直接通过内存拷贝把返回值直接拷贝到接收地址，从而省去了一次通过栈的中转拷贝。
其次，foo必须恢复EBX，ESI和EDI寄存器的值。如果这些寄存器被修改，正如我们前面所说，我们会在foo执行开始时把它们的原始值压入栈中。如 果ESP寄存器指向如图4所示的正确位置，寄存器的原始值就可以出栈并恢复。可见，在foo函数的执行过程中正确地跟踪ESP是多么的重要————也就是 说，进栈和出栈操作的次数必须保持平衡。
这两步之后，我们不再需要foo的局部变量和临时存储了，我们可以通过下面的指令消除栈帧：
 mov esp, ebp
 pop ebp
其结果就是现在栈里的内容跟图2中所示的栈完全一样。现在可以执行返回指令了。从栈里弹出返回地址，赋值给EIP寄存器。栈如图5所示：

 

            |                         |
            +-------------------------+
      ESP==>| 实际参数#1               |
            +-------------------------+
            | 实际参数#2               |
            +-------------------------+
            | 实际参数#3               |
            +-------------------------+
            | 调用者保存的寄存器现场     |
            |EAX，ECX和EDX（根据需要）  |
            +=========================+
            |            :            |
      EBP==>|            .            |
      
                         图 5
                 
i386指令集有一条“leave”指令，它与上面提到的mov和pop指令所作的动作完全相同。所以，C函数通常以这样的指令结束：
 leave
 ret
 
调用者在返回后的动作

 

在程序控制权返回到调用者（也就是我们例子中的main）后，栈如图5所示。这时，传递给foo的参数通常已经不需要了。我们可以把3个参数一起弹出栈，这可以通过把栈指针加12（=3个4字节）实现：
 add esp, 12
如果在函数调用前，EAX，ECX和EDX寄存器的值被保存在栈中，调用者main函数现在可以把它们弹出。这个动作之后，栈顶就回到了我们开始整个函数调用过程前的位置，也就是图5中粗线的位置。