进程创建：fork系统调用与写时拷贝

进程创建，这是系统编程里最基础也最迷人的话题之一。我刚开始学的时候，总觉得fork这个系统调用有点反直觉——调用一次，返回两次？这听着像魔术。但等你真正理解了背后的设计哲学，你会发现，这其实是Unix系统最优雅的设计之一。

fork系统调用：一次调用，两次返回

先看一个最简单的例子：

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

int main() {
    pid_t pid = fork();
    
    if (pid == 0) {
        printf("我是子进程，PID = %d\n", getpid());
    } else if (pid > 0) {
        printf("我是父进程，子进程的PID = %d\n", pid);
    } else {
        perror("fork失败");
        return 1;
    }
    
    return 0;
}

运行这段代码，你会看到两行输出。为什么会这样？

说白了，fork会创建一个与当前进程几乎一模一样的副本。这个副本就是子进程。子进程从fork调用的下一条指令开始执行，而不是从头开始。所以，fork之后的代码，父子进程都会执行。

写时拷贝技术：不是真的拷贝

你可能会想：每次fork都要完整复制一个进程，那得多慢？尤其是进程占用了大量内存的时候。

嗯，这里要注意。早期的Unix确实是这样做的——直接复制整个地址空间。但现代Linux早就优化了，用的是写时拷贝（Copy-On-Write，COW）技术。

它的核心思想很简单：

• fork之后，父子进程共享同一份物理内存
• 所有内存页都被标记为"只读"
• 只有当某一方试图写入时，才真正复制该页

我在项目中遇到过这样一个场景：一个服务进程需要fork出大量子进程来处理请求。如果每次fork都完整复制内存，光内存开销就扛不住。但用了COW，子进程只复制它实际修改的那一小部分内存，效率提升非常明显。

fork的返回值与父子进程关系

fork的返回值设计，其实藏着不少智慧。我们来看看：

返回值	含义	说明
0	当前在子进程中	子进程通过getpid()获取自己的PID
> 0	当前在父进程中	返回值就是子进程的PID
-1	fork失败	通常是资源不足，errno会说明原因

为什么子进程返回0，而不是自己的PID？

我个人习惯这样理解：子进程可以通过getpid()随时拿到自己的PID，但父进程没法直接知道子进程的PID。所以fork把子进程的PID返回给父进程，而子进程拿到0作为标记——这样代码里就可以用if-else来区分父子进程了。

getpid与getppid：我是谁？我爹是谁？

这两个系统调用简单但实用：

• getpid()：返回当前进程的PID
• getppid()：返回父进程的PID

你想想看，在fork之后，父子进程各自调用getpid和getppid，结果会是什么？

pid_t pid = fork();
if (pid == 0) {
    // 子进程
    printf("子进程: 我的PID=%d, 父进程PID=%d\n", getpid(), getppid());
} else {
    // 父进程
    printf("父进程: 我的PID=%d, 子进程PID=%d\n", getpid(), pid);
}

输出大概是这样的：

父进程: 我的PID=1234, 子进程PID=1235
子进程: 我的PID=1235, 父进程PID=1234

注意，子进程的getppid返回的是父进程的PID，也就是1234。但如果父进程先于子进程结束，子进程会成为孤儿进程，被init进程（PID=1）收养。这时候getppid就会返回1。

知识体系总览

下面这张图，帮你把本章的核心逻辑串起来：

这张图把fork的三个核心知识点串在了一起。写时拷贝是性能保障，返回值设计是编程接口，getpid/getppid是身份识别。三者缺一不可。

好了，这一章的内容就到这里。记住，fork是Unix系统编程的基石，理解它背后的设计思想，比死记硬背API重要得多。下一章我们会聊进程退出与资源回收，到时候你会看到，创建进程只是第一步，怎么管好它才是真正的挑战。

---