+-----------------------------------------------------------------------+
|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.
(a) REF(main.1) -> DEF(main.1)
(b) REF(main.2) -> DEF(main.2)
B.
(a) REF(x.1) -> DEF(unkown)
(b) REF(x.2) -> DEF(unkown)
C.
(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(書上有定義),后面即使有依賴也不用包含。
A.
gcc p.o libx.a
B.
gcc p.o libx.a liby.a libx.a
C.
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相對尋址。
A.
0x4004f8 + -4 - (0xa + 0x4004e0) = 0xa
B.
0x400500 + -4 - (0xa + 0x4004d0) = 0x22
7.13
A.
B.
不一樣:
C.