您当前的位置:首页 > 电脑百科 > 软件技术 > 操作系统 > linux

Linux 程序编译过程的来龙去脉

时间:2020-01-22 18:03:26  来源:  作者:

大家肯定都知道计算机程序设计语言通常分为机器语言、汇编语言和高级语言三类。高级语言需要通过翻译成机器语言才能执行,而翻译的方式分为两种,一种是编译型,另一种是解释型,因此我们基本上将高级语言分为两大类,一种是编译型语言,例如C,C++,JAVA,另一种是解释型语言,例如Python、Ruby、MATLAB 、JavaScript

本文将介绍如何将高层的C/C++语言编写的程序转换成为处理器能够执行的二进制代码的过程,包括四个步骤:

  • 预处理(Preprocessing)

  • 编译(Compilation)

  • 汇编(Assembly)

  • 链接(Linking)

Linux 程序编译过程的来龙去脉

GCC 工具链介绍

通常所说的GCC是GUN Compiler Collection的简称,是linux系统上常用的编译工具。GCC工具链软件包括GCC、Binutils、C运行库等。

GCC

GCC(GNU C Compiler)是编译工具。本文所要介绍的将C/C++语言编写的程序转换成为处理器能够执行的二进制代码的过程即由编译器完成。

Binutils

一组二进制程序处理工具,包括:addr2line、ar、objcopy、objdump、as、ld、ldd、readelf、size等。这一组工具是开发和调试不可缺少的工具,分别简介如下

  • addr2line:用来将程序地址转换成其所对应的程序源文件及所对应的代码行,也可以得到所对应的函数。该工具将帮助调试器在调试的过程中定位对应的源代码位置。

  • as:主要用于汇编,有关汇编的详细介绍请参见后文。

  • ld:主要用于链接,有关链接的详细介绍请参见后文。

  • ar:主要用于创建静态库。为了便于初学者理解,在此介绍动态库与静态库的概念:

    • 如果要将多个.o目标文件生成一个库文件,则存在两种类型的库,一种是静态库,另一种是动态库。

    • windows中静态库是以 .lib 为后缀的文件,共享库是以 .dll 为后缀的文件。在linux中静态库是以.a为后缀的文件,共享库是以.so为后缀的文件。

    • 静态库和动态库的不同点在于代码被载入的时刻不同。静态库的代码在编译过程中已经被载入可执行程序,因此体积较大。共享库的代码是在可执行程序运行时才载入内存的,在编译过程中仅简单的引用,因此代码体积较小。在Linux系统中,可以用ldd命令查看一个可执行程序依赖的共享库。

    • 如果一个系统中存在多个需要同时运行的程序且这些程序之间存在共享库,那么采用动态库的形式将更节省内存。

  • ldd:可以用于查看一个可执行程序依赖的共享库。

  • objcopy:将一种对象文件翻译成另一种格式,譬如将.bin转换成.elf、或者将.elf转换成.bin等。

  • objdump:主要的作用是反汇编。有关反汇编的详细介绍,请参见后文。

  • readelf:显示有关ELF文件的信息,请参见后文了解更多信息。

  • size:列出可执行文件每个部分的尺寸和总尺寸,代码段、数据段、总大小等,请参见后文了解使用size的具体使用实例。

C运行库

C语言标准主要由两部分组成:一部分描述C的语法,另一部分描述C标准库。C标准库定义了一组标准头文件,每个头文件中包含一些相关的函数、变量、类型声明和宏定义,譬如常见的printf函数便是一个C标准库函数,其原型定义在stdio头文件中。

C语言标准仅仅定义了C标准库函数原型,并没有提供实现。因此,C语言编译器通常需要一个C运行时库(C Run Time Libray,CRT)的支持。C运行时库又常简称为C运行库。与C语言类似,C++也定义了自己的标准,同时提供相关支持库,称为C++运行时库。

准备工作

由于GCC工具链主要是在Linux环境中进行使用,因此本文也将以Linux系统作为工作环境。为了能够演示编译的整个过程,本节先准备一个C语言编写的简单Hello程序作为示例,其源代码如下所示

#include <stdio.h> 

//此程序很简单,仅仅打印一个Hello World的字符串。
intmain(void)
{
printf("Hello World! n");
return 0;
}

编译过程

1.预处理

预处理的过程主要包括以下过程:

  • 将所有的#define删除,并且展开所有的宏定义,并且处理所有的条件预编译指令,比如#if #ifdef #elif #else #endif等。

  • 处理#include预编译指令,将被包含的文件插入到该预编译指令的位置。

  • 删除所有注释“//”和“/* */”。

  • 添加行号和文件标识,以便编译时产生调试用的行号及编译错误警告行号。

  • 保留所有的#pragma编译器指令,后续编译过程需要使用它们。使用gcc进行预处理的命令如下

$ gcc -E hello.c -o hello.i // 将源文件hello.c文件预处理生成hello.i
// GCC的选项-E使GCC在进行完预处理后即停止

hello.i文件可以作为普通文本文件打开进行查看,其代码片段如下所示

// hello.i代码片段

extern void funlockfile (FILE *__stream) __attribute__ ((__nothrow__ , __leaf__));
# 942 "/usr/include/stdio.h" 3 4

# 2 "hello.c" 2


# 3 "hello.c"
int
main(void)
{
printf("Hello World!" "n");
return 0;
}

2.编译

编译过程就是对预处理完的文件进行一系列的词法分析,语法分析,语义分析及优化后生成相应的汇编代码。

使用gcc进行编译的命令如下

$ gcc -S hello.i -o hello.s // 将预处理生成的hello.i文件编译生成汇编程序hello.s
// GCC的选项-S使GCC在执行完编译后停止,生成汇编程序

上述命令生成的汇编程序hello.s的代码片段如下所示,其全部为汇编代码。

// hello.s代码片段

main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movl $.LC0, %edi
call puts
movl $0, %eax
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc

3.汇编

汇编过程调用对汇编代码进行处理,生成处理器能识别的指令,保存在后缀为.o的目标文件中。由于每一个汇编语句几乎都对应一条处理器指令,因此,汇编相对于编译过程比较简单,通过调用Binutils中的汇编器as根据汇编指令和处理器指令的对照表一一翻译即可。

当程序由多个源代码文件构成时,每个文件都要先完成汇编工作,生成.o目标文件后,才能进入下一步的链接工作。注意:目标文件已经是最终程序的某一部分了,但是在链接之前还不能执行。

使用gcc进行汇编的命令如下

$ gcc -c hello.s -o hello.o // 将编译生成的hello.s文件汇编生成目标文件hello.o
// GCC的选项-c使GCC在执行完汇编后停止,生成目标文件
//或者直接调用as进行汇编
$ as -c hello.s -o hello.o //使用Binutils中的as将hello.s文件汇编生成目标文件

注意:hello.o目标文件为ELF(Executable and Linkable Format)格式的可重定向文件。

4.链接

链接也分为静态链接和动态链接,其要点如下

  • 静态链接是指在编译阶段直接把静态库加入到可执行文件中去,这样可执行文件会比较大。链接器将函数的代码从其所在地(不同的目标文件或静态链接库中)拷贝到最终的可执行程序中。为创建可执行文件,链接器必须要完成的主要任务是:符号解析(把目标文件中符号的定义和引用联系起来)和重定位(把符号定义和内存地址对应起来然后修改所有对符号的引用)。

  • 动态链接则是指链接阶段仅仅只加入一些描述信息,而程序执行时再从系统中把相应动态库加载到内存中去。

    • 在Linux系统中,gcc编译链接时的动态库搜索路径的顺序通常为:首先从gcc命令的参数-L指定的路径寻找;再从环境变量LIBRARY_PATH指定的路径寻址;再从默认路径/lib、/usr/lib、/usr/local/lib寻找。

    • 在Linux系统中,执行二进制文件时的动态库搜索路径的顺序通常为:首先搜索编译目标代码时指定的动态库搜索路径;再从环境变量LD_LIBRARY_PATH指定的路径寻址;再从配置文件/etc/ld.so.conf中指定的动态库搜索路径;再从默认路径/lib、/usr/lib寻找。

    • 在Linux系统中,可以用ldd命令查看一个可执行程序依赖的共享库。

由于链接动态库和静态库的路径可能有重合,所以如果在路径中有同名的静态库文件和动态库文件,比如libtest.a和libtest.so,gcc链接时默认优先选择动态库,会链接libtest.so,如果要让gcc选择链接libtest.a则可以指定gcc选项-static,该选项会强制使用静态库进行链接。以Hello World为例:

  • 如果使用命令“gcc hello.c -o hello”则会使用动态库进行链接,生成的ELF可执行文件的大小(使用Binutils的size命令查看)和链接的动态库(使用Binutils的ldd命令查看)如下所示

    $ gcc hello.c -o hello
    $ size hello //使用size查看大小
    text data bss dec hex filename
    1183 552 8 1743 6cf hello
    $ ldd hello //可以看出该可执行文件链接了很多其他动态库,主要是Linux的glibc动态库
    linux-vdso.so.1 => (0x00007fffefd7c000)
    libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fadcdd82000)
    /lib64/ld-linux-x86-64.so.2 (0x00007fadce14c000)
  • 如果使用命令“gcc -static hello.c -o hello”则会使用静态库进行链接,生成的ELF可执行文件的大小(使用Binutils的size命令查看)和链接的动态库(使用Binutils的ldd命令查看)如下所示

    $ gcc -static hello.c -o hello
    $ size hello //使用size查看大小
    text data bss dec hex filename
    823726 7284 6360 837370 cc6fa hello //可以看出text的代码尺寸变得极大
    $ ldd hello
    not a dynamic executable //说明没有链接动态库
    

链接器链接后生成的最终文件为ELF格式可执行文件,一个ELF可执行文件通常被链接为不同的段,常见的段譬如.text、.data、.rodata、.bss等段。

分析ELF文件

1.ELF文件的段

ELF文件格式如下所示,位于ELF Header和Section Header Table之间的都是段(Section)。一个典型的ELF文件包含下面几个段:

  • .text:已编译程序的指令代码段。

  • .rodata:ro代表read only,即只读数据(譬如常数const)。

  • .data:已初始化的C程序全局变量和静态局部变量。

  • .bss:未初始化的C程序全局变量和静态局部变量。

  • .debug:调试符号表,调试器用此段的信息帮助调试。

Linux 程序编译过程的来龙去脉

可以使用readelf -S查看其各个section的信息如下

$ readelf -S hello
There are 31 section headers, starting at offset 0x19d8:

Section Headers:
[Nr] Name Type Address Offset
Size EntSize Flags Link Info Align
[ 0] 0000000000000000 00000000
0000000000000000 0000000000000000 0 0 0
……
[11] .init PROGBITS 00000000004003c8 000003c8
000000000000001a 0000000000000000 AX 0 0 4
……
[14] .text PROGBITS 0000000000400430 00000430
0000000000000182 0000000000000000 AX 0 0 16
[15] .fini PROGBITS 00000000004005b4 000005b4
……

2.反汇编ELF

由于ELF文件无法被当做普通文本文件打开,如果希望直接查看一个ELF文件包含的指令和数据,需要使用反汇编的方法。

使用objdump -D对其进行反汇编如下

$ objdump -D hello
……
0000000000400526 <main>: // main标签的PC地址
//PC地址:指令编码 指令的汇编格式
400526: 55 push %rbp
400527: 48 89 e5 mov %rsp,%rbp
40052a: bf c4 05 40 00 mov $0x4005c4,%edi
40052f: e8 cc fe ff ff callq 400400 <puts@plt>
400534: b8 00 00 00 00 mov $0x0,%eax
400539: 5d pop %rbp
40053a: c3 retq
40053b: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1)
……

使用objdump -S将其反汇编并且将其C语言源代码混合显示出来:

$ gcc -o hello -g hello.c //要加上-g选项
$ objdump -S hello
……
0000000000400526 <main>:
#include <stdio.h>

int
main(void)
{
400526: 55 push %rbp
400527: 48 89 e5 mov %rsp,%rbp
printf("Hello World!" "n");
40052a: bf c4 05 40 00 mov $0x4005c4,%edi
40052f: e8 cc fe ff ff callq 400400 <puts@plt>
return 0;
400534: b8 00 00 00 00 mov $0x0,%eax
}
400539: 5d pop %rbp
40053a: c3 retq
40053b: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1)
……

轻轻一扫 欢迎关注~



Tags:Linux   点击:()  评论:()
声明:本站部分内容来自互联网,转载是出于传递更多信息之目的,内容观点仅代表作者本人,如有任何标注错误或版权侵犯请与我们联系,我们将及时更正、删除,谢谢。
▌相关评论
发表评论 共有条评论
用户名: 密码:
验证码: 匿名发表
▌相关推荐
软连接是linux中一个常用命令,它的功能是为某一个文件在另外一个位置建立一个同步的链接。具体用法是:ln -s 源文件 目标文件 当我们需要在不同的目录,用到相同的文件时,我们不...【详细内容】
2020-11-12   Linux  点击:(1)  评论:(0)  加入收藏
作为运维人员,这些常用命令不得不会,掌握这些命令,工作上会事半功倍,提供工作效率。一.文件和目录1. cd命令,用于切换当前目录,它的参数是要切换到的目录的路径,可以是绝对路径,也可...【详细内容】
2020-11-11   Linux  点击:(2)  评论:(0)  加入收藏
你真的了解多线程吗?如果问你“为什么多线程可以提高程序运行效率?”,想必你会说“计算机并行执行任务啊,当然效率高!” 这显然不是一个内行该给出的答案。要知道,一个 CPU 在任何...【详细内容】
2020-11-10   Linux  点击:(4)  评论:(0)  加入收藏
本速成教程向你展示了在 Ubuntu 和 Debian Linux 上安装 Yarn 包管理器的官方方法。你还将学习到一些基本的 Yarn 命令以及彻底删除 Yarn 的步骤。&bull; 来源:linux.cn &bu...【详细内容】
2020-10-23   Linux  点击:(7)  评论:(0)  加入收藏
在Linux 系统中,链接是一种文件共享的方式,它分为软链接和硬链接,对应的命令是ln什么是软连接软链接又叫符号链接, 它类似于 windows系统中的快捷方式,常用于将目录层次较深的...【详细内容】
2020-10-23   Linux  点击:(7)  评论:(0)  加入收藏
Linux 简介UNIX 是一个交互式系统,用于同时处理多进程和多用户同时在线。为什么要说 UNIX,那是因为 Linux 是由 UNIX 发展而来的,UNIX 是由程序员设计,它的主要服务对象也是程序...【详细内容】
2020-10-10   Linux  点击:(2)  评论:(0)  加入收藏
虽然 lshw 命令( 列出硬件(list hardware),读作 “ls hardware”)远不是每个人最先学会的 50 个 Linux 命令之一,但它可以提供很多系统硬件的有用信息。...【详细内容】
2020-10-10   Linux  点击:(5)  评论:(0)  加入收藏
这篇文章介绍了 testdisk,这是恢复最近删除的文件(以及用其他方式修复分区)的工具之一,非常方便。&bull; 来源:linux.cn &bull; 作者:Sandra Henry-stocker &bull; 译者:Xingyu.Wa...【详细内容】
2020-10-02   Linux  点击:(0)  评论:(0)  加入收藏
在 shell 中使用 bc 更好地做算数,它是一种用于高级计算的数学语言。&bull; 来源:linux.cn &bull; 作者:Seth Kenlon &bull; 译者:geekpi &bull;(本文字数:1955,阅读时长大约:2 分...【详细内容】
2020-09-29   Linux  点击:(7)  评论:(0)  加入收藏
scsi是一套古老的协议,至今它还在一些硬件中存在和使用,例如基于sata协议的ssd硬盘,ufs器件等。因为scsi命令已经标准化,因此scsi子系统也成为了linux kernel众多子系统中的一份...【详细内容】
2020-09-21   Linux  点击:(15)  评论:(0)  加入收藏
需要远程工作的看一下。使用这个有用的开源解决方案,从任何地方快速地连接和访问你的所有设备。&bull; 来源:linux.cn &bull; 作者:Domarys &bull; 译者:geekpi &bull;(本文字数...【详细内容】
2020-09-17   Linux  点击:(6)  评论:(0)  加入收藏
最近在解决一个音频的问题,所以正好借这个机会来把音频的东西重新梳理一下,总结是一个很好的习惯,能方便自以后遇到问题快速排查问题。 平台「MT8167」 内核版本「kernel 4.4」...【详细内容】
2020-09-02   Linux  点击:(12)  评论:(0)  加入收藏
htop 3.0.0 发布了。htop 是一个 Linux 下的交互式的进程浏览器,可以用来替换 top 命令。 此版本主要更新内容包括: 支持 ZFS ARC 统计 支持 2 个以上较小的 CPU 仪表列 支持...【详细内容】
2020-09-02   Linux  点击:(12)  评论:(0)  加入收藏
前言 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基1. 概述Linux系统在访问设备的时候,存在以下几种IO模型: Blocking IO Mode...【详细内容】
2020-09-01   Linux  点击:(3)  评论:(0)  加入收藏
本教程将向你展示如何以最快的方式在运行于 Windows 和 Linux 上的 VirtualBox 上安装 Kali Linux。-- Ankush DasKali Linux 是最好的 黑客 和安全爱好者的 Linux 发行版...【详细内容】
2020-08-24   Linux  点击:(10)  评论:(0)  加入收藏
大多数线程池实现都离不开锁的使用,如互斥量pthread_mutex*结合条件变量pthread_cond*。众所周知,锁的使用对于程序性能影响较大,虽然现有的pthread_mutex*在锁的申请与释放方...【详细内容】
2020-08-24   Linux  点击:(3)  评论:(0)  加入收藏
本文作者:allenxguo,腾讯 QQ 音乐后台开发工程师本文主要帮助理解 CPU 相关的性能指标,常见的 CPU 性能问题以及解决方案梳理。系统平均负载简介系统平均负载:是处于可运行或不...【详细内容】
2020-08-24   Linux  点击:(8)  评论:(0)  加入收藏
在本文中,我们将查看一些用于排序和合并文件内容的命令,并重点介绍结果有何不同。&bull; 来源:linux.cn &bull; 作者:Sandra Henry-stocker &bull; 译者:geekpi &bull;(本文字数:3...【详细内容】
2020-08-24   Linux  点击:(8)  评论:(0)  加入收藏
用这个微软的开源工具,获取进程信息。&bull; 来源:linux.cn &bull; 作者:Gaurav Kamathe &bull; 译者:Xingyu.Wang &bull;(本文字数:12941,阅读时长大约:14 分钟)微软越来越心仪 Lin...【详细内容】
2020-08-20   Linux  点击:(7)  评论:(0)  加入收藏
Itch 是独立数字创造者的平台,主要专注于独立游戏。Itch 是独立数字创造者的平台,主要专注于独立游戏。它最初是一个托管、销售和下载独立视频游戏的网站。但是现在,Itch 也提...【详细内容】
2020-08-19   Linux  点击:(5)  评论:(0)  加入收藏
最新更新
栏目热门
栏目头条