今天开始看第四章,静态链接。由于这本书中内容大多为编译器和链接器的内容,故大部分都无法用例子程序的方式记录。
对于链接器来说,输入为目标文件a.o和b.o,输出为可执行文件ab。
a,b的代码为:
一般来说,有两种方式:
1.按序叠加,即简单的按照次序讲不通目标文件的各个段叠加起来。这样做会让内存中存在大量零散的段(每个段必须占用单独的页,x86位4096字节即4k)
2.相似段合并:将不通目标文件的相同的段(节)放在一起,这样做有利于节省内存空间
一般的编译器采用第二种方案,步骤为:
2.1:空间和地址分配:将不同目标文件的各个段的长度属性信息汇总在一起,将它们合并,并建立映射关系;
2.2:根据2.1的信息,进行符号解析与重定位,调整代码中的地址,此步骤为核心步骤
链接器链接前后各个段的属性如下:
由图可以看到,链接之后,.text段的size变为两者之和0x72,.data段由于a.o没有所以和b.o的数值相同。
ps:VMA为Virtual Memory Address;LMA为Load Memory Address若程序放在ROM中,两者不同,只需关注VMA即可。
链接之前所有段的VMA均为0,链接之后.text段变为0x08048094大小0x72字节,.data变为0x08049108大小4字节,那么,链接前后各段的地址关系如下:
在Linux下,ELF可执行文件的默认地址从0x08048000开始分配,地址0处为操作系统所占用。
综上,再根据每个符号所占用的空间,就可以推算出每个符号所在的虚拟地址位置。