ucore lab5 用户进程管理 学习笔记
近几日睡眠质量不佳,脑袋一困就没法干活,今天总算时补完了.LAB5难度比LAB4要高,想要理解所有细节时比较困难.但毕竟咱不是要真去写一个OS,所以一些个实现细节就当成黑箱略过了.
这节加上了用户进程,主要逻辑是:idle_proc内核线程--子进程-->init_proc内核线程--子进程-->user_main内核线程--load_icode-->exit用户进程--子进程-->新的用户进程,然后再逐级释放
init_main: 在init内核线程中创建user_main内核线程
user_mem_check: 顾名思义.
copy_mm: 把当前进程的mm和对应的物理内存全部做拷贝,添加到指定进程的mm中.使用了dup_mmap
dup_mmap: 把mm从from拷贝到to,使用了copy_range
copy_range: 把pde_t的对应物理内存从from拷贝到to
接下来就是各种状态的转换:
/*
process state changing:
alloc_proc RUNNING
+ +--<----<--+
+ + proc_run +
V +-->---->--+
PROC_UNINIT -- proc_init/wakeup_proc --> PROC_RUNNABLE -- try_free_pages/do_wait/do_sleep --> PROC_SLEEPING --
A + +
| +--- do_exit --> PROC_ZOMBIE +
+ +
-----------------------wakeup_proc----------------------------------
*/
do_wait: 如果指定子进程为僵尸态,则释放子进程资源(线程表,PCB,内核栈);否则自身进入等待态
do_execve: 释放当前进程的mm,调用load_icode载入指定的程序
do_fork: 创建当前进程的子进程,并拷贝对应内存区域.trapframe,stack可以单独指定
do_exit:
释放当前进程资源
如果当前进程的父进程为WT_CHILD状态,则唤醒之
把当前进程的所有子进程都过继给initproc,如果哪个子进程是个ZOMBIE,则唤醒initproc
do_kill: 将指定进程的flags设为PF_EXITING,等待被exit
do_yield: 将当前进程的need_resched置一
load_icode: 当前进程的mm为空时,将内存中指定的ELF程序文件进行展开并作为当前进程的新内容,并更新为用户态特权级
syscall巧妙的运用了函数指针数组便于用户态使用
static int (*syscalls[])(uint32_t arg[]) = {
[SYS_exit] sys_exit,
[SYS_fork] sys_fork,
[SYS_wait] sys_wait,
[SYS_exec] sys_exec,
[SYS_yield] sys_yield,
[SYS_kill] sys_kill,
[SYS_getpid] sys_getpid,
[SYS_putc] sys_putc,
[SYS_pgdir] sys_pgdir,
};
#define NUM_SYSCALLS ((sizeof(syscalls)) / (sizeof(syscalls[0])))
void
syscall(void) {
struct trapframe *tf = current->tf;
uint32_t arg[5];
int num = tf->tf_regs.reg_eax;
if (num >= 0 && num < NUM_SYSCALLS) {
if (syscalls[num] != NULL) {
arg[0] = tf->tf_regs.reg_edx;
arg[1] = tf->tf_regs.reg_ecx;
arg[2] = tf->tf_regs.reg_ebx;
arg[3] = tf->tf_regs.reg_edi;
arg[4] = tf->tf_regs.reg_esi;
tf->tf_regs.reg_eax = syscalls[num](arg);
return ;
}
}
print_trapframe(tf);
panic("undefined syscall %d, pid = %d, name = %s.\n",
num, current->pid, current->name);
}
承接LAB4,当执行到init_main时,会创建user_main内核线程,并使init_main进入等待态调度user_main
调度完成后的函数调用栈为:
kernel_thread_entry->user_main->__alltraps->trap->trap_dispatch->syscall->sysexec->do_execve
这一过程最终将user/exit.c的代码载入到了user_main内核线程中,并将其转化为了用户进程exit,且拥有独立的mm
载入完成后输出信息:
kernel_execve: pid = 2, name = "exit".
因为载入代码这一过程是运行时发生的,所以GDB无法跟踪调试
通过分析可知,ELF程序的入口代码位于user/libs/initcode.S中,主要功能是调用了umain
umain.c功能是调用main函数,并在返回后exit()
main函数则位于exit.c中
int
main(void) {
int pid, code;
cprintf("I am the parent. Forking the child...\n");
if ((pid = fork()) == 0) {
cprintf("I am the child.\n");
yield();
yield();
yield();
yield();
yield();
yield();
yield();
exit(magic);
}
else {
cprintf("I am parent, fork a child pid %d\n",pid);
}
assert(pid > 0);
cprintf("I am the parent, waiting now..\n");
assert(waitpid(pid, &code) == 0 && code == magic);
assert(waitpid(pid, &code) != 0 && wait() != 0);
cprintf("waitpid %d ok.\n", pid);
cprintf("exit pass.\n");
return 0;
}
首先输出信息:
I am the parent. Forking the child...
调用fork()创建子进程,调用栈为:
user/exic.c::main->fork->sys_fork->syscall(SYS_fork)->触发中断SYS_CALL,参数为SYS_fork
以上部分都在user/文件夹下,即在用户态下运行,触发系统调用类型的中断后切换到内核态(对应kern/文件夹)继续执行,__alltraps->trap->dispatch_trap->syscall->sys_fork
此时创建出了3号进程,二者都运行到了if ((pid = fork()) == 0) {这行代码.
对于父进程:fork()返回值为子进程PID
对于子进程:fork()返回值为0
输出信息:
I am parent, fork a child pid 3
I am the parent, waiting now..
父进程调用wait(pid,&code),以fork()类似的形式触发系统调用,最终进入等待态
子进程被调度,输出信息:
I am the child.
然后子进程调用exit()触发系统调用,释放自身资源,并进入僵尸态.
因为父进程处于WT_CHILD状态,所以被唤醒,有如下信息:
waitpid 3 ok.
exit pass.
main()返回到umain()中,调用exit回收进程资源,并重新调度到init_proc,输出如下信息:
all user-mode processes have quit.
init check memory pass.
kernel panic at kern/process/proc.c:447:
initproc exit.
至此整个LAB 5分析完毕
