Что такое зомби-процесс?

Что такое зомби-процесс?

Зомби-процесс (или процесс-зомби) — это термин из операционных систем, обозначающий завершённый процесс, запись о котором всё ещё присутствует в таблице процессов ядра. Это происходит, когда процесс завершил выполнение, но его родительский процесс ещё не вызвал системный вызов wait() (или его вариант), чтобы получить статус завершения и окончательно удалить запись из системы. В этот момент процесс уже не использует ресурсы ЦПУ и памяти, но занимает запись в таблице процессов и идентификатор процесса (PID).

Механизм возникновения

Когда процесс завершается (например, вызовом exit()), ядро сохраняет его статус завершения и превращает его в зомби. Запись остаётся в таблице процессов, пока родитель не прочитает статус через waitpid(). До этого момента система не может переиспользовать PID, что может привести к их исчерпанию, если зомби накапливаются.

Пример на языке C:

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <sys/wait.h>

int main() {
    pid_t pid = fork(); // Создаём дочерний процесс
    
    if (pid == 0) {
        // Дочерний процесс
        printf("Дочерний процесс с PID %d завершается.\n", getpid());
        exit(42); // Завершаемся с кодом 42
    } else {
        // Родительский процесс
        printf("Родительский процесс ожидает 10 секунд перед вызовом wait().\n");
        sleep(10); // Задержка перед вызовом wait()
        
        int status;
        waitpid(pid, &status, 0); // Забираем статус завершения
        printf("Дочерний процесс завершился с кодом %d.\n", WEXITSTATUS(status));
    }
    
    return 0;
}

В этом примере дочерний процесс становится зомби на 10 секунд, пока родитель не вызовет waitpid().

Почему зомби опасны?

• Утечка PID: Каждый зомби занимает уникальный PID, которые могут закончиться (в Linux PID ограничен 32767 по умолчанию).
• Переполнение таблицы процессов: Большое количество зомби может исчерпать системные ресурсы.
• Некорректная работа системы: Некоторые системные вызовы могут зависеть от доступности PID.

Как избежать зомби-процессов?

• Использование wait() или waitpid(): Родительский процесс должен забирать статус завершения дочерних процессов.
• Сигнал SIGCHLD: Настройка обработчика сигнала для автоматического вызова wait().
• Двойное ветвление (double fork): Применяется в демонах, чтобы родитель завершался сразу, а зомби убирался системой.

Пример обработки через SIGCHLD:

#include <signal.h>
#include <sys/wait.h>
#include <unistd.h>

void sigchld_handler(int sig) {
    (void)sig;
    while (waitpid(-1, NULL, WNOHANG) > 0) {
        // Обработка завершённого процесса
    }
}

int main() {
    signal(SIGCHLD, sigchld_handler);
    pid_t pid = fork();
    
    if (pid == 0) {
        exit(0); // Дочерний процесс завершается
    }
    
    pause(); // Родитель ожидает сигнала
    return 0;
}

Зомби в iOS и macOS

В контексте разработки под iOS/macOS зомби-процессы встречаются реже благодаря использованию высокоуровневых API, таких как Grand Central Dispatch (GCD) и Operation Queues, которые управляют жизненным циклом задач автоматически. Однако:

• При использовании низкоуровневых POSIX-вызовов (fork(), exec()) возможно создание зомби.
• В многопоточных приложениях важно правильно обрабатывать завершение дочерних потоков.
• Инструменты вроде Instruments (Zombies template) помогают отлаживать подобные проблемы, особенно связанные с управлением памятью (объекты-зомби в Objective-C/Swift).

Вывод

Зомби-процессы — это фундаментальная концепция управления процессами в UNIX-подобных системах. Для iOS-разработчика понимание этой темы важно при работе с системными вызовами или отладке сложных многопроцессных сценариев. На практике в iOS-приложениях зомби чаще возникают из-за ошибок управления памятью (например, обращения к освобождённым объектам), которые обнаруживаются через профилирование в Xcode.