第2章 进程管理（Process Management）

一、导读

1.1 本章学习目标

理解进程的概念及其在 Linux 内核中的抽象表示（task_struct）

掌握进程描述符的内存分配方式（thread_info 与内核栈的关系）

熟悉进程的所有状态（TASK_RUNNING、TASK_INTERRUPTIBLE 等）及其转换条件

深入理解 fork()、exec()、wait() 等系统调用的内核实现机制

掌握写时复制（Copy-on-Write）技术的原理及其在进程创建中的优化作用

了解 Linux 内核线程的概念及其与用户进程的区别

理解进程标识符（PID）的分配机制和命名空间（PID Namespace）的概念

掌握进程终止的完整流程，包括僵尸进程的产生与回收

1.2 为什么本章如此重要

进程是操作系统中最核心的抽象之一。从内核的角度看，进程是资源分配的基本单位，是调度器操作的对象，是内存管理的上下文。理解进程管理，是理解 Linux 内核工作原理的基石。内核的大多数其他子系统——调度、内存管理、文件系统、网络——都围绕进程展开。

在 Linux 中，进程的概念比传统 Unix 更加丰富。线程在 Linux 中并不是独立的调度实体，而是通过共享部分资源的进程来实现的（即轻量级进程）。这种设计使得内核可以复用进程管理的代码来处理线程，简化了实现。此外，容器技术（如 Docker）的底层隔离机制——命名空间和控制组——也是建立在进程管理之上的。

1.3 核心问题引导

在 Linux 中，进程和线程的本质区别是什么？为什么内核不需要专门的线程数据结构？

task_struct 有多大？它是如何分配在内核栈上的？这种设计有什么优缺点？

fork() 创建的子进程为什么能如此快速？写时复制具体是如何工作的？

为什么 exec() 不会创建新进程，而是"替换"当前进程？

僵尸进程为什么有害？如果父进程先于子进程死亡会发生什么？

init 进程（PID 1）为什么如此特殊？它在系统中扮演什么角色？

内核线程和用户进程在 task_struct 上有什么区别？

PID 命名空间是如何实现容器隔离的？

二、核心概念详解

2.1 进程描述符 task_struct

Linux 内核使用 task_struct 结构体来描述一个进程。这个结构体定义在 <linux/sched.h> 中，包含了进程的所有信息：进程状态、调度信息、内存描述符（mm_struct）、打开的文件列表、信号处理函数、进程间通信信息等。在 Linux 5.x 内核中，task_struct 的大小约为 8-10 KB（取决于配置选项），是内核中最大的结构体之一。

task_struct 的分配方式非常独特。内核并不使用独立的内存分配，而是将 task_struct 放在内核栈的底部（对于向下增长的栈）。这样，通过当前栈指针就可以快速找到当前进程的 task_struct。在 x86 架构上，内核通过 current 宏来获取当前进程的 task_struct 指针，早期实现是通过栈指针与栈掩码的位运算，后来改为使用 per-cpu 变量来存储 current 指针，提高了效率。

进程描述符中还包含一个关键字段 state，它表示进程的当前状态。这个字段是一个位掩码，主要状态包括：TASK_RUNNING（正在运行或在运行队列中等待）、TASK_INTERRUPTIBLE（可中断睡眠，等待某个事件或信号）、TASK_UNINTERRUPTIBLE（不可中断睡眠，通常等待 I/O 完成）、__TASK_STOPPED（进程被停止，如收到 SIGSTOP 信号）、TASK_ZOMBIE（进程已终止但父进程尚未回收）。

2.2 进程的创建：fork 与写时复制

在 Linux 中，所有进程（除 init 外）都是通过复制现有进程来创建的。fork() 系统调用是创建新进程的主要方式。在内核中，fork() 最终调用 do_fork() 函数（较新内核中为 copy_process()），该函数执行以下关键步骤：

首先，调用 copy_process() 复制父进程的 task_struct。然后，依次复制进程的各项资源：信号处理函数、进程组信息、内存描述符（mm_struct）、文件描述符表等。这里的关键优化是写时复制（Copy-on-Write, COW）。fork() 并不真正复制父进程的地址空间，而是让子进程共享父进程的物理页面，并将这些页面标记为只读。当任一进程尝试写入某个页面时，CPU 触发缺页异常，内核在异常处理程序中为该进程分配一个新的物理页面并复制内容。这样，如果子进程创建后立即调用 exec() 加载新程序（这是非常常见的模式），那么之前的页面复制完全是多余的，COW 技术避免了这种浪费。

clone() 系统调用提供了更精细的控制，允许指定子进程与父进程共享哪些资源。共享内存（CLONE_VM）、共享文件描述符表（CLONE_FILES）、共享信号处理（CLONE_SIGHAND）等标志可以灵活组合。实际上，fork() 就是 clone() 的一个特例（不共享任何资源），而线程创建则是 clone() 的另一个特例（共享大部分资源）。

2.3 进程的执行：exec 系列函数

exec() 系列函数（execl、execv、execle、execve 等）用一个新的程序替换当前进程的地址空间。在内核中，所有 exec() 变体最终都调用 do_execve() 函数。该函数的执行流程如下：

首先，内核解析可执行文件的路径名，在文件系统中找到对应的 inode。然后，读取文件头部的魔术数字（magic number），判断可执行文件的格式（ELF、脚本等）。对于 ELF 文件，内核调用 load_elf_binary() 函数，该函数负责：分配新的内存描述符 mm_struct；根据 ELF 程序头将各个段（segment）映射到虚拟地址空间；设置栈区域并传递命令行参数和环境变量；将程序计数器（EIP/RIP）设置为 ELF 头中指定的入口地址。

exec() 的一个重要特性是它不创建新进程，而是替换当前进程的所有内容（除了 PID、打开的文件等少数属性）。这意味着 exec() 之后，进程的 PID 不变，但代码、数据、堆、栈都变成了新程序的内容。

2.4 进程终止与僵尸进程

进程终止有两种方式：正常终止（调用 exit() 或从 main() 返回）和异常终止（收到致命信号）。无论哪种方式，内核最终都会调用 do_exit() 函数。该函数执行以下清理工作：设置进程状态为 PF_EXITING；关闭所有打开的文件；释放内存描述符 mm_struct；释放 IPC 对象；通知父进程（发送 SIGCHLD 信号）。

关键的是，do_exit() 并不会立即释放 task_struct。它将进程状态设置为 TASK_ZOMBIE（僵尸状态），然后调度器接管，永远不会再调度该进程。僵尸进程保留了最小的进程信息（PID、退出状态、资源使用统计），等待父进程通过 wait() 系列系统调用来回收。

如果父进程没有调用 wait() 来回收僵尸子进程，这些僵尸进程会一直占用进程表中的一个条目。虽然僵尸进程不占用内存和 CPU，但过多的僵尸进程会耗尽可用的 PID。解决方案是：当父进程先于子进程死亡时，init 进程（PID 1）会"收养"这些孤儿进程，并自动调用 wait() 回收它们。在现代 Linux 中，prctl(PR_SET_CHILD_SUBREAPER) 允许其他进程充当子进程收割者的角色，这是容器环境中的重要机制。

三、深入分析与讨论

3.1 Linux 线程模型：轻量级进程

Linux 内核并没有为线程提供独立的数据结构。线程在内核中就是一个普通的进程（task_struct），只是通过 clone() 系统调用指定了资源共享标志。当使用 CLONE_VM | CLONE_FILES | CLONE_SIGHAND | CLONE_THREAD 标志调用 clone() 时，创建的"进程"与父进程共享地址空间、文件描述符表和信号处理函数，这就是一个线程。

这种设计的优势在于代码复用：调度器、信号处理、进程间通信等机制可以不加区分地用于进程和线程。clone() 的标志组合提供了从完全独立的进程到完全共享的线程之间的所有可能。NPTL（Native POSIX Thread Library）就是基于这种机制实现的，它使用 clone() 创建线程，并通过 set_tid_address() 系统调用来支持线程的退出和清理。

3.2 命名空间与容器隔离

PID 命名空间是 Linux 容器技术的核心组件之一。通过 PID 命名空间，容器内的进程可以看到独立的 PID 序列，容器内的 PID 1 对应宿主机上的某个普通进程。这种隔离是通过在 task_struct 中维护一个 PID 数组（pid 数组，每个命名空间一个条目）来实现的。

当一个进程创建新的 PID 命名空间时（通过 clone(CLONE_NEWPID)），该进程成为新命名空间中的 PID 1。新命名空间中后续创建的进程，其 PID 从 2 开始递增。不同命名空间中的进程可以拥有相同的 PID，但它们实际上是不同的进程。这种机制是 Docker、LXC 等容器技术实现进程隔离的基础。

四、实践案例

4.1 案例一：观察 fork 的写时复制行为

可以通过以下实验验证写时复制的工作方式。编写一个程序，在 fork() 之后，父进程和子进程分别打印同一个变量的地址和值。会发现两者的虚拟地址相同，因为它们共享同一个地址空间。然后，让其中一个进程修改该变量，通过 /proc/[pid]/smaps 观察页面的共享状态变化。修改前，页面标记为共享（shared）；修改后，写入方的页面变为私有（private），这就是写时复制触发的结果。

4.2 案例二：分析僵尸进程的产生与回收

编写一个程序，父进程 fork() 一个子进程后，子进程立即退出，但父进程不调用 wait() 而进入睡眠。通过 ps 命令可以观察到子进程的状态变为 Z（zombie）。然后，让父进程调用 waitpid() 回收子进程，再次用 ps 观察，僵尸进程消失。如果父进程在子进程退出前先退出，通过 ps 可以观察到子进程被 init 进程（PID 1）收养，并最终被回收。

五、常见误区与注意事项

误区：fork() 会完整复制父进程的所有内存。实际上，fork() 只复制页表，物理页面通过写时复制共享。只有当进程实际写入时才会分配新的物理页面。

误区：线程在 Linux 内核中有专门的数据结构。Linux 内核中线程就是进程，只是通过 clone() 标志共享了部分资源。内核调度器不区分进程和线程。

误区：僵尸进程会占用大量系统资源。僵尸进程只占用一个 PID 和 task_struct 大小的内存，不占用地址空间、文件描述符等。但如果僵尸进程过多，会耗尽 PID 空间。

注意：fork() 之后父子进程的执行顺序是不确定的。不能假设子进程一定在父进程之前或之后运行。如果需要特定的执行顺序，必须使用同步机制（如管道、信号量）。

注意：vfork() 与 fork() 的区别。vfork() 创建的子进程与父进程共享地址空间，且父进程被阻塞直到子进程调用 exec() 或 exit()。vfork() 的使用有严格的限制，误用可能导致未定义行为。

六、本章小结

本章详细讲解了 Linux 内核中进程管理的核心机制。task_struct 是描述进程的核心数据结构，包含了进程的所有状态信息，通过巧妙的内存分配方式与内核栈关联。进程创建通过 fork() 实现，写时复制技术避免了不必要的内存复制，大幅提升了创建效率。exec() 系列函数用新程序替换当前进程的地址空间，是执行程序的关键机制。进程终止后进入僵尸状态，等待父进程通过 wait() 回收资源。Linux 的线程模型基于轻量级进程，通过 clone() 标志灵活控制资源共享程度。命名空间机制为容器技术提供了进程隔离的基础。理解这些内核机制，有助于编写更高效、更正确的多进程和多线程程序。

七、思考题与练习

画出 fork() 调用后父子进程的状态转换图，标注写时复制触发的时机。

比较 fork()、vfork() 和 clone() 三种系统调用的区别，分析各自的适用场景。

编写一个程序，演示僵尸进程的产生过程，并说明如何避免僵尸进程。

分析 task_struct 中 mm_struct 字段的作用。内核线程为什么没有 mm_struct？

研究 Linux 的 PID 分配机制：PID 是如何分配的？PID 用尽后会发生什么？

解释为什么 exec() 之后文件的偏移量不会重置（如果文件描述符没有设置 FD_CLOEXEC 标志）。

分析 Linux 中 init 进程（PID 1）的特殊职责：它如何处理孤儿进程？它收到信号后会怎样？

研究容器技术（如 Docker）如何利用 PID 命名空间实现进程隔离，画出命名空间的层次结构。