Pipes, Forks, and Zombies: Understanding Unix Process Management

Pipes, Forks, and Zombies: Understanding Unix Process Management

現代作業系統的架構高度依賴於管理多個程序以及促進它們之間通訊的能力。Unix 哲學的核心思想是建立小型且專業化的工具，並將它們串聯起來以執行複雜的任務。這種模組化透過三種核心機制實現：管道 (pipes)、fork 以及程序結束狀態的管理。

本文將探討這些基礎的系統程式設計概念，並從 shell 實作的教學材料以及程序生命週期的細微差別中汲取靈感。

The Philosophy and Evolution of Pipes

早在管道成為作業系統的標準功能之前，Doug McIlroy 就構想了一種像「花園水管」一樣耦合程式的方法，允許數據從一個段落傳遞到另一個段落。這種概念上的轉變將焦點從單體式程式設計轉向了以系統為導向的方法，其中中間輸出會被串聯在一起。

這種哲學與「Literate Programming」的創始人 Donald Knuth 的方法形成了鮮明對比。雖然 Knuth 專注於演算法的複雜度以及程式碼如散文般的文檔化，但 McIlroy 證明了複雜的文本解析任務——在 literate programming 環境中可能需要大量的開銷——可以僅透過幾行 shell 程式碼並使用管道來達成。透過串聯簡單的工具，系統會處理數據流，讓開發者能夠專注於工具的組合，而非解析邏輯的實作。

Pipe Dynamics and SIGPIPE

了解管道在壓力下的行為可以揭示 Unix 如何管理資源。考慮一個 seq 被管道傳送到 less 的情境：

$ seq 2 100000000 | less

在這種設定下，seq 會產生大量的數字流，而 less 僅讀取足以填滿目前螢幕的內容。一個常見的混淆點是 seq 是否會在背景繼續執行。

技術上來說，只要 less 開著並作為讀取者，管道就會保持開啟。當管道的內部緩衝區滿了時，seq 程序會最終進入阻塞 (block) 狀態，等待 less 消耗更多數據。然而，如果讀取者 (less) 被終止或關閉（例如，透過按 q 退出），管道就會斷開。

當一個程序嘗試寫入一個沒有讀取者的管道時，核心 (kernel) 會向寫入程序發送 SIGPIPE 信號。SIGPIPE 的預設動作是終止該程式。這種機制確保了生產者不會浪費 CPU 週期來產生沒人聽取的數據。

Implementing Blocking Calls with Pipes

管道不僅可以用於數據傳輸，還可以用作同步原語 (synchronization primitives)。例如，可以使用管道來實作類似於 waitpid() 的阻塞機制。

如果父程序建立一個管道並接著 fork 一個子程序，父程序可以關閉管道的寫入端，並嘗試從讀取端讀取。因為子程序會繼承管道的文件描述符 (file descriptors)，只要子程序（或任何其他程序）持有寫入端，管道就會保持開啟。

int main() {
   int pipefd[2];
   pipe(pipefd);
   pid_t p = fork();
   if (p == 0) {
     exec(); // Child replaces its image
   }
   close(pipefd[1]); // Parent closes its write end
   char buf;
   read(pipefd[0], &buf, 1); // Blocks until child exits and closes the write end
   close(pipefd[0]);
}

當子程序終止時，核心會自動關閉其所有開啟的文件描述符，包括管道的寫入端。此時，父程序中的 read 呼叫會回傳 0，信號表示子程序已退出。

Process Hierarchy and the Zombie State

在 Unix 中，程序是按嚴格的層級結構組織的。每個程序都有一個父程序，而這棵樹的根是 init 程序 (PID 1)，它是唯一無法被殺掉的程序。

The Role of waitpid

當一個程序終止時，它不會立即從系統中消失。核心會在其程序結構中保留其結束狀態和一些基本的資源使用統計數據。這些資訊會保留到父程序使用 waitpid() 系統呼叫來檢索它為止。一旦呼叫了 waitpid()，核心就可以回收程序結構及其關聯的程序 ID (PID)。

Understanding Zombies

如果一個子程序終止了但父程序未能呼叫 waitpid()，該子程序就會變成僵屍程序 (zombie process)。僵屍是一個已經完成執行但仍佔用程序表中的位置的程序。雖然僵屍程序不消耗 CPU 或記憶體，但它們會消耗 PID。在一個擁有大量孤兒程序或未被等待的程序的系統中，系統最終可能會耗盡 PID，導致無法啟動新程序。

使用 ps 指令，僵屍程序可以透過 Z+ 狀態碼輕鬆辨識：

user 78623 0.0 0.0 0 pts/0 Z+ 15:44 0:00 [manyfork]

Orphans and Init

當父程序在子程序之前死亡時，子程序會變成「孤兒 (orphans)」。為了防止這些程序在終止時變成永久性的僵屍程序，Unix 核心會將它們的父程序重新指定為 init 程序。init 程序被設計為不斷地對其收養的子程序呼叫 waitpid()，以確保其資源被清理，並使系統保持穩定。

Sources