Изменения документа Движок cccc1808. ProcessEngine
Редактировал(а) Alexandr Fokin 2026/04/27 13:28
От версии 1.41
отредактировано Alexandr Fokin
на 2026/04/10 16:28
на 2026/04/10 16:28
Изменить комментарий:
К данной версии нет комментариев
К версии 15.1
отредактировано Alexandr Fokin
на 2026/04/10 19:37
на 2026/04/10 19:37
Изменить комментарий:
Удаление картинки Родительский дочерний процесс. Sequence..jpg
Сводка
-
Свойства страницы (1 изменено, 0 добавлено, 0 удалено)
Подробности
- Свойства страницы
-
- Содержимое
-
... ... @@ -24,11 +24,13 @@ 24 24 * Блокировка: sharelock 25 25 (можно обойтись без него без сильного влияния) 26 26 * Уровень изоляции: работает на read committed, то что нужно блокируется руками. 27 +* Для некоторых кейсов желательно возможность выполнить upsert (insert on conflict). 27 27 ))) 28 28 |(% style="width:150px" %)Брокер сообщений|(% style="width:1177px" %)((( 29 29 Используется для накопления и доставки TriggerEvent. 30 30 31 31 * Сейчас есть реализация под [[Apache Kafka>>doc:Разработка.Брокеры сообщений.Apache Kafka.WebHome]] 33 +* Скорее всего можно сделать под RabbitMq. 32 32 * Если запускать в одном экземпляре, то можно обойтись inmemory реализаций. 33 33 ))) 34 34 ))) ... ... @@ -49,11 +49,14 @@ 49 49 В том числе для передачи сигналов реализована система триггеров. 50 50 Она позволяет оптимизировать операции с БД и уменьшить конкуренцию между процессами за общее состояние (родительский процесс). 51 51 52 - см. пример 1.54 +См. пример 1. 53 53 ))) 54 -|(% style="width:159px" %)Stream process|(% style="width:1168px" %)Возможность реализации stream процессов. Которые обрабатываются некоторый поток сообщений. 55 -Через использование триггеров (при поступлении сообщения публикуется TriggerEvent) и системы гарантированного пробуждения (процесс гарантировано не уснет, если есть необработанные сообщения). 56 -Например: TransactionOutbox. 56 +|(% style="width:159px" %)Stream process|(% style="width:1168px" %)((( 57 +Возможность реализации stream процессов. Которые обрабатываются некоторый поток сообщений. 58 +Через использование триггеров (при поступлении сообщения публикуется TriggerEvent) и системы гарантированного пробуждения (процесс гарантировано не уснет, если есть необработанные сообщения). 59 + 60 +См. пример 2. 61 +))) 57 57 |(% style="width:159px" %)Перехват ошибок|(% style="width:1168px" %)Перехват и обработка ошибок, если процесс выкинул exception в движок. Реализацию простого retry с задержкой (создается триггер на следующую попытку). 58 58 |(% style="width:159px" %)Параллельное выполнение|(% style="width:1168px" %)Допускается запуск нескольких раннеров (на разных нодах), работающих с одной таблицей процессов для распределения нагрузки между ними. 59 59 Допускается фильтрация типов процессов между нодами (чтобы нода выполняла только определенные типы процессов, в том числе по приоритету). ... ... @@ -92,8 +92,29 @@ 92 92 Для таких случаев создается страхующий триггер (1 общий на тип процесса). Этот триггер запускается периодически и проходится по всем ожидающим процессам, проверяя условие (в реализации можно использовать keyset пагинацию) (в реализации можно использовать join для проверки условия). 93 93 Этот триггер выполняется периодически с более крупной временной задержкой. В случае обнаружения потери TriggerEvent, он поднимет заклинивший родительский процесс и он будет обработан (но позже). Можно установить этому триггеру низкий приоритет. 94 94 ))) 100 +|(% style="width:870px" %)[[image:Родительский дочерний процесс. Sequence.jpg]] 95 95 ))) 96 -|(% style="width:32px" %) |(% style="width:171px" %) |(% style="width:1066px" %) 102 +|(% style="width:32px" %)2|(% style="width:171px" %)Transaction outbox stream process.|(% style="width:1066px" %)[[image:TransactionOutbox. Sequence.jpg]] 103 +|(% style="width:32px" %)3|(% style="width:171px" %)Stream trigger|(% style="width:1066px" %)((( 104 +|(% style="width:94px" %) |(% style="width:1002px" %)Позволяет убрать лишние запросы пробуждения процесса (когда он и так запущен). 105 +Вводит 2 типа события, 1 сигнал о новом сообщении (содержит offset значение), 2 - процесс идет спать (содержит offset значение). 106 +|(% style="width:94px" %)Алгоритм триггера.|(% style="width:1002px" %)((( 107 +* При получении события о засыпании процесса: 108 +Фиксирует смещение процесса обработки и сравнивает со смещением сообщения. 109 +Если все сообщения обработаны, то не пробуждает процесс, иначе пробуждает процесс. 110 +* При получении события о новом сообщении: 111 +Фиксирует новое наибольшее смещение. 112 +Если процесс не спит (по флагу в триггере), то ничего не делает. 113 +Если процесс спит (по флагу), то пробуждает процесс. 114 + 115 + 116 +Отслеживает смещение обработки процесса и последнего события. 117 +Ожидает от процесса события о том, что он все обработал, его последнее смещение и он идет спать. 118 +Если есть сообщения со смещением больше чем указал процесс, то делает гарантированное пробуждение процесса. 119 +Когда поступает сигнал о новом сообщении (от отправителя сообщения), то обновляет данные о максимальном смещении и пробуждает процесс, если он спит 97 97 ))) 121 +|(% style="width:94px" %) |(% style="width:1002px" %)TODO: 122 +))) 123 +))) 98 98 99 99