Linux中fork()函数的底层实现【转】

    if ((retval = copy_semundo(clone_flags, p)))
        goto bad_fork_cleanup_audit;
    if ((retval = copy_files(clone_flags, p)))
        goto bad_fork_cleanup_semundo;
    if ((retval = copy_fs(clone_flags, p)))
        goto bad_fork_cleanup_files;
    if ((retval = copy_sighand(clone_flags, p)))
        goto bad_fork_cleanup_fs;
    if ((retval = copy_signal(clone_flags, p)))
        goto bad_fork_cleanup_sighand;
    if ((retval = copy_mm(clone_flags, p)))
        goto bad_fork_cleanup_signal;
    if ((retval = copy_keys(clone_flags, p)))
        goto bad_fork_cleanup_mm;
    if ((retval = copy_namespace(clone_flags, p)))
        goto bad_fork_cleanup_keys;
    retval = copy_thread(0, clone_flags, stack_start, stack_size, p, regs);

    在此之后，设置子进程的状态，各个字段，并将其插入进程链表，copy_process()完成任务。
    在以上拷贝资源的内核函数中，最为重要的是copy_mm()以及copy_thread()，copy_mm()完成的是对父进程虚存空间的拷贝，而copy_thread()通过eax寄存器将子进程返回值强制置为0并初始化子进程内核栈。
    copy_mm()内核函数：
    （1）先完成对子进程mm_struct的拷贝：

    struct mm_struct * mm, *oldmm;
    int retval;

    tsk->min_flt = tsk->maj_flt = 0;
    tsk->nvcsw = tsk->nivcsw = 0;

    tsk->mm = NULL;
    tsk->active_mm = NULL;


  （2）判断是否是内核线程：

    if (!oldmm)
        return 0;


  （3）通过clone_flags标志位确定是否需要拷贝虚存空间：


    if (clone_flags & CLONE_VM) {//有标志位，共享父进程空间
        atomic_inc(&oldmm->mm_users);
        mm = oldmm;
        spin_unlock_wait(&oldmm->page_table_lock);
        goto good_mm;
    }
    //没有CLONE_VM标志，就必须创建一个新的地址空间。必须要有地址空间，即使此时并没有分配内存。
    retval = -ENOMEM;
    //分配一个新的内存描述符。把它的地址存放在新进程的mm中。
    mm = allocate_mm();
    if (!mm)
        goto fail_nomem;
    //并从当前进程复制mm的内容。
    memcpy(mm, oldmm, sizeof(*mm));
    if (!mm_init(mm))
        goto fail_nomem;

    ......

    //dup_mmap不但复制了线程区和页表，也设置了mm的一些属性.
    //它也会改变父进程的私有，可写的页为只读的，以使写时复制机制生效。
    retval = dup_mmap(mm, oldmm);
    if (retval)
        goto free_pt;


  至此，copy_mm()对父进程资源拷贝完毕。