深入理解计算机系统_3e 第七章家庭作业 CS:APP3e chapter 7 homework

7.6

+-----------------------------------------------------------------------+
|Symbol    entry?    Symbol type    Module where defined    Section     |
|                                                                       |
| buf        Y         extern             m.o                .data      |
|                                                                       |
| bufp0      Y         global             swap.o             .data      |
|                                                                       |
| bufp1      Y         local              swap.o             .bss       |
|                                                                       |
| swap       Y         global             swap.o             .text      |
|                                                                       |
| temp       N         ----               ----               ----       |
|                                                                       |
| incr       Y         local              swap.o             .text      |
|                                                                       |
+-----------------------------------------------------------------------+

temp是普通局部变量，由编译器安排，和链接无关。

7.7

在bar5.c中声明x的时候使用static ，使其链接为内部链接：

/* bar5.c */
static double x;

void f()
{
  x = -0.0;
}

7.8

(a) REF(main.1) -> DEF(main.1)

(b) REF(main.2) -> DEF(main.2)

(a) REF(x.1) -> DEF(unkown)

(b) REF(x.2) -> DEF(unkown)

(a) REF(x.1) -> DEF(ERROR)

(b) REF(x.2) -> DEF(ERROR)

7.9

在我的机器上输出的是0x55，反汇编：

0000000000400526 <main>:
  400526:	55                   	push   %rbp
  400527:	48 89 e5             	mov    %rsp,%rbp
  40052a:	48 83 ec 10          	sub    $0x10,%rsp
  40052e:	89 7d fc             	mov    %edi,-0x4(%rbp)
  400531:	48 89 75 f0          	mov    %rsi,-0x10(%rbp)
  400535:	e8 07 00 00 00       	callq  400541 <p2>
  40053a:	b8 00 00 00 00       	mov    $0x0,%eax
  40053f:	c9                   	leaveq 
  400540:	c3                   	retq   

0000000000400541 <p2>:
  400541:	55                   	push   %rbp
  400542:	48 89 e5             	mov    %rsp,%rbp
  400545:	be 26 05 40 00       	mov    $0x400526,%esi
  40054a:	bf e4 05 40 00       	mov    $0x4005e4,%edi
  40054f:	b8 00 00 00 00       	mov    $0x0,%eax
  400554:	e8 a7 fe ff ff       	callq  400400 <printf@plt>
  400559:	90                   	nop
  40055a:	5d                   	pop    %rbp
  40055b:	c3                   	retq   
  40055c:	0f 1f 40 00          	nopl   0x0(%rax)

我们要关注printf的第二个参数，即%esi ，可以看到mov $0x400526,%esi ，其中0x400526就是main函数的地址 ，所以printf会默认输出开头的一个字节（char类型），即push的机器码55.

所以原因在于bar6.c中的main是一个weak类型链接的变量，而foo6.c中的main是一个strong类型的，所以再链接的时候bar6.o中的main会解析到foo6.o中的main，从而一直输入0x55.

这里要特别说明一点，在C中，函数名和数组名一样都是“二等公民”，是一个内存块的标识符，在进行算术运算的时候会“退化”为一个指针常量。这里链接的时候就没有发生退化（链接器不管编译器的事情）。如果我们将printf("0x%x\n", main);这句话放到foo6.o中则会输出400526。

7.10

注意链接器看到.o文件会直接更新E，U，D（书上有定义），后面即使有依赖也不用包含。

gcc p.o libx.a

gcc p.o libx.a liby.a libx.a

gcc p.o libx.a liby.a libx.a libz.a

7.11

借用书上的原话：

The remaining 8 bytes in the segment correspond to .bss data that will be initialized to zero at run time.

7.12

由r.type = R_X86_64_PC32知为PC相对寻址。

0x4004f8 + -4 - (0xa + 0x4004e0) = 0xa

0x400500 + -4 - (0xa + 0x4004d0) = 0x22