Изменения документа Примеры

Сводка

• Свойства страницы (2 изменено, 0 добавлено, 0 удалено)

Подробности

Свойства страницы

Родительский документ

...	...	@@ -1,1 +1,1 @@
1		-Проекты и репозитории.Библиотеки.Движок cccc1808\. ProcessEngine.WebHome
	1	+Проекты и репозитории.Библиотеки.Движок cccc1808\. ProcessEngine.Тема\. Сигналы и триггеры.WebHome

Содержимое

...	...	@@ -24,11 +24,14 @@
24	24	|(((
25	25	Вариант №2:
26	26
27		-Мы просто ставит timerTrigger на условно 1-5-10 минут (насколько важна задержка) и перепроверяем условие завершения.
	27	+Мы просто ставим TimerTrigger на условно 1-5-10 минут (насколько важна задержка) и перепроверяем условие завершения.
28	28	В этом случае будет
29	29
30		-* Из минус: что родительский процесс узнает о завершении дочерних процессов с задержкой (хотя в задержке можно использовать функцию от количества необработанных дочерних процессов, но тогда нужно считать количество или хотя бы что оно не больше N).
31		-* Из плюсов: будет меньше пишущей нагрузки на БД (но больше читающей - на проверку) т.к. у нас не будет CounterTrigger, но будет периодический запрос на проверку завершения всех дочерних процессов (аналогично страхующему триггер). \
	30	+* Из минус: что родительский процесс узнает о завершении дочерних процессов с задержкой.
	31	+Если дочерний процесс падает в ошибку, TimerTrigger все равно будет крутиться и создавать пустую нагрузку.
	32	+* Из плюсов: будет меньше пишущей нагрузки на БД чем в варианте 1 (но больше читающей - на проверку) т.к. у нас не будет CounterTrigger, но будет периодический запрос на проверку завершения всех дочерних процессов (аналогично страхующему триггер).
	33	+* [Расширенный]: Дочерние процессы в блоке wakeup condition проверяют наличие незавершенных процессов.
	34	+** Если все процессы завершены или (незавершенных процессов мало и нет процессов с ошибкой), то можно опубликовать событие на TimerTrigger на сброс или установку минимальной задержки.
32	32	)))
33	33	|(((
34	34	Вариант №3:
...	...	@@ -38,9 +38,59 @@
38	38	За счет такого способа у нас также отсутствует конкуренция передачи сигнала в родительский процесс.
39	39	Но мы ограничены выполнением дочерних процессов одной одной сервиса.
40	40	Сложнее контролировать распределение нагрузки, если будет вложенный параллелизм.
41		-Также решает проблему, если дочерний процесс содержит ожидание (например асинхронный запрос-ответ).
	44	+Также решает проблему, если дочерний процесс содержит ожидание (например асинхронный запрос-ответ), тут будет конкуренция сигнала от хендлера ответа к родительскому процессу.
42	42	)))
	46	+|(((
	47	+Вариант №4:
	48	+
	49	+SimpleStreamTrigger + Timer.
	50	+
	51	+* Триггер проверяет условие завершения всех дочерних процессов (можно прикинуть количество незавершенных дочерних процессов).
	52	+** Если все обработано, то пробуждает процесс и деактивируется.
	53	+** Иначе:
	54	+*** деактивируется (до поступления хотя бы одного сигнала),
	55	+*** взводит признак стрима - процесс ожидает,
	56	+*** взводит флаг новых сигналов на 0,
	57	+*** выставляет задержку от оценки количества необработанных процессов (< N - малая задержка, иначе большая задержка).
	58	+* [Расширенный]: Дочерние процессы в блоке wakeup condition проверяют наличие незавершенных процессов.
	59	+** Если все процессы завершены или (незавершенных процессов мало и нет процессов с ошибкой), то можно опубликовать событие на SimpleStreamTrigger на сброс или установку минимальной задержки (в дополнение к сигналу).
	60	+* Читающей нагрузки будет немного больше чем в варианте 2 (чтение триггера на поступлении сигнала),
	61	+но пишущей нагрузки будет меньше чем в варианте 1 (запись - только на активации новым сигналом).
	62	+* Если сигналов нет, то нет пустых срабатываний в отличие от варианта 2 (т.к. нет поступления сигнала от дочерних процессов).
43	43	)))
	64	+|(((
	65	+|Вариант №5:
	66	+SimpleStreamTrigger + Счетчик в [[Redis>>doc:Разработка.Базы данных.NoSQL.Ключ-значение структура.Redis.WebHome]]. (на текущий момент самый лучший вариант).
	67	+|InMemory счетчик, нагрузка на БД и конкуренция.
	68	+Дочерний процесс уменьшает счетчик. И публикует событие только если счетчик достиг 0.
	69	+Совмещает преимущества из варианта 1.1 (при этом не нагружает БД), в случае ошибки переключается на режим 1.4.
	70	+|(((
	71	+Проблема: изменение счетчика не привязано к основной транзакции БД.
	72	+
	73	+Возможно:
	74	+
	75	+1. В начале транзакции (или шага) атомарно проверяем MemberSet, если есть запись то удаляем и увеличиваем счетчик на 1 (означает что процесс уже уменьшал счетчик, но потом было падение).
	76	+1. До коммита транзакции атомарно добавляем значение в MemberSet и уменьшаем счетчик на 1. Если счетчик равен 0, то публикуем TriggerEvent
	77	+(добавляем в ручную компенсацию вызов из пункта 1 (при откате изоляции шага и компенсации транзакции)).
	78	+1. После коммита транзакции удаляем запись из MemberSet.
	79	+(Если мы падаем тут, то процесс уже перешел на другой шаг или даже завершился, поэтому наличие единичной остаточной записи в memberSet не будет критичным).
	80	+1. Trigger получает событие. (Необязательно) в хендлере может првоерить значения счетчиков и MemberSet.
	81	+
	82	+MemberSet используется для уменьшения вероятности увеличить или уменьшить счетчик дважды одним экземпляром дочернего процесса.
	83	+)))
	84	+|(((
	85	+В случае обнаружения повреждения обработка фактически переходит в режим 1.4: начинает публиковать событий каждый раз и используется задержка.
	86	+
	87	+Примеры проблемы:
	88	+
	89	+* Падение InMemory хранилища. Предполагается режим без снимков и удаление ключей.
	90	+Обнаружение (со стороны дочернего процесса) через отсутствие ключей (проверяется в транзакции).
	91	+* Дублирование обновления счетчика.
	92	+Обнаружение (со стороны дочернего процесса) через значение счетчика < 0.
	93	+Обнаружение (со стороны триггера) через активацию триггера (поступления сигнала от процесса), при этом обнаруживается что не все процессы завершены.
	94	+)))
	95	+)))
	96	+)))
44	44	|2|(% style="width:188px" %)Transaction outbox stream process.|(% style="width:1268px" %)[[image:TransactionOutbox. Sequence.jpg]]
45	45	|3|(% style="width:188px" %)Stream trigger|(% style="width:1268px" %)(((
46	46	| |(((
...	...	@@ -79,3 +79,27 @@
79	79	|(% style="width:888px" %)Родительский процесс ожидает завершения дочерних процессов (см. пример 1).|(% style="width:266px" %)
80	80	)))
81	81	)))
	135	+
	136	+----
	137	+
	138	+==== Внутренние ссылки: ====
	139	+
	140	+====== Дочерние страницы: ======
	141	+
	142	+{{children/}}
	143	+
	144	+====== Обратные ссылки: ======
	145	+
	146	+{{velocity}}
	147	+#set ($links = $doc.getBacklinks())
	148	+#if ($links.size() > 0)
	149	+ #foreach ($docname in $links)
	150	+ #set ($rdoc = $xwiki.getDocument($docname).getTranslatedDocument())
	151	+ * [[$escapetool.xml($rdoc.fullName)]]
	152	+ #end
	153	+#else
	154	+ No back links for this page!
	155	+#end
	156	+{{/velocity}}
	157	+
	158	+----