Quit
Из вывода программы мы можем видеть, что после вызова функции longjump() из обработчика сигнала значение сигнальной маски остается таким же, каким оно было при входе в обработчик.
В вышеприведенной сессии оболочки мы строим программу с помощью сборочного файла, поставляемого вместе с дистрибутивом исходного кода этой книги (http://www.man7.org/tlpi). Параметр — s сообщает программе make не распечатывать выполняемые команды. Мы используем этот параметр, чтобы не засорять журнал сессии. (В [Mecklenburg, 2005] содержится описание программы make проекта GNU.)
При компиляции того же исходного кода для построения исполняемого файла, использующего функцию siglongjump(), для выхода из обработчика сигнала мы увидим на экране следующее:
$ make — s sigmask_siglongjmp
$ ./sigmask_siglongjmp
Signal mask at startup:
Calling sigsetjmp()
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);
