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

Редактировал(а) Alexandr Fokin 2026/08/26 19:05

От версии 8.40
отредактировано Alexandr Fokin
на 2026/07/27 21:00
Изменить комментарий: К данной версии нет комментариев
К версии 8.24
отредактировано Alexandr Fokin
на 2026/06/21 12:18
Изменить комментарий: К данной версии нет комментариев

Сводка

Подробности

Свойства страницы
Содержимое
... ... @@ -44,9 +44,9 @@
44 44  Также решает проблему, если дочерний процесс содержит ожидание (например асинхронный запрос-ответ), тут будет конкуренция сигнала от хендлера ответа к родительскому процессу.
45 45  )))
46 46  |(((
47 -Вариант 4:
47 +Вариант N4:
48 48  
49 -SimpleStreamTrigger + Timer.
49 +SimpleStreamTrigger + Timer (один из лучших вариантов).
50 50  
51 51  * Триггер проверяет условие завершения всех дочерних процессов (можно прикинуть количество незавершенных дочерних процессов).
52 52  ** Если все обработано, то пробуждает процесс и деактивируется.
... ... @@ -61,38 +61,7 @@
61 61  но пишущей нагрузки будет меньше чем в варианте 1 (запись - только на активации новым сигналом).
62 62  * Если сигналов нет, то нет пустых срабатываний в отличие от варианта 2 (т.к. нет поступления сигнала от дочерних процессов).
63 63  )))
64 -|(((
65 -|Вариант №5: SimpleStreamTrigger + Счетчик в [[Redis>>doc:Разработка.Базы данных.NoSQL.Ключ-значение структура.Redis.WebHome]].
66 -|InMemory счетчик, нагрузка на БД и конкуренция.
67 -Дочерний процесс уменьшает счетчик. И публикует событие только если счетчик достиг 0.
68 -Совмещает преимущества из варианта 1.1 (при этом не нагружает БД), в случае ошибки переключается на режим 1.4.
69 -|(((
70 -Проблема: изменение счетчика не привязано к основной транзакции БД.
71 -
72 -Возможно:
73 -
74 -1. В начале транзакции (или шага) атомарно проверяем MemberSet, если есть запись то удаляем и увеличиваем счетчик на 1 (означает что процесс уже уменьшал счетчик, но потом было падение).
75 -1. До коммита транзакции атомарно добавляем значение в MemberSet и уменьшаем счетчик на 1. Если счетчик равен 0, то публикуем TriggerEvent
76 -(добавляем в ручную компенсацию вызов из пункта 1 (при откате изоляции шага и компенсации транзакции)).
77 -1. После коммита транзакции удаляем запись из MemberSet.
78 -(Если мы падаем тут, то процесс уже перешел на другой шаг или даже завершился, поэтому наличие единичной остаточной записи в memberSet не будет критичным).
79 -1. Trigger получает событие. (Необязательно) в хендлере может првоерить значения счетчиков и MemberSet.
80 -
81 -MemberSet используется для уменьшения вероятности увеличить или уменьшить счетчик дважды одним экземпляром дочернего процесса.
82 82  )))
83 -|(((
84 -В случае обнаружения повреждения обработка фактически переходит в режим 1.4: начинает публиковать событий каждый раз и используется задержка.
85 -
86 -Примеры проблемы:
87 -
88 -* Падение InMemory хранилища. Предполагается режим без снимков и удаление ключей.
89 -Обнаружение (со стороны дочернего процесса) через отсутствие ключей (проверяется в транзакции).
90 -* Дублирование обновления счетчика.
91 -Обнаружение (со стороны дочернего процесса) через значение счетчика < 0.
92 -Обнаружение (со стороны триггера) через активацию триггера (поступления сигнала от процесса), при этом обнаруживается что не все процессы завершены.
93 -)))
94 -)))
95 -)))
96 96  |2|(% style="width:188px" %)Transaction outbox stream process.|(% style="width:1268px" %)[[image:TransactionOutbox. Sequence.jpg]]
97 97  |3|(% style="width:188px" %)Stream trigger|(% style="width:1268px" %)(((
98 98  | |(((