do_fork(一)-526互联

fork 是linux创建进程的系统调用，相关的函数（不只是系统调用）还有 vfork,clone,sys_frok等。这些函数会整理不同参数，再调用到 do_fork 中。

本篇文章主要介绍do_fork 函数。（sys_call_table 是系统调用表， fork -> syscall(number) -> sys_fork -> do_fork）

 1 /*
 2  *  Ok, this is the main fork-routine.
 3  *
 4  * It copies the process, and if successful kick-starts
 5  * it and waits for it to finish using the VM if required.
 6  */
 7 long do_fork(unsigned long clone_flags,
 8           unsigned long stack_start,
 9           struct pt_regs *regs,
10           unsigned long stack_size,
11           int __user *parent_tidptr,
12           int __user *child_tidptr)
13 {
14     struct task_struct *p;
15     int trace = 0;
16     long pid;
17 
18     if (unlikely(current->ptrace)) {
19         trace = fork_traceflag (clone_flags);
20         if (trace)
21             clone_flags |= CLONE_PTRACE;
22     }
23 
24     p = copy_process(clone_flags, stack_start, regs, stack_size, parent_tidptr, child_tidptr);
25     /*
26      * Do this prior waking up the new thread - the thread pointer
27      * might get invalid after that point, if the thread exits quickly.
28      */
29     pid = IS_ERR(p) ? PTR_ERR(p) : p->pid;
30 
31     if (!IS_ERR(p)) {
32         struct completion vfork;
33 
34         if (clone_flags & CLONE_VFORK) {
35             p->vfork_done = &vfork;
36             init_completion(&vfork);
37         }
38 
39         if ((p->ptrace & PT_PTRACED) || (clone_flags & CLONE_STOPPED)) {
40             /*
41              * We'll start up with an immediate SIGSTOP.
42              */
43             sigaddset(&p->pending.signal, SIGSTOP);
44             set_tsk_thread_flag(p, TIF_SIGPENDING);
45         }
46 
47         p->state = TASK_STOPPED;
48         if (!(clone_flags & CLONE_STOPPED))
49             wake_up_forked_process(p);    /* do this last */
50         ++total_forks;
51 
52         if (unlikely (trace)) {
53             current->ptrace_message = pid;
54             ptrace_notify ((trace << 8) | SIGTRAP);
55         }
56 
57         if (clone_flags & CLONE_VFORK) {
58             wait_for_completion(&vfork);
59             if (unlikely (current->ptrace & PT_TRACE_VFORK_DONE))
60                 ptrace_notify ((PTRACE_EVENT_VFORK_DONE << 8) | SIGTRAP);
61         } else
62             /*
63              * Let the child process run first, to avoid most of the
64              * COW overhead when the child exec()s afterwards.
65              */
66             set_need_resched();
67     }
68     return pid;
69 }

18行：likely和unlikely是内核代码中常用的宏，likely实际是希望表达式x==1，即表达式x成立，并且在代码实际执行中，表达式x在绝大多数情况下是成立的，相反，unlikely是希望表达式在绝大多数情况下不成立。

24行： copy_process 复制进程信息。

31行： IS_ERR 是内核判断地址是否合法的常用函数。（具体为什么是(unsigned long)ptr > (unsigned long)-1000L，没太理解，chatgpt说是约定负数为错误，但个人感觉他说的不对。应该和地址空间有关（用户态占用3G内存，内核占用1G内存。））

34行： CLONE_VFORK // set if the parent wants the child to wake it up on mm_release ，英文不好，大概理解是当子进程调用 mm_release 时，唤醒父进程。查看调用 CLONE_VFORK 的函数，发现都是vfork在使用。vfork 系统调用会要求先运行子进程，再运行父进程。所以猜测，是唤醒父进程使用的。

同时再搜索mm_release函数调用发现 vork_done 标志及注释，可以用来佐证上述猜想。