深入理解 Unix 僵死進程：成因、危害與四大解決策略

什麼是僵死進程？

在 Unix/Linux 系統編程中，僵死進程 是一類特殊的進程狀態：進程已經終止運行，但其進程控制塊（PCB）仍殘留在內核的進程表中，佔用系統資源。若大量堆積，會耗盡進程表空間，導致無法創建新進程。

僵死進程如何產生？

當子進程先於父進程結束時，內核會保留子進程的退出狀態等資訊，並發送 SIGCHLD 信號通知父進程。若父進程未調用 wait() 或 waitpid() 回收該資訊，子進程便會滯留在進程表中，變為僵死進程（ps 輸出顯示為 <defunct>）。

# 經典產生僵死進程的代碼片段
pid_t pid = fork();
if (pid == 0) {
    printf("child[%d]\n", getpid());
    exit(0);           // 子進程退出
}
// 父進程未調用 wait()，直接 sleep
printf("parent[%d]\n", getpid());
sleep(60);

運行後執行 ps -ef | grep <pid> 可見 <defunct> 標記。

四大預防與清理策略

1. 顯式回收法（wait/waitpid）

父進程主動調用 wait() 或 waitpid() 讀取子進程退出狀態，釋放進程表項。最簡單有效，適用於父進程需同步等待子進程的場景。

2. 托管法（雙重 Fork 技巧）

利用 init 進程（PID 1）會自動收養孤兒進程並回收其資源的特性：

if (fork() == 0) {          // 第一層子進程
    if (fork() == 0) {      // 第二層子進程（真正的工作進程）
        // 執行實際任務
        exit(0);
    }
    exit(0);                // 第一層子進程迅速退出
}
waitpid(pid, NULL, 0);      // 父進程只需等待第一層子進程

此時第二層子進程成為孤兒，由 init 接管，結束時自動清理，父進程無需關心。

3. 忽略 SIGCHLD 信號

設置 signal(SIGCHLD, SIG_IGN)，告知內核父進程不關心子進程退出狀態。內核會在子進程終止時自動回收資源，不產生僵死進程。注意：此法在某些 Unix 變體中行為不一致，Linux 通常有效。

4. 捕獲 SIGCHLD 並異步回收

註冊信號處理函數，在其中調用 waitpid(-1, NULL, WNOHANG) 非阻塞回收所有已終止子進程。適用於高併發服務器模型。

實戰建議

• 短生命週期子進程：優先使用 雙重 Fork 托管法，父進程輕量無阻塞。
• 需獲取退出碼的場景：使用 waitpid() 同步或異步回收。
• 高併發網絡服務：採用 SIGCHLD 信號處理器 + WNOHANG 循環回收。

僵死進程雖「已死」，卻能拖垮系統穩定性。掌握上述技巧，讓你的 Unix/C 程序更健壯、更專業。