Олег Цилюрик - QNX/UNIX - Анатомия параллелизма

sigset_t sig;

sigemptyset(&sig);

sigaddset(&sig, SIGPOLL);

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, что соответствует духу модели «ненадежных сигналов» и позволяет воспроизводить ее поведение);

• SA_NOCLDSTOP— используется только для сигнала SIGCHLD; флаг указывает системе не генерировать для родительского процесса SIGCHLDот порожденных процессов, которые завершаются посредством SIGSTOP.

• SA_SIGINFO— при этом будет использована обработка сигналов на базе очереди сигналов (модель сигналов реального времени). По умолчанию используется простая обработка: результат воздействия нескольких сигналов определяется последним поступившим. В случае установки этого флага будет использована расширенная форма обработчика sa_sigaction(при этом поле sa_handlerне будет использоваться) [30] Спецификация XSI требует, чтобы процесс использовал либо поле sa_handler , либо поле sa_sigaction , но не оба поля одновременно (в случае «классической» структуры sigaction , см. выше). Реализация QNX за счет объединения двух обработчиков под одним union обеспечивает это требование автоматически, хотя определения при этом становятся несколько более громоздкими. . Обработчику будет передаваться дополнительная информация о сигнале — структура siginfo_t(его номер, PID пославшего сигнал процесса, действующий идентификатор пользователя этого процесса). Эта весьма объемная структура будет очень кратко рассмотрена ниже. [31] Модель очереди сигналов введена главным образом для обеспечения сигналов реального времени и будет рассмотрена ниже. Ее описание вынесено в отдельный заголовочный файл и может быть изучено там.