从C语言来分析Linux系统是如何创建的

许多操作系统都提供了专门的进程产生机制，比较典型的过程是：首先在内存新的地址空间里创建进程，然后读取可执行程序，装载到内存中执行。Linux 系统创建线程并未使用上述经典过程，而是将创建过程拆分到两组独立的函数中执行：fork() 函数和 exec() 函数族。

基本流程是这样的：首先，fork() 函数拷贝当前进程创建子进程。产生的子进程与父进程的区别仅在与 PID 与 PPID 以及某些资源和统计量，例如挂起的信号等。准备好进程运行的地址空间后，exec() 函数族负责读取可执行程序，并将其加载到相应的位置开始执行。

Linux 系统创建进程使用的这两组函数效果与其他操作系统的经典进程创建方式效果是相似的，可能有读者会觉得这么做会让进程创建过于繁琐，其实不是的，Linux 这么做的其中一个原因是为了提高代码的复用率，这得益于 Linux 高度概括的抽象，无需再额外设计一套机制用于创建进程。

早期 Linux 中的 fork() 函数直接把父进程的所有资源赋值给创建出的子进程，这样的机制自然是简单的，但是效率却比较低下。原因是显而易见的：子进程并不一定要使用父进程的资源，或者子进程可能仅需以只读的方式访问父进程的资源，这时“拷贝一份资源”就纯属多余的开销了。

针对这样的问题，Linux 后续版本中的 fork() 函数开始采用“写时拷贝”机制。写时拷贝技术可以将拷贝需求延迟，甚至免除拷贝，减小开销。具体来说就是，Linux 在调用 fork() 创建子进程时，并不着急拷贝整个进程地址空间，而是暂时让父子进程以只读的方式共享同一个拷贝。拷贝动作只在子进程需要写入时才会发生，以确保各个进程有自己独立的内存空间。

如果子进程用不到或者只需要读取共享空间数据，那么拷贝动作就被省去了，Linux 就减小了开销。例如，系统调用 fork() 后立即调用 exec()，此时 exec() 会加载新的映像覆盖 fork() 的地址空间，拷贝动作完全可以省去。

事实上，fork() 函数的实际开销就是复制父进程的页表以及给子进程创建唯一的进程描述符。在大多数情况下，Linux 创建进程后都会马上运行新的可执行程序，因此“写时拷贝”机制可以避免相当多的数据拷贝。创建进程速度快是 Linux 系统的一个特征，因此“写时拷贝”是一种相当重要的优化。

创建进程时，内存地址空间里常常包含数十 MB 的数据，如果每创建一次进程，就拷贝一次数据，开销显然是非常大的。

此时子进程和父进程的描述符是完全相同的。将新创建的子进程状态设置为 TASK_UNINTERRUUPTIBLE，确保其暂时不会被投入运行，这一过程的C语言代码相对简单。将为新进程创建的 task_struct 结构体的指针返回给调用者，也即 do_fork() 函数。此时新创建的进程还没有被投入运行。到这里，一个新的进程就被 Linux 创建完毕了。

Linux 内核有意让新创建的子进程先运行，因为子进程常常会立即调用 exec() 函数加载新的程序到内存中运行，这样就避免了写时拷贝的额外开销。如果父进程首先执行，显然极有可能开始往地址空间写入操作，导致拷贝动作发生。