좀비를 없애는 법?

참고입니다만.. SIGCHLD의 핸들러를 SIG_IGN으로 설정하시면,
알아서 child가 좀비가 되는 것을 막아줍니다.
하지만 이것은 BSD 계열의 익스텐션이므로 포터블한 프로그램에서는
사용하지 않는 편이 좋습니다. 리눅스에서는 잘 작동했던 기억입니다.

세번째 인자인 options에 WNOHANG 을 주면 non-blocking으로 동작합니다.

child가 죽으면 SIG_CHLD가 뜨니까 waitpid()를 blocking 모드로 불러도

죽은 child -_- 가 기다리고 있으니까 대부분 문제가 없겠지만,

Posix 시그널 semantics에 따르면 reliable한 시그널이 제공되지 않는 경우에는

해당 시그널 핸들러가 수행되는 도중 발생하는 동일한 시그널에 대해서는

두개 이상 큐잉되는 것을 보장하지 않습니다.

이게 문제되는 경우가, 여러개의 child가 충분히 짧은 시간안에 와장창 죽는 경우

SIG_CHLD 핸들러에서 해당 이벤트들을 충분히 빨리 처리하지 못한다면

손실되는 SIG_CHLD가 있을 수 있다는 것이죠.

SIG_CHLD에 의존해서 resource를 해제하는 경우에는 좀비 뿐만이 아니라

자원의 leak까지 발생할 수 있는 가능성이 있고요.

간단한 샘플 프로그램을 작성하셔서 확인해 보시면

충분히 가능한 시나리오라는 것을 아실 수 있습니다.

Stevens 의 Unix Network Programming vol. 1 2판의 5.8, 5.9, 5.10 절에

이와 관련된 설명이 나와있습니다.

Stevens가 제시한 해법은,

SIG_CHLD 핸들러가 호출됐을 때 더 이상 child가 없을 때까지

waitpid()를 호출하는 것입니다.

이렇게 하기 위해서는 waitpid()를 non-blocking으로 부를 수 있는 방법이 있어야겠죠.

(그렇지 않으면 child를 다 wait한 상태에서 그 다음에 부른 waitpid()에서 bloking이 될테니까요.)

코드는 간단합니다.

void
sig_chld(int signo)
{
    pid_t    pid;
    int        stat;
    
    while ((pid = waitpid(-1, &stat, WNOHANG)) > 0)
           /* any book-keeping code here */ ;
    return;
}

signal 관련 함수도 Posix 계열 signal 함수를 사용하는 것이 좋겠죠?