程序的翻译环境和执行环境
在ANSI C的任何一种实现中,存在两个不同的环境。
第1种是翻译环境,在这个环境中源代码被转换为可执行的机器指令。
第2种是执行环境,它用于实际执行代码。
一、详解编译+链接
1.翻译环境
组成一个程序的每个源文件通过编译过程分别转换成目标代码(object code)。
每个目标文件由链接器(linker)捆绑在一起,形成一个单一而完整的可执行程序。
链接器同时也会引入标准C函数库中任何被该程序所用到的函数,而且它可以搜索程序员个人
的程序库,将其需要的函数也链接到程序中。
2.编译本身可分为三个阶段
看下面的代码:
sum.c
#define MAX 100
int g_val = 2016;
//这是一个注释
void print(const char *str)
{
int m = MAX;
printf("%s\n", str);
}
test.c
#include <stdio.h>
int main()
{
extern void print(char *str);
extern int g_val;
printf("%d\n", g_val);
print("hello bit.\n");
return 0;
}
编译分为:(1)预编译/预处理(2)编译(3)汇编 三个阶段
预编译:在此阶段,编译器会进行文本操作 1.头文件的包含 2.#define定义符号的替换,并且删除定义的符号, 例子中的MAX直接会被变成100,并 且直接删除符号MAX。 3.删除注释等等操作
编译:把c语言代码转换成汇编代码 1.语法分析 2.词法分析 3.语义分析 4.符号汇总(将全局符号汇总出来,之后的汇编以及链接过程会用到) 例子中汇总出来的有:g_val Add main 局部变量不会汇总
汇编:生成目标文件,把汇编代码转换成二进制指令(机器指令),形成符号表
符号表:
3.链接
链接过程:1.合并段表 2.符号表的合并和符号表的重定位
符号表的重定位: 符号表合并后,每个符号会选取有效的地址。
在Linux环境下中编译生成的text.o Add.o 目标文件为elf格式。elf格式将目标文件分成一段一段的,每段中存放相应的数据。
链接将Add.o main.o 链接库合并生成一个test.exe文件,text.exe文件也是elf格式。
二、运行环境
程序执行的过程:
1. 程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境 中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
2. 程序的执行便开始。接着便调用main函数。
3. 开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),存储函数的局部变量 和返回地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的 整个执行过程一直保留他们的值。
4. 终止程序。正常终止main函数;也有可能是意外终止。
注意:此文章是个人理解,若是其中有错误或者不足,还希望各位朋友进行指导。