Читаем Linux API. Исчерпывающее руководство полностью

(На данном этапе сочетание Ctrl-C не сработает, так как SIGINT заблокирован)

Нажмите Ctrl-\ для завершения программы

Quit

Из вывода программы мы можем видеть, что после вызова функции longjump() из обработчика сигнала значение сигнальной маски остается таким же, каким оно было при входе в обработчик.

В вышеприведенной сессии оболочки мы строим программу с помощью сборочного файла, поставляемого вместе с дистрибутивом исходного кода этой книги (http://www.man7.org/tlpi). Параметр — s сообщает программе make не распечатывать выполняемые команды. Мы используем этот параметр, чтобы не засорять журнал сессии. (В [Mecklenburg, 2005] содержится описание программы make проекта GNU.)

При компиляции того же исходного кода для построения исполняемого файла, использующего функцию siglongjump(), для выхода из обработчика сигнала мы увидим на экране следующее:

$ make — s sigmask_siglongjmp Компиляция с использованием cc — DUSE_SIGSETJMP

$ ./sigmask_siglongjmp

Signal mask at startup:

Calling sigsetjmp()

Нажмите Ctrl-C

Received signal 2 (Interrupt), signal mask is:

2 (Interrupt)

After jump from handler, signal mask is:

На данный момент сигнал SIGINT не блокируется, так как функция siglongjump() восстанавливает значение сигнальной маски до состояния на момент вызова функции sigsetjump() (иными словами, к пустому набору сигналов).

В листинге 21.2 также демонстрируется полезная техника с использованием обработчика сигнала, в котором выполняется нелокальный переход. Поскольку сигнал может быть сгенерирован в любое время, значит, он может быть сгенерирован прежде, чем цель перехода будет установлена функцией sigsetjump() (или setjump()). Для пресечения этой вероятности (из-за которой обработчик сигнала выполнит нелокальный переход с не инициализированным буфером env) мы применим защитную переменную canJump для обозначения того, был ли инициализирован буфер env. Если значение переменной canJump равно false, то вместо выполнения нелокального перехода обработчик просто осуществляет возврат. Альтернативный подход заключается в организации программного кода таким образом, что вызов функции sigsetjump() (или setjump()) производится перед установкой обработчика сигнала. Однако в сложных программах трудно гарантировать, что вышеуказанные шаги будут выполняться именно в нужном порядке, и применение защитной переменной может быть более простым выходом.

Обратите внимание, что использование директивы препроцессора #ifndef было самым элементарным способом написания программы в листинге 21.2 в соответствии со стандартом. В частности, мы не смогли бы заменить директиву #ifndef следующей проверкой времени выполнения:

if (useSiglongjmp)

s = sigsetjmp(senv, 1);

else

s = setjmp(env);

if (s == 0)

…

Такая проверка недопустима, поскольку стандарт SUSv3 не разрешает использование функций setjmp() и sigsetjmp() в выражениях присваивания (см. раздел 6.8).

Листинг 21.2. Выполнение нелокального перехода из обработчика сигнала

signals/sigmask_longjmp.c

#define _GNU_SOURCE /* Получить объявление strsignal() из */

#include

#include

#include

#include "signal_functions.h" /* Объявление printSigMask() */

#include "tlpi_hdr.h"

static volatile sig_atomic_t canJump = 0;

/* Присваивается значение 1, если буфер "env" был инициализирован [sig]setjmp() */

#ifdef USE_SIGSETJMP

static sigjmp_buf senv;

#else

static jmp_buf env;

#endif

static void

handler(int sig)

{

/* НЕБЕЗОПАСНО: В этом обработчике используются функции, небезопасные

для асинхронных сигналов (printf(), strsignal(), printSigMask();

см. подраздел 21.1.2) */

printf("Received signal %d (%s), signal mask is: \n", sig,

strsignal(sig));

printSigMask(stdout, NULL);

if (!canJump) {

printf("'env' buffer not yet set, doing a simple return\n");

return;

}

#ifdef USE_SIGSETJMP

siglongjmp(senv, 1);

#else

longjmp(env, 1);

#endif

}

int

main(int argc, char *argv[])

{

struct sigaction sa;

printSigMask(stdout, "Signal mask at startup: \n");

sigemptyset(&sa.sa_mask);

sa.sa_flags = 0;

sa.sa_handler = handler;

if (sigaction(SIGINT, &sa, NULL) == –1)

errExit("sigaction");

#ifdef USE_SIGSETJMP

printf("Calling sigsetjmp()\n");

if (sigsetjmp(senv, 1) == 0)

#else

printf("Calling setjmp()\n");

if (setjmp(env) == 0)

#endif

canJump = 1; /* Выполняется после [sig]setjmp() */

else /* Выполняется после [sig]longjmp() */

printSigMask(stdout, "After jump from handler, signal mask is: \n");

for (;;) /* Ожидание сигналов до завершения */

pause();

}

signals/sigmask_longjmp.c

21.2.2. Аварийное завершение процесса: abort()

Функция abort() завершает процесс и заставляет его создать файл дампа ядра.

#include

void abort(void);