赵瀚青原创作品转载请注明出处《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000
概述
这周主要讲解的是进程。首先老师就讲解了PCB进程结构块的数据结构，PCB进程控制块的代码包含了很多信息，最开始就是进程的状态信息
，然后是进程状态符，进程调度相关信息等等很多部分。然后老师讲解了用fork()创建进程的过程，然后用gdb调试，跟踪创建进程的过程。
本周学习的内容在上个学期娄老师的课程中有涉及，所以难度不是非常大，但是老师的讲解更加详细，更加细致，也更加深入。对于我们理解操作系统中的进程有着非常重要的作用。
课本内容总结
一、进程的描述
- 为了管理进程，内核必须对每个进程进行清晰的描述，进程描述符提供了内核所需了解的进程信息。
1. 进程控制块PCB——task_struct
操作系统的三大管理功能
- 进程管理
- 内存管理
- 文件系统
PCB task_struct中包含
- 进程状态
- 进程打开的文件
- 进程优先级信息
struct task_struct数据结构很庞大
二、进程的创建
进程借助创建原语实现创建一个新进程。首先为被创建进程在进程表集中区建立一个PCB--UNIX系统还要为进程创建U区和内存映像，从进程表索取一个空白PCB表目，记录它的下标；然后，把调用者提供的所有参数（见PCB块的内容），操作系统分配给新进程的PID和调用者的PID，就绪状态和CPU记账数据填入该PCB块；最后，把此PCB块分别列置到就绪队列RQ和进程隶属关系族群中。
UNIX系统使用fork()函数创建新进程时，为子进程复制EP进程的内存映像并不是主要目标。这时，若用exec()执行一个新程序，则子进程的正文段将全部更换，而数据段也将更新。
创建原语可描述如下：
Procedurecreate(n,S0,K0,M0,R0,acc)
begin
i:=getinternalname(n);//进程表下标
i.id:=n;i.priority:=K0;//进程PID,进程优先级
i.CPUstate=S0;i.mainstore:=M0;//初始CPU状态，内存地址
i.resources:=R0;i.status:=readys;//资源清单，就绪状态
j:=EP;i.parent:=j;i.progeny:=φ;//父进程是EP进程，子进程空
j.progeny:=i;//进程隶属关系
i.sdata=RQ;insert(RQ,i);//到就绪进程队列排队
continue
end
三、实验内容
实验内容概述
- 阅读理解task_struct数据结构；
- 分析fork函数对应的内核处理过程sys_clone，理解创建一个新进程如何创建和修改task_struct数据结构；
- 使用gdb跟踪分析一个fork系统调用内核处理函数sys_clone
实验步骤
1、启动MenuOS
cd LinuxKernel
rm menu -rf
git clone https://github.com/mengning/menu.git
cd menu
mv test_fork.c test.c
make rootfs
2、2. gdb调试fork命令
qemu -kernel linux-3.18.6/arch/x86/boot/bzImage -initrd rootfs.img -s -S
在新窗口中启动调试：
$ gdb
$ file linux-3.18.6/vmlinux
$ target remote:1234
并设置断点
- b sys_clone
- b do_fork
- b dup_task_struct
- b copy_process
- b copy_thread
- b ret_from_for
在Menu系统中输入fork指令，可以看到只输出了fork功能的描述，在断点处sys_clone处停止了。继续运行，观察每个断点出的结果。
总结
创建一个新进程的执行过程
1.通过调用do_fork来实现进程的创建；
2.复制父进程PCB--task_struct来创建一个新进程，要给新进程分配一个新的内核堆栈;
3.修改复制过来的进程数据，比如pid、进程链表等等执行copy_process和copy_thread
4、成功创建新进程