Изменения документа Инициализация процесса

Редактировал(а) Alexandr Fokin 2024/06/12 15:27

<
От версии < 1.43 >
отредактировано Alexandr Fokin
на 2024/01/27 17:19
К версии < 1.46 >
отредактировано Alexandr Fokin
на 2024/01/27 17:55
>
Изменить комментарий: К данной версии нет комментариев

Комментарий

Подробности

Свойства страницы
Содержимое
... ... @@ -1,4 +1,6 @@
1 +(% border="1" %)
1 1  |(% style="width:157px" %)Триггер инициализации|(% style="width:1328px" %)(((
3 +(% border="1" %)
2 2  |(% style="width:118px" %)Событие|(% style="width:1191px" %)(((
3 3  * Событие с UI (по вводу пользователя)
4 4  * Доменное событие
... ... @@ -12,96 +12,59 @@
12 12  )))
13 13  )))
14 14  |(% style="width:157px" %)Параметры инициализации|(% style="width:1328px" %)(((
17 +(% border="1" %)
15 15  |(% style="width:227px" %)Тип|(% style="width:272px" %)Параметр|(% style="width:1023px" %)
16 16  |(% style="width:227px" %)По сущности|(% style="width:272px" %)1 ключ|(% style="width:1023px" %)
17 17  |(% style="width:227px" %)По группе сущностей ()|(% style="width:272px" %)Набор ключей сущностей|(% style="width:1023px" %)
18 -|(% style="width:227px" %)По выборке с параметрами|(% style="width:272px" %)dto с параметрами|(% style="width:1023px" %)
21 +|(% style="width:227px" %)На основе данных, по выборке с параметрами|(% style="width:272px" %)dto с параметрами|(% style="width:1023px" %)
19 19  )))
20 -|(% style="width:157px" %)Валидация перед запуском|(% style="width:1328px" %)(((
21 -|(% style="width:114px" %)Доменные объекты|(% style="width:1195px" %)(((
22 -* Валидация доменных объектов на возможность запуска экземпляра процесса
23 -(с гарантией, что доменной объект не будет изменен до конца транзакции инициализации, иначе мы можем принять некорректное решение о запуске процесса).
24 -* В случае использования [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]], необходимо также гарантировать инкрементацию ключа доменных сущностей т.к. скорее всего их поля не изменятся напрямую.
25 -* Как вариант - использование более строго уровня изоляции.
26 -)))
27 -|(% style="width:114px" %)Процессы|(% style="width:1195px" %)(((
28 -Если существуют предыдущие экземпляры процесса (__по ключевому набору__), то они также валидируются на возможность запуска нового экземпляра
29 -
30 -|(% colspan="2" %)Отношение экземпляров процесса и ключевых доменных сущностей.
31 -|(% style="width:199px" %)Допускается создание только одного экземпляра|(% style="width:978px" %)__Ключевые доменные сущности__ <-(1 к 1)-> __Экземпляр процесса__.
32 -Для каждого уникального ключа может быть не более 1 экземпляра процесса.
33 -|(% style="width:199px" %)Допускается создание более одного экземпляра|(% style="width:978px" %)(((
34 -Здесь речь идет не только о том, что несколько экземпляров активны в один и тот-же момент времени, а о том, что допускается ситуация, что в случае если у нас уже есть существующий экземпляр процесса (выполнявшийся ранее), и вместо того, чтобы изменить его состояние и перезапустить, создаем новый экземпляр (при этом гарантируя валидность такого действия).
35 -\\В таком случае мы можем представить следующую модель данных:
36 -__Ключевые доменные сущности__ <-(1 к 1)-> __Ключевой сквозной контекст процесса__ <-(1 к N)-> __Экземпляр процесса__.
37 -
38 -
23 +|(% style="width:157px" %)Инициализация на основе данных|(% style="width:1328px" %)(((
39 39  (% border="1" %)
40 -|Ключевой сквозной контекст не всегда может быть выражен явно, но фактически он будет существовать.
41 -|(((
42 -Пример 1
25 +|(% style="width:142px" %)Тип|(% style="width:1168px" %)
26 +|(% style="width:142px" %)Выборка батчей до исчерпания|(% style="width:1168px" %)(((
27 +Выборка данных до тех пор пока они не исчерпаются.
43 43  
44 -Мы можем гарантировать, что в один момент времени имеется только один активный экземпляр процесса (и только он выполняется).
45 -\\Мы можем использовать указатель на активный процесс из сквозного контекста,
46 -или также мы можем добавить флажок активности в экземпляр процесса и наложить на него уникальный индекс.
47 -)))
48 -|(((
49 -Пример 2
29 +Замечания:
50 50  
51 -Сквозной контекст может отслеживать была ли достигнута финальная цель ключевой связки.
31 +* Плохо подходит для больших объемов данных. Может привести к долгому выполнению выборки.
32 +* Плохо подходит для сложных условий т.к. может привезти к тому, что будет невозможно выразить полный набор условий в виде запроса или запрос получиться сложным и также будет долго выполняться.
33 +* Одна ошибка блокирует всю инициализацию.
34 +Если при обработке ключевого доменного объекта возникнет ошибка, то это окажет влияние на всю операцию инициализации.
35 +Может быть проблематично отбросить данный доменный объект, чтобы он не попал в выборку.
52 52  
53 -Например:
54 -
55 -* Целью является создание некоторого доменного объекта, когда он будет создан, информация зафиксируется в сквозном контексте.
56 -* Эти данные не позволят запустить новый экземпляр процесса так как цель достигнута - объект создан.
57 -* Если вдруг выясняется, что по какой-то причине созданный доменный объект объявляется недействительным, и необходимо запустить новый экземпляр процесса (по тому же ключу) для создания нового экземпляра доменного объекта, то также нужно выполнить сброс данных в сквозном контексте.
58 -(ручной сброс или подписка на доменной событие, оповещающее о смене статуса созданного объекта (аннулирование, блокировка и др.))
37 +Пример:
38 +Соединение таблицы доменных сущностей с таблицей процесса и выборка тех сущностей, по которым нет записи в таблице процесса.
59 59  )))
60 -)))
61 -)))
40 +|(% style="width:142px" %)Перебор батчей данных|(% style="width:1168px" %)(((
41 +Когда речь заходит о переборе данных, то явно касаемся вопрос пагинации.
62 62  
63 -
64 -)))
65 -|(% style="width:157px" %) |(% style="width:1328px" %)
43 +Стоит учитывать следующие моменты:
66 66  
45 +* Фильтрация - перебор ограниченного подмножества от всего набора данных (условие).
46 +* Параллелизм - возможность выполнения операции параллельно (с распределением блоков между обработчиками).
47 +* Модификация данных - гарантия что в процессе, данные могут быть изменены (самой инициализацией или внешним воздействием).
67 67  
68 -
69 -(% border="1" %)
70 -|(% style="width:15px" %) |(% style="width:1470px" %)(((
71 -(% border="1" %)
72 -|(% style="width:179px" %)Ручной и автоматический запуск процесса|(% style="width:1271px" %)(((
73 -|(% style="width:301px" %)Автоматический запуск|(% style="width:951px" %)(((
74 -|по таймеру (по выборке)|
49 +Keyset пагинации может быть более эффективной (с точки зрения стоимости запроса).
75 75  )))
76 -|(% style="width:301px" %)Ручной запуск|(% style="width:951px" %)(((
77 -|По сущности (ключу)|
78 -|По групповой выборке (список ключей)|
79 -|По групповой выборке с параметрами|
80 80  )))
81 -|(% style="width:301px" %)Запуск по событию|(% style="width:951px" %)(((
82 -|По сущности (ключу)|
83 -|По групповой выборке (список ключей)|
84 -|По групповой выборке с параметрами|
85 -)))
86 -)))
87 -|(% style="width:179px" %)Валидация перед запуском|(% style="width:1271px" %)(((
52 +|(% style="width:157px" %)Валидация перед запуском|(% style="width:1328px" %)(((
88 88  (% border="1" %)
89 -|(((
90 -* Валидация доменных объектов на возможность запуска экземпляра процесса (с гарантией, что доменной объект не будет изменен до конца транзакции планировщика, иначе мы можем принять некорректное решение о запуске процесса).
54 +|(% style="width:114px" %)Доменные объекты|(% style="width:1195px" %)(((
55 +* Валидация доменных объектов на возможность запуска экземпляра процесса
56 +(с гарантией, что доменной объект не будет изменен до конца транзакции инициализации, иначе мы можем принять некорректное решение о запуске процесса).
91 91  * В случае использования [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]], необходимо также гарантировать инкрементацию ключа доменных сущностей т.к. скорее всего их поля не изменятся напрямую.
92 92  * Как вариант - использование более строго уровня изоляции.
93 93  )))
94 -|(((
60 +|(% style="width:114px" %)Процессы|(% style="width:1195px" %)(((
95 95  Если существуют предыдущие экземпляры процесса (__по ключевому набору__), то они также валидируются на возможность запуска нового экземпляра
96 96  
97 -(% border="1" %)
98 -|(% colspan="2" style="width:157px" %)Отношение экземпляров процесса и ключевых доменных сущностей.
99 -|(% style="width:172px" %)Допускается создание только одного экземпляра процесса|(% style="width:1063px" %)Экземпляр ключевой доменной сущности <-(1 к 1)-> Экземпляр процесса.
63 +|(% colspan="2" %)Отношение экземпляров процесса и ключевых доменных сущностей.
64 +|(% style="width:199px" %)Допускается создание только одного экземпляра|(% style="width:978px" %)__Ключевые доменные сущности__ <-(1 к 1)-> __Экземпляр процесса__.
100 100  Для каждого уникального ключа может быть не более 1 экземпляра процесса.
101 -|(% style="width:172px" %)Допускается создание более одного экземпляра|(% style="width:1063px" %)(((
102 -Здесь речь идет не о том, что несколько экземпляров активны в один и тот-же момент времени, а о том, что допускается ситуация, что в случае если у нас уже есть существующий экземпляр процесса (выполнявшийся ранее), мы не меняем его состояние и перезапускаем, а создаем новый экземпляр (при этом гарантируя валидность такого действия).
66 +|(% style="width:199px" %)Допускается создание более одного экземпляра|(% style="width:978px" %)(((
67 +Здесь речь идет не только о том, что несколько экземпляров активны в один и тот-же момент времени, а о том, что допускается ситуация, что в случае если у нас уже есть существующий экземпляр процесса (выполнявшийся ранее), и вместо того, чтобы изменить его состояние и перезапустить, создаем новый экземпляр (при этом гарантируя валидность такого действия).
103 103  \\В таком случае мы можем представить следующую модель данных:
104 -Ключевые доменные сущности <-(1 к 1)-> Ключевой сквозной контекст процесса <-(1 к N)-> Экземпляр процесса.
69 +__Ключевые доменные сущности__ <-(1 к 1)-> __Ключевой сквозной контекст процесса__ <-(1 к N)-> __Экземпляр процесса__.
105 105  
106 106  
107 107  (% border="1" %)
... ... @@ -128,57 +128,4 @@
128 128  )))
129 129  )))
130 130  )))
131 -|(% style="width:179px" %) |(% style="width:1271px" %)
132 -
133 -(% border="1" %)
134 -|(% style="width:151px" %)На основе события|(% style="width:1188px" %)Событие запуска процесса поступает извне, и обязательства о выборке данных для процесса лежат на внешнем компоненте.
135 -События могут помещаться в некоторый буфер - хранилище (брокер сообщений, БД) и разбираться обработчиком до исчерпания.
136 -|(% style="width:151px" %)На основе данных|(% style="width:1188px" %)(((
137 -(% border="1" %)
138 -|(% colspan="2" %)Замечания
139 -|Параллелизм|Гарантия, что код планировщика выполняются в эксклюзивном режиме, в случае если он запущен в нескольких экземплярах.
140 -Предполагается [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]] на уровне всех экземпляров.
141 -
142 -(% border="1" %)
143 -|(% style="width:177px" %)Тип|(% style="width:993px" %)
144 -|(% style="width:177px" %)Выборка до исчерпания|(% style="width:993px" %)(((
145 -Выборка данных до тех пор пока они не исчерпаются.
146 -
147 -Замечания:
148 -
149 -* Плохо подходит для больших объемов данных. Может привести к долгому выполнению выборки.
150 -* Плохо подходит для сложных условий т.к. может привезти к тому, что будет невозможно выразить полный набор условий в виде запроса или запрос получиться сложным и также будет долго выполняться.
151 -* Если при обработке ключевого доменного объекта возникнет ошибка, то это окажет влияние на всю операцию инициализации. Может быть проблематично отбросить данный доменный объект, чтобы он не попал в выборку.
152 -
153 -Пример:
154 -Соединение таблицы доменных сущностей с таблицей процесса и выборка тех сущностей, по которым нет записи в таблице процесса.
155 -)))
156 -|(% style="width:177px" %)Инициализация, привязанная к дате.|(% style="width:993px" %)Обработчик привязан к конкретной дате и рассматривает некоторый ограниченный набор, например одни сутки относительно указанной даты.
157 -Таким образом мы явно ограничиваем блок данных. Но нужно учесть сценарии с возникновением ошибки, т.к. следующее срабатывание уже будет на основе новой даты.
158 -|(% style="width:177px" %)Перебор всего сета доменных сущностей.|(% style="width:993px" %)(((
159 -| |Пагинация|Параллелизм|Фильтрация сета|
160 -| |Страницы|+|-|
161 -| |Смещение|-|+|
162 -
163 -Необходимое условие: Наличие способа перебрать данные сета данных.
164 -Вариант 1: Если перебираем записи без использования параллелизма, то нам достаточно организовать некоторую пагинацию и последовательно идти, обрабатывая подходящие для запуска процесса строки.
165 -\\Вариант 2:
166 -Если мы уверены, что доменные объекты не удаляются, то мы можем отсортировать их по дате создания и первичному ключу (Если есть уникальный автоинкреметный числовой ключ, то можно использовать его).
167 -Таким образом мы получим детерминированные страницы данных, которые даже можно обрабатывать параллельно.
168 -Невозможно выполнить, если допускается удаление объектов т.к. оно может изменить данные в страницах.
169 -Либо можно прикинуть вариант, когда мы используем блокировку доменных объектов через БД, таким образом в каждом обрабатываем батче (в один момент времени) будет уникальный набор доменных объектов, и если один и тот же объект попадет в разные батчи, то в первом случае он обработается, а во втором он будет отброшен (есть вероятность, что некоторые строки, существовавшие на момент начала операции, не попадут в выборку).
170 -
171 -Вариант 4:
172 -Если кол-во записей не очень велико и мы можем без проблем полностью уместить сет всех ключей в оперативной памяти.
173 -(Не требует гарантии, что сущность нельзя удалить, т,к. в случае обнаружения удаления можно просто пропустить ключ).
174 -
175 -[[Пагинация | Paging>>doc:Разработка.Базы данных.Сценарии.Пагинация | Paging.WebHome]]
176 -
177 -Can queries that users ORDER BY using date to sort data be non deterministic?
178 -[[https:~~/~~/dba.stackexchange.com/questions/241056/can-queries-that-users-order-by-using-date-to-sort-data-be-non-deterministic>>https://dba.stackexchange.com/questions/241056/can-queries-that-users-order-by-using-date-to-sort-data-be-non-deterministic]]
179 -)))
180 -)))
181 -)))
182 -|(% style="width:15px" %) |(% style="width:1470px" %)
183 -
184 -
96 +|(% style="width:157px" %) |(% style="width:1328px" %)