QNX/UNIX: Анатомия параллелизма

sigaddset(&sig, SIGALRM);

Этот фрагмент кода формирует сигнальный набор, состоящий из двух сигналов: SIGPOLLи SIGALRM.

Диспозиция обработки каждого сигнала в этой модели устанавливается функцией:

int sigaction(int signo, const struct sigaction *act, struct sigaction *oact);

где signo— номер (имя) сигнала, для которого устанавливается диспозиция;

act— определение нового обработчика сигнала;

oact— структура (если указано не NULL), где будет сохранено описание ранее установленного обработчика (например, для последующего восстановления реакции).

Структура описания обработчика sigactionопределена так (мы исключили из определения часть структуры, предназначенную для компилятора Watcom, QNX 4.X):

struct sigaction {

#define sa_handler un._sa_handler

#define sa_sigaction un._sa_sigaction

 union {

  void (*_sa_handler)(_SIG_ARGS);

  void (*_sa_sigaction)(int, siginfo_t*, void*);

 } un;

 int sa_flags;

 sigset_t sa_mask;

};

Примечание

Это определение по форме, но не по содержанию отличается от описания, показанного в POSIX и используемого во многих традиционных UNIX [5] (обратите внимание на изменение порядка следования полей маски и флагов; это может стать преградой для прямой инициализации структуры в стиле C++ из соображений переносимости):

struct sigaction {

 /* указатель на функцию обработчика сигнала */

 void (*sa_handler)(int);

 /* сигналы, блокирующиеся во время обработки */

 sigset_t sa_mask;

 /* флаги, влияющие на поведение сигнала */

 int sa_flags;

 /* указатель на функцию обработчика сигнала */

 void (*sa_sigaction)(int, siginfo_t*, void*);

};

Определения #defineв первых строках описания — это обычная в QNX практика переопределения имен для компиляторов, «не понимающих» анонимных (неименованных) объединений ( union). Легко видеть, что даже размеры структур в этих двух определениях (QNX и POSIX) будут отличаться, что подсказывает необходимость соблюдения здесь особой тщательности при использовании.

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

•  SIG_DFL— восстановить обработчик сигнала, принятый по умолчанию (определения SIG_DFLи SIG_IGNсм. в предыдущем разделе);

•  SIG_IGN— игнорировать данный сигнал;

• адрес функции-обработчика, устанавливаемой как реакция на поступление этого сигнала. Эта функция будет выполняться при поступлении сигнала signo, и в качестве аргумента вызова она получит значение signo(одна функция может выступать как обработчик целой группы сигналов). Управление будет передано этой функции, как только процесс получит сигнал, какой бы участок кода при этом ни выполнялся. После возврата из функции управление будет возвращено в ту точку, в которой выполнение процесса было прорвано.

Второе поле sa_maskдемонстрирует первое применение набора сигналов: сигналы, установленные в sa_mask, будут блокироваться на время выполнения обработчика sa_handler(при вызове sa_handlerи сам сигнал signoбудет неявно добавлен в набор sa_mask, поэтому его можно не указывать явно). Это не значит, что поступившие в это время сигналы будут игнорироваться и теряться, просто их обработка будет отложена до завершения работы обработчика sa_handler. [29]

Поле sa_flagsможет использоваться для изменения характера реакции на сигнал signo. Возможны следующие значения поля флагов:

•  SA_RESETHAND— после выполнения функции обработчика будет восстановлен обработчик по умолчанию ( SIG_DFL, что соответствует духу модели «ненадежных сигналов» и позволяет воспроизводить ее поведение);