程序的翻译环境和执行环境
在ANSI C的任何一种实现中,存在两个不同的环境。
第1种是翻译环境,在这个环境中源代码被转换为可执行的机器指令。
第2种是执行环境,它用于实际执行代码。
翻译阶段:
预处理选项:gcc - E test.c -o test.i
预处理完成之后就停下来,预处理之后产生的结果都放在test.i文件中。
编译选项gcc -s test.c
编译完成之后就停下来,结果保存在test.s中。
汇编gcc -c test.c
汇编完成之后就停下来,结果保存在test.o中。
test.o -> 这个文件是elf格式,里面存放的内容是二进制的,我们看不懂,但有个工具readelf可以看懂,在linux环境中,使用
readelf test.o -s指令可以查看二进制的内容
编译阶段的符号汇总中的符号指的是.c文件中的全局变量、函数名等,而通过上面的指令就可以看到.o文件形成的符号表
elf文件是分为一个段一个段组成的,多个.c文件生成的.o文件都有各自的段组成,链接阶段进行的合并段表和符号表的合并与重定位就是把这些段合并,去掉重复的或者没有意义的符号
test.c -> 符号汇总 -> 形成符号表 -> 符号表合并与重定位
在链接阶段编译器就会去符号对应的地址里找这个函数,如果找不到,则报错说xx符号找不到,这就是链接错误
运行阶段:
程序执行的过程:
1.程序必须载入内存中。在有操作系统的环境中:一般这个由操作系统完成。在独立的环境中,程序的载入必须由手工安排,也可能是通过可执行代码置入只读内存来完成。
⒉程序的执行便开始。接着便调用main函数。
3.开始执行程序代码。这个时候程序将使用一个运行时堆栈(stack),有些也叫函数栈帧,存储函数的局部变量和返回地址。程序同时也可以使用静态(static)内存,存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
堆栈其实就是栈区;堆才是堆区
存储于静态内存中的变量在程序的整个执行过程一直保留他们的值。
堆栈其实就是栈区;堆才是堆区
4.终止程序。正常终止main函数;也有可能是意外终止。