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

Как и большинство сигнальных функций, данная функция возвращает нулевое значение в результате успешного выполнения и -1 в случае неудачи, при этом код ошибки устанавливается в

.

Именно эта функция снимает одно из самых существенных ограничений, свойственных модели «ненадежных сигналов», — позволяет заблокировать реакцию на сигналы при выполнении критических участков кода и восстановить ее при завершении выполнения этих участков.

Модель сигналов реального времени

Сигналы реального времени были добавлены в POSIX относительно недавно (1996 г.). Эта новая модель в различных ОС UNIX реализуется с разной степенью полноты и с отклонениями от спецификаций, и QNX не исключение. Модель еще до конца не отработана, поэтому возможны сюрпризы (и сейчас они будут).

Модель сигналов реального времени, которую специфицирует POSIX, устанавливается флагом

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

1. Сигналы, называемые сигналами реального времени, могут принимать значения между

и . Количество таких сигналов определяется в системе константой , которая должна быть не менее 8 (POSIX). В QNX: = 41, = 56.

2. Обработка сигналов реального времени строится на основе очереди. Если сигнал порожден N раз, то он должен быть и N раз получен адресатом (в описываемых ранее моделях это не так, в них процесс получает только единичный экземпляр сигнала). Повторные экземпляры одного и того же сигнала в модели реального времени доставляются обработчику в порядке FIFO.

3. Помимо 8-битного кода с сигналом реального времени ассоциируется 32-битное значение (

, мы им займемся позже), заполняемое отправителем и доставляемое получателю (что позволяет «различать» экземпляры сигналов в очереди, о которой говорилось выше).

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

вместо .

Эти два вызова определяются очень близкими формами:

5. Когда в очередь помещаются различные не заблокированные процессом (потоком) сигналы в диапазоне

… , то сигналы с меньшими номерами доставляются обработчику из FIFO-очереди раньше сигналов с большими номерами (то есть сигналы с меньшими номерами имеют более высокий приоритет).

6. Обработчик для сигналов реального времени устанавливается с флагом

, а функция обработчика объявляется теперь с другим прототипом:

Обработчик имеет больше параметров и получает больше информации. POSIX требует, чтобы тип

содержал как минимум:

В QNX

определяется так (подобное определение дают и другие ОС UNIX):

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

, могут быть целочисленным значением или указателем неспецифицированного типа.

7. Поле

типа , передаваемое получателю, определяет природу возбуждения сигнала:

 • 

— сигнал порожден завершением операций асинхронного ввода/вывода, запущенного одной из функций POSIX ;

 • 

— сигнал возбуждается при помещении сообщения в пустую очередь сообщений UNIX;

 • 

— сигнал был отправлен функцией (в этом разделе нас интересуют только такие сигналы);

 • 

— сигнал был порожден по истечении установленного времени интервального таймера;

 • 

— сигнал был отправлен функцией .

8. Допускается, что при возбуждении сигнала еще каким-либо механизмом (сверх перечисленных, что может определяться специфическими особенностями ОС) значение

может отличаться от перечисленных. Однако значение поля считается актуальным только в тех случаях, когда имеет одно из значений: , , , .