汇编过程调用是怎样操作栈的？ 第1页
1
bei-ji-85 网友的相关建议:
书里应该要表达的是stack frame的意思吧？
x86/x64里面，stack frame就是根据当前的ebp能反推出整个调用栈。
ebp esp eip的几个特性：
1. 主流编译器在函数调用的caller里，执行call指令会让eip入栈；
2. 被调函数(callee)里头两句一定是：
push ebp
mov ebp, esp
最后一句一定是：
mov esp, ebp
pop ebp
3. ebp在函数内部是不会改变的，入栈出栈动作只改变esp，于是通过ebp就能反推出整个调用栈了。
反推栈帧的方法：
当前的ebp就是当前函数入口时的esp；
入口时的[esp-4]就是前一个函数的ebp；
入口时的[esp-8]就是前一个函数的eip值；
拿到前一个函数的ebp值继续反推就能获得整个调用栈的ebp esp eip，这就是stack frame。
如果是64位：
寄存器换成rip rbp rsp，栈指针一次减8；
其它方面：
1. 基本没有far call（系统调用、中断除外），所以，栈上一般只有IP，没有CS；
2. 32位多数情况下参数用栈传输，64位下是用寄存器的更多，具体要看编译器；
3. enter和leave指令等效于push ebp; mov ebp, esp和mov esp, ebp; pop ebp；
---------------------------------
实例：
函数调用up_align_to -> align_to，汇编为VS2008
size_t up_align_to(size_t val, size_t align) { 011914B0 55 push ebp 011914B1 8B EC mov ebp,esp 011914B3 81 EC C0 00 00 00 sub esp,0C0h 011914B9 53 push ebx 011914BA 56 push esi 011914BB 57 push edi 011914BC 8D BD 40 FF FF FF lea edi,[ebp-0C0h] 011914C2 B9 30 00 00 00 mov ecx,30h 011914C7 B8 CC CC CC CC mov eax,0CCCCCCCCh 011914CC F3 AB rep stos dword ptr es:[edi] return align_to(val, align, 1); 011914CE 6A 01 push 1 //参数3 011914D0 8B 45 0C mov eax,dword ptr [align] 011914D3 50 push eax //参数2 011914D4 8B 4D 08 mov ecx,dword ptr [val] 011914D7 51 push ecx //参数1 011914D8 E8 08 FD FF FF call align_to (11911E5h) //函数调用 011914DD 83 C4 0C add esp,0Ch } 011914E0 5F pop edi 011914E1 5E pop esi 011914E2 5B pop ebx 011914E3 81 C4 C0 00 00 00 add esp,0C0h 011914E9 3B EC cmp ebp,esp 011914EB E8 73 FC FF FF call @ILT+350(__RTC_CheckEsp) (1191163h) 011914F0 8B E5 mov esp,ebp 011914F2 5D pop ebp 011914F3 C3 ret size_t align_to(size_t val, size_t align, int is_up) { 01191420 55 push ebp //保存ebp 01191421 8B EC mov ebp,esp //保存esp 01191423 81 EC C0 00 00 00 sub esp,0C0h 01191429 53 push ebx 0119142A 56 push esi 0119142B 57 push edi 0119142C 8D BD 40 FF FF FF lea edi,[ebp-0C0h] 01191432 B9 30 00 00 00 mov ecx,30h 01191437 B8 CC CC CC CC mov eax,0CCCCCCCCh 0119143C F3 AB rep stos dword ptr es:[edi] if (val % align == 0) 执行到参数3以后
[栈上其它数据] [参数3] [] <-esp，ebp为up_align_to入口时的esp值 执行到参数2以后
[栈上其它数据] [参数3] [参数2] [] <-esp，ebp为up_align_to入口时的esp值 执行到参数1以后
[栈上其它数据] [参数3] [参数2] [参数1] [] <-esp，ebp为up_align_to入口时的esp值 执行CALL以后
[栈上其它数据] [参数3] [参数2] [参数1] [eip] [] <-esp，ebp为up_align_to入口时的esp值 执行到保存ebp以后
[栈上其它数据] [参数3] [参数2] [参数1] [eip] [ebp] [] <-esp，ebp为up_align_to入口时的esp值 执行到保存esp以后
[栈上其它数据] [参数3] [参数2] [参数1] [eip] [ebp] [] <-esp，ebp为align_to入口时的esp值 [ebp-4]就是up_align_to入口时的esp值
[ebp-8]就是call指令后面的地址（011914DD）
[[ebp-4]-4]是上上个调用函数入口时的esp值
[[ebp-4]-8]是上上个调用函数call后边的地址
所以，求stack frame只要递归求[ebp-4]就行了，每个ebp-4挨着的就是eip
1
相关话题
为什么国外一些常见问答网站的地址栏中常常就给出了问题题目，相对于像国内一样使用ID来标记而言好在哪里？高考录到北邮计算机，四年怎么做才能年薪百万?
C#的Lambda表达式捕获变量疑问？
Diffie-Hellman密码交换是如何运作的？
微软的编程处于什么样的水平？
数学/算法：正方形内有5个点，为什么最近点对的距离小于边长？
全世界有上千种编程语言，为什么程序员都只学习那几个主流语言?
天天写业务代码的程序员，怎么成为技术大牛，开始写技术代码？
感觉算法在程序员中快被吹上天了，如果只是搞编程的话，是不是没必要死磕算法？
c语言程序经过编译后，每条指令都有一个内存地址，那两个程序如果有相同内存地址的指令怎么办?
下一个讨论
相关的话题
未来编程会不会成为一个人人都有的能力，从而程序员的高薪不再？为什么大部分码农做不了软件架构师？
如果你是一个C++面试官，你会问哪些问题？
为什么 Java 份额那么高，在知乎的存在感却不如 Python？
为什么使用virtual关键字在C++与C#会出现不同的效果？求解答。
C/C++ 小括号中为何不能声明变量的同时对其赋值？
有没有一进制？一进制下1+1=几？
如何看待JetBrains 遭美国调查？
Rust 语言现在什么情况，为什么知乎上不怎么讨论Rust语言了呢？
学计算机的男生发这个给我看是什么意思？
喜欢编程而又干着程序员的工作是一种什么样的体验？
程序员能 20 分钟徒手写出一个没 bug 的 KMP 算法吗？（可以调试）
技术发展是否也是一种原罪？
徒手码一千行以上代码是一种怎样的体验？
作为一个程序员，你的桌子上都有些什么？
野指针危害真的很大吗？
为什么有一些程序员认为开源有助于发现软件中的缺陷？
编程该怎么学下去(C#)？
计算机硕士不会编程怎么找工作?
为什么苹果在各个方面都要另立门户？
想学习编写游戏应该选什么专业？
如何巧妙地向没有学过编程语言的同志们解释“空格也是字符”？
真正热爱是什么感觉？
怎么看c#排行飙这么高？
后端开发除了增删改查还有什么？
低代码开发以后有前景么？会不会最后一地鸡毛？
大型项目中面向过程思想 vs 面向对象思想，哪种开发效率更高？
汇编下call和ret指令是否有内存屏障的作用？
Java为什么选择interface来作为"接口"这个功能的关键字？
仅仅从好玩程度考虑，做编译器或操作系统哪个更有趣味？