通过GCC编译器编译c程序的四个阶段,动态链接与静态链接的区别

本文展示一个hello.c源文件在linux系统下被翻译成可执行目标文件的四个阶段。本文中的操作在 Ubuntu18.04 LTS,64-bit环境下进行,采用的编译器为GCC 7.5.0。
本文参考 CS:APP 3rd Edition

测试源文件hello.c代码如下所示:

#include <stdio.h>
int main()
{
	printf("hello world\n");
	return 0;
}

hello程序的声明周期是从一个高级C语言程序开始的,因为这种形式能够被人读懂。然而,为了在系统上运行hello.c,每条C语句都必须被其他程序转化为一系列低级机器语言指令。然后这些指令按照一种称为可执行目标程序的格式打好包,并以二进制磁盘文件的形式存放起来。目标程序也称为可执行目标文件

在类Unix系统上,从源文件到目标文件的转化时由编译器驱动程序完成的:

linux> gcc -o hello hello.c

在这里,GCC编译器驱动程序读取源程序文件hello.c,并把它翻译成一个可执行目标文件hello。这个翻译过程可分为四个阶段完成。如下图所示。执行这四个阶段的程序(预处理器编译器汇编器链接器)一起构成了编译系统(compilation system)。
编译系统

下面是C编译器编译C文件的四个阶段。

Stage 1. 预处理 (.c – .i)

预处理器(cpp)根据以字符#开头的命令,修改原始的C程序。比如hello.c中第1行的#include <stdio.h> 命令告诉预处理器读取系统头文件stdio.h的内容,并把它直接插入程序文本中。结果就得到了另一个C程序,通常是以.i作为文件扩展名。

在Linux下验证: 输入下面命令

$ gcc -E hello.c -o hello.i

在hello.c文件目录下生成了hello.i文件。
用记事本打开hello.i或者cat hello.i,可以看到hello.i文件中前面都是*.h的头文件、typedef重定义的类型名、extern声明的函数名和变量,最后是我们的 main函数。如下图:
生成的hello.i文件

Stage 2. 编译 (.i – .s)

编译器(ccl)将文本文件hello.i翻译成文本文件hello.s,它包含一个汇编语言程序。该程序包含函数main的定义。

在Linux下验证: 输入下面命令

$ gcc -S hello.i -o hello.s 

注意上面命令-S为大写的S,若小写则生成二进制可执行文件 😦

执行上面命令之后,在hello.c文件目录下生成了hello.s文件。
hello.s为文本文件,它包含一个汇编语言程序。该程序包含函数main的定义。
hello.s文件如下图所示:
生成的hello.s文件

Stage 3. 汇编 (.s – .o)

汇编器(as)将hello.s翻译成机器语言指令,把这个指令打包成一种叫做可重定位目标程序(relocatable object program)的格式,并将结果保存在目标文件hello.o中。hello.o文件是一个二进制文件,它包含的17个字节是函数mian的指令编码。如果我们在文本编辑器中打开hello.o文件,将看到一堆乱码。
在Linux下验证: 输入下面命令

$ gcc -c hello.s -o hello.o 

执行上面命令之后,在hello.c文件目录下生成了hello.o文件。

使用文本编辑器或者cat命令打开该文件,可以看到一堆乱码。 如下图:
生成的hello.o文件

Stage 4. 链接 (.o – 目标文件)

hello程序调用了printf函数,它是每个C编译器都提供的标准C库中的一个函数。printf函数存在于一个名为printf.o的单独的预编译好的目标文件中,而这个文件必须以某种方式合并到我们的hello.o程序中。链接器(ld)就负责处理这种合并。结果就得到hello文件,它是一个可执行目标文件(或者简称为可执行文件),可以被加载到内存中,由系统执行。
在Linux下验证: 输入下面命令

$ gcc hello.o -o hello 

在hello.c文件夹下生成了hello可执行文件
在shell下输入

$ ./hello

输出如下:运行可执行文件hello输出的结果

静态链接与动态链接

静态库

之所以成为【静态库】,是因为在链接阶段,会将汇编生成的目标文件.o与引用到的库一起链接打包到可执行文件中。因此对应的链接方式称为静态链接。

静态库特点总结:
1、静态库对函数库的链接是放在编译时期完成的。
2、程序在运行时与函数库再无瓜葛,移植方便。
3、浪费空间和资源,因为所有相关的目标文件与牵涉到的函数库被链接合成一个可执行文件。

在这里插入图片描述

动态库

动态库在程序编译时并不会被连接到目标代码中,而是在程序运行是才被载入。不同的应用程序如果调用相同的库,那么在内存里只需要有一份该共享库的实例,规避了空间浪费问题。动态库在程序运行是才被载入,也解决了静态库对程序的更新、部署和发布页会带来麻烦。用户只需要更新动态库即可,增量更新。

动态库特点总结:
1、动态库把对一些库函数的链接载入推迟到程序运行的时期。
2、可以实现进程之间的资源共享。(因此动态库也称为共享库)
3、将一些程序升级变得简单。
4、甚至可以真正做到链接载入完全由程序员在程序代码中控制(显示调用)。
在这里插入图片描述

结束语

了解编译系统如何工作是大有益处的,能够帮助我们
1.能够优化程序性能
2.理解链接时出现的错误
3.避免安全漏洞

  • 1
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值