了解动态链接（四）—— 延迟绑定

ilocker：关注 Android 安全（新入行，0基础） QQ: 2597294287

基本思想是当函数第一次被调用时才进行绑定，所谓绑定就是符号查找和地址重定位。对于一些错误处理函数或不常用的功能函数，可能就避免了“绑定浪费”。采用延迟绑定，能加快程序的启动速度，特别有利于一些大型程序。

当函数第一次被调用时，由动态链接器完成地址绑定工作。他必须知道地址绑定发生在哪个模块的哪个函数，并且要有一个完成绑定工作的函数。

具体实现时，调用某个外部函数要先跳转到 PLT，再跳转到 GOT 得到外部函数地址。每个外部函数都在 PLT 表中有一个相应的项。比如：

1 bar@plt:
2   jmp *(bar@GOT)
3   push n
4   push moduleID
5   jump _dl_runtime_resolve

第一条指令跳转 bar@GOT，此时 bar@GOT 中保存的是上面代码中的第二条指令“push n”的地址，所以又跳转回来。两条 push 指令分别将符号在重定位表中的下标和模块 ID 入栈，然后调用动态链接器的 _dl_runtime_resolve 函数来完成符号查找和地址重定位，最后将 bar 函数的真正地址填入 bar@GOT。当再次调用 bar@plt 时，第一条 jmp 指令就可以经由 bar@GOT 直接跳转到 bar 函数，而无需再做重定位了。

在具体实现时，ELF 将保存外部函数地址的 GOT 剥离出来，放到 .got.plt 中。.got.plt 的前三项特殊：

• 第一项保存“.dynamic”的地址；
• 第二项保存本模块的 ID；
• 第三项保存 _dl_runtime_resolve 的地址

所以上面的 bar@plt 可以这样：

1 bar@plt:
2   jmp *(bar@GOT)
3   push n
4   push *(GOT + 4)
5   jump *(GOT + 8)

因为最后两条指令对于每个 plt 项都一样，为了避免代码重复，将这两条指令提出来，放到 PLT0。所以 bar@plt 实际上是这样：

1 PLT0：
2   push *(GOT + 4)
3   jump *(GOT + 8)
4   …
5 bar@plt:
6   jmp *(bar@GOT)
7   push n
8   jmp PLT0

学习资料： 《程序员的自我修养——链接、装载和库》