视频学习
可执行文件是怎么得来的？
.c汇编成汇编代码.asm，然后再汇编成目标码.o。然后在连接成可执行文件，然后加载到内存可执行了。
对hello.c文件预处理（cpp），预处理负责把include的文件包含进来及宏替换等工作。
把hello.cpp编译成汇编代码hello.s
再把编译代码hello.s编译成目标代码hello.o（二进制的文件），然后把hello.o链接成可执行文件hello。
hello是使用共享库的，再静态编译，把所有完全依赖的都放在hello.static的内部。
目标文件的格式ELF
一个可重定位（relocateble）文件保存着代码和适当的数据，用来和其他的object文件一起来创建一个可执行文件或者是一个共享文件。
一个可执行（executable）文件保存着一个用来执行的程序；该文件指出了exec(BA_OS)如何来创建程序进程映像。
一个共享object文件保存着代码和合适的数据，用来被下面的两个链接器链接。第一个是连接编辑器，可以和其他的可重定位和共享object文件来创建其他的object。第二个是动态链接器，联合一个可执行文件和其他的共享object文件来创建一个进程映象。
Object文件与程序的连接（创建一个程序）和程序的执行（运行一个程序）
一个ELF头文件的开始，保存了路线图（road map），描述了该文件的组织情况程序头表（program header table）告诉系统如何来创建一个进程的内存映象。section头表（section header table）包含了描述文件sections的信息。每个section在这个表中有一个入口，每个入口给出了该section的名字，大小，等等信息。
当创建或增加一个进程映象的时候，系统在理论上将拷贝一个文件的段到一个虚拟的内存段。
静态链接的ELF可执行文件与进程的地址空间
可执行文件加载到内存中开始执行的第一行代码。
一半静态链接将所有代码放在一个代码段。
动态链接的进程有多个代码段。
装载可执行程序之前的工作
可执行程序的执行环境
命令行参数和shell环境，一般我们执行一个程序的shell环境，我们的实验直接使用execve系统调用。
$ ls -l /usr/bin 列出usr/bin下的目录信息
Shell本身不限制命令行参数的个数，命令行参数的个数受限于命令自身
——例如，int main（int argc, charargv[]）
——又如，int main（int argc, charargv[], charenvp[]）
Shell会调用execue将命令行参数和环境参数传递给可执行程序的main函数
——int execve（const charfilename,charconst argv[],charconst envp[]）；
——库函数exec*都是execue的封装例程
sys_execve内部会解析可执行文件格式
do_execve -> do_execve_common -> exec_binprm
search_binary_handler符合寻找文件格式对应的解析模块
对于ELF格式的可执行文件fmt->load_binary(bprm);执行的应该是load_elf_binary其内部是和ELF文件格式解析的部分需要和ELF文件格式标准结合起来阅读
装载时动态链接和运行时动态链接应用举例
动态链接分为可执行程序装载时动态链接和运行时动态链接
编译成libshlibexample.so文件
$ gcc -shared shlibexample.c -o libshlibeexample.so -m32
这就生成了一个共享库文件，共享库和动态加载共享库内部定义其实是一样的
编译main，注意这里只提供shlibexample的-L（库对应的接口头文件所在目录）和-l（库名，如libshlibexample.so去掉lib和.so的部分）并没有提供dllibexample的相关信息，只是指明了-ldl
gcc main.c -o main -L/path/to/your/dir -lshlibexample -ldl -m32
-L指明当前目录， -l指明这个库文件，-ldl动态加载器
可执行程序的装载相关关键问题分析
execve和fork都是特殊一点的系统调用，子进程是从ret_from_fork开始执行然后返回用户态
使用GDB跟踪sys_execve内核函数的处理过程
搭配环境，删除旧的menu目录，重新下载新的版本，test.c覆盖test_exec.c 操作如下：
$ cd LinuxKernel
$ rm menu -rf
$ git clone http://github.com/mengning/menu.git
$ cd menu
$ mv test_exec.c test.c
重新编译并启动程序：
$ make rootfs
使用qemu命令重新启动内核并使用-s和-S参数“冻结”系统执行，命令如下：
$ qemu -kernel linux-3.18.6/arch/x86/boot/bzImage -initrd rootfs.img -s -S
此时为了使用gdb进行调试，需要水平分割一个窗口，输入如下命令：
$ gdb
(gdb) file linux-3.18.6/vmlinux
(gdb) target remote:1234
设置断点sys_execve和load_elf_binary还有start_thread。
执行之后进入了系统调用SyS_execve
跟踪，继续执行进入load_elf_binary
继续跟踪，进入到start_thread
new_ip是返回到用户态的第一条指令的地址
课本第13，14章知识学习
虚拟文件系统中（VFS）有四个主要的对象类型：
1.超级块对象：代表一个具体的已安装文件系统；
2.索引节点对象：代表一个具体文件；
3.目录项对象：代表一个目录项，是路径的一个组成部分；
4.文件对象：代表由进程打开的文件
四种I/O调度程序：
1.Linus电梯。能执行合并与排序预处理；
2.最终期限I/O调度程序。为解决请求饥饿问题；
3.完全公正的排队I/O调度程序。以时间片轮转调度队列；
4.空操作的I/O调度程序。专为随机访问设备而设计的。
