在 Linux 系统编程的面试中，fork() 是一个出现频率极高、也极能区分候选人功底的知识点。很多人能背出“fork 会创建一个子进程，父进程返回子进程 PID，子进程返回 0”，但一旦追问“fork 瞬间内存被复制了吗”“为什么返回值在父子进程中不同”“写时复制到底复制了什么”，回答就开始模糊。本文从一次 fork() 调用出发，把地址空间、写时复制、返回值判断和常见陷阱串成一条完整的知识链，帮助你在面试中答得清楚、答得深入。
一、fork 的基本语义：一次调用，两个返回
fork() 的原型非常简单：
#include <unistd.h>
pid_t fork(void);
调用成功后，系统中会出现两个几乎完全相同的进程：
- 父进程：
fork()返回子进程的 PID，返回值大于 0。 - 子进程：
fork()返回 0。 - 如果失败：返回 -1，并设置
errno。
从内核视角看，fork() 并不是“复制一份程序再运行”，而是以父进程为模板，创建一个新的任务结构。父子进程共享代码段，但拥有各自独立的进程描述符、地址空间描述和内核栈等资源。
面试中常被问到的第一层问题是：为什么父进程返回子进程 PID，而子进程返回 0？
原因在于返回值是内核在 fork() 系统调用返回路径上分别写入父子进程用户态寄存器的。父进程需要知道新创建的子进程是谁，以便后续 wait() 或发送信号；子进程则可以通过 getppid() 获取父进程 PID，因此不需要再返回父进程 PID。返回 0 是一种约定，表示“我就是新创建的那个进程”。
二、fork 瞬间发生了什么：从 task_struct 到地址空间
在 Linux 内核中，进程由 task_struct 描述。fork() 最终会走到 _do_fork()（不同内核版本函数名略有差异），核心工作包括：
- 调用
copy_process()创建新的task_struct。 - 复制或共享父进程的许多内核数据结构，例如文件描述符表、信号处理设置、命名空间等。
- 为子进程分配新的内核栈。
- 设置子进程的地址空间。
- 将子进程加入调度器，使其变为可运行状态。
- 返回到用户态时，父子进程分别从
fork()的下一条指令继续执行。
这里最关键的是地址空间的处理。传统观念认为 fork() 会把父进程的内存“复制一份”给子进程，但现代 Linux 并不会立即做全量物理内存复制，而是采用写时复制。
三、写时复制：fork 高效的关键
写时复制（Copy-On-Write，COW）的核心思想是：读时共享，写时复制。
当 fork() 发生时，内核会为子进程创建新的页表，但页表项最初指向与父进程相同的物理页框。也就是说，父子进程的虚拟地址不同，但映射的物理内存相同。这些物理页被标记为只读或写保护。
当父进程或子进程尝试写入某个页面时，CPU 触发页错误。内核的页错误处理程序发现这是一个 COW 页面，于是：
- 分配一个新的物理页框。
- 将原页面的内容复制到新页框。
- 修改触发写操作进程的页表，使其指向新页框，并设置为可写。
- 恢复该进程继续执行写操作。
这样，只有真正被修改的页面才会被复制，未被修改的页面继续共享，极大减少了 fork() 的开销。
面试中经常追问：COW 复制的是虚拟内存还是物理内存？
答案是：fork() 时复制的是页表等元数据，物理内存页面通过只读映射共享；真正发生写操作时，才复制物理页面内容。因此，fork() 的成本主要与页表规模和进程资源有关，而不是与进程占用的全部物理内存成正比。
另一个常见追问是：COW 对多线程程序有什么影响？
在 Linux 中，fork() 只会复制调用线程，其他线程在子进程中不会继续存在。如果其他线程持有锁或处于不一致状态，子进程可能死锁。因此，多线程程序中通常推荐使用 fork() 后立即 exec()，或者使用 posix_spawn()。
四、返回值判断：正确写法与常见错误
fork() 的返回值判断是面试中的基础考点，也是实际编码中容易出错的地方。
典型写法如下：
pid_t pid = fork();
if (pid < 0) {
perror("fork");
return -1;
} else if (pid == 0) {
// 子进程分支
printf("child: pid=%d, ppid=%d\n", getpid(), getppid());
_exit(0);
} else {
// 父进程分支
printf("parent: child pid=%d\n", pid);
wait(NULL);
}
这里有几个细节值得注意：
- 子进程分支中应使用
_exit()或exit()结束，避免继续执行父进程后续代码。 - 父进程通常需要
wait()或waitpid()回收子进程，否则子进程结束后可能变成僵尸进程。 fork()失败时返回 -1，必须处理，否则可能把失败当成父进程分支继续执行。- 父子进程共享文件描述符，但文件描述符表本身是复制的。也就是说，父子进程操作同一个打开文件时，文件偏移量是共享的。
面试中还有一种经典陷阱题：
for (int i = 0; i < 3; i++) {
fork();
printf("hello\n");
}
问：会打印多少个 hello？
答案是 8 个。因为每次 fork() 都会让当前进程数翻倍，3 次后共有 8 个进程，每个进程都会执行一次 printf()。如果把 printf 换成带缓冲的 printf 且没有换行，还可能因为缓冲区复制出现重复输出，这也是面试中常考的“fork 与缓冲区”问题。
五、fork 之后：父子进程的执行顺序
fork() 返回后，父子进程谁先运行是不确定的，取决于调度器。不能假设父进程一定先执行，也不能假设子进程一定先执行。如果需要控制顺序，应该使用 wait()、管道、信号或其他同步机制。
此外，父子进程虽然代码相同，但从 fork() 返回后可能走不同分支，并且各自拥有独立的地址空间。父进程修改变量不会影响子进程，子进程修改变量也不会影响父进程，除非使用共享内存等机制。
六、面试回答框架
如果面试官问“fork 一次到底发生了什么”，可以按以下层次回答：
- 语义层：创建子进程，父进程返回子 PID，子进程返回 0，失败返回 -1。
- 内核层：复制
task_struct、创建内核栈、复制页表、共享文件描述符等资源。 - 内存层：采用写时复制，父子进程先共享物理页，写时触发页错误再复制。
- 执行层：父子进程从
fork()后继续执行，调度顺序不确定。 - 实践层：注意返回值判断、僵尸进程回收、多线程 fork 风险、缓冲区复制问题。
把这几层串起来，既展示了知识广度，也体现了对 Linux 内核机制的理解。
总结
fork() 看似只是一个函数调用，背后却涉及进程管理、内存管理、页错误处理和调度器等多个内核子系统。写时复制让 fork() 在创建子进程时不必立即复制全部物理内存，从而保持高效；返回值判断则是用户态程序区分父子进程、正确控制执行流的基础。理解这两点，再结合僵尸进程、文件描述符共享和多线程陷阱，就能在 Linux 面试中把 fork 这个问题答得完整而扎实。
未经允许不得转载：任鹏个人博客 » Linux 面试中 fork 一次到底发生了什么：从写时复制到返回值判断
