栈、栈帧与函数调用
Last updated
Was this helpful?
Last updated
Was this helpful?
栈是一个先入后出队列。关于算法栈，请自行搜索或参考： 。 在操作系统中，一般用栈来保存函数的状态和局部变量。
Linux的栈位于程序内存空间的末端，从高地址向低地址增长。 在x86架构中，使用esp寄存器指向栈顶的内存地址；在x64架构中，使用rsp寄存器指向栈顶。一般可以简称为sp。
栈帧是指函数在被调用时，所拥有的一块独立的用于存放函数所使用的状态和变量的栈空间。
每个函数都对应有一个栈帧。同一个函数多次进入，每次可能会分配到不同的栈帧。整个栈的内容在同一个时刻可以看作是由许多栈帧依序“堆叠”组成的。
对于一个运行中的函数，其使用的栈帧区域被sp和bp寄存器限定（对于x86，sp等价esp，bp等价rsp；对于x64，sp等价rsp，bp等价rbp）。bp指向栈帧的底部，sp指向栈帧的顶部。
（图片来源：）
在函数中使用的所有变量（本地变量、实参），一般使用bp定位。设N为整型字节数，bp+2N是第一个实参的地址，bp-N是第一个本地变量的地址。
一个函数调用，一般需要以下步骤
保存函数的实参
保存子函数结束后，需要返回的地址（返回到哪里）
保存父函数的栈帧信息
在栈上开辟空间供局部变量使用
执行函数实现的功能
释放局部变量使用的空间
根据保存的父函数栈帧信息，恢复父函数栈帧
根据保存的返回地址，恢复父函数执行流，一般是函数调用指令后的下一条指令
共有多种函数调用方式，这里介绍一种：stdcall。stdcall是标准调用约定，还有其他调用约定：cdecl、PASCAL、fastcall、thiscall，可以自行搜索。
在stdcall中，调用一个函数func(a,b,c)会有一些比较固定的代码（x86架构）。
父函数调用时，会把参数从右至左入栈，实现保存函数实参的功能：
然后执行call指令：
这里call指令内部实际上做了两个工作，一个是将这个call指令的下一条语句入栈，实现返回地址的保存。然后把执行流跳转到函数里。所以一个call指令从功能上可以拆分为以下两个指令：
执行流到了func函数内部，会先进行父函数栈帧信息的保存。此时esp和ebp依然维持父函数的栈帧。 当前子函数所有的栈中变量被释放后，esp会回到函数调用前的状态，因此无需保存esp，只要保存ebp的信息即可。
此时，子函数的栈帧底部变到esp处：
栈帧底部设置完毕后，可以为局部变量开辟空间，这里开辟了一个32（0x20）字节的栈空间：
注意栈是从高地址到低地址增长的，故这里做减法。
然后就可以开始进行函数的操作，通过ebp定位函数的参数和局部变量空间，并将函数返回值放在eax寄存器中。
在函数的功能代码全部执行完毕后，释放之前开辟的栈空间：
此时esp恢复到压入ebp之后的状态，这时栈顶为父函数的ebp值，可以依据这个信息恢复父函数的ebp，进而恢复栈帧：
当前栈顶为返回地址，这时父函数的栈信息已经恢复，只要根据这个返回地址更改执行流，回到父函数call func指令的下一条指令即可。
至此，一个函数的调用流程结束，栈的状态和调用前完全一致，子函数的返回值被存在eax寄存器中。
