链接器和加载器06.pdfVIP

第 6 章 库 所有的现代链接器都可以处理库，即按照被链接程序的需要加入的目标文件集合。本 章我们将涉及传统的静态链接库，更为复杂的动态链接库将在第 9章和第 10 章中看到。 库的目的 在 40 年代和 50年代早期，软件工作室实际上已经存在有成圈的磁带及后期成迭的卡片 构成的代码库了，程序员可以查看并选择例程加入到他们自己的程序中。在加载器和链接器 开始解析符号引用后，通过从库中选择例程来解析未定义符号，自动处理这个过程就成为了 可能。 从本质上说，库文件就是由多个目标文件聚合而成的，通常还会加入一些有助于快速 查找的目录信息。细节信息总是会比基本思想复杂的多，因此本章中我们会逐步深入。我们 使用术语“文件”表示一个单独的目标文件，“模块”表示被包含到库中的一个目标文件。 库的格式 最简单的库格式就是仅仅将目标模块顺序排列。在诸如磁带和纸带这样的顺序访问介 质上，对于增加目录要注意的是，由于链接器不得不将整个库读入，因此跳过库成员和将他 们读入的速度差不多。但在磁盘上，目录可以相当显著的提高库搜索速度，现在已经成为了 标准组件。 使用操作系统 OS/360包括 MVS 在内的后继型号提供了分区数据集（PDS，partitioned data set ）， 它包含了多个命名成员，每个都可以被当作一个顺序文件来处理。系统具有可以为单一成员 提供多个别名的特性，这是为了在程序运行期间将多个 PDS 当作一个逻辑PDS来处理，为了 在一个逻辑 PDS 中枚举所有名称，当然也为了对成员进行读和写操作。成员名称为8个字符 长，很可能与链接器中的外部符号长度不一致 （MVS 引入了一种扩展的PDS 或PDSE可以支持 最长 1024个字符的名称，这对于 C、C++和 Cobol程序是有好处的）。 一个链接库就是一个 PDS，它的每一个成员均为根据其入口点命名的目标文件。定义了 多个全局符号的目标文件对每一个全局符号都有一个在构建库时手工创建的别名。链接器以 寻找所含名称与未定义符号相匹配的成员库的方式搜索逻辑 PDS。这种方法的好处是不需要 外的目标库升级程序，对于 PDS来说标准的文件操作工具就可以胜任了。 虽然我从未见过某个链接器这么做，但是在类UNIX操作系统上的链接器可以采用相同 的方法来处理库 ：库可以是一个目录，成员目标文件位于目录中，成员目标文件中的每一个 全局符号在目录中都有一个文件名（UNIX允许一个文件具有多个文件名）。 UNIX和Windows的Archive文件 UNIX链接器库使用一种称为“archive”的格式，它实际上可以用于任何类型文件的聚 合，但实践中很少用于其它地方。库的组成，首先是一个 archive头部，然后交替着是文件 头部和目标文件。最早的 archive没有符号目录，只有一系列的目标文件，但后续版本就出 现了多种类型的目录，最后沉淀为一个类型并在BSD 版本（文本 archive头部和一个称为__. SYMDEF的目录）和System V.4 的COFF和 ELF库当前版本中使用了将近十年，BSD 的后期版 本，Linux，Windows 的ECOFF库使用和 COFF库相同的archive格式，但是对于目录，虽然仍 然称为/，但是格式是不同的。 UNIX archive 所有的现代 UNIX系统都采用大同小异的archive格式，如图1所示。该格式在 archive 头部中只使用文本字符，这意味着文本文件的 archive文件本身就是文本的（尽管在实践中 可以知道这个特性并没有太大的用处）。archive文件都是以 8字符的标志串!arch\n 开头， 其中\n 是换行符。在每一个 archive成员之前是一个 60字节的头部，包含有： 该成员名称，补齐到 16个字符（下面会讲到）。 修改时间，由从 1970 年到当时的十进制秒数表示。 十进制数字表示的用户和组 ID。 一个八进制数表示的 UNIX文件模式。 以字节为单位的十进制数表示的文件尺寸。如果该尺寸为奇数，那么文件的内容中会 补齐一个换行符使得总长度为偶数，但这个补齐的字符不会计算在文件尺寸域中。 保留的两个字节，为引号和换行符。这样就可以让头部成为一行文本，并可用来简单 的验证当前头部的有效性。 每一个成员头部都会包含修改时间、用户和组 ID、文件模式，尽管链接器会将它们忽 略。 图6-1 Unix 档案文件