安大大 + 原创作品转载请注明出处 + 《Linux操作系统分析》MOOC课程
知识要点
1 可执行程序是怎么得来的
对于c代码来说，先是经过编译器的预处理，然后编译成汇编代码。再由汇编器把汇编代码编译成目标代码，然后再连接成可执行文件。可执行文件由操作系统加载到内存里执行。
shiyanlou:~/ $ cd Code
shiyanlou:Code/ $ vi hello.c
shiyanlou:Code/ $ gcc -E -o hello.cpp hello.c -m32 #对c程序预处理,hello.cpp是预处理的中间文件
shiyanlou:Code/ $ vi hello.cpp
shiyanlou:Code/ $ gcc -x cpp-output -S -o hello.s hello.cpp -m32 #编译成汇编代码
shiyanlou:Code/ $ vi hello.s
shiyanlou:Code/ $ gcc -x assembler -c hello.s -o hello.o -m32 #编译成目标代码
shiyanlou:Code/ $ vi hello.o #二进制文件,当中已经有一些机器指令
shiyanlou:Code/ $ gcc -o hello hello.o -m32 #连接成可执行程序
shiyanlou:Code/ $ vi hello #hello.o和hello 都是ELF格式的文件
shiyanlou:Code/ $ gcc -o hello.static hello.o -m32 -static #把所有依赖的内容都放在了程序的内部
shiyanlou:Code/ $ ls -l
-rwxrwxr-x 1 shiyanlou shiyanlou 7292 3\u6708 23 09:39 hello
-rw-rw-r-- 1 shiyanlou shiyanlou 64 3\u6708 23 09:30 hello.c
-rw-rw-r-- 1 shiyanlou shiyanlou 17302 3\u6708 23 09:35 hello.cpp
-rw-rw-r-- 1 shiyanlou shiyanlou 1020 3\u6708 23 09:38 hello.o
-rw-rw-r-- 1 shiyanlou shiyanlou 470 3\u6708 23 09:35 hello.s
-rwxrwxr-x 1 shiyanlou shiyanlou 733254 3\u6708 23 09:41 hello.static #比hello大很多
2 目标文件的格式,
.o文件和可执行文件都是目标文件。
ELF（Executable and Linkable Format）可执行与可链接格式，是一个文件格式的标准。在目标文件里边已经是二进制兼容的格式，即这个目标文件已经适应到某种CPU体系结构上的二进制指令(ABI)。
3 在ELF当中有三种主要的目标文件
- 一个可重定位(relocatable)文件（主要是.o文件）保存着代码和适当的数据，用来和其他的object文件一起来创建一个可执行文件或者是一个共享文件。
- 一个可执行(executable)文件保存着一个用来执行的程序；该文件指出了 exec(BA_OS)如何来创建程序进程映像。
- 一个共享object文件（主要是.so文件）保存着代码和合适的数据，用来被下面的两个连接器链接。第一个是连接编辑器（静态链接）[参看ld(SD_CMD)]，可以和其他的重定位和共享object文件来创建其他的object。第二个是动态链接器，联合一个可执行文件和其他的共享object文件来创建一个进程映象。
4 目标文件的格式ELF
Object文件参与程序的联接(创建一个程序)和程序的执行(运行一个程序)。
object 文件格式提供了一个方便有效的方法并行的视角看待文件的内容，
在他们的活动中，反映出不同的需要。
Linking 视角 Execution 视角
============ ==============
ELF header ELF header
Program header table (optional) Program header table
Section 1 Segment 1
... Segment 2
Section n ...
Section header table Section header table (optional)
一个ELF头在文件的开始，保存了路线图(road map)，描述了该文件的组织情况。程序头表（program header table）告诉系统如何来创建一个进程的内存映象。section头表（section header table）包含了描述文件sections的信息。每个section在这个表中有一个入口；每个入口给出了该section的名字，大小，等等信息。
Entry point address是程序的起点
可执行文件的格式和进程的地址空间有一个映射关系，
可执行程序加载的主要工作。
当创建或增加一个进程映像的时候，系统在理论上将拷贝一个文件的段到一个虚拟的内存段
+ Figure 2-5: Executable File
File Offset File Virtual Address
=========== ==== ===============
0 ELF header
Program header table
Other information
0x100 Text segment 0x8048100
...
0x2be00 bytes 0x8073eff
0x2bf00 Data segment 0x8074f00
...
0x4e00 bytes 0x8079cff
0x30d00 Other information
...
参考：ELF文件格式(中文) 英文
5 静态链接的ELF可执行文件与进程的地址空间
Entry point address 是可执行文件加载到内存中开始执行的第一行代码
一般静态链接会将所有代码放在一个代码段
动态链接的进程会有多个代码段
6装载可执行程序之前的工作
命令行参数和环境变量是如何保存和传递的
调用execve系统调用时，要加载的可执行程序，把原来的进程环境覆盖掉，覆盖掉之后，用户态堆栈被清空。
命令行参数和环境变量是如何进入新进程的堆栈的
创建一个新的用户态堆栈时，把命令行参数的内容和环境变量的内容，通过指针的方式传递到系统调用的内核处理函数。内核处理函数在创建一个新的可执行程序的用户态堆栈时，会把argv和envp拷贝到用户态堆栈里，来初始化新的可执行程序执行的上下文环境。
先函数调用参数传递，再系统调用参数传递。
7
动态链接分为可执行程序装载时动态链接和运行时动态链接
linux下动态链接文件.so，windows是dll
装载可执行程序之前的工作
总结
把ELF可执行文件加载到内存中，通过ELF头部的信息，找到程序的入口执行。
