С замещением процессов это выглядит следующим образом:
diff <(command1) <(command2)
Не надо никаких беспорядочных файлов для временного запоминания и удаления. Например, следующая команда показывает, что наш домашний каталог является ссылкой на другой каталог:
$ diff <(pwd) <(/bin/pwd)
1c1
< /home/arnold/work/prenhall/progex
– --
> /d/home/arnold/work/prenhall/progex
Незамысловатая команда
pwd
является встроенной в оболочку: она выводит текущий логический путь, который управляется оболочкой с помощью команды
cd
. Программа
/bin/pwd
осуществляет обход физической файловой системы для вывода имени пути.
Как выглядит замещение процессов? Оболочка создает вспомогательные команды [99] ('
pwd
' и '
/bin/pwd
'). Выход каждой из них подсоединяется к каналу, причем читаемый конец открыт в дескрипторе нового файла для главного процесса ('
diff
'). Затем оболочка передает главному процессу имена файлов в
/dev/fd
в качестве аргументов командной строки. Мы можем увидеть это, включив в оболочке трассировку исполнения.
99
Хотя мы показали простые команды, допустимы произвольные конвейеры — Примеч. автора.
++ pwd /* Трассировка оболочки: вспомогательные программы */
++ /bin/pwd
1c1 /* Вывод diff */
< /home/arnold/work/prenhall/progex
– --
> /d/home/arnold/work/prenhall/progex
Это показано на рис. 9.6.
Рис. 9.6. Замещение процесса
Если на вашей системе есть
/dev/fd
, вы также можете использовать преимущества этой возможности. Однако, будьте осторожны и задокументируйте то, что вы делаете. Манипуляции с дескриптором файла на уровне С значительно менее прозрачны, чем соответствующие записи оболочки!
9.4.3. Управление атрибутами файла:
fcntl
Системный вызов
fcntl
(«управление файлом») предоставляет контроль над различными атрибутами либо самого дескриптора файла, либо лежащего в его основе открытого файла. Справочная страница GNU/Linux fcntl(2) описывает это таким способом:
#include <unistd.h> /* POSIX */
#include <fcntl.h>
int fcntl (int fd, int cmd);
int fcntl(int fd, int cmd, long arg);
int fcntl(int fd, int cmd, struct flock *lock);
Другими словами, функция принимает по крайней мере два аргумента; в зависимости от второго аргумента, она может принимать и третий аргумент.
Последняя форма, в которой третий аргумент является указателем на
struct flock
, предназначена для блокировки файла. Блокировка файлов сама по себе представляет большую тему; мы отложим обсуждение до раздела 14.2 «Блокировка файлов».
9.4.3.1. Флаг close-on-exec
После вызова
fork
и перед вызовом
exec
следует убедиться, что новая программа наследует лишь те открытые файлы, которые ей нужны. Вы не захотите, чтобы порожденный процесс мешался в открытых файлах родителя, если только это так не задумано. С другой стороны, если у родителя множество открытых файлов, это будет искусственно ограничивать число новых файлов, которые может открыть порожденный процесс. (См. сопроводительную врезку.)
Организационно такое поведение может представлять проблему. Часть вашей программы, порождающая новый процесс, не должна особенно нуждаться в других частях программы, манипулирующей открытыми файлами. И цикл наподобие следующего неприятный, поскольку может не быть открытых файлов:
int j;
for (j = getdtablesize; j >= 3; j--) /* закрыть все, кроме 0, 1, 2 */
(void)close(j);
Решением является флаг close-on-exec (закрытие при исполнении exec). Он является атрибутом самого дескриптора файла, а не лежащего в его основе открытого файла. Когда этот флаг установлен, система автоматически закрывает файл, когда процесс осуществляет
exec
. Установив этот флаг сразу после открытия файла, вам не нужно беспокоиться о том, что какой-нибудь порожденный процесс случайно его унаследует. (Оболочка автоматически устанавливает этот флаг для всех дескрипторов файлов, которые она открывает, начиная с номера 3 и выше.)
Аргумент
cmd
имеет два значения, относящиеся к флагу close-on-exec:
F_GETFD
Получает флаги дескриптора файла. Возвращаемое значение является значением всех установленных флагов дескриптора или -1 при ошибке.
F_SETFD
Устанавливает флаги дескриптора файла в содержащееся в
arg
(третий аргумент) значение. Возвращаемое значение равно 0 при успехе или -1 при ошибке.
В настоящий момент определен лишь один «флаг дескриптора файла»:
FD_CLOEXEC
. Эта именованная константа является нововведением POSIX [100] , а большая часть кода использует просто 1 или 0:
100
Стандарт POSIX умышленно не приписывает ей значение. Однако, чтобы старый код продолжал работать, единственным значением, которое могла бы разумно использовать любая реализация, является 1 — Примеч. автора.