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