Брайан Керниган - UNIX — универсальная среда программирования

$ sdb pick core

Предупреждение: 'a.out не компилируется с -g

lseek: address 0xa64Функция, где программа аварийно завершилась

*t Запрос распечатки стека

lseek()

fprintf(6154,2147479154)

pick(2147479154)

main(30,2147478988,2147479112)

*q Выход

$

Информация размещена по-иному, но есть общая основа: fprintf. (Распечатка стека другая, так как это сделано на машине VAX-11/750, на которой стандартная библиотека ввода вывода реализована иначе.) И если мы взглянем на вызов fprintfв неправильной версии pick, то обнаружим некорректность:

fprintf("%s?", s);

Здесь нет stderr, так что строка формата используется как ссылка к FILE, и, конечно, получается хаос.

Мы показали вам типичную ошибку, которая является скорее результатом просмотра, а не неправильного программирования. Искать подобные ошибки при вызове функции с неверными аргументами можно также с помощью верифицирующей программы для Си lint(1). Эта программа рассматривает Си-программы с точки зрения наличия ошибок, аспектов переносимости и сомнительных конструкций. Если мы запустим lintс файлом pick.с, ошибка идентифицируется:

$ lint pick.с

...

fprintf, arg. 1 несовместим "llib-lc"(69) :: "pick.c"(28)

...

$

Это означает, что первый аргумент в стандартной библиотеке определен иначе, чем в строке 28 вашей программы. Таким образом дана точная информация о том, что неверно.

Программа lint, с одной стороны, указывает на недостатки в вашей программе, а с другой выдает много не относящихся к делу сообщений, которые мы выше опустили, и нужен некоторый опыт, чтобы уметь разбираться, какие из них необходимы, а какие следует игнорировать. Однако имеет смысл постараться, так как lintпомогает обнаружить некоторые ошибки, которые человек увидеть практически не может. После длительного редактирования всегда стоит запустить lintи убедиться в том, что каждое выдаваемое этой программой предупреждение вам понятно.

Программа zap, которая избирательно уничтожает процессы, отличается от той, что была представлена в виде файла shellв гл. 5. Главная проблема данной версии скорость. Она создает много процессов и поэтому работает медленно, что недопустимо для программы, уничтожающей процессы с ошибками. Если переписать zapна Си, ее быстродействие повысится. Мы, однако, снова воспользуемся ps, чтобы найти информацию о процессе. Это намного легче, чем выуживать информацию из ядра, и, кроме того, мы имеем переносимый вариант. Программа zapоткрывает программный канал, входной поток для которого берется из ps, и читает из него, как из файла. Функция popen(3)аналогична fopen, за исключением того, что первый аргумент является командой, а не именем файла. То же самое справедливо и для pclose, но здесь она нам не нужна.

/* zap: interactive process killer */

#include

#include

char *progname; /* program name for error message */

char *ps = "ps -ag"; /* system dependent */

main(argc, argv)

int argc;

char *argv[];

{

FILE *fin, *popen();

char buf[BUFSIZ];

int pid;

progname = argv[0];

if ((fin = popen(ps, "r")) == NULL) {

fprintf(stderr, "%s: can't run %s\n", progname, ps);

exit(1);

}

fgets(buf, sizeof buf, fin); /* get header line */

fprintf(stderr, "%s", buf);

while (fgets(buf, sizeof buf, fin) != NULL)

if (argc == 1 || strindex(buf, argv[1]) >= 0) {

buf[strlen(buf)-1] = '\0'; /* suppress \n */

fprintf(stderr, "%s? ", buf);

if (ttyin() == 'y') {

sscanf(buf, "%d", &pid);

kill(pid, SIGKILL);

}

}

exit(0);

}

Мы писали программу, чтобы использовать ps -ag(этот флаг системно зависим), но если вы не являетесь привилегированным пользователем, то можете уничтожать лишь свои собственные процессы.

Первый вызов fgetsвыбирает заголовок из ps; интересно выяснить, что случится, если попытаться уничтожить "процесс", соответствующий данному заголовку.

Функция sscanfпредставляет собой член семейства scanf(3)для форматного преобразования входной строки. Она преобразует строку, а не файл. Вызов killиз системы посылает специальный сигнал процессу; сигнал SIGKILL, определенный в , не может быть перехвачен или проигнорирован. Вы можете вспомнить пятую главу, где его численное значение равно девяти, но лучше использовать символические константы из файлов макроопределений, чем включать в свои программы загадочные числа.