从汇编角度窥探方法调用的本质

本篇是从OC的代码角度,打断点调试汇编的(说明一下:此处使用的是模拟器,故为AT&T汇编,与真机设备的ARM汇编还是有些许差别的)。其实其他语言的汇编指令基本一样,含义也都是相通的,可能具体表达上有细微差别,但并不影响看代码本质。

先上OC源码:

image.png

断点打好后,哥们儿Run一下,不出意外就卡在断点了(呵、废话...)
打开debug -> debug workflow -> always show disassembly

image.png

断点的地方其实是在传递参数,看不懂没关系,圈出来的0x1和0x2总能看出来吧,是传入test方法的两个参数。call看注释也知道,是调用test函数。
调试窗口敲si,单步执行汇编指令(敲三下,进入第10行跳转到test函数对应的汇编)这下我把逐行注释标下,其实里面开头和结尾的某些指令和上面的main函数里是一样的,本质含义也是相同的,其实也就是方法调用的本质,可以理解成函数调用的固定模式😝

image.png

你想想,函数调用的本质有哪些东西?不外乎就是返回值、参数、局部变量嘛。其实从专业的角度的来说,通常我们用栈帧来描述一个函数执行的环境。

其实,到这里并未分析完全,因为如果test函数内部调用了另外一个函数aaa,就会发现有点不一样的地方。多了圈出来的三行。

image.png

整一个内存的流程下来,应该是这样的⏬

函数调用流程:
1、将参数传递到寄存器
常用的保存参数的寄存器有:rdi, rsi, rdx, rcx, r8, r9, r10等
2、调用call的时候,默认会将下一条指令的地址入栈 即push 函数的返回地址
3、push rbp (保留rbp之前的值,方便以后恢复)
4、mov rsp, rbp (保留rsp之前的值,方便以后恢复)
5、sub 空间大小, rsp (分配空间给局部变量)
6、保护可能要用到的寄存器
7、使用CC(int 3)填充局部变量的空间
8、----- 执行具体的业务代码逻辑 -----
9、恢复寄存器之前的值
10、add 空间大小, rsp (恢复rsp之前的值)
11、pop rbp (恢复rbp之前的值)
12、ret (将函数的返回地址出栈,执行下一条指令)
13、add rsp, 参数所占字节 (恢复栈平衡)

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 1. 汇编寄存器调用约定 1.1 汇编101 看看下面的汇编片段: 在这段汇编代码中有三个操作码pushq、sub...
    收纳箱阅读 7,586评论 3 1
  • 看完这篇汇编你就知道我有多会编   序 作为iOS开发,程序崩溃犹如家常便饭,秉着没有崩溃也要制造崩溃的原则 我每...
    overla5阅读 4,359评论 1 4
  • 由于不是科班出生,又是自学开发,对很多方面的知识都是只知其然而不知其所以然。加上最近公司事情不多,刚好乘此机会把长...
    寒咯阅读 14,470评论 3 8
  • 汇编基础 一、程序的本质 1. 程序的执行过程 如下图所示,执行软件的时候,会将软件从硬盘装载到内存中,然后由C...
    冰风v落叶阅读 6,046评论 0 6
  • 文丨召南梅 毕业不代表失业,是另一个人生的开始 初走出大学校园的应届生,除了要面对找工作的烦恼外,还要疲于推掉各路...
    召南梅阅读 780评论 0 1