Изменения документа Гарантированная конкурентная доставка сигнала
Редактировал(а) Alexandr Fokin 2026/06/18 22:07
От версии 7.16
отредактировано Alexandr Fokin
на 2026/06/18 22:07
на 2026/06/18 22:07
Изменить комментарий:
Renamed back-links.
К версии 7.7
отредактировано Alexandr Fokin
на 2026/05/17 10:38
на 2026/05/17 10:38
Изменить комментарий:
К данной версии нет комментариев
Сводка
-
Свойства страницы (2 изменено, 0 добавлено, 0 удалено)
Подробности
- Свойства страницы
-
- Родительский документ
-
... ... @@ -1,1 +1,1 @@ 1 -Проекты и репозитории.Библиотеки.Движок cccc1808\. ProcessEngine. Тема\. Сигналы и триггеры.WebHome1 +Проекты и репозитории.Библиотеки.Движок cccc1808\. ProcessEngine.WebHome - Содержимое
-
... ... @@ -1,21 +1,24 @@ 1 -|(% style="width:196px" %) |(% style="width:1286px" %)[[Про передачу сигнала на процесс>>doc:Проекты и репозитории.Библиотеки.Движок cccc1808\. ProcessEngine. Тема\. Сигналы и триггеры.Про передачу сигнала на процесс.WebHome]] (2.3)1 +|(% style="width:196px" %) |(% style="width:1286px" %)[[Про передачу сигнала на процесс>>doc:Проекты и репозитории.Библиотеки.Движок cccc1808\. ProcessEngine.Про передачу сигнала на процесс.WebHome]] (2.3) 2 2 |(% style="width:196px" %)Схема конкурентного взаимодействия между триггером и процессом.|(% style="width:1286px" %)((( 3 -(% style="width:100%" %) 4 -|(% style="width:183px" %) |(% style="width:955px" %)Под передачей сигнала подразумевается, что процесс не перейдет в состояние ожидания не получив (не увидев) последний поступивший сигнал (т.е. не отреагировав на него). 5 -Проверка наличия необработанного сигнала (wakeup check condition) может выполняться в 2 местах:((( 6 -* В конце асинхронно сессии обработки процесса (в ситуации, когда процесс принял решения перейти в режим ожидания). 7 -* Необязательно можно делать проверку на уровне хенделар триггера, чтобы не будить процесс лишний раз (если сигнал мог быть уже обработан). 8 -))) 3 +(% style="width:1060px" %) 9 9 |(% style="width:183px" %)Решаемые задачи|(% style="width:955px" %)((( 10 -1. Обработка конкуренции между триггером и процессом.Избежание избыточных блокировок и избыточных ожиданий блокировок.5 +1. Избежание избыточных блокировок и избыточных ожиданий блокировок. 11 11 11. Триггер не пытается взять блокировку над процессом лишний раз, если процесс выполняется. 12 -111. Информация о выполнении процесса считывается из Wakeup state (без взятия блокировки процесса). 13 -Если процесс выполняется, то сигнал считается доставленным и никаких обновлений не требуется т.к. процесс сам проверит Wakeup condition и увидит новый сигнал. 14 -1. Гарантированная доставка сигнала от триггера до процесса (сигнал не будет потерян) и процесс будет пробужден и продолжит выполнение (Синхронизация проверки условия Wakeup condition, гарантия что сигнал не будет утерян). 7 +(Информация о выполнении процесса считывается из Wakeup state (без взятия блокировки процесса). Если процесс выполняется, то сигнал считается доставленным и никаких обновлений не требуется). 8 +11. Гарантированная доставка сигнала от триггера до процесса (сигнал не будет потерян) и процесс будет пробужден и продолжит выполнение (Синхронизация проверки условия Wakeup condition, гарантия что сигнал не будет утерян). 9 +11. Конкуренция между триггерами и процессом. 10 + 11 + 12 +Решает 2 задачи: 13 +1) Информация о выполнении процесса считывается из Wakeup state (без взятия блокировки процесса). Если процесс выполняется, то сигнал считается доставленным и никаких обновлений не требуется. 14 +2) Синхронизация проверки условия Wakeup condition, гарантия что сигнал не будет утерян. 15 +В конце сессии обработки процесса Wakeup state блокируется и только после этого проверяется условие наличие новых сигналов Wakeup condition, это гарантирует что ни один поступивший сигнал не будет утерян. 16 + 17 +Такой подход позволяет минимизировать ожидание на блокировках. 15 15 ))) 16 -|Sequence диаграмма: демонстрации обработки конкуренции между триггером и процессом.|(% style="width:791px" %)[[image:Конкурентная доставка сигнала в процесс.Sequence.png]] 17 -|(% style="width:183px" %) |(% style="width:955px" %)Схожая схема работает при конкуренции между триггерами (при передаче сигнала на процесс). 19 +|С|(% style="width:791px" %)[[image:Конкурентная доставка сигнала в процесс.Sequence.png]] 18 18 |(% style="width:183px" %) |(% style="width:955px" %) 21 +|(% style="width:183px" %) |(% style="width:955px" %) 19 19 20 20 21 21 )))