1. Процесс создает свои копии таким образом, что каждая из них может обрабатывать одно задание. Это типичная ситуация для сетевых серверов. Далее в тексте вы увидите множество подобных примеров.
2. Процесс хочет запустить другую программу. Поскольку единственный способ создать новый процесс — это вызвать функцию
fork
, процесс сначала вызывает функцию
fork
, чтобы создать свою копию, а затем одна из копий (обычно дочерний процесс) вызывает функцию
exec
(ее описание следует за описанием функции
fork
), чтобы заменить себя новой программой. Этот сценарий типичен для таких программ, как интерпретаторы командной строки.
Единственный способ запустить в Unix на выполнение какой-либо файл — вызвать функцию
exec
. (Мы будем часто использовать общее выражение «функция
exec
», когда неважно, какая из шести функций семейства
exec
вызывается.) Функция
exec
заменяет копию текущего процесса новым программным файлом, причем в новой программе обычно запускается функция
main
. Идентификатор процесса при этом не изменяется. Процесс, вызывающий функцию
exec
, мы будем называть
В старых описаниях и книгах новая программа ошибочно называется «новым процессом». Это неверно, поскольку новый процесс не создается.
Различие между шестью функциями
exec
заключается в том, что они допускают различные способы задания аргументов:
выполняемый программный файл может быть задан или
аргументы новой программы либо перечисляются один за другим, либо на них имеется ссылка через массив указателей;
новой программе либо передается окружение вызывающего процесса, либо задается новое окружение.
#include
int execl(const char *
int execv(const char *
int execle(const char *
char *const
int execve(const char *
int execlp(const char *
int execvp(const char *
Эти функции возвращают вызывающему процессу значение -1, только если происходит ошибка. Иначе управление передается в начало новой программы, обычно функции
main
.
Отношения между этими шестью функциями показаны на рис. 4.4. Обычно только функция
execve
является системным вызовом внутри ядра, а остальные представляют собой библиотечные функции, вызывающие
execve
.
Рис. 4.4. Отношения между шестью функциями exec
Отметим различия между этими функциями:
1. Три верхних функции (см. рис. 4.4) принимают каждую строку как отдельный аргумент, причем перечень аргументов завершается пустым указателем (так как их количество может быть различным). У трех нижних функций имеется массив
argv
, содержащий указатели на строки. Этот массив должен содержать пустой указатель, определяющий конец массива, поскольку размер массива не задается.
2. Две функции в левой колонке получают аргумент
filename
. Он преобразуется в
pathname
с использованием текущей переменной окружения
PATH
. Если аргумент
filename
функций
execlp
или
execvp
содержит косую черту (
/
) в любом месте строки, переменная
PATH
не используется. Четыре функции в двух правых колонках получают полностью определенный аргумент
pathname
.
3. Четыре функции в двух левых колонках не получают явного списка переменных окружения. Вместо этого с помощью текущего значения внешней переменной
environ
создается список переменных окружения, который передается новой программе. Две функции в правой колонке получают точный список переменных окружения. Массив указателей
envp
должен быть завершен пустым указателем.
Дескрипторы, открытые в процессе перед вызовом функции
exec
, обычно остаются открытыми во время ее выполнения. Мы говорим «обычно», поскольку это свойство может быть отключено при использовании функции
fcntl
для установки флага дескриптора
FD_CLOEXEC
. Это нужно серверу
inetd
, о котором пойдет речь в разделе 13.5.
4.8. Параллельные серверы