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

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

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

Комментарий

Подробности

Свойства страницы
Содержимое
... ... @@ -1,6 +1,89 @@
1 +|(% style="width:157px" %)Триггер инициализации|(% style="width:1328px" %)(((
2 +|(% style="width:118px" %)Событие|(% style="width:1191px" %)(((
3 +* Событие с UI (по вводу пользователя)
4 +* Доменное событие
5 +* Поступление сообщения
6 +* Срабатывание планировщика или периодического таймера (например [[CRON>>doc:Хостинг.Операционные системы.Linux.Механизмы.CRON.WebHome]]).
7 +)))
8 +|(% style="width:118px" %)Тип триггера|(% style="width:1191px" %)(((
9 +* Ручной запуск (Инициирован пользователем)
10 +* По событию (Инициирован событием)
11 +* Автоматический по расписанию (Инициирован планировщиком)
12 +)))
13 +)))
14 +|(% style="width:157px" %)Параметры инициализации|(% style="width:1328px" %)(((
15 +|(% style="width:227px" %)Тип|(% style="width:272px" %)Параметр|(% style="width:1023px" %)
16 +|(% style="width:227px" %)По сущности|(% style="width:272px" %)1 ключ|(% style="width:1023px" %)
17 +|(% style="width:227px" %)По группе сущностей ()|(% style="width:272px" %)Набор ключей сущностей|(% style="width:1023px" %)
18 +|(% style="width:227px" %)По выборке с параметрами|(% style="width:272px" %)dto с параметрами|(% style="width:1023px" %)
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 +
39 +(% border="1" %)
40 +|Ключевой сквозной контекст не всегда может быть выражен явно, но фактически он будет существовать.
41 +|(((
42 +Пример 1
43 +
44 +Мы можем гарантировать, что в один момент времени имеется только один активный экземпляр процесса (и только он выполняется).
45 +\\Мы можем использовать указатель на активный процесс из сквозного контекста,
46 +или также мы можем добавить флажок активности в экземпляр процесса и наложить на него уникальный индекс.
47 +)))
48 +|(((
49 +Пример 2
50 +
51 +Сквозной контекст может отслеживать была ли достигнута финальная цель ключевой связки.
52 +
53 +Например:
54 +
55 +* Целью является создание некоторого доменного объекта, когда он будет создан, информация зафиксируется в сквозном контексте.
56 +* Эти данные не позволят запустить новый экземпляр процесса так как цель достигнута - объект создан.
57 +* Если вдруг выясняется, что по какой-то причине созданный доменный объект объявляется недействительным, и необходимо запустить новый экземпляр процесса (по тому же ключу) для создания нового экземпляра доменного объекта, то также нужно выполнить сброс данных в сквозном контексте.
58 +(ручной сброс или подписка на доменной событие, оповещающее о смене статуса созданного объекта (аннулирование, блокировка и др.))
59 +)))
60 +)))
61 +)))
62 +
63 +
64 +)))
65 +|(% style="width:157px" %) |(% style="width:1328px" %)
66 +
67 +
68 +
69 +(% border="1" %)
1 1  |(% style="width:15px" %) |(% style="width:1470px" %)(((
2 2  (% border="1" %)
3 -|(% style="width:179px" %)Ручной и автоматический запуск процесса|(% style="width:1271px" %)
72 +|(% style="width:179px" %)Ручной и автоматический запуск процесса|(% style="width:1271px" %)(((
73 +|(% style="width:301px" %)Автоматический запуск|(% style="width:951px" %)(((
74 +|по таймеру (по выборке)|
75 +)))
76 +|(% style="width:301px" %)Ручной запуск|(% style="width:951px" %)(((
77 +|По сущности (ключу)|
78 +|По групповой выборке (список ключей)|
79 +|По групповой выборке с параметрами|
80 +)))
81 +|(% style="width:301px" %)Запуск по событию|(% style="width:951px" %)(((
82 +|По сущности (ключу)|
83 +|По групповой выборке (список ключей)|
84 +|По групповой выборке с параметрами|
85 +)))
86 +)))
4 4  |(% style="width:179px" %)Валидация перед запуском|(% style="width:1271px" %)(((
5 5  (% border="1" %)
6 6  |(((
... ... @@ -47,13 +47,16 @@
47 47  )))
48 48  |(% style="width:179px" %) |(% style="width:1271px" %)
49 49  
133 +(% border="1" %)
50 50  |(% style="width:151px" %)На основе события|(% style="width:1188px" %)Событие запуска процесса поступает извне, и обязательства о выборке данных для процесса лежат на внешнем компоненте.
51 51  События могут помещаться в некоторый буфер - хранилище (брокер сообщений, БД) и разбираться обработчиком до исчерпания.
52 52  |(% style="width:151px" %)На основе данных|(% style="width:1188px" %)(((
137 +(% border="1" %)
53 53  |(% colspan="2" %)Замечания
54 54  |Параллелизм|Гарантия, что код планировщика выполняются в эксклюзивном режиме, в случае если он запущен в нескольких экземплярах.
55 55  Предполагается [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]] на уровне всех экземпляров.
56 56  
142 +(% border="1" %)
57 57  |(% style="width:177px" %)Тип|(% style="width:993px" %)
58 58  |(% style="width:177px" %)Выборка до исчерпания|(% style="width:993px" %)(((
59 59  Выборка данных до тех пор пока они не исчерпаются.
... ... @@ -60,8 +60,9 @@
60 60  
61 61  Замечания:
62 62  
63 -* Плохо подходит для больших объемов данных. Может привести к тому,
149 +* Плохо подходит для больших объемов данных. Может привести к долгому выполнению выборки.
64 64  * Плохо подходит для сложных условий т.к. может привезти к тому, что будет невозможно выразить полный набор условий в виде запроса или запрос получиться сложным и также будет долго выполняться.
151 +* Если при обработке ключевого доменного объекта возникнет ошибка, то это окажет влияние на всю операцию инициализации. Может быть проблематично отбросить данный доменный объект, чтобы он не попал в выборку.
65 65  
66 66  Пример:
67 67  Соединение таблицы доменных сущностей с таблицей процесса и выборка тех сущностей, по которым нет записи в таблице процесса.
... ... @@ -69,18 +69,24 @@
69 69  |(% style="width:177px" %)Инициализация, привязанная к дате.|(% style="width:993px" %)Обработчик привязан к конкретной дате и рассматривает некоторый ограниченный набор, например одни сутки относительно указанной даты.
70 70  Таким образом мы явно ограничиваем блок данных. Но нужно учесть сценарии с возникновением ошибки, т.к. следующее срабатывание уже будет на основе новой даты.
71 71  |(% style="width:177px" %)Перебор всего сета доменных сущностей.|(% style="width:993px" %)(((
72 -Необходимое условие: Наличие способа перебрать данные батчами, гарантия что данные не удаляются.
159 +| |Пагинация|Параллелизм|Фильтрация сета|
160 +| |Страницы|+|-|
161 +| |Смещение|-|+|
73 73  
74 -Вариант 1:
75 -Если мы уверены, что доменные объекты не удаляются, то мы можем отсортировать их по дате создания и первичному ключу. Таким образом мы получим фиксированные страницы данных, которые можно обрабатывать параллельно. Невозможно выполнить, если допускается удаление объектов.
163 +Необходимое условие: Наличие способа перебрать данные сета данных.
164 +Вариант 1: Если перебираем записи без использования параллелизма, то нам достаточно организовать некоторую пагинацию и последовательно идти, обрабатывая подходящие для запуска процесса строки.
165 +\\Вариант 2:
166 +Если мы уверены, что доменные объекты не удаляются, то мы можем отсортировать их по дате создания и первичному ключу (Если есть уникальный автоинкреметный числовой ключ, то можно использовать его).
167 +Таким образом мы получим детерминированные страницы данных, которые даже можно обрабатывать параллельно.
168 +Невозможно выполнить, если допускается удаление объектов т.к. оно может изменить данные в страницах.
169 +Либо можно прикинуть вариант, когда мы используем блокировку доменных объектов через БД, таким образом в каждом обрабатываем батче (в один момент времени) будет уникальный набор доменных объектов, и если один и тот же объект попадет в разные батчи, то в первом случае он обработается, а во втором он будет отброшен (есть вероятность, что некоторые строки, существовавшие на момент начала операции, не попадут в выборку).
76 76  
77 -Вариант 2:
78 -Если есть уникальный автоинкреметный числовой ключ, то можно использовать его.
79 -
80 -Вариант 3:
171 +Вариант 4:
81 81  Если кол-во записей не очень велико и мы можем без проблем полностью уместить сет всех ключей в оперативной памяти.
82 82  (Не требует гарантии, что сущность нельзя удалить, т,к. в случае обнаружения удаления можно просто пропустить ключ).
83 83  
175 +[[Пагинация | Paging>>doc:Разработка.Базы данных.Сценарии.Пагинация | Paging.WebHome]]
176 +
84 84  Can queries that users ORDER BY using date to sort data be non deterministic?
85 85  [[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]]
86 86  )))