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