Изменения документа Примеры
Редактировал(а) Alexandr Fokin 2026/08/26 19:05
От версии 8.22
отредактировано Alexandr Fokin
на 2026/05/09 02:00
на 2026/05/09 02:00
Изменить комментарий:
К данной версии нет комментариев
К версии 8.45
отредактировано Alexandr Fokin
на 2026/08/18 12:22
на 2026/08/18 12:22
Изменить комментарий:
К данной версии нет комментариев
Сводка
-
Свойства страницы (2 изменено, 0 добавлено, 0 удалено)
Подробности
- Свойства страницы
-
- Родительский документ
-
... ... @@ -1,1 +1,1 @@ 1 -Проекты и репозитории.Библиотеки.Движок cccc1808\. ProcessEngine.WebHome 1 +Проекты и репозитории.Библиотеки.Движок cccc1808\. ProcessEngine.Тема\. Сигналы и триггеры.WebHome - Содержимое
-
... ... @@ -1,3 +1,7 @@ 1 +{{toc/}} 2 + 3 + 4 +| |(% style="width:188px" %)**Пример задачи**|(% style="width:1268px" %)**Наборы решений** 1 1 |1|(% style="width:188px" %)1 родительский процесс и N дочерних процессов.|(% style="width:1268px" %)((( 2 2 |В данном примере имеется в виду, что дочерние процессы могут выполняться параллельно другу и независимо друг от друга, но в конце должны оповестить родительский процесс о необходимости продолжения обработки. 3 3 Если речь идет о каких-либо зависимостях порядка выполнения в дочерних процессах, то это может контролировать дочерний процесс (выделяя группу, которую сейчас можно запустить и ожидая окончания). ... ... @@ -44,9 +44,9 @@ 44 44 Также решает проблему, если дочерний процесс содержит ожидание (например асинхронный запрос-ответ), тут будет конкуренция сигнала от хендлера ответа к родительскому процессу. 45 45 ))) 46 46 |((( 47 -Вариант N4:51 +Вариант №4: 48 48 49 -SimpleStreamTrigger + Timer (один из лучших вариантов).53 +SimpleStreamTrigger + Timer. 50 50 51 51 * Триггер проверяет условие завершения всех дочерних процессов (можно прикинуть количество незавершенных дочерних процессов). 52 52 ** Если все обработано, то пробуждает процесс и деактивируется. ... ... @@ -61,7 +61,39 @@ 61 61 но пишущей нагрузки будет меньше чем в варианте 1 (запись - только на активации новым сигналом). 62 62 * Если сигналов нет, то нет пустых срабатываний в отличие от варианта 2 (т.к. нет поступления сигнала от дочерних процессов). 63 63 ))) 68 +|((( 69 +|Вариант №5: 70 +SimpleStreamTrigger + Счетчик в [[Redis>>doc:Разработка.Базы данных.NoSQL.Ключ-значение структура.Redis.WebHome]]. (на текущий момент самый лучший вариант). 71 +|InMemory счетчик, нагрузка на БД и конкуренция. 72 +Дочерний процесс уменьшает счетчик. И публикует событие только если счетчик достиг 0. 73 +Совмещает преимущества из варианта 1.1 (при этом не нагружает БД), в случае ошибки переключается на режим 1.4. 74 +|((( 75 +Проблема: изменение счетчика не привязано к основной транзакции БД. 76 + 77 +Возможно: 78 + 79 +1. В начале транзакции (или шага) атомарно проверяем MemberSet, если есть запись то удаляем и увеличиваем счетчик на 1 (означает что процесс уже уменьшал счетчик, но потом было падение). 80 +1. До коммита транзакции атомарно добавляем значение в MemberSet и уменьшаем счетчик на 1. Если счетчик равен 0, то публикуем TriggerEvent 81 +(добавляем в ручную компенсацию вызов из пункта 1 (при откате изоляции шага и компенсации транзакции)). 82 +1. После коммита транзакции удаляем запись из MemberSet. 83 +(Если мы падаем тут, то процесс уже перешел на другой шаг или даже завершился, поэтому наличие единичной остаточной записи в memberSet не будет критичным). 84 +1. Trigger получает событие. (Необязательно) в хендлере может првоерить значения счетчиков и MemberSet. 85 + 86 +MemberSet используется для уменьшения вероятности увеличить или уменьшить счетчик дважды одним экземпляром дочернего процесса. 64 64 ))) 88 +|((( 89 +В случае обнаружения повреждения обработка фактически переходит в режим 1.4: начинает публиковать событий каждый раз и используется задержка. 90 + 91 +Примеры проблемы: 92 + 93 +* Падение InMemory хранилища. Предполагается режим без снимков и удаление ключей. 94 +Обнаружение (со стороны дочернего процесса) через отсутствие ключей (проверяется в транзакции). 95 +* Дублирование обновления счетчика. 96 +Обнаружение (со стороны дочернего процесса) через значение счетчика < 0. 97 +Обнаружение (со стороны триггера) через активацию триггера (поступления сигнала от процесса), при этом обнаруживается что не все процессы завершены. 98 +))) 99 +))) 100 +))) 65 65 |2|(% style="width:188px" %)Transaction outbox stream process.|(% style="width:1268px" %)[[image:TransactionOutbox. Sequence.jpg]] 66 66 |3|(% style="width:188px" %)Stream trigger|(% style="width:1268px" %)((( 67 67 | |((( ... ... @@ -100,3 +100,54 @@ 100 100 |(% style="width:888px" %)Родительский процесс ожидает завершения дочерних процессов (см. пример 1).|(% style="width:266px" %) 101 101 ))) 102 102 ))) 139 +|5|(% style="width:188px" %)Распределение заявок между исполнителями 140 +(Заготовка).|(% style="width:1268px" %)((( 141 +|(% style="width:94px" %)Описание|(% style="width:1156px" %)Есть поток заявок на деталь (создание детали требует ресурсов, 1 станок, время). 142 +Есть N станков. Опционально: у станка есть уровень ресурсов и коэффициент скорости работы. 143 +Реализация системы распределения и обработки. 144 +|(% style="width:94px" %)Вариант 1|(% style="width:1156px" %)((( 145 +| |Планирование без очереди к станку. 146 +| |((( 147 +* У процесса планировщика есть 148 +** StreamTrigger на поток заявок. 149 +(Можно использовать расширение SignalCode, чтобы временно игнорировать откладывать этот сигнал пока все слоты станков заняты). 150 +** StreanTrigger на поток сигналов об освобождении слота станка. 151 +))) 152 +| |Процесс планировщик назначает заявку на свободный станок. 153 +Вопрос наиболее эффективной функции выбора (оценка наибольшее количество ресурсов, наилучшая скорость обработки и др.). 154 +Когда все станки заняты планировщик ожидает освобождения станков. 155 +))) 156 +|(% style="width:94px" %)Вариант 2|(% style="width:1156px" %)((( 157 +| |Планировщик с очередью к станку. 158 +| |((( 159 +* У процесса станка есть StreamTrigger, на который планировщик подает сигнал в добавления задачи в его очередь. 160 +* У процесса планировщика есть StreamTrigger на поток заявок. 161 +))) 162 +| |При поступлении заявки процесс планировщик сразу назначает в очередь на какой либо станок. 163 +Вопрос наиболее эффективной функции выбора (оценка размера очереди, достаточности у станка ресурсов для ее обработки, общего количества ресурсов, скорости работы станка и др.). 164 +))) 165 +))) 166 + 167 +---- 168 + 169 +==== Внутренние ссылки: ==== 170 + 171 +====== Дочерние страницы: ====== 172 + 173 +{{children/}} 174 + 175 +====== Обратные ссылки: ====== 176 + 177 +{{velocity}} 178 +#set ($links = $doc.getBacklinks()) 179 +#if ($links.size() > 0) 180 + #foreach ($docname in $links) 181 + #set ($rdoc = $xwiki.getDocument($docname).getTranslatedDocument()) 182 + * [[$escapetool.xml($rdoc.fullName)]] 183 + #end 184 +#else 185 + No back links for this page! 186 +#end 187 +{{/velocity}} 188 + 189 +----