2. 进程状态与状态转换：Linux进程的五种状态

进程状态是操作系统对进程生命周期中不同阶段的抽象描述。Linux内核通过task_struct中的state字段记录进程当前所处的状态，内核调度器根据状态决定是否将进程投入运行。理解进程状态及其转换关系，是掌握进程管理与调度机制的基础。

2.1 Linux进程的五种基本状态

Linux内核将进程状态抽象为五种核心状态，定义在include/linux/sched.h头文件中。下表列出了每种状态的枚举值、宏定义及含义：

2.2 进程状态转换图

进程在生命周期中会因系统调用、中断、信号或资源条件的变化而在不同状态之间迁移。下图展示了五种状态之间的核心转换路径：

2.3 僵尸进程与孤儿进程

在进程退出和父进程回收退出状态的过程中，存在两种特殊的进程状态场景：僵尸进程和孤儿进程。它们与进程状态转换中的退出阶段密切相关。

2.3.1 僵尸进程（Zombie Process）

当子进程调用exit()终止后，内核会释放其大部分资源（内存、文件描述符等），但保留task_struct结构体，用于记录退出码、资源使用统计等信息，直到父进程调用wait()/waitpid()读取这些信息。处于此阶段的进程称为僵尸进程。

• 内核状态：僵尸进程在task_struct->state中标记为EXIT_ZOMBIE（内核内部状态，非上述五种基本状态）。
• 资源占用：仅占用内核栈和task_struct（约2KB+），不占用内存页、CPU时间等。
• 危害：如果父进程一直不调用wait()，僵尸进程会持续占用进程表项。当进程表满时，系统无法创建新进程。

2.3.2 孤儿进程（Orphan Process）

当父进程在子进程之前终止时，子进程成为孤儿进程。内核会将孤儿进程的父进程重新设置为init进程（PID=1），由init负责回收其退出状态。

• 自动收养：内核在父进程退出时，遍历其子进程链表，将每个子进程的parent指针指向init进程。
• 后台运行：孤儿进程会继续在后台运行，不会因为父进程退出而被终止。
• 回收保障：init进程周期性地调用wait()，确保孤儿进程退出后不会变成僵尸进程。

2.4 进程退出与状态回收流程

下图展示了进程从运行到退出，以及父进程回收状态的完整流程，重点标注了僵尸进程和孤儿进程的产生位置：

2.5 状态查看与调试

在实际开发和运维中，可以通过以下工具查看进程状态：