| | Под передачей сигнала подразумевается, что процесс не перейдет в состояние ожидания не получив (не увидев) последний поступивший сигнал (т.е. не отреагировав на него).
Проверка наличия необработанного сигнала (wakeup check condition) может выполняться в 2 местах:- В конце асинхронно сессии обработки процесса (в ситуации, когда процесс принял решения перейти в режим ожидания).
- Необязательно можно делать проверку на уровне хенделар триггера, чтобы не будить процесс лишний раз (если сигнал мог быть уже обработан).
|
| Решаемые задачи | - Обработка конкуренции между триггером и процессом. Избежание избыточных блокировок и избыточных ожиданий блокировок.
- Триггер не пытается взять блокировку над процессом лишний раз, если процесс выполняется.
- Информация о выполнении процесса считывается из Wakeup state (без взятия блокировки процесса).
Если процесс выполняется, то сигнал считается доставленным и никаких обновлений не требуется т.к. процесс сам проверит Wakeup condition и увидит новый сигнал.
- Гарантированная доставка сигнала от триггера до процесса (сигнал не будет потерян) и процесс будет пробужден и продолжит выполнение (Синхронизация проверки условия Wakeup condition, гарантия что сигнал не будет утерян).
|
| | Upd: более предпочтительный вариант - каскад триггеров.
SimpleStream - корневой триггер. Передает сигнал на процесс без конкуренции. Фиксирует сигнал от дочерних триггеров.
Дочерние триггеры передают сигнал не на процесс напрямую, а на корневой триггер (через событие). |
| Sequence диаграмма: демонстрации обработки конкуренции между триггером и процессом. |  |
| | Схожая схема работает при конкуренции между триггерами (при передаче сигнала на процесс). |
| | |
