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

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

理论知识

进程描述符（task_struct）
用来描述进程的数据结构，可以理解为进程的属性。比如进程的状态、进程的标识（PID）等，都被封装在了进程描述符这个数据结构中，该数据结构被定义为task_struct

进程控制块（PCB）
是操作系统核心中一种数据结构，主要表示进程状态。

进程状态：

创建一个进程至少涉及的函数：
  sys_clone，do_fork，dup_task_struct，
  copy_process，copy_thread，ret_from_fork

实验内容：

删除原来的menu，并clone新的menu,用test_fork.c覆盖test.c

make rootfs之后新的内核启动，测试fork功能

使用-s -S冷冻内核，准备调试

gdb 加载符号表，配置端口，设置断点

跟踪断点

fork函数具体过程：
复制一个PCB——task_struct
要给新进程分配一个新的内核堆栈

    ti = alloc_thread_info_node(tsk, node);
    tsk->stack = ti;
    setup_thread_stack(tsk, orig);       //这里只是复制thread_info，而非复制内核堆栈
要修改复制过来的进程数据，比如pid、进程链表等，见copy_process内部。

*childregs = *current_pt_regs(); //复制内核堆栈
childregs->ax = 0; // 子进程的fork返回0

p->thread.sp = (unsigned long) childregs; //调度到子进程时的内核栈顶
p->thread.ip = (unsigned long) ret_from_fork; //调度到子进程时的第一条指令地址    
系统调用内核处理函数sys_fork,sys_vfrok,sys_clone，其实最终执行的都是do_fork

do_fork里有：

　 copy_process

　　　　　　dup_task_struct // 复制pcb
　　　　　　alloc_thread_info_node  // 创建了一个页面，其实就是实际分配内核堆栈空间的效果。
　　　　　　setup_thread_stack  // 把thread_info的东西复制过来
之后初始化子进程

***创建的新进程是从哪里开始执行的--》ret_from_fork


*childregs = *current_pt_regs();  复制内核堆栈（复制的pt_regs，是SAVE_ALL中系统调用压栈的那一部分。）
childregs->ax = 0;                               子进程的fork返回0

p->thread.sp = (unsigned long) childregs;        调度到子进程时的内核栈顶
p->thread.ip = (unsigned long) ret_from_fork;    调度到子进程时的第一条指令地址
ip指向的是ret_from_fork，所以是从这里开始执行的。