阿龙的学习笔记---《程序员自我修养-链接、装载与库》读书笔记(二)

四、静态链接

• 首先放一个例子，从这里来看静态链接到底做什么。
  

• 1. 空间与地址的分配

  • 首先，对于两个目标文件，肯定要合并到一起，各个段合并在一起。一般链接器都会将不同目标文件的相同段放在一起。
  • 空间与地址的分配： 扫描输入目标文件，并且获得它们的各个段的长度、属性和位置，把不同符号表中的符号统一放到全局符号表。这一步中，链接器将能够获得所有输入目标文件的段长度，并且将它文件中各个段合并后的长度与位置，并建立映射关系。
  • 在完成这些之后，链接器计算符号的地址(虚拟地址)，因为地址分配完成了，各个符号在各个段内的位置固定了。

• 2.符号解析与重定位

  • 符号解析与重定位：使用上面第一步中收集到的所有信息，读取输入文件中段的数据、重定位信息，并且进行符号解析与重定位、调整代码中的地址等。事实上第二步是链接过程的核心，特别是重定位过程。
  • 来看上面的图片例子，在编译完成后，shared和swap()的地址在汇编代码中，都还是无意义的，需要将正确的替换，链接器会替换为刚才分配的正确地址。
  • 链接器如何知道哪些指令和变量需要被调整？从重定位表获取。也叫重定位段。比如.text段中需要重定位的入口会保存在.rel.text中
  • 符号解析：当找到重定位入口的符号时，我需要知道这个符号在哪，目标地址是多少。（假如链接时少了哪个库，则会报错“链接时符号未定义”。） 这时会去找全局符号表，找到后进行重定位。
  • 对于强符号、弱符号的解析问题，不展开了，有需要可以再搜一下，采用了COMMOM块的方法来解决。

• 静态库链接

  • 比如说Linux操作系统的一些输入输出就是系统API。LinuxC语言今天库libc。**静态库可以看做一堆目标文件的集合。**比如libc.a里面会有printf.o、stdio.o等。

• 链接过程可以通过ld链接脚本来控制，具体百度。