Linux Linker

文章原文：http://zhidao.baidu.com/link?url=U2Mtcc6BKi4vuQ1MO8U6s9gNm4y9Epphz03veA2lVpRWMozyVdj0PYvw1ZU9qj0WrHLKLnDiacDFcy9Req6CD1VKNrCnv3p6YFwyOXkVvWu

来自百度知道。

提炼一下：

1、模块在编译过程中就会生成符号表，符号表记录模块中的全局函数，全局变量。这些是可以给外部调用的，可以导出符号表。如何在本模块内没有定义，就将此符号定义为“未定义”。在链接阶段会在其他模块符号表中查找此符号。一个符号代表的是一个地址位置，但是相对位置，相对于本模块起始（本模块起始设置为0）。

2、链接器在链接过程中，会扫描各个模块的符号表，得到一个“全局符号表”，这样每一个符号都有一个地址对应。将各模块中符号引用的地方换成定义处的地址，这就叫符号解析。

3、程序的链接过程会整合各个模块的端，如按代码段、数据段、未初始化的数据段等重新组合。这里就会有一个问题，A.text中调用了B.text.Symbol1，因为重新组合而改变了位置，那么A.text中调用B.text.Symbol1的代码就得重改。这就是重定位。

4、静态库在链接时已经被组合到程序（如linux-elf文件）中。如A和B都用到静态库中的所有代码，那么A B的elf中都包含静态库代码。

5、动态库在加载的时候被搬到内存中，且存在被不同程序映射到不同地址空间的可能(如两个应用程序映射虚拟地址都是0~0x1000的反面情况)。那么在动态库中就不应该出现绝对地址引用，引入GOT技术。

新的知识点:程序编译生成符号表，符号与地址对应，链接中进行符号解析，然后再进行内存分配（按段重组），链接器再进行模块内未定义符号重定位。