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

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

на обложку

Керниган Брайан Уилсон

Шрифт:

$ sdb pick core

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

lseek: address 0xa64

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

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

lseek

fprintf(6154,2147479154)

pick(2147479154)

main(30,2147478988,2147479112)

Выход

Информация размещена по-иному, но есть общая основа:

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

и убедиться в том, что каждое выдаваемое этой программой предупреждение вам понятно.

6.7 Пример:

zap

Программа

zap

, которая избирательно уничтожает процессы, отличается от той, что была представлена в виде файла

shell

в гл. 5. Главная проблема данной версии скорость. Она создает много процессов и поэтому работает медленно, что недопустимо для программы, уничтожающей процессы с ошибками. Если переписать

zap

на Си, ее быстродействие повысится. Мы, однако, снова воспользуемся

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

zap

открывает программный канал, входной поток для которого берется из

, и читает из него, как из файла. Функция

popen(3)

аналогична

fopen

, за исключением того, что первый аргумент является командой, а не именем файла. То же самое справедливо и для

pclose

, но здесь она нам не нужна.

/* zap: interactive process killer */

#include <stdio.h>

#include <signal.h>

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

выбирает заголовок из

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

Функция

sscanf

представляет собой член семейства

scanf(3)

для форматного преобразования входной строки. Она преобразует строку, а не файл. Вызов

kill

из системы посылает специальный сигнал процессу; сигнал

SIGKILL

, определенный в

<signal.h>

, не может быть перехвачен или проигнорирован. Вы можете вспомнить пятую главу, где его численное значение равно девяти, но лучше использовать символические константы из файлов макроопределений, чем включать в свои программы загадочные числа.

Если аргументы отсутствуют,

zap

предоставляет каждую строку выходного потока

как возможность для выбора. При наличии аргумента

zap

предлагает только те выходные строки

, которые ему соответствуют. Функция

strindex(s1, s2)

проверяет, соответствует ли аргумент какой-либо части строки выходного потока

, используя

strncmp

(см. табл. 6.2). Функция