自己动手学编译器的链接和加载(一)

最近学习链接器的链接和装载过程。

首先说说一个程序从源代码到可执行文件的流程（以linux平台上c程序为例）：

第一步预编译过程的命令如下：

gcc -E test.c -o test.i 或 cpp test.c > test.i

由.c文件生成.i预处理文件

第二步：

gcc -S test.i -o test.s

由.i生成.s汇编文件

第三步：

as test.s -o test.o 或

gcc -c test.s -o test.o

生成目标文件

第四步：

ld -static /usr/lib/crt1.o /usr/lib/crti.o /usr/lib/gcc/i686-linux-gnu/4.6.3/crtbeginT.o -L/usr/lib/gcc/i686-linux-gnu/4.6.3 -L/usr/lib -L/usr/lib -L/lib test.o --start-group -lgcc -lgcc_eh -lc --end-group /usr/lib/gcc/i686-linux-gnu/4.6.3/crtend.o /usr/lib/crtn.o

现在就是来看看这一坨乱七八糟的东西是啥

这里先从最基本的看起吧。

首先看看目标文件的格式，在linux上中间文件的格式和可执行文件的格式很像，差别无非是中间文件中一些引用的函数和变量的地址是相对地址，经过链接后在可执行文件中变成了绝对地址

linux上可执行文件的格式是ELF(Executable Linkable Format)

以下是一个实例小程序test.c 这个东西应该是非常具备典型行的。

 1 #include<stdio.h>
 2 
 3 int a = 1; 
 4 double b;
 5 static int e;
 6 
 7 static int c = 2; 
 8 static double d; 
 9 
10 void func(int x, double y){
11 printf("%d, %f\n", x, y); 
12 }
13 int main(){ 
14 
15 static int c_m = 4;
16 static double d_m; 
17 
18 int a_m = 3;
19 double b_m; 
20 func(a_m, d_m);
21 return 0;
22 }