Linux内核创建一个新进程的过程

第一部分

进程控制块PCB-task_struct数据结构

图 1 task_struct
为了管理进程，内核必须对每个进程进行清晰的描述，进程描述符提供了内核所需了解的进程信息。task_struct数据结构庞大，包含以下：
1、进程状态

#define TASK_RUNNING        0
#define TASK_INTERRUPTIBLE  1
#define TASK_UNINTERRUPTIBLE    2
#define __TASK_STOPPED      4
#define __TASK_TRACED       8
/* in tsk->exit_state */
#define EXIT_DEAD       16
#define EXIT_ZOMBIE     32
#define EXIT_TRACE      (EXIT_ZOMBIE | EXIT_DEAD)
/* in tsk->state again */
#define TASK_DEAD       64
#define TASK_WAKEKILL       128
#define TASK_WAKING     256
#define TASK_PARKED     512
#define TASK_STATE_MAX      1024

Linux进程的状态与操作系统原理中的描述的进程状态似乎有所不同，比如就绪状态和运行状态都是TASK_RUNNING，是否处于运行状态，取决是否获得CPU的控制权。
2、进程的PID
3、所有进程双向链表 struct list_head tasks
4、进程父子关系
5、Linux为每个进程分配一个8KB大小的内存区域，用于存放该进程两个不同的数据结构：Thread_info和进程的内核堆栈。
6、struct thread_struct thread,CPU相关的状态。
7、文件系统和文件描述符
8、内存管理——进程的地址空间
9、打开的文件符列表
等等

第二部分

分析fork函数对应的内核处理过程sys_clone，理解创建一个新进程如何创建。

图2 fork函数执行流程
fork、vfork和clone三个系统调用都可以创建一个新进程，而且都是通过调用do_fork来实现进程的创建。
（1）do_fork
创建新进程是通过复制当前进程实现的。
do_fork主要是复制了父进程的task_struct，然后修改必要的信息，从而得到子进程的task_struct。
调用copy_process，将当前进程复制一份出来给子进程，并且为子进程设置相应地上下文信息。
调用wake_up_new_task，将子进程放入调度器的队列中，此时的子进程就可以被调度进程选中运行。
（2）copy_process
创建进程描述符以及子进程所需要的其他所有数据结构，为子进程准备运行环境。调用dup_task_struct复制一份task_struct结构体，作为子进程的进程描述符，复制所有的进程信息。调用copy_thread，设置子进程的堆栈信息，为子进程分配一个pid。
（3）dup_ task_ struct
先调用alloc_task_struct_node分配一个task_struct结构体。
调用alloc_thread_info_node，分配了一个union。这里分配了一个thread_info结构体，还分配了一个stack数组。返回值为ti，实际上就是栈底。
tsk->stack = ti将栈底的地址赋给task的stack变量。最后为子进程分配了内核栈空间。
执行完dup_task_struct之后，子进程和父进程的task结构体，除了stack指针之外，完全相同。
（4）copy_thread
获取子进程寄存器信息的存放位置，对子进程的thread.sp赋值，将来子进程运行，这就是子进程的esp寄存器的值。
将子进程的eax寄存器值设置为0，所以fork调用在子进程中的返回值为0。
子进程从ret_from_fork开始执行，所以它的地址赋给thread.ip，也就是将来的eip寄存器。
（5）运行新进程
新的子进程从ret_from_fork处开始执行。
dup_task_struct中为其分配了新的堆栈。
copy_process中调用了sched_fork，将其置为TASK_RUNNING
copy_thread中将父进程的寄存器上下文复制给子进程，这是非常关键的一步，这里保证了父子进程的堆栈信息是一致的。

第三部分

使用gdb跟踪分析fork函数执行

图3 为menuOs中的fork函数运行效果

图4 在sys_clone处设置断点

图5 在do_fork处设置断点

图6 在copy_process处设置断点

图7 在dup_task_struct处设置断点

图8 在copy_thread处设置断点

图9 ret_from_fork

小市民 + 原创作品转载请注明出处 + 《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000