Linux 2.6.12 内核 进程 1 的创建(四)
下面分析一下 copy_thread 函数,个人认为此函数非常非常重要.
int copy_thread(int nr, unsigned long clone_flags, unsigned long esp,unsigned long unused,
struct task_struct * p, struct pt_regs * regs)
{
struct pt_regs * childregs;
struct task_struct *tsk;
int err;
childregs = ((struct pt_regs *) (THREAD_SIZE + (unsigned long) p->thread_info)) - 1;
childregs指向新创建的进程的内核栈(栈底减去一个struct pt_regs 结构体的大小)的内核栈处!
childregs = (struct pt_regs *) ((unsigned long) childregs - 8);
childregs再指向childregs减去8字节的内核栈
*childregs = *regs;
将之前设置的假的硬件上下文信息保存到新创建进程的内核栈中
此结构中保存着新创建进程的执行的代码指针
childregs->eax = 0;
将pt_regs结构中的eax字段设为0,这就是为什么fork()系统调用返回时子进程得到的返回值是0的原因。在新创建的进程得到处理器时,在执行真正的新创建进程的代码前,会把内核栈中pt_regs结构中内容弹出,而childregs->eax 被弹出到eax寄存器中,所以返回值是0
childregs->esp = esp;
根据参数esp更新新创建进程的继承自父进程的用户态栈栈指针esp,在新创建进程返回到用户态时,其将作为新创建进程用户态栈的栈顶指针寄存器esp的值!
因为现在的情况是创建进程1,当最后执行iret指令后,从栈中弹出cs,ip以及EFLAGS的内容,此时cpu检查并没有发生特权级的改变所以不会弹出ss,esp的内容!也就是说进程1是一个内核态进程,根本就没有用户态!
p->thread.esp = (unsigned long) childregs;
更新新创建进程描述符的 thread 成员变量,用来保存进程的硬件上下文。在 switch_to() 执行进程切换时,会根据 thread 中内容来判断新进程的执行地址!
thread.esp为内核栈栈顶。当新建进程在内核态执行时,会根据此字段设置内核态栈。
p->thread.esp0 = (unsigned long) (childregs+1);
该成员变量指向内核态栈低减8字节。在通过中断门、陷阱门进入到内核态时,处理器的控制器会根据任务状态段esp0的值来设置内核态栈顶。
p->thread.eip = (unsigned long) ret_from_fork;
thread成员变量 eip 的值为标记 ret_from_fork() 的地址。在新创建进程获得处理器时,内核主调度器 schedule() 会根据 thread中 的信息来设置硬件上下文,设置任务状态段中的内核态栈栈底字段 ESP0 为此处成员变量 esp0 的值;设置处理器的栈指针寄存器 esp 为此处的成员变量 esp 的值;设置 eip 为此处成员变量 eip 的值。在新创建进程获得处理器时,将从代码 ret_from_fork() 开始执行!
savesegment(fs,p->thread.fs);
savesegment(gs,p->thread.gs);
把fs,ds段寄存器内容保存到 thread中!
tsk = current;
if (unlikely(NULL != tsk->thread.io_bitmap_ptr)) {
p->thread.io_bitmap_ptr = kmalloc(IO_BITMAP_BYTES, GFP_KERNEL);
if (!p->thread.io_bitmap_ptr) {
p->thread.io_bitmap_max = 0;
return -ENOMEM;
}
memcpy(p->thread.io_bitmap_ptr, tsk->thread.io_bitmap_ptr,
IO_BITMAP_BYTES);
}
在父进程包含I/O访问许可权限位图的情况下,使新创建进程继承父进程的I/O访问许可权限位图!
/*
* Set a new TLS for the child thread?
*/
if (clone_flags & CLONE_SETTLS) {
struct desc_struct *desc;\
struct user_desc info;
int idx;
err = -EFAULT;
if (copy_from_user(&info, (void __user *)childregs->esi, sizeof(info)))
goto out;
err = -EINVAL;
if (LDT_empty(&info))
goto out;
idx = info.entry_number;
if (idx < GDT_ENTRY_TLS_MIN || idx > GDT_ENTRY_TLS_MAX)
goto out;
desc = p->thread.tls_array + idx - GDT_ENTRY_TLS_MIN;
desc->a = LDT_entry_a(&info);
desc->b = LDT_entry_b(&info);
}
在参数 clone_flags 包含 CLONE_SETTLS 标记的情况下,设置进程的TLS 在此不详细分析!
err = 0;
out:
if (err && p->thread.io_bitmap_ptr) {
kfree(p->thread.io_bitmap_ptr);
p->thread.io_bitmap_max = 0;
}
return err;
返回错误号!
}
为了更好的分析栈中情况,图如下:
栈底的8字节空间废掉了,留作他用!
copy_process() 函数结束后返回到 do_fork() 函数中! 在do_fork()中有这样一段代码:
`</p>
if (!(clone_flags & CLONE_STOPPED))
wake_up_new_task(p, clone_flags);
else
p->state = TASK_STOPPED;`
若含有 CLONE_STOPPED 标记则将新创建进程状态设置为 TASK_STOPPED ,说明新创建的进程不会运行,除非有进程通过信号唤醒它! 若没有 把当前进程添加到当前处理器队列中!
马上进入 wake_up_new_task() 函数!
