动态符号链接细节.pdfVIP

动态符号链接的细节 动态符号链接的细节 前⾔ 基本概念 ELF 符号 重定位：是将符号引⽤与符号定义进⾏链接的过程 动态链接 动态链接库 动态链接器 （dynamic linker/loader ） 过程链接 （plt ） 全局偏移 （got ） 重定位 动态链接库的创建和调⽤ 创建动态链接库 隐式使⽤该库 显式使⽤库 动态链接过程 参考资料 前⾔ Linux ⽀持动态链接库，不仅节省了磁盘、内存空间，⽽且可以提⾼程序运⾏效率。 不过引⼊动态链接库也可能会带来很多问题，例如动态链接库的调试、升级更新和潜 在的安全威胁[1], [2] 。这⾥主要讨论符号的动态链接过程，即程序在执⾏过程中，对 其中包含的⼀些未确定地址的符号进⾏重定位的过程[1], [2] 。 本篇主要参考资料[3]和[8] ，前者侧重实践，后者侧重原理，把两者结合起来就⽅便理 解程序的动态链接过程了。另外，动态链接库的创建、使⽤以及调⽤动态链接库的部 分参考了资料[1], [2] 。 下⾯先来看看⼏个基本概念，接着就介绍动态链接库的创建、隐式和显⽰调⽤，最后 介绍符号的动态链接细节。 基本概念 ELF ELF 是 Linux ⽀持的⼀种程序⽂件格式，本⾝包含重定位、执⾏、共享 （动态链接 库）三种类型 （man elf）。 代码： /* test.c */ #include stdio.h int global = 0; int main() char local = A ; printf(local = %c, global = %d\n, local, global); return 0; } 演⽰： 通过 -c ⽣成可重定位⽂件 test.o，这⾥不会进⾏链接： $ gcc -c test.c $ file test.o test.o: ELF 32-bit LSB relocatable, Intel 80386, version 1 (SYSV), 链接后才可以执⾏： $ gcc -o test test.o $ file test test: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dy 也可链接成动态链接库，不过⼀般不会把 main 函数链接成动态链接库，后⾯再介 绍： $ gcc -fpic -shared -Wl,-soname,libtest.so.0 -o libtest.so.0.0 tes $ file libtest.so.0.0 libtest.so.0.0: ELF 32-bit LSB shared object, Intel 80386, version 虽然 ELF ⽂件本⾝就⽀持三种不同的类型，不过它有⼀个统⼀的结构。这个结构是： ⽂件头部(ELF Header) 程序头部表(Program Header Table) 节区1(Section1) 节区2(Section2) 节区3(Section3) ... 节区头部表(Section Header Table) ⽆论是⽂件头部、程序头部 、节区头部 ，还是节区，它们都对应着 C 语⾔⾥头的 ⼀些结构体 （elf.h 中定义）。⽂件头部主要描述 ELF ⽂件的类型，⼤⼩，运⾏平 台，以及和程序头部 和节区头部 相关的信息。节区头部 则⽤于可重定位⽂件， 以便描述各个节区的信息，这些信息包括节区的名字、类型、⼤⼩等。程序头部 则 ⽤于描述可执⾏⽂件或者动态链接库，以便系统加载和执⾏它们。⽽节区主要存放各 种特定类型的信息，⽐如程序的正⽂区 （代码）、数据区 （初始化和未初始化的数 据）、调试信息、以及⽤于动态链接的⼀些节区，⽐如解释器 （.interp）节区将指 定程序动态装载 / 链接器 ld-linux .so 的位置，⽽过程链接 （