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

进程的执行和进程的切换

一、知识积累

1、操作系统内核实现操作系统的三大管理功能：
进程管理（内核最核心功能）、内存管理、文件系统
2、do_fork函数的参数：
clone_flags：子进程创建相关标志，通过此标志可以对父进程的资源进行有选择的复制
stack_start：子进程用户态堆栈的地址
regs：指向pt_regs结构体的指针
stack_size：用户态栈的大小，通常是不必要的，总被设置为0
parent_tidptr和child_tidptr：父进程子进程用户态下的pid地址

二、实验

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

在MenuOS中增加命令fork

cd ~/LinuxKernel
rm menu -rf
git clone https://github.com/mengning/menu.git
cd menu 
mv test_fork.c test.c
make rootfs 

跟踪分析进程创建过程

# shell1中启动内核
cd ~/LinuxKernel
qemu -kernel linux-3.18.6/arch/x86/boot/bzImage -initrd rootfs.img -S -s

# shell2中使用gdb调试
cd ~/LinuxKernel
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_fork

运行

三、总结

创建一个进程是复制当前进程的信息，就是fork一个进程，这样就创建了一个新进程。因为父进程和子进程的绝大部分信息是完全一样的，但是有些信息是不能一样的，比如pid的值和内核堆栈。还有将新进程链接到各种链表中，要保存进程执行到哪个位置，有一个thread数据结构记录ip和sp 等信息也不能一样，否则会发生问题。可以想象，父进程创建一个子进程，应该会有个地方复制了父进程的进程描述符task_ struct 结构体变量，并有很多地方来修改复制出来的进程描述符task_ struct 结构体变量。因为父子进程各自都有很多自己独立的个性，子进程应该有很多地方修改内核堆栈里的信息，因为内核堆栈里的很多数据是从父进程复制来的，而fork系统调用在父子进程中分别返回到用户态，父子进程的内核堆栈中可能某些信息也不完全一样。还有thread, 根据子进程复制的父进程的内核堆栈的状况，肯定要设定好EIP和ESP寄存器，即设定好子进程开始执行的位置。需要特别说明的是，fork 一个子进程的过程中，复制父进程的资源时采用了Copy On wite (写时复制)技术，不需要修改进程资源，父子进程是共享内存存储空间的。