一、父子进程的核心关系：写时复制（Copy On Write）
子进程是父进程的 “复制品”，但 Linux 2.6 之后（如 Ubuntu 18/20，内核 5.4+）采用写时复制（COW）机制优化内存复制，大幅降低 fork () 的开销。
1.1 写时复制的核心逻辑
| 阶段 | 内存行为 | 核心说明 |
|---|---|---|
| fork () 刚执行完 | 子进程共享父进程所有内存空间（代码段、数据段、堆、栈），无独立内存 | 父子进程的页表指向同一块物理内存，仅标记为 “只读” |
| 父子进程未修改内存 | 始终共享内存，无额外开销 | 节省物理内存，提升 fork () 效率 |
| 任意进程修改内存（如变量、缓冲区） | 子进程为 “被修改的内存区域” 开辟独立物理内存 | 仅复制修改的部分，而非全量复制，兼顾效率与隔离性 |
1.2 写时复制的价值
- 传统 fork () 会全量复制父进程内存，开销极大；
- 写时复制让 fork () 几乎 “零开销” 创建子进程，仅在实际修改时分配内存，是 Linux 高性能的关键之一。
二、进程终止的 8 种场景：正常与异常
进程终止分为 “正常终止” 和 “异常终止” 两类，不同终止方式的资源清理逻辑差异显著。
2.1 正常终止（5 种）
| 终止方式 | 核心说明 | 资源清理行为 |
|---|---|---|
| 1. main 函数 return | 仅 main 函数中 return 会终止进程，其他函数 return 仅结束函数 | 隐式调用 exit ()，执行完整清理逻辑 |
| 2. exit ()（C 库函数） | 通用进程退出接口，推荐使用 | 1. 刷新标准 IO 缓冲区；2. 执行 atexit () 注册的清理函数；3. 关闭所有打开的文件流；4. 调用_exit () 终止进程 |
| 3. _exit ()/_Exit ()（系统调用） | 底层退出接口，无缓冲区操作 | 1. 关闭所有打开的文件描述符；2. 直接终止进程；3. 不执行 atexit () 清理函数、不刷新缓冲区 |
| 4. 主线程退出 | 多线程程序中，主线程退出导致整个进程终止 | 同 exit () 的清理逻辑（取决于线程库实现） |
| 5. 主线程调用 pthread_exit | 主线程退出，但其他线程仍运行时，进程不终止；仅所有线程退出后进程终止 | 仅终止主线程，不影响其他线程，进程资源需等所有线程退出后清理 |
2.2 异常终止（3 种）
| 终止方式 | 核心说明 | 终止原因 |
|---|---|---|
| 6. abort() | 主动触发异常终止 | 发送 SIGABRT 信号（6 号）给自身，强制终止，不执行清理逻辑 |
| 7. 信号终止（kill pid /signal） | 被动异常终止 | 如 kill -9 pid（SIGKILL，9 号信号）、Ctrl+C（SIGINT，2 号信号），直接终止，无清理 |
| 8. 最后一个线程被 pthread_cancel | 多线程程序的异常终止 | 线程被取消导致进程终止，无主动清理逻辑 |
2.3 关键对比：exit () vs _exit ()
c
运行
#include <stdio.h> #include <stdlib.h> #include <unistd.h> int main() { printf("测试缓冲区（无换行）"); // 无换行，标准IO缓冲区不会自动刷新 // exit(0); // 执行此句：会刷新缓冲区，输出内容 _exit(0); // 执行此句：不刷新缓冲区，无输出 return 0; }- exit ()：兼顾 “业务清理” 与 “资源释放”，适合应用层程序；
- _exit ()：快速终止，适合内核态 / 嵌入式场景，无需缓冲区操作。
三、终止后的进程：僵尸进程 vs 孤儿进程
进程终止后并非 “完全消失”，父 / 子进程的退出顺序会导致两种特殊状态，其中僵尸进程是系统稳定性的核心风险。
3.1 僵尸进程（Zombie Process）
定义
父进程创建子进程后，子进程先终止：
- 子进程的用户空间内存被释放，不再参与 CPU 调度；
- 内核中的 PCB（进程控制块）未释放（保留退出状态、PID 等信息）；
- 子进程状态变为 Z（Zombie），成为 “僵尸进程”。
危害
- 僵尸进程的 PCB 占用内核内存，无法被回收；
- 若父进程长期运行（如守护进程），且频繁创建短生命周期子进程，会导致内核中堆积大量僵尸进程 PCB；
- 最终耗尽内核内存，引发系统不稳定甚至崩溃。
查看方式
bash
运行
# 查看僵尸进程（STAT列为Z） ps aux | grep Z # 实时监控（%z列显示僵尸进程数） top3.2 孤儿进程（Orphan Process）
定义
父进程创建子进程后，父进程先终止：
- 子进程失去父进程，会被内核指定的 “新父进程” 接管（通常是 init 进程 / PID=1，或 systemd/PID=1）；
- 子进程正常运行，终止后由新父进程回收资源。
特点
- 无系统风险，无需额外处理；
- 孤儿进程的资源回收由 init/systemd 负责，不会堆积。
3.3 核心对比
| 类型 | 产生条件 | 状态标识 | 系统风险 | 资源回收方 |
|---|---|---|---|---|
| 僵尸进程 | 子进程先终止，父进程未回收 | STAT=Z | 高（耗尽内核内存） | 需父进程主动回收 |
| 孤儿进程 | 父进程先终止，子进程仍运行 | STAT=S/R（正常状态） | 无 | init/systemd 自动回收 |
四、进程退出状态与资源回收：wait/waitpid
子进程终止后，父进程必须通过wait()/waitpid()获取子进程退出状态并回收 PCB，否则子进程会变成僵尸进程。
4.1 核心函数：wait ()
函数原型
c
运行
#include <sys/wait.h> pid_t wait(int *status);核心说明
- 功能：父进程阻塞等待任意一个子进程终止，回收其 PCB 并获取退出状态；
- 参数：
status：存储子进程退出状态的指针（不关心则传 NULL）；- 可通过宏解析状态（见 4.3）；
- 返回值：
- 成功：返回被回收子进程的 PID；
- 失败：返回 - 1（如无未回收的子进程）。
基础示例
c
运行
#include <stdio.h> #include <unistd.h> #include <sys/wait.h> #include <stdlib.h> int main() { pid_t pid = fork(); if (pid > 0) { // 父进程 int status; pid_t ret = wait(&status); // 阻塞等待子进程退出 printf("回收子进程PID：%d\n", ret); if (WIFEXITED(status)) { // 判断是否正常终止 printf("子进程正常退出，退出码：%d\n", WEXITSTATUS(status)); } if (WIFSIGNALED(status)) { // 判断是否信号终止 printf("子进程被信号终止，信号编号：%d\n", WTERMSIG(status)); } } else if (pid == 0) { // 子进程 printf("子进程PID：%d\n", getpid()); exit(1); // 正常退出，退出码1 // abort(); // 异常终止（SIGABRT） } else { perror("fork"); return 1; } return 0; }4.2 核心函数：waitpid ()（进阶）
函数原型
c
运行
pid_t waitpid(pid_t pid, int *status, int options);- 优势：可指定回收某个子进程，支持非阻塞模式；
- 参数：
pid：指定回收的子进程 PID（-1 表示任意子进程）；options：WNOHANG（非阻塞，无子进程退出则立即返回 0）；
- 场景：父进程需处理多个子进程、无需阻塞的场景。
4.3 退出状态解析宏（核心）
通过以下宏解析wait()的status参数，判断子进程终止方式：
| 宏 | 功能 | 配套使用 |
|---|---|---|
| WIFEXITED(status) | 判断子进程是否正常终止（return/exit/_exit） | 是：用 WEXITSTATUS (status) 获取退出码 |
| WEXITSTATUS(status) | 获取正常终止的退出码（仅 WIFEXITED 为真时有效） | 退出码范围 0-255（exit (n) 的 n 仅低 8 位有效） |
| WIFSIGNALED(status) | 判断子进程是否信号异常终止 | 是：用 WTERMSIG (status) 获取信号编号 |
| WTERMSIG(status) | 获取终止子进程的信号编号（仅 WIFSIGNALED 为真时有效） | 如 9=SIGKILL、6=SIGABRT |
4.4 退出码规范
系统定义了标准化退出码，推荐使用：
c
运行
#include <stdlib.h> EXIT_SUCCESS; // 0（正常退出） EXIT_FAILURE; // 1（异常退出）五、僵尸进程的解决方案（实战）
方案 1：父进程主动 wait ()（推荐）
父进程创建子进程后，通过wait()阻塞回收，适合子进程生命周期短的场景：
c
运行
pid_t pid = fork(); if (pid > 0) { wait(NULL); // 阻塞回收，无僵尸进程 }方案 2：非阻塞 waitpid ()（适合多子进程）
父进程循环非阻塞检查子进程状态，不阻塞业务逻辑：
c
运行
while (1) { pid_t ret = waitpid(-1, NULL, WNOHANG); if (ret == 0) break; // 无子进程退出 if (ret == -1) break; // 所有子进程已回收 printf("回收子进程PID：%d\n", ret); }方案 3：注册信号处理函数（SIGCHLD）
子进程终止时会向父进程发送 SIGCHLD 信号，父进程捕获信号后回收：
c
运行
#include <signal.h> void sigchld_handler(int sig) { // 循环回收所有终止的子进程 while (waitpid(-1, NULL, WNOHANG) > 0); } int main() { signal(SIGCHLD, sigchld_handler); // 注册信号处理函数 // 创建子进程逻辑... while (1) sleep(1); // 父进程长期运行 return 0; }六、核心总结
- 父子进程内存：写时复制（COW）是核心优化，仅修改时复制内存，大幅降低 fork () 开销；
- 进程终止：exit () 兼顾清理，_exit () 快速终止，异常终止无主动清理；
- 僵尸进程：最大风险是内核 PCB 堆积，必须通过 wait ()/waitpid () 主动回收；
- 资源回收：父进程是子进程 PCB 的唯一回收方，孤儿进程由 init/systemd 兜底；
- 实战原则：长期运行的父进程（如守护进程）必须处理 SIGCHLD 信号，避免僵尸进程泄漏。
