C程序是如何跑起来的01 —— 普通可执行文件的构成

C程序是如何跑起来的01 —— 普通可执行文件的构成

学习目的

程序烧到什么地方？程序加载到内存什么地方？程序如何执行？

一、编译环境搭建

ubuntu 20.04使用arm-linux-gnueabihf-gcc 7.5.0。

二、程序源码

main.c：

#include #include "calc.h"int main(int argc, char *argv[]){ int a, b; static int local_val = 2; static int uninit_local_val; a = add(2, 3); b = sub(5, 4); printf("a = %d\n", a); printf("b = %d\n", b); return 0;}

calc.h：

#ifndef _CALC_H_#define _CALC_H_int add(int a, int b);int sub(int a, int b);#endif

calc.c：

#include "calc.h"int add(int a, int b){ return a + b;}int sub(int a, int b){ return a - b;}

编译：

arm-linux-gnueabihf-gcc main.c calc.c

交叉编译生成 a.out 可执行文件，文件类型是32位ARM平台可执行文件。

三、readelf工具

readelf工具由编译器提供，用来列出关于可执行文件的内容的相关信息。

使用格式如下：

Usage: readelf elf-file(s)

（1）查看可执行文件的头部 信息

​​-h​​：用于列出ELF文件的头部信息，包括可执行文件运行的平台、软件版本、程序入口地址，以及program headers、section header等信息；

（2）查看section header

​​-S​​：用于列出程序中section的头部信息

四、可执行文件的组成结构

一个可执行文件由一系列section构成，section称为段，包括：代码段text、只读数据段rodata、数据段data、bss段等。

每个section用一个section header描述，包括段名、段的类型、段的起始地址、段的偏移、段的大小等。

将可执行文件的所有section header集合到一起就是section header table，使用readelf 的 ​​-S​​ 参数查看的就是该表。

在程序编译的时候，对C语言代码中定义的函数、变量、未初始化的全局变量进行编译分类，放置在不同的段中：

普通代码翻译成二进制放到代码段（text）中常量放在只读数据段（rodata）中初始化的全局变量和静态局部变量放在数据段（data）中

BSS段比较特殊，未初始化的全局变量和静态变量都会放置到bss段中，但因为这些变量的值都是0，没有必要再开辟空间存储，所以在可执行文件中bss段是不占用空间的。

但是BSS段的大小、起始地址、各个变量的地址信息都会分别保存在section header table和符号表symtab中，当程序运行的时候，加载器会根据这些信息在内存中紧挨着数据段之后的空间，为BSS段开辟一片存储空间，为各个变量分配存储空间。

总而言之：BSS段在可执行文件中不占用空间，在程序运行的时候才分配对应的空间。

如果在编译时开启了调试选项，则可执行文件中还会有 .debug section，用来保存可执行文件中每一条二进制指令对应的源码位置信息，根据这些信息，GDB调试器就可以支持源码级的单步调试。

在最后环节，编译器还会在可执行文件中添加一些其它的section，比如 .init section，这些代码来自C语言运行库的一些汇编代码，用来初始化C程序所依赖的环境。

参考资料

​​嵌入式C语言自我修养 从芯片、编译器到操作系统​​

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。