静态链接

最近在阅读《程序员的自我修养》，在阅读到静态链接一章发现其中的阐述过于的杂乱，导致本人在看完之后还是一头雾水，在反复的看了几遍后，整理了一些的要点，其中有理解偏差的地方希望阅读者能够通知本人。
首先是两个示例程序（主要示例，不具有任何功能）

a.c
extern int shared;

int main()
{
    int a = 10;
    swap(&a, &shared);
}

b.c

int shared = 9;

int swap( int *pa, int *pb )
{
    *pa ^=*pb ^=*pa ^=*pb;
}

上述的两个源文件编译生成目标文件，并链接生成可执行文件ab

gcc -c a.c b.c
gcc -o ab -e main a.o b.o

其中上面生成的可执行文件包括了一下的三个步骤：

1. 相似段合并：
   a.o的.text与b.o的.text合并，即：main函数相对的偏移量为0,swap函数相对的偏移量：00000027
   a.o的.data与b.o的.data合并，即：全局变量shared相对于.data的偏移量为0
2. 确定符号的虚拟地址
   如可执行文件的.text段虚拟地址开始于：08048094，则计算出的main的地址为08048094，swap的地址为：80480BB（08048094+00000027）,地址对齐则变成：80480BC
   可执行文件的.data段虚拟地址开始于：08049154，则计算出的全局变量shared的虚拟地址为：08049154
3. 指令地址修正
   命令：readelf -r a.o查看需要修正的地址类型，其中
   shared绝对地址修正:R_386_32,
   swap为相对地址修正：R_386_PC32
   绝对地址修正：S+A,
   相对地址修正：S+A-P

S为可执行文件中的实际虚拟地址，
A为被修正的位置值（反汇编 objdump -d a.o可查看），
P为被修正的位置（指令的开始处）

shared的修正地址为：S+A=08049154+00000000=08049154
swap的修正地址为：S+A-P=80480BC+(-4)-(08048094+00000021)=80480B8-80480B5=3（其中的21在查看是何种修正方式的重定位表的偏移量，相对于最开始指令的偏移量）
可以通过查看ab的反汇编知道是否正确：这里需要说明的是：swap是相对于下一条指令的偏移地址。

上述的地址值可以通过下面的一些命令进行查看

1. 查看符号在段中的偏移量：readelf -s a.o value为偏移量(查看符号表)
2. 查看输入的目标文件的段大小：objdump -h a.o的size（查看section）
3. 查看实际的段的虚拟地址：objdump -h ab
4. 查看地址的修正方式和相对于指令的偏移量：readelf -r a.o其中的Type和Offset（查看重定位表）
5. 查看修正的值A，可通过反汇编的方式查看到：objdump -d a.o

接下来还会陆续更新本人的一些学习所得。