僵尸进程详解

程序员c哥
513 阅读3分钟

僵尸进程（Zombie Process）是操作系统中一种特殊类型的进程。它指的是一个已经完成执行并退出，但其父进程尚未读取其退出状态信息（通过调用 wait() 系统调用）的进程。

当一个进程终止时，操作系统会保留该进程的一些信息（如进程号、退出状态等）以便父进程能够检索。这些信息存储在进程表中。直到父进程读取这些信息之前，终止的进程会保持一个“僵尸”状态，尽管它已经不再执行任何代码。

详细解释

1. 进程终止流程

当一个进程终止时，会经历以下步骤：

  • 进程执行终止操作（例如调用 exit()）。
  • 内核释放进程的大部分资源（如内存、文件描述符等），但保留进程表项以存储退出状态和一些其他信息。
  • 进程进入僵尸状态，并等待其父进程通过 wait() 或 waitpid() 系统调用读取其退出状态。
  • 一旦父进程读取了退出状态，内核就会从进程表中删除该僵尸进程的条目。

2. 僵尸进程的特征

  • 没有实际运行的代码：僵尸进程不消耗 CPU 时间，也不占用系统内存。
  • 进程表占用：僵尸进程仍占用进程表中的一个条目。如果系统中有大量僵尸进程，可能会导致新的进程无法创建，因为进程表的条目有限。
  • PPID（父进程 ID） ：僵尸进程的 PPID 会指向其父进程。

为什么会有僵尸进程

僵尸进程的存在是为了让父进程能够获取子进程的退出状态。这是 Unix 系统设计的一部分，确保父进程可以知道子进程是否正常终止或是否遇到了错误。

避免和处理僵尸进程

1. 处理僵尸进程的正确方法

  • 父进程调用 wait() 或 waitpid() ：父进程应及时调用 wait() 或 waitpid() 来读取子进程的退出状态。这是清理僵尸进程的标准方法。
  • 处理 SIGCHLD 信号：父进程可以通过设置 SIGCHLD 信号的处理函数来自动处理子进程的退出状态。
#include <stdlib.h>
#include <sys/wait.h>
#include <unistd.h>
#include <signal.h>

void sigchld_handler(int signo) {
    // 使用 waitpid 来避免潜在的竞争条件
    while (waitpid(-1, NULL, WNOHANG) > 0);
}

int main() {
    signal(SIGCHLD, sigchld_handler);

    pid_t pid = fork();
    if (pid == 0) {
        // 子进程
        printf("Child process\n");
        exit(0);
    } else if (pid > 0) {
        // 父进程
        printf("Parent process\n");
        sleep(5);  // 模拟父进程的其他工作
    } else {
        perror("fork");
        exit(1);
    }

    return 0;
}

2. 避免僵尸进程的方法

  • 创建孤儿进程：当父进程终止时，其所有的子进程将会被 init 进程（PID 为 1）接管。init 进程会自动调用 wait() 清理子进程，从而避免僵尸进程。可以通过使父进程提前退出，或者使用守护进程（daemon）来实现。
  • 双重 fork：父进程 fork 一个子进程，然后子进程再 fork 一个孙子进程，并退出。这样，孙子进程就成为了孤儿进程，由 init 进程接管。
#include <stdlib.h>
#include <unistd.h>

int main() {
    pid_t pid = fork();
    if (pid == 0) {
        // 第一个子进程
        pid_t pid2 = fork();
        if (pid2 == 0) {
            // 孙子进程
            printf("Grandchild process\n");
            sleep(10);  // 模拟工作
            exit(0);
        } else if (pid2 > 0) {
            // 第一个子进程退出
            exit(0);
        } else {
            perror("fork");
            exit(1);
        }
    } else if (pid > 0) {
        // 父进程
        printf("Parent process\n");
        wait(NULL);  // 等待第一个子进程退出
        sleep(20);   // 模拟父进程的其他工作
    } else {
        perror("fork");
        exit(1);
    }

    return 0;
}

结论

僵尸进程是操作系统的一种机制，允许父进程获取子进程的退出状态。虽然它们不消耗资源，但会占用进程表条目。如果未正确处理，可能会导致系统问题。通过适当的编程实践（如及时调用 wait() 和处理 SIGCHLD 信号），可以有效地管理和避免僵尸进程。

avatar
文章
阅读
粉丝