Майкл Джонсон - Разработка приложений в среде Linux. Второе издание

Обычно процессы, в которых вызывается fork(), немедленно вызывают exec()для другой программы (это то, что оболочка делает всякий раз, когда вы вводите команду), что делает полную семантику fork()более расточительной по вычислительным ресурсам, чем это необходимо.

Чтобы оптимизировать этот общий случай, существует vfork().

#include

pid_t vfork(void);

Вместо создания совершенно новой среды выполнения для нового процесса vfork()создает новый процесс, который разделяет память с исходным процессом. Ожидается, что новый процесс запустит другой процесс посредством exit()или exec()очень быстро, но его поведение непредсказуемо, если он модифицирует память, возвратит управление из функции vfork(), содержащейся в нем, либо вызовет любую новую функцию. В дополнение к этому исходный процесс приостанавливается, до тех пор, пока новый либо не будет прерван, либо вызовет функцию exec() [24] Появление vfork() было мотивировано старыми системами, которым необходимо было копировать всю память, используемую исходным процессом, как часть fork() .Современные операционные системы используют копирование при записи , которое копирует области памяти только по необходимости, как это описано во многих источниках, посвященных операционным системам, в частности [40] и [2]. Это свойство делает fork() почти таким же быстрым, как vfork() , и намного более простым в использовании. . Однако не все системы обеспечивают семантику разделения памяти и приостановки родительского процесса vfork(), поэтому приложения не должны полагаться на такое поведение.

Процессы прерывают себя вызовом либо exit(), либо _exit(). Когда функция процесса main()возвращает управление, стандартная библиотека С вызывает exit()со значением, возвращаемым main()в качестве параметра.

void exit(int exitCode);

void _exit(int exitCode);

Две формы, exit()и _exit(), отличаются тем, что exit()— функция из библиотеки С, a _exit()— системный вызов. Системный вызов _exit()прерывает программу немедленно, и exitCodeсохраняется в качестве кода возврата процесса. Когда используется exit(), то перед тем, как запустить системный вызов _exit(exitCode), вызываются функции, зарегистрированные в atexit(). Помимо всего прочего, это позволяет стандартной библиотеке ввода-вывода ANSI/ISO сбросить все свои буферы.

Регистрация функций, которые должны быть запущены при вызове exit(), выполняется с помощью функции atexit():

int atexit(void (*function) (void));

Единственный параметр, переданный atexit()— это указатель на функцию. Когда вызывается exit(), все функции, зарегистрированные через atexit(), вызываются в порядке, обратном тому, в котором они регистрировались. Следует отметить, что если используется _exit()либо процесс прерывается сигналом (подробно о сигналах читайте в главе 12), то функции, зарегистрированные atexit(), не вызываются.

Разрушение другого процесса почти столь же просто, как создание нового — нужно просто уничтожить его:

int kill(pid_t pid, int signum);

pidдолжен быть идентификатором процесса, который требуется уничтожить, а signumописывает, как это нужно сделать. Доступны два варианта выполнения операции [25] Это — существенное упрощение. В действительности kill() посылает сигнал, а сигналы сами по себе достаточно сложная тема. См. полное описание того, что такое сигналы и как их применять, в главе 12. прерывания дочернего процесса. Вы можете применить SIGTERM, чтобы прервать его "вежливо". Это означает, что процесс при этом может сообщить ядру о том, что кто-то пытается его уничтожить; в результате появляется возможность завершить его корректно (сохранив файлы, например). Процесс может в этом случае игнорировать запрос на прерывание такого типа и продолжать выполняться. Применение значения SIGKILLв качестве параметра signumвызывает немедленное прерывание процесса без каких-либо вопросов. Если signumравно 0, то kill()проверяет, имеет ли тот процесс, что вызвал kill(), соответствующие полномочия, возвращает ноль, если это так, либо ненулевое значение, если полномочий недостаточно. Это обеспечивает процессу возможность проверки корректности pid.