Contents

链接

链接 ¶

链接(linking)是将各种代码和数据部分收集起来并组合成为一个单一文件的过程，这个文件可被加载到存储器并执行。链接可以执行于编译时(compile time)，也可以执行于加载时(load time)，甚至执行于运行时(run time)。

链接器在软件开发中扮演着一个关键的角色，因为它们使得分离编译(separate compilation)成为可能。

编译器驱动程序 ¶

大多数编译系统提供编译驱动程序（compiler driver），为用户根据需求调用语言预处理器、编译器、汇编器和链接器。

静态链接 ¶

以一组可重定位目标文件和命令行参数作为输入，生成一个完全链接的可以加载和运行的可执行目标文件作为输出。

为了创建可执行文件，链接器必须完成两个主要任务：

符号解析（symbol resolution），将一个符号引用和一个符号定义结合起来。
重定位（relocation），编译器和汇编器生成从地址 0 开始的代码和数据节。链接器通过把每个符号定义域一个存储器位置联系起来，然后修改所有对这些符号的引用，使得它们指向这个存储器位置，从而重定位这些节。

目标文件纯粹是字节块的集合。这些块中，有些包含程序代码，有些则包含程序数据，而其他的则包含指导链接器和加载器的数据结构。链接器将这些块连接起来，确定被连接块的运行时位置，并且修改代码和数据块中的各种位置。链接器对目标机器了解甚少。产生目标文件的编译器和汇编器已经完成了大部分工作。

目标文件 ¶

目标文件有三种形式：

可重定位目标文件，包含二进制文件和代码，其形式在编译时和其他可重定位目标文件合并起来，创建一个可执行目标文件。
可执行目标文件，其形式可被拷贝到存储器并执行。
共享目标文件，一种特殊类型的可重定位目标文件，可以在加载或者运行时被动态地加载到存储器并链接。

编译器和汇编器生成可重定位目标文件（包括共享目标文件），链接器生成可执行目标文件。

可重定位目标文件 ¶

典型的 ELF 可重定位目标文件的格式。ELF 头(ELF header)以一个 16 字节的序列开始，这个序列描述了生成该文件的系统的字的大小和字节顺序。

符号和符号表 ¶

每个重定位的目标模块 m 都有一个符号表，包含 m 所定义和引用的符号的信息。在链接器的上下文中，有三种不同的符号：

有 m 定义并能够被其他模块引用的全局符号。
由其他模块定义并被 m 所引用的全局符号。
只被 m 定义和引用的本地符号。

C 程序员使用 static 属性在模块内部隐藏变量和函数声明。

符号解析 ¶

链接器解析符号引用的方法是将每个引用与它输入的可重定位目标文件的符号表中的一个确定的符号定义联系起来。

当编译器遇到一个不是在当前模块中定义的符号（变量或函数名）时，它会假设符号是在其他模块中定义的，生成一个链接器符号表表目，并把它交给链接器处理。

链接器如何解析多处定义的全局符号 ¶

编译器输出每个全局符号给汇编器，或者是强（stong），或者是弱（week），而汇编器把这些信息隐含得编码在可重定位目标文件的符号表里。函数和已初始化的全局变量是强符号，未初始化的全局变量是弱符号。

根据强弱符号的定义，Unix 使用以下规则来处理多处定义的符号：

不允许有多个强符号。
如果有一个强符号和多个弱符号，则选择强符号。
如果有多个弱符号，则从中随机选择一个。

静态库链接 ¶

所有编译系统都提供了一种机制，将所有相关的目标模块打包成一个单独的文件，成为静态库（static library），它也可以作为链接器的输入。

在Unix系统中，静态库以一种存档（archive）的特殊文件格式存储在磁盘中。

重定位 ¶

一旦链接器完成符号解析这一步，就把代码中每一个符号的引用和确定的一个符号定义结合起来。链接器就知道他输入目标模块中的代码节和数据节的确定大小。后面就是重定位的步骤了。

重定位由两个部分组成：

重定位节和符号定义。
重定义节中的符号引用，链接器修改代码节和数据节中的每一个符号引用，使得他们指向正确的地址。

重定向表目 ¶

无论何时汇编器遇到对最终位置未知的目标引用，他就会生成一个重定位表目（relocation entry），告诉链接器在将目标文件合并成可执行文件时如何修改这个引用。

有两种最基本的重定位类型：

R_386_PC32 ：重定位一个使用32位PC相关的地址引用。
R_386_32 ：重定位一个使用32位绝对地址的引用。