2022-2023-1 20222809《Linux内核原理与分析》第七周作业

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

实验要求

1. 阅读理解 task_struct 数据结构；

2. 分析 fork 函数对应的内核处理过程 sys_clone，理解创建一个新进程如何创建和修改 task_struct 数据结构；

3. 使用 gdb 跟踪分析一个 fork 系统调用内核处理函数 sys_clone ，验证您对 Linux 系统创建一个新进程 的理解,推荐在实验楼 Linux 虚拟机环境下完成实验。 特别关注新进程是从哪里开始执行的？为什么从那里能顺利执行下去？即执行起点与内核堆栈如何保证一致。

---

一、task_struct是什么？

task_struct就是Linux下的进程控制块PCB，PCB也就是进程管理块，包含着一个进程的所有信息。
在Unix或类Unix系统中，进程是由进程控制块，进程执行的程序，进程执行时所用数据，进程运行使用的工作区组成。其中进程控制块是最重要的一部分。
进程控制块是用来描述进程的当前状态，本身特性的数据结构，是进程中组成的最关键部分，其中含有描述进程信息和控制信息，是进程的集中特性反映，是操作系统对进程具体进行识别和控制的依据。
PCB一般包括：
1.程序ID（PID、进程句柄）：它是唯一的，一个进程都必须对应一个PID。PID一般是整形数字
2.特征信息：一般分系统进程、用户进程、或者内核进程等
3.进程状态：运行、就绪、阻塞，表示进程现的运行情况
4.优先级：表示获得CPU控制权的优先级大小
5.通信信息：进程之间的通信关系的反映，由于操作系统会提供通信信道
6.现场保护区：保护阻塞的进程用
7.资源需求、分配控制信息
8.进程实体信息，指明程序路径和名称，进程数据在物理内存还是在交换分区（分页）中
9.其他信息：工作单位，工作区，文件信息等

二、分析 fork 函数对应的内核处理过程 sys_clone，理解创建一个新进程如何创建和修改 task_struct 数据结构

系统调用sys_clone调用do_fork函数完成。do_fork函数原型位于linux-3.18.6/kernel/fork.c。可以创建进程，创建一个进程是复制当前进程的信息，被复制的进程成为父进程，被创建的新进程成为子进程。父进程和子进程的绝大部分信息是完全一样的，但是有些信息不能一样，比如pid的值和内核堆栈。还有将新进程链接到各种链表中，要保存进程执行到哪个位置，有一个thread数据结构记录ip和sp等信息也不能一样。所以，父进程创建子进程时，会有一个地方复制父进程的进程描述符task_struct结构体变量，并有很多地方来修改复制的进程描述符task_struct结构体变量。

三、使用 gdb 跟踪分析一个 fork 系统调用内核处理函数 sys_clone

1.在MenuOS的运行代码test.c中添加Fork函数，并且增加头文件

#include <unistd.h> 

2.在主函数里添加Fork的使用介绍以及调用指令

3.在终端运行并且gdb调试

在gdb中调试

在sys_clone、do_fork、dup_task_struct、copy_process、copy_thread、ret_from_fork处设置断点：

总结

可以通过fork、vfork和clone来创建一个新进程,而他们又都是通过调用do_ fork方法来实现的。do_ fork函数主要是调用copy_ process函数来为子进程复制父进程信息的。copy_ process函数调用 dup_task_struct为子进程分配新的堆栈;调用sched_ fork 初始化进程数据结构,并把进程状态设置为TASK_ RUNNING。copy_ process函数尤为重要,我们可以看到为什么fork()函数返回值为0，并且fork出的子进程是从哪里开始执行的:将子进程的ip设置为ret_ from_ fork的首地址，子进程从ret_ from_ fork开始执行。