在併發伺服器設計中，很常用的一種辦法是用fork為每個連線建立子程序來單獨處理客戶端請求。

流程圖如下：

可見，在父程序中直接執行accept等待下一個連線而並沒有用wait或者waitpid來等待子程序返回。這會造成怎樣的後果呢？當子程序exit退出的時候，它並沒有真正銷燬，而是還著保留一個數據結構用來記錄它的退出狀態等資訊（因為父程序有可能會獲取該資訊）。若父程序不用wait或者waitpid等待，則此資訊會一直保留直到父程序退出。不幸的是，併發伺服器恰恰在正常情況會一直執行下去，並且不斷為每個連線創造子程序，久而久之造成嚴重的資源洩漏。所以併發伺服器必須採用某些手段來防止殭屍程序。

在子程序退出時會給父程序傳送一個SIGCHLD訊號，我們可以在父程序迴圈accept之前用signal來為SIGCHLD註冊一個回撥函式來等待子程序返回。

signal函式的宣告：

void (*signal(int signo,void (*func)(int)))(int);

這是一個含函式指標的函式宣告，它的第二個引數和返回值都是函式指標，也可以用以下宣告方式。

typedef void(*sig_t) ( int );
sig_t signal(int signo,sig_t func);

注：以上兩個函式宣告是同等的。

簡單來解釋：signal第一引數填的是要處理的訊號（這裡是SIGCHLD），第二個引數是收到這個訊號要呼叫的回撥函式的指標。

具體做法如下：

void sid_child(int signo)      //處理SIGCHLD訊號的回撥函式
{
    pid_t pid;
    int stat;
    while((pid=waitpid(-1,&stat,WNOHANG))>0);
    return;
}
 

//此處省略之前socket、bind
listen(servfd,10);
signal(SIGCHLD,sid_child);   //為SIGCHLD的註冊回撥函式sid_child
while(1)
{
      if((cliefd=accept(servfd,(sockaddr*)0,0))<0)
      {
          if(errno==EINTR) continue;
          else err_sys("accept call error");
      }
      //這裡省略fork建立子程序處理請求
}

解釋：

1、

signal(SIGCHLD,sid_child);  
 

呼叫後，當父程序收到有子程序傳來的SIGCHLD訊號，就會中斷呼叫回撥函式sid_child。

2、

while((pid=waitpid(-1,&stat,WNOHANG))>0);

在sid_child函式裡，迴圈呼叫waitpid等待子程序。

為什麼要迴圈呼叫waitpid？ waitpid的用法是如何？

waitpid的宣告：

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

這裡挑重點的講：waitpid功能是等待某個子程序返回，waitpid第一個引數是要等待返回的子程序ID號，若填-1則代表等待任意子程序返回。第二個引數用以接受子程序終止狀態。第三個是附加選項，,WNOHANG選項的意思使函式不阻塞，無論有沒子程序退出都返回。

WNOHANG選項下waitpid的呼叫特性：

2.1、當有子程序退出且正常返回時，返回子程序ID號；

2.2、當沒有子程序退出，返回0；

2.3、當調用出錯返回-1；

又因為無論有多少子程序只要有沒處理的子程序退出，就會父程序收到且只有一個SIGCHLD，所以while((pid=waitpid(-1,&stat,WNOHANG))>0); 的意思是：只有收到SIGCHLD訊號，就迴圈等待退出的子程序，直到waitpid返回非大於零的數（代表沒有子程序退出了）。之後又返回正常的迴圈中，accept等待連線。當下次有子程序退出，父程序會再一次收到SIGCHLD。

3、

 if((cliefd=accept(servfd,(sockaddr*)0,0))<0)
 {
       if(errno==EINTR) continue;
          else err_sys("accept call error");
 }

accept、write、read等都是慢系統呼叫。當伺服器阻塞在accept中時，我們知道父程序收到SIGCHLD就會發生中斷並呼叫我們註冊的回撥函式sid_child。當回撥函式返回時，慢系統呼叫的函式可能會返回一個EINTR錯誤，表明該函式在阻塞等待期間被中斷了。當然這個錯誤是我們設計預料之內的，所以我們得呼叫continue來繼續迴圈工作。

這樣就防止殭屍程序的出現。