通过前文我们已经对目标文件和符号有了一个较为清晰的理解,接下来,我们将以下面两个源文件作为一个例子阐述一下静态链接的处理过程。
/* a.c */
extern int shared;
extern void swap(itn *a, int *b);
int main()
{
int a = 100;
swap(&a, &shared);
return 0;
}
/* b.c */
int shared = 1;
void swap(int *a, int *b)
{
*a ^= *b ^= *a ^= *b;
}
假设程序只有两个源文件“a.c”和“b.c”,我们通过编译得到“a.o”和“b.o”这两个目标文件。从代码可知,“b.c”定义了两个全局符号,变量shared和函数swap,而“a.c”定义了一个全局符号main,同时引用“b.c”定义的符号shared和swap。
1.空间地址分配
链接首先要解决的一个问题就是需要把各个目标文件整合在一起,这里通常使用的方法是相似段合并方法。即如下图所示,将两个目标文件中相同的段(.text段,.data段等等)合并在一起,组成一个大的段。
详细来说,在链接的时候,链接器首先会扫描所有输入目标文件,获得它们各个段的长度,属性和位置。并将输入目标文件中的符号表中所有符号定义和引用收集起来,统一放在一个全