汇编堆栈平衡的几种方式

堆栈平衡

任何程序在运行过程中都需要使用堆栈，操作系统为每一个程序（进程及线程）设置一个堆栈。在使用高级语言编程时，源程序中使用的函数调用、局部变量都要用到堆栈，由编译器来负责生成有关的机器指令。我的理解，堆栈就是维护当前线程中运行状态的一个数据结构，这种状态包括：需要传递的变量，函数的返回地址，局部变量等等。

与堆栈相关的 3 个寄存器是：SS, ESP, EBP。

ESP 寄存器中的内容作为堆栈的当前指针。PUSH, POP, CALL, RET 等指令都与堆栈有关，使用 SS:ESP 指向堆栈单元。

EBP 寄存器中的内容作为堆栈的“基准”指针。SS:EBP 指向的地址作为基准地址。在函数（子程序）内部，可以使用 [EBP+立即数] 的形式来取得主程序传递的参数，使用 [EBP-立即数] 的形式来访问局部变量。

从上述的描述可以看出，整个堆栈的是一个经典的先入后出的栈结构，在栈中还存在着“栈帧”这样的结构，用来表示当前函数运行的环境，里面存放着当前函数的局部变量，所需的返回地址。栈帧由 EBP 所指出，EBP 和 ESP 之间即为当前函数帧，调用函数和被调用函数的栈帧是相邻存放，这样即可通过 EBP加减固定的数，来获取主调函数所传递的函数参数。

上述的堆栈结构如下：

堆栈是经过精心设计的结构，使得编程人员能够方便的设计函数来实现结构化设计，高级语言也得益于这种结构，c 语言基本上就是汇编的一种简单的翻译。这里要强调的是，在用汇编写程序的时候，完全可以不按这种结构来设计，比如参数我们可以放到指定的内存区，被调用的函数到指定的内存区去取出传递给它的参数；也可以让函数参数全部通过寄存器来传送，尤其是在 ARM 这种寄存器特别多，而且每个寄存器的地位都相同的处理器之中。之所以要设计出堆栈，就是为了能够以统一的方式来编写程序。

对于 c 语言，函数有好几种调用规则。最常见的是两种，cdecl 方式和 stdcall 方式。

Cdecl 方式

（1）使用堆栈传递参数

（2）主程序按从右向左的顺序将参数逐个压栈，最后一个参数先入栈。每一个参数压栈一次。

（3）在子程序中，使用 [EBP+X] 的方式来访问参数。X=8 代表第 1 个参数；X=12 代表第二个参数，依次类推

（4）子程序用 RET 指令返回。

（5）由主程序执行“ADD ESP, n”指令调整 ESP，达到堆栈平衡。

（6）一般返回值放在 EAX 中

Stdcall 方式

与Cdecl的不同是，堆栈的平衡不是由主程序完成，而是由子程序通过调用“RET n”指令主动平衡。

这些调用规则，都是针对 c 语言来说的，在 c 语言和汇编需要互相调用的情况；c 语言编写的不通的二进制函数库之间，都要注意函数的调用规则。

下面举一个普通的例子

[plain] view plain copy

1. AddProc1    proc   ; cdecl方式  
2.     push    ebp    ; 记下上一个栈帧地址  
3.     mov     ebp, esp  
4.     mov     eax, dword ptr [ptr+8]  ; 取第一个参数   
5.     add     eax, dword ptr [ptr+12] ; 取第二个参数  
6.     pop     ebp    ; 恢复栈帧为调用者，但这时候堆栈还未平衡  
7.     ret  
8. AddProc1    endp  
9. AddProc2    proc   ; stdcall  
10.     push    ebp  
11.     mov     ebp, esp  
12.     mov     eax, dword ptr [ptr+8]  
13.     add     eax, dword ptr [ptr+12]  
14.     pop     ebp  
15.     ret     8    ; 和前面一样，唯一不同是，直接由子程序恢复堆栈，8 正好是两个参数的长度  
16. AddProc2    endp  
17. start:  
18.     push    20  
19.     push    10  
20.     call    AddProc1  
21.     add     esp, 8   ; 由主调函数恢复堆栈  
22.     push    50  
23.     push    60  
24.     call    AddProc2  
25.     ret  
26. end start  

相关阅读

Java程序运行堆栈原理

Java程序运行原理分析 Java程序运行流程 Java程序运行原理分析----环境介绍 从最初的jdk安装开始，都是程序运行的关键步骤，每

【汇编】堆栈和画堆栈图

        根据咱们学汇编的经验呀，汇编用的最多的是寄存器和内存之间的不断相互传值传地址，井然有序。        然而，你知道

JAVA堆栈

转自：https://blog.csdn.net/lk274857347/article/details/77512555基本概念1.寄存器：最快的存储区, 由编译器根据需求进行分配,我

【干货】堆栈溢出一般是什么原因?

堆栈是一个在计算机科学中经常使用的抽象数据类型。堆栈中的物体具有一个特性： 最后一个放入堆栈中的物体总是被最先拿出来， 这个特

Java堆栈简介

JAVA在程序运行时，在内存中划分5片空间进行数据的存储。分别是：1：寄存器。2：本地方法区。3：方法区。4：栈。5：堆。基本，栈stack和堆heap这