Linux wait/waitpid 系統調用全解析：僵屍進程回收、阻塞與非阻塞模式、狀態碼提取

在 Linux 進程模型中，子進程終止後會進入**僵屍狀態**，佔用 PID 和內核任務結構，必須由父進程調用 wait 或 waitpid 回收，釋放資源。本文系統講解兩大回收 API 的語法、阻塞/非阻塞行為、狀態碼提取宏、以及典型編程模式。

核心概念：僵屍進程與回收義務

• 子進程調用 exit() 或從 main 返回後，**不會立即銷毀**，而是轉為僵屍進程（ps 顯示 Z），保留：PID、終止狀態碼、資源使用統計（rusage）。
• 父進程**必須**調用 wait/waitpid/waitid 讀取狀態碼，內核才會釋放任務結構。**忽略回收會導致 PID 洩漏、進程表填滿**。
• 若父進程先於子進程退出，子進程成為**孤兒進程**，被 init (PID 1) 或子收割器收養，由其負責回收。
• SIGCHLD 信號在子進程終止/停止/繼續時發送給父進程，默認忽略。設置 SA_NOCLDWAIT 或忽略 SIGCHLD 可讓內核自動回收（但無法獲取狀態碼）。

wait(int *status) — 簡易阻塞回收

#include <sys/types.h>
#include <sys/wait.h>

pid_t wait(int *status);

• 行為：阻塞調用者，**直到任意一個子進程終止**。若調用時已有僵屍子進程，立即返回。
• 返回值：成功返回**終止子進程的 PID**；無子進程或出錯返回 -1（errno=ECHILD）。
• status：若非 NULL，存儲終止狀態（編碼格式見下）。

等價於 waitpid(-1, status, 0)。

waitpid(pid_t pid, int *status, int options) — 精確控制

pid_t waitpid(pid_t pid, int *status, int options);

pid 參數語義

options 位掩碼

狀態碼提取宏（必須配對使用）

status 為編碼後的整數，**不可直接判斷**，必須用以下宏解碼：

標準回收代碼模式

模式 1：阻塞回收單個已知子進程

pid_t child = fork();
if (child == 0) { /* child */ exit(5); }
else {
    int status;
    pid_t ret = waitpid(child, &status, 0);  // 阻塞等待指定子進程
    if (ret == -1) perror("waitpid");
    else if (WIFEXITED(status))
        printf("Child %d exited normally, code=%d\n", ret, WEXITSTATUS(status));
    else if (WIFSIGNALED(status))
        printf("Child %d killed by signal %d\n", ret, WTERMSIG(status));
}

模式 2：非阻塞輪詢回收所有僵屍子進程 (SIGCHLD 處理器/事件循環)

void sigchld_handler(int sig) {
    int saved_errno = errno;
    while (true) {
        int status;
        pid_t pid = waitpid(-1, &status, WNOHANG);
        if (pid <= 0) break;  // 0: 無僵屍; -1: 無子進程/出錯
        // 處理 status...
        if (WIFEXITED(status)) log_exit(pid, WEXITSTATUS(status));
        else if (WIFSIGNALED(status)) log_signal(pid, WTERMSIG(status));
    }
    errno = saved_errno;
}

關鍵點：循環調用 waitpid(-1, ..., WNOHANG) 直到返回 0 或 -1，一次信號可能對應多個子進程終止。保存/恢復 errno 防止中斷其他系統調用。

模式 3：同步等待進程組任意子進程

// 父進程創建多個子進程組，僅等待組內任一終止
pid_t pgid = getpgrp();
pid_t ret = waitpid(0, &status, 0);  // pid=0 等待同組任意子進程

常見陷阱與避坑指南

1. 忘記回收 → 僵屍進程堆積：長期運行的父進程（Daemon、Server）**必須**設置 SIGCHLD 處理器或事件循環中調用 waitpid(-1, ..., WNOHANG)。
2. 在信號處理器中調用非異步安全函數：printf、malloc、lock 等**禁止**在信號處理器中使用。僅調用 waitpid、write (到管道/日志 fd)、設置標誌位，主循環再處理詳情。
3. 忽略 SIGCHLD 導致無法獲取狀態碼：signal(SIGCHLD, SIG_IGN) 讓內核自動回收，但**無法獲取退出碼/信號**。需狀態碼時**不可忽略**，必須自行回收。
4. 錯誤判斷 status 值：if (status == 0) **錯誤**！必須用 WIFEXITED + WEXITSTATUS。status 包含信號、核心轉儲、停止等信息，非簡單退出碼。
5. waitpid 返回 0 處理不當：WNOHANG 返回 0 表示「無已終止子進程」，**不是錯誤**，循環應 break，而非報錯。
6. 多線程進程中調用 wait：wait/waitpid 在多線程中**會阻塞整個進程**（所有線程）。專用回收線程 + signalfd/eventfd 通知主線程更優雅。

waitid：現代替代者 (Linux 2.6.9+)

int waitid(idtype_t idtype, id_t id, siginfo_t *infop, int options);

• 更精確：idtype 可為 P_PID/P_PGID/P_ALL；options 必須包含 WEXITED/WSTOPPED/WCONTINUED/WNOHANG/WNOWAIT。
• 返回 siginfo_t 結構，直接包含 si_pid、si_uid、si_signo、si_status (退出碼/信號)、si_code (CLD_EXITED/CLD_KILLED/CLD_DUMPED/CLD_STOPPED/CLD_CONTINUED)、**無需宏解碼**。
• WNOWAIT：保留僵屍，允許後續再次 waitid/waitpid 回收（調試器場景）。

新代碼推薦使用 waitid，信息更豐富、介面更清晰、避免宏陷阱。

總結

wait/waitpid 是父進程履行回收義務的核心工具。**阻塞模式**用於同步等待特定子任務，**非阻塞 WNOHANG + 循環**用於異步回收大量子進程。**嚴格使用狀態提取宏** 而非直接判斷 status，是編寫健壯進程管理代碼的鐵律。現代項目建議遷移至 waitid 或封裝庫（如 libuv、boost::process）屏蔽底層複雜性。