进程的执行和进程的切换
一、知识积累
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 (写时复制)技术,不需要修改进程资源,父子进程是共享内存存储空间的。