僵尸进程（Zombie Process）在计算机操作系统中，特别是类Unix系统中，是指一种特殊的进程状态。当一个子进程已经完成了其生命周期并通过`exit()`系统调用正常退出或者异常终止时，它并不会立即从系统进程中消失。此时，虽然它的所有资源（如内存、打开的文件描述符等）都已经由操作系统内核回收，但是在进程表（Process Table）中，该进程的记录并没有被完全清除，仅保留了最基本的进程描述信息，这些信息通常包括进程ID（PID）、退出状态以及其他必要的统计信息。
僵尸进程之所以被称为“僵尸”，是因为它其实是一个已经死了但名字还在户口本上的状态——它不消耗任何实际资源（除了一点点内核空间），但它依然占用了一个进程表项。只有当父进程调用了`wait()`、`waitpid()`或其他相关系统调用来取得子进程的退出状态信息后，这个进程表项才会被真正删除，即该子进程被“回收”。
如果不及时回收僵尸进程，尤其是当父进程忽视或未能正确处理子进程结束时，系统中积累的僵尸进程数量过多，会导致进程号（PID）资源耗尽，从而影响系统创建新进程的能力。因此，在编程实践中，程序员应确保正确处理子进程的退出，防止僵尸进程的产生。在某些情况下，如果父进程先于子进程结束，则操作系统会自动安排init进程（PID为1）作为孤儿进程的父进程，init进程一般会定期清理僵尸进程，防止这种情况造成的问题。
C语言创建一个僵尸进程：
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
int main() {
pid_t pid = fork();
if (pid == -1) {
perror("fork failed");
exit(EXIT_FAILURE);
} else if (pid == 0) { // 子进程
printf("Child process, PID: %d\n", getpid());
exit(EXIT_SUCCESS); // 子进程结束
} else { // 父进程
// 不做任何关于子进程状态的处理
printf("Parent process, child PID: %d\n", pid);
// 此处父进程没有调用wait或waitpid来回收子进程
// 因此，子进程结束后会变成僵尸进程
}
// 父进程继续执行，不等待子进程
sleep(10); // 模拟父进程其他工作
return 0;
}
在这个例子中，子进程结束后会变为僵尸进程，因为父进程没有调用 `wait` 或 `waitpid` 来回收子进程的状态信息。
避免僵尸进程的例子：
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <sys/wait.h> // 需要包含这个头文件以使用waitpid函数
int main() {
pid_t pid = fork();
if (pid == -1) {
perror("fork failed");
exit(EXIT_FAILURE);
} else if (pid == 0) { // 子进程
printf("Child process, PID: %d\n", getpid());
exit(EXIT_SUCCESS); // 子进程结束
} else { // 父进程
int status;
// 父进程调用waitpid回收子进程资源
waitpid(pid, &status, 0);
printf("Parent process, child PID %d terminated with status: %d\n", pid, WEXITSTATUS(status));
}
return 0;
}
在上述修改后的代码中，父进程调用了 `waitpid` 函数来等待子进程结束并回收其资源，这样就不会出现僵尸进程了。另外，也可以注册SIGCHLD信号处理器来异步地处理子进程的退出，从而避免父进程阻塞等待。
