Linux 进程等待机制：wait、waitpid 与僵尸进程治理

这段代码中，子进程循环 5 次后退出进入僵尸状态，父进程继续执行自身任务，待完成后调用 wait 阻塞回收。若子进程未退出，wait 会让父进程暂停执行，直到有子进程结束才恢复。

waitpid 进阶控制

相比 wait，waitpid 提供了更灵活的控制能力，支持指定子进程 ID 以及非阻塞模式。

#include <sys/types.h>
#include <sys/wait.h>
pid_t waitpid(pid_t pid, int *status, int options);

• pid：-1 表示等待任意子进程（等价于 wait）；>0 表示等待特定 PID 的子进程。
• options：0 为阻塞模式；WNOHANG 为非阻塞模式，若无已退出子进程则直接返回 0。

指定子进程与状态获取

实际开发中，我们往往需要知道具体哪个子进程退出了，或者它的退出码是多少。此时应使用 waitpid 并传入有效的 status 指针。

#include <stdio.h>
#include <unistd.h>
#include <sys/wait.h>
#include <stdlib.h>

int main() {
    pid_t id = fork();
    if (id < 0) {
        perror("fork");
        return 1;
    }
    else if (id == 0) {
        int cnt = 5;
        while(cnt--) {
            printf("I am child, pid:%d\n", getpid());
            sleep(1);
        }
        exit(1); // 退出码设为 1
    }
    else {
        int cnt = 5;
        while(cnt--) {
            printf("I am father, pid:%d\n", getpid());
            sleep(1);
        }
        int status;
        // 等待特定子进程，并接收退出状态
        pid_t ret = waitpid(id, &status, 0);
        if (ret == id) {
            printf("wait success, status: %d\n", status);
        }
        sleep(5);
    }
    return 0;
}

注意，打印出的 status 值通常是 256 而非预期的 1。这是因为 status 存储的是复合格式整数，包含退出码和终止信号等信息，不能直接当作普通整数看待。

解析 status 参数

status 以位图形式存储信息，通常只需关注低 16 比特位：

• 低 8 比特位：存储终止信号（若被信号终止）。
• 高 8 比特位：存储退出码（若正常退出）。

手动解析可以通过位运算实现，例如 (status >> 8) & 0xFF 获取退出码。但在实际工程中，推荐使用标准宏来解析，既安全又清晰：

• WIFEXITED(status)：判断是否正常退出。
• WEXITSTATUS(status)：提取正常退出的退出码。
• WIFSIGNALED(status)：判断是否被信号终止。
• WTERMSIG(status)：提取终止信号编号。

常见误区

Q：父进程为何必须用 wait 获取子进程状态？不能用全局变量吗？

因为父子进程地址空间独立，全局变量是各自副本，子进程修改后父进程拿不到。此外，操作系统不允许父进程直接访问子进程的内核数据。wait 是操作系统提供的合法接口，帮父进程从内核里取子进程状态，这是唯一可靠的方式。

非阻塞轮询模式

阻塞等待会让父进程'停滞'，在某些场景下并不合适。waitpid 配合 WNOHANG 选项可以实现非阻塞轮询，让父进程一边检查子进程状态，一边处理自己的任务。

轮询逻辑

#include <stdio.h>
#include <unistd.h>
#include <sys/wait.h>
#include <stdlib.h>

int main() {
    pid_t id = fork();
    if (id < 0) {
        perror("fork error");
        return 1;
    }
    else if (id == 0) {
        int cnt = 5;
        while(cnt--) {
            printf("子进程正在执行，剩余%d秒...\n", cnt);
            sleep(1);
        }
        exit(10);
    }
    else {
        int status = 0;
        while (1) {
            // WNOHANG 开启非阻塞模式
            pid_t ret = waitpid(id, &status, WNOHANG);
            if (ret > 0) {
                printf("父进程成功等待子进程(PID：%d)\n", ret);
                if (WIFEXITED(status)) {
                    printf("子进程正常退出，退出码：%d\n", WEXITSTATUS(status));
                }
                break;
            }
            else if (ret < 0) {
                printf("等待子进程失败！\n");
                break;
            }
            else {
                // 子进程未退出，父进程继续执行其他任务
                printf("子进程尚未退出，父进程执行其他任务...\n");
                sleep(1);
            }
        }
    }
    return 0;
}

这种模式下，父进程不会挂起，而是不断轮询子进程状态。如果子进程还在运行，waitpid 立即返回 0，父进程可以继续处理日志打印、网络检测等轻量级任务。需要注意的是，非阻塞等待的核心目的是及时回收子进程避免僵尸化，轮询间隙执行的任务应尽量轻量，避免重任务延迟回收时机。

总结

掌握 wait 和 waitpid 是编写健壮 Linux 程序的必备技能。无论是简单的阻塞回收，还是精细化的非阻塞轮询，理解其背后的资源管理机制和状态解析方式，都能帮助开发者有效治理僵尸进程，确保系统资源的稳定利用。