目标文件中有不同的段,主要有代码段,数据段,bss段(bss段为未初始化的变量预留了空间,记录了各变量所需的大小,但是在文件中是不占用大小的)。
在目标文件中与链接有关的就是重定位表(段)。对于每个需要重定位的代码段或数据段都会存在一个重定位表,如果代码段中有针对绝对地址的引用就会存在代码段重定位表——.rel.text,同样相对与数据段的重定位表——.rel.data。
与链接相关的另外一个要素就是——符号(函数签名就是一种为了防止符号冲突的符号)。每一个目标文件都会有一个相应的符号表(Symbol Table),这个表里面记录了目标文件中所用到的所有符号。每个定义的符号都有一个对应的值,叫做符号值,对于变量和函数来说符号值就是它们的地址。
链接有两个步骤:
第一步:空间与地址分配
扫描所有的输入目标文件,获得它们的各个段的长度、属性和位置,并且将输入目标文件中的符号表中所有的符号定义和符号引用收集起来,统一放到一个全局符号表。
第二步:符号解析与重定位
使用上面第一步中收集到的所有信息,读取输入文件中段的数据、重定位信息,并且进行符号解析与重定位、调整代码中的地址等。事实上第二步是链接过程的核心,特别是重定位过程。