转载

Mach-O 的动态链接（Lazy Bind 机制）

如需转载请联系听云College团队成员小尹邮箱：yinhy#tingyun.com

动态链接

要解决空间浪费和更新困难这两个问题最简单的方法就是把程序的模块相互分割开来，形成独立的文件，而不再将它们静态的链接在一起。简单地讲，就是不对那些组成程序的目标文件进行链接，等到程序要运行时才进行链接。也就是说，把链接过程推迟到了运行时再进行，这就是 _动态链接（Dynamic Linking）_的思想。

延迟绑定（PLT）

动态链接比静态链接性能低，主要原因是动态链接下对于全局和静态的数据访问都要进行复杂的GOT定位，间接寻址；对于模块间的调用也要先定位GOT，间接跳转，程序的运行速度一定会减慢。另外因为动态链接是在运行时完成链接的工作：在程序开始执行时，动态链接器都要进行一次链接工作，动态链接器会 search 并 load 所需要的共享对象，然后进行符号查询地址重定位，这一系列动作会减慢程序的启动速度。

PLT 就是为了优化动态链接性能而存在，基本思想就是当函数第一次被调用到时才进行绑定（符号查找，重定位），如果没有用到则不进行 bind。这样在程序执行时，模块间的函数调用都没有进行 bind ，而是需要调用时才由动态链接器来负责 bind 。这样可以加速程序的启动速度。

Mach-O Lazy Bind

Mach-O 文件通过dyld 加载的时候并没有确定每一个函数的具体地址在哪里，而是在真正调用该函数的时候通过过程链接表（procedure linkage table），简称 PLT，来进行一次lazybind。

结合Mach-O 文件的分析与代码的调试简单的分析一下。

源代码如下：

Mach-O 的动态链接（Lazy Bind 机制）

分别在两个printf函数处下断点。

第一个调用printf函数

Mach-O 的动态链接（Lazy Bind 机制）

在0x100000f52 /<+34/>行处通过callq 0x100000f76 来调用printf。

执行calls指令之后代码跳转到这里：

Mach-O 的动态链接（Lazy Bind 机制）

这里的jmpq 要跳转到 0x0000000100000F8C ，这个地址是从 —Data , —la-symbol-ptr 中的Lazy Symbol Pointers 中获取到的。

Mach-O 的动态链接（Lazy Bind 机制）

通过lldb 的命令查看 0x100001010处的地址获取了同样的值。

通过—stub—helper进行lazybind

在Mach-O 中每一个Symbol Stub 可能有以下两种行为其中之一：跳转到函数的指令，执行函数体，通过动态动态库链接器查找函数的Symbol，然后执行函数体

查看 —stubs的Section 数据，发现只有一个函数就是 printf

Mach-O 的动态链接（Lazy Bind 机制）

这里的Data 其实就是上面看到的 jmpq 的代码。执行之后代码跳转到了这样的代码片段。

Mach-O 的动态链接（Lazy Bind 机制）

这里就是通过 —stub-helper来调用 dyld-stubbinder函数来计算printf 函数的真是地址。通过下面的信息可以看出来，jmpq 0x100000f7c ,就是在压如入参数0x0 （函数的link 的时候给的编号）之后跳转到Section的起始处，调用 binder（一段汇编代码，作用就是计算具体的函数地址，并调用printf 函数）

Mach-O 的动态链接（Lazy Bind 机制）