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

Сводка

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

Подробности

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

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

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

Содержимое

...	...	@@ -29,7 +29,7 @@
29	29
30	30	* Из минус: что родительский процесс узнает о завершении дочерних процессов с задержкой.
31	31	Если дочерний процесс падает в ошибку, TimerTrigger все равно будет крутиться и создавать пустую нагрузку.
32		-* Из плюсов: будет меньше пишущей нагрузки на БД (но больше читающей - на проверку) т.к. у нас не будет CounterTrigger, но будет периодический запрос на проверку завершения всех дочерних процессов (аналогично страхующему триггер).
	32	+* Из плюсов: будет меньше пишущей нагрузки на БД чем в варианте 1 (но больше читающей - на проверку) т.к. у нас не будет CounterTrigger, но будет периодический запрос на проверку завершения всех дочерних процессов (аналогично страхующему триггер).
33	33	* [Расширенный]: Дочерние процессы в блоке wakeup condition проверяют наличие незавершенных процессов.
34	34	** Если все процессы завершены или (незавершенных процессов мало и нет процессов с ошибкой), то можно опубликовать событие на TimerTrigger на сброс или установку минимальной задержки.
35	35	)))
...	...	@@ -44,19 +44,56 @@
44	44	Также решает проблему, если дочерний процесс содержит ожидание (например асинхронный запрос-ответ), тут будет конкуренция сигнала от хендлера ответа к родительскому процессу.
45	45	)))
46	46	|(((
47		-Вариант N4:
	47	+Вариант №4:
48	48
49		-SimpleStreamTrigger + Timer (один из лучших вариантов).
	49	+SimpleStreamTrigger + Timer.
50	50
51		-* Если сигналов нет, то нет ложных срабатываний в отличие от варианта 2 (т.к. нет поступления сигнала от дочерних процессов).
52		-* Записей в БД меньше, чем от варианта 1 (счетчик нужно уменьшать, а здесь достаточно взвести флаг необработанного сигнала).
53	53	* Триггер проверяет условие завершения всех дочерних процессов (можно прикинуть количество незавершенных дочерних процессов).
54	54	** Если все обработано, то пробуждает процесс и деактивируется.
55		-** Иначе, деактивируется (до поступления хотя бы одного сигнала), взводит признак стрима что процесс ожидает, взводит флаг новых сигналов на 0, выставляет задержку от оценки количества необработанных процессов (< N - малая задержка, иначе большая задержка).
	53	+** Иначе:
	54	+*** деактивируется (до поступления хотя бы одного сигнала),
	55	+*** взводит признак стрима - процесс ожидает,
	56	+*** взводит флаг новых сигналов на 0,
	57	+*** выставляет задержку от оценки количества необработанных процессов (< N - малая задержка, иначе большая задержка).
56	56	* [Расширенный]: Дочерние процессы в блоке wakeup condition проверяют наличие незавершенных процессов.
57	57	** Если все процессы завершены или (незавершенных процессов мало и нет процессов с ошибкой), то можно опубликовать событие на SimpleStreamTrigger на сброс или установку минимальной задержки (в дополнение к сигналу).
	60	+* Читающей нагрузки будет немного больше чем в варианте 2 (чтение триггера на поступлении сигнала),
	61	+но пишущей нагрузки будет меньше чем в варианте 1 (запись - только на активации новым сигналом).
	62	+* Если сигналов нет, то нет пустых срабатываний в отличие от варианта 2 (т.к. нет поступления сигнала от дочерних процессов).
58	58	)))
	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 используется для уменьшения вероятности увеличить или уменьшить счетчик дважды одним экземпляром дочернего процесса.
59	59	)))
	84	+|(((
	85	+В случае обнаружения повреждения обработка фактически переходит в режим 1.4: начинает публиковать событий каждый раз и используется задержка.
	86	+
	87	+Примеры проблемы:
	88	+
	89	+* Падение InMemory хранилища. Предполагается режим без снимков и удаление ключей.
	90	+Обнаружение (со стороны дочернего процесса) через отсутствие ключей (проверяется в транзакции).
	91	+* Дублирование обновления счетчика.
	92	+Обнаружение (со стороны дочернего процесса) через значение счетчика < 0.
	93	+Обнаружение (со стороны триггера) через активацию триггера (поступления сигнала от процесса), при этом обнаруживается что не все процессы завершены.
	94	+)))
	95	+)))
	96	+)))
60	60	|2|(% style="width:188px" %)Transaction outbox stream process.|(% style="width:1268px" %)[[image:TransactionOutbox. Sequence.jpg]]
61	61	|3|(% style="width:188px" %)Stream trigger|(% style="width:1268px" %)(((
62	62	| |(((
...	...	@@ -95,3 +95,27 @@
95	95	|(% style="width:888px" %)Родительский процесс ожидает завершения дочерних процессов (см. пример 1).|(% style="width:266px" %)
96	96	)))
97	97	)))
	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	+----