练习题答案

练习题答案

练习题 7.1

这道练习题的目的是帮助你理解链接器符号和 C 变量及函数之间的关系。注意 C 的局部变量 temp 没有符号表条目。

符号	.symtab 条目？	符号类型	在哪个模块中定义	节
buf	是	外部	main.o	.data
bufp0	是	全局	swap.o	.data
bufp1	是	全局	swap.o	COMMON
swap	是	全局	swap.o	.text
temp	否	—	—	—

练习题 7.2

这是一个简单的练习，检查你对 Unix 链接器解析在一个以上模块中有定义的全局符号时所使用规则的理解。理解这些规则可以帮助你避免一些讨厌的编程错误。

A. 链接器选择定义在模块 1 中的强符号，而不是定义在模块 2 中的弱符号（规则 2）：

(a) REF(main.1) → DEF(main.1)
(b) REF(main.2) → DEF(main.1)

B. 这是一个错误，因为每个模块都定义了一个强符号 main（规则 1）。

C. 链接器选择定义在模块 2 中的强符号，而不是定义在模块 1 中的弱符号（规则 2）：

(a) REF(x.1) → DEF(x.2)
(b) REF(x.2) → DEF(x.2)

练习题 7.3

在命令行中以错误的顺序放置静态库是造成令许多程序员迷惑的链接器错误的常见原因。然而，一旦你理解了链接器是如何使用静态库来解析引用的，它就相当简单易懂了。这个小练习检查了你对这个概念的理解：

A. linux> gcc p.o libx.a
B. linux> gcc p.o libx.a liby.a
C. linux> gcc p.o libx.a liby.a libx.a

练习题 7.4

这道题涉及的是图 7-12a 中的反汇编列表。目的是让你练习阅读反汇编列表，并检查你对 PC 相对寻址的理解。

A. 第 5 行被重定位引用的十六进制地址为 0x4004df。

B. 第 5 行被重定位引用的十六进制值为 0x5。记住，反汇编列表给出的引用值是用小端法字节顺序表示的。

练习题 7.5

这道题是测试你对链接器重定位 PC 相对引用的理解的。给定

ADDR(s) = ADDR(.text) = 0x4004d0

和

ADDR(r.symbol) = ADDR(swap) = 0x4004e8

使用图 7-10 中的算法，链接器首先计算引用的运行时地址：

refaddr = ADDR(s) + r.offset
        = 0x4004d0 + 0xa
        = 0x4004da

然后修改此引用：

*refptr = (unsigned) (ADDR(r.symbol) + r.addend - refaddr)
        = (unsigned) (0x4004e8      + (-4)     - 0x4004da)
        = (unsigned) (0xa)

因此，得到的可执行目标文件中，对 swap 的 PC 相对引用的值为 0xa：

4004d9:  e8 0a 00 00 00          callq 4004e8 <swap>