4. fork 系统调用入门：函数原型、返回值特性与父子进程创建

fork 是 Linux 进程管理的核心系统调用，也是创建新进程的唯一原生接口。理解 fork 的返回值语义和父子进程关系，是掌握多进程编程与 IPC 通信的基础。本节从函数原型出发，逐步拆解 fork 的执行机制与返回值特性。

4.1 fork 函数原型与头文件

fork 定义在 <unistd.h> 头文件中，其原型极为简洁：

#include <unistd.h>

pid_t fork(void);

4.2 返回值特性：调用一次，返回两次

fork 的返回值是区分父子进程的唯一依据。其返回值规则如下：

• 在父进程中：返回子进程的 PID（正整数）。父进程通过此值识别子进程，并可用于后续 waitpid 等系统调用。
• 在子进程中：返回 0。子进程通过返回 0 得知自己是新创建的进程。
• 出错时：返回 -1，并设置 errno。常见错误包括进程数达到系统上限（EAGAIN）或内存不足（ENOMEM）。

4.3 父子进程创建流程

当程序调用 fork 时，内核执行以下步骤：

1. 分配 PCB：内核为新进程分配一个 task_struct 结构体，并分配唯一的 PID。
2. 复制进程映像：子进程获得父进程数据段、堆、栈的完整副本（写时复制优化，COW）。
3. 复制文件描述符表：子进程继承父进程所有打开的文件描述符，共享文件偏移量。
4. 设置返回值：内核将子进程的 PID 写入父进程的返回值寄存器，将 0 写入子进程的返回值寄存器。
5. 调度执行：父子进程均进入就绪队列，由调度器决定谁先运行。

4.4 父子进程关系与特性

创建完成后，父子进程形成以下关系：

• 独立性：父子进程拥有独立的虚拟地址空间，互不干扰。子进程对全局变量的修改不会影响父进程。
• 继承性：子进程继承父进程的文件描述符、信号处理设置、环境变量、工作目录等。
• 调度平等：父子进程由内核调度器平等调度，执行顺序不确定（取决于调度策略和系统负载）。
• 父子关系：子进程的 ppid（父进程 ID）被设置为父进程的 PID。父进程终止后，子进程成为孤儿进程，由 init（PID 1）收养。

4.5 典型代码模板

以下是最基本的 fork 使用模式：

#include <stdio.h>
#include <unistd.h>

int main() {
    pid_t pid = fork();

    if (pid < 0) {
        // fork 失败
        perror("fork failed");
        return 1;
    } else if (pid == 0) {
        // 子进程代码
        printf("子进程: PID = %d, PPID = %d\n", getpid(), getppid());
    } else {
        // 父进程代码
        printf("父进程: PID = %d, 子进程 PID = %d\n", getpid(), pid);
    }

    // 父子进程都会执行到这里
    printf("共同执行: PID = %d\n", getpid());
    return 0;
}

4.6 写时复制（COW）优化

现代 Linux 内核并不在 fork 时立即复制所有物理内存，而是采用 写时复制（Copy-on-Write） 技术：

• 父子进程共享同一物理内存页，并将页表标记为只读。
• 当任一进程尝试写入共享页时，触发缺页异常，内核才为该进程复制一份物理页。
• 这种优化大幅降低了 fork 的开销，尤其适用于 fork 后立即 exec 的场景。