进程控制系列（一）进程创建——fork函数与写时拷贝（COW）深度解析

进程控制系列（一）进程创建——fork函数与写时拷贝（COW）深度解析

深入理解fork与写时拷贝技术

在操作系统中，进程创建是核心功能之一。Linux提供了fork系统调用来创建新进程。本文将为小白详细解析fork函数以及其背后的优化技术——写时拷贝（COW）。

1. 什么是进程创建？

进程创建是指在已有进程的基础上，生成一个新的进程。在Linux中，几乎所有的进程都由另一个进程创建，被创建的称为子进程，创建者称为父进程。fork函数就是用来实现这一操作的。

2. fork函数详解

fork函数的原型如下：#include pid_t fork(void);。调用它之后，会创建一个新的进程，新进程是当前进程的副本。

fork函数有一个非常独特的特点：调用一次，返回两次。在父进程中，fork返回新创建子进程的PID；在子进程中，fork返回0；如果出错则返回-1。

下面是一个简单的fork示例：

    pid_t pid = fork();if (pid == 0) {    // 子进程代码} else if (pid > 0) {    // 父进程代码} else {    // 错误处理}  

刚接触fork的朋友可能会疑惑：为什么一个函数能返回两次？实际上，fork执行时，内核会复制父进程的进程控制块、页表等，然后为子进程创建新的task_struct。但复制整个地址空间是昂贵的，因此现代Linux引入了写时拷贝（COW）技术。

3. 写时拷贝（COW）深度解析

写时拷贝（Copy-On-Write，COW）是一种优化技术。在传统的fork中，内核会立即把父进程的所有内存页复制一份给子进程，这非常耗时，尤其是当父进程占用大量内存时。

COW的思想是：fork时并不复制物理内存，而是让父子进程共享同一份物理内存页，并将这些页标记为“只读”。只有当其中一方尝试写入时，才会触发页错误，内核捕获异常后，为写入方分配新的物理页，并复制原内容，然后恢复读写权限。这样，如果fork之后立即执行exec族函数（加载新程序），就完全避免了内存复制，大大提高了效率。

例如，父进程fork出一个子进程，子进程马上调用exec执行新程序，那么父进程的地址空间根本不需要复制给子进程，只需共享只读，然后exec时重新分配。这得益于COW机制。

4. fork与vfork的区别

在COW出现之前，还有一个系统调用vfork，它也是创建进程，但保证子进程先运行，并且共享父进程内存，直到子进程调用exec或退出。但vfork容易导致死锁，且语义复杂，现在基本被fork+COW取代。

5. 总结

本文介绍了Linux下的进程创建机制，重点讲解了fork函数的使用和返回特性，以及现代操作系统普遍采用的写时拷贝（COW）技术。理解这些是深入学习进程控制的基础。下一篇文章我们将讨论进程终止。

关键词：进程创建、fork函数、写时拷贝、COW