链接是将各种代码和数据片段收集并组合为一个单一文件的过程,这个文件可被加载到内存并执行。现代系统中,链接是由连接器自动执行的。链接使得软件开发的过程模块化,具有更高的效率。
编译器驱动程序
main.c
int sum(int *a, int n);
int array[2] = {1, 2};
int main()
{
int val = sum(array, 2);
return val;
}
sum.c
int sum(int *a, int n)
{
int i, s = 0;
for (i = 0; i < n; i++) {
s += a[i];
}
return s;
}
main.c 和 sum.c 是两个不能被执行的源程序,还需经过预处理器、编译器、汇编器和链接器的作用才能生成一个可执行文件。
驱动程序首先运行C预处理器将C的源程序main.c翻译成一个中间文件main.i;然后,驱动程序运行编译器将main.i翻译成一个汇编语言文件main.s;接下来,驱动程序运行汇编器将main.s翻译成一个可重定位文件main.o;驱动程序以相同过程生成sum.o,最后连接器再将两个文件合并成一个可以执行的文件prog。
Linux系统中,可以通过在shell中输入:
gcc -og -o prog main.c sum.c
生成prog可执行文件,通过./prog来执行.
对main.c修改后:
/* main.c */
/* $begin main */
#include <stdio.h>
int sum(int *a, int n);
int array[2] = {1, 2};
int main()
{
int val = sum(array, 2);
printf("val=%d\n",val);
}
/* $end main */
这时执行后就可以看到结果 了。
静态链接
静态链接器以一组可重定位目标文件和命令行参数作为输入,生成一个完全链接的、可以加载和运行的可执行目标文件作为输出。
连接器在构造可执行文件中的步骤:
-
符号解析
—目标文件定义和引用符号,每个符号对应一个函数,一个全局变量或一个静态变量(static)。
—将每个符号引用正好和一个符号定义关联起来 -
重定位
—编译器和汇编器生成从地址0开始的代码和数据节。链接器通过把每个符号定义与一个内存位置关联起来,从而重定位这些节,然后修改所有对这些符号的引用。使得它们指向这个内存位置。
目标文件
目标代码:指编译器和汇编器处理源代码后所产生的机器语言目标代码
目标文件:包含目标代码的文件(字节块的集合)
目标文件的格式:(Linux–ELF)
-
可重定位文件(.0文件)
—其代码和数据可和其他可重定位文件合并为可执行文件
—每个.o文件由相应的.c文件生成
—每个.o文件代码和数据地址都是从0开始的 -
可执行文件
—包含的代码和数据可以被直接复制到内存并执行
—代码和数据地址为虚拟空间中的地址 -
共享目标文件(动态链接中使用)
—特殊的可重定位文件,能在加载或运行时被加载到内存中并自动被链接
可重定位目标文件
符号和符号表
每个可重定位文件目标模块都有一个符号表,它包含m定义和引用的符号的信息,在链接器的上下文中,由三种不同的符号:
- 全局符号:由模块m定义并能被其他模块引用。对应与非静态的C函数和全局变量。
- 外部符号:由其他模块定义并被模块m引用。对应于在其他模块中定义的非静态C函数和全局变量。
- 局部符号:只被模块m定义和引用。对应于带static属性的C函数和全局变量。这些符号在模块m中任何位置都可见,但是不能被其他模块引用。
符号表是由汇编器后遭的,使用编译器输出到汇编语言.s文件中的符号,位于.symtab节中,包含一个条目的数组。局部变量保存在栈中。
符号表相当于告诉我们,每个符号的存储信息。而每个符号因为都会被分配到目标文件中的某个节中,这些分配的信息由.section字段表示(上图中的st_shndx)(下图中的Ndx)## 标题,该字段是一个到节头表的索引。
拿main.c文件举例:
使用gcc -c main.c -o main.o得到可重定位文件后,使用readelf -s main.o读出节头表中的信息。
符号解析
链接器解析符号引用的方法是将每个引用与它数入的可重定位目标文件的符号表中的一个确定的符号定义关联起来。对于那些和引用定义在相同模块中的局部符号的引用,符号解析是非常简单明了的,编译器只允许每个模块中每个局部符号有一个定义。静态局部符号也会有本地连接器符号,编译器还要确保它们拥有唯一的名字。
- 强符号:函数和已初始化的全局变量
- 弱符号:未初始化的全局变量
Linux链接器使用下面的规则来处理多重定义的符号名:
规则1:不允许有多个同名的强符号;
规则2:如果有一个强符号和多个弱符号同名,那么选择强符号;
规则3:如果有多个弱符号同名,那么从这些弱符号中任意选择一个。
多重定义符号的处理规则:强符号只能被定义一次,否则链接错误。
与静态库连接
所有的编译系统都提供一种机制,将所有相关的目标模块打包成为一个单独的文件,称为静态库(static library),它可以用来做链接器的输入。
库函数模块是许多的函数如printf,scanf,sqrt等函数都无需自己再去写,只要从共享的库函数中调用。
在Linux系统中,静态库以一种存档(archive)的特殊文件格式存放在磁盘中。存档文件时一组连接起来的可重定位目标文件的集合,有一个头不用来描述每个成员目标文件的大小和位置。存档文件名由后缀 .a标识,这样可以增强链接器功能,时期工呢过通过查找一个或者多个库文件中的定义符号来解析符号。
可执行目标文件
举例: