分析Linux内核创建一个新进程的过程
首先更新MenuOS的代码，加入调用fork的命令。吐槽一句，实验楼免费用户无法连网。还好只要去github复制一段代码即可
先观察一下fork命令的实现
1 int Fork(int argc, char *argv[])
2 {
3 int pid;
4 /* fork another process */
5 pid = fork();
6 if (pid<0)
7 {
8 /* error occurred */
9 fprintf(stderr,"Fork Failed!");
10 exit(-1);
11 }
12 else if (pid==0)
13 {
14 /* child process */
15 printf("This is Child Process!\n");
16 }
17 else
18 {
19 /* parent process */
20 printf("This is Parent Process!\n");
21 /* parent will wait for the child to complete*/
22 wait(NULL);
23 printf("Child Complete!\n");
24 }
25 }
根据fork系统调用的返回值，可以区分出当前是父进程还是子进程，或者调用失败。然后父进程通过wait系统调用等待子进程结束，再输出"Child Complete"
因此，为了能退出进程，为quit命令添加一行代码
1 int Quit(int argc, char *argv[])
2 {
3 exit(0);
4 }
编译以后运行一下
可以看到结果是符合预期的。
吃个饭回来发现实验楼的虚拟机到时间了 (╯°Д°)╯︵ ┻━┻。。。。启动vmware继续
下面开始具体分析进程创建的过程。
Linux有三个系统调用可以创建进程：clone/vfork/fork，网上有许多这三个函数区别的总结，基本上就是父进程和子进程共享资源的区别。
从代码上看，三个系统调用都是通过do_fork实现的，只不过参数不同。而do_fork又主要是由copy_process实现的
于是用gdb直接在copy_process入口处设置断点，进行跟踪。
一上来先是检查参数
然后调用dup_task_struct，创建了当前进程task_struct和thread_info结构体的副本。
但是创建的只是结构体的浅复制，结构体内的指针指向的都是同样的地址。于是接下来的一系列copy函数对各个模块进行深度复制
这些copy函数根据do_fork的参数进行复制，如果不复制，就等于共享了父进程的资源。并且复制也不是单纯的直接复制，而是根据情况进行一定的修改。
以copy_thread为例
子进程复制了父进程的用户态寄存器，并且把eax设置为0。这样子进程从系统调用返回的时候，返回值就是0。所以用户态程序根据这一点来区别是哪个进程。
这一行把子进程的起始地址设置为ret_from_fork。当前进程作为父进程，还有后续很多工作要做，而当各种工作完成以后，子进程一开始就可以从ret_from_fork处运行
ret_from_fork代码很简单，基本就是直接从系统调用返回用户态，因此并不需要很多堆栈信息，只要保存基本的用户态寄存器等信息用于从系统调用顺利返回即可。
除了起始IP和堆栈，还有其他一些要修改的信息，包括使用alloc_pid分配一个新的PID，设置parent指针，明确父子关系等等
最后父进程返回do_fork，调用wake_up_new_task设置子进程的运行状态，子进程就可以被内核调度起来。父进程按照系统调用的正常返回流程返回，并不走ret_from_fork。
通过在ret_from_fork设置断点也可以证明这一点，
断点只触发了1次。
总结
Linux的进程创建方式是通过对父进程的复制实现的。通过这种方式，进程与线程的模型可以统一。而且引入了cow以后，创建新进程的开销极小，是Linux的优势之一。
王岩
原创作品转载请注明出处
《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000