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

Редактировал(а) Alexandr Fokin 2024/06/12 15:27
<
От версии < 1.4 >
отредактировано Alexandr Fokin
на 2024/01/11 12:53
К версии < 1.51 >
отредактировано Alexandr Fokin
на 2024/01/31 21:09
>
Изменить комментарий: Редактировать комментарий

Комментарий

Подробности

Свойства страницы
Родительский документ
... ... @@ -1,1 +1,1 @@
1 -Алгоритмы.Процессы.WebHome
1 +Архитектура и модели.Модели.Процессы.WebHome
Содержимое
... ... @@ -1,68 +1,96 @@
1 -|(% style="width:15px" %) |(% style="width:1470px" %)(((
2 -|Ручной и автоматический запуск процесса|
3 -|Валидация перед запуском|(((
4 -|Валидация доменных объектов на возможность запуска экземпляра процесса (с гарантией, что доменной объект не будет изменен до конца транзакции планировщика, иначе мы можем принять некорректное решение о запуске процесса).
5 -|(((
6 -Если существуют предыдущие экземпляры процесса (__по ключевому набору__), то они также валидируются на возможность запуска нового экземпляра
7 -
8 -Например:
9 -
10 -|(% style="width:221px" %)Допускается создание только одного экземпляра процесса|(% style="width:1022px" %)Уникальный индекс по ключевому набору.
11 -Для каждого уникального ключа может быть только 0 или 1 экземпляр процесса.
12 -|(% style="width:221px" %)Допускается создание более одного экземпляра|(% style="width:1022px" %)Здесь речь идет не о том, что запуск возможен в один момент времени, а в целом, что допускается ситуация, что в случае если процесс уже выполнялся, мы не меняем его состояние и перезапускаем, а создаем новый экземпляр (при этом гарантируя валидность).
13 -\\
14 -|(% style="width:221px" %) |(% style="width:1022px" %)
15 -
16 -
17 -В1 - Процесс может быть запущен только один раз.
18 -В2 - Новый процесс не может быть запущен, пока предыдущий процесс активен.
19 -В3 - другое условие в глобальном контексте).
1 +(% border="1" %)
2 +|(% style="width:157px" %)Триггер инициализации|(% style="width:1328px" %)(((
3 +(% border="1" %)
4 +|(% style="width:118px" %)Событие|(% style="width:1191px" %)(((
5 +* Событие с UI (по вводу пользователя)
6 +* Доменное событие
7 +* Поступление сообщения
8 +* Срабатывание планировщика или периодического таймера (например [[CRON>>doc:Хостинг.Операционные системы.Linux.Механизмы.CRON.WebHome]]).
20 20  )))
21 -|
10 +|(% style="width:118px" %)Тип триггера|(% style="width:1191px" %)(((
11 +* Ручной запуск (Инициирован пользователем)
12 +* По событию (Инициирован событием)
13 +* Автоматический по расписанию (Инициирован планировщиком)
22 22  )))
23 -| |
24 -
25 -
26 -|(% style="width:151px" %)На основе события|(% style="width:1188px" %)Событие запуска процесса поступает извне, и обязательства о выборке данных для процесса лежат на внешнем компоненте.
27 -События могут помещаться в некоторый буфер - хранилище (брокер сообщений, БД) и разбираться обработчиком до исчерпания.
28 -|(% style="width:151px" %)На основе данных|(% style="width:1188px" %)(((
29 -|(% colspan="2" %)Замечания
30 -|Параллелизм|Гарантия, что код планировщика выполняются в эксклюзивном режиме, в случае если он запущен в нескольких экземплярах.
31 -Предполагается [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]] на уровне всех экземпляров.
32 -
33 -
34 -|(% style="width:177px" %)Тип|(% style="width:993px" %)
35 -|(% style="width:177px" %)Выборка до исчерпания|(% style="width:993px" %)(((
15 +)))
16 +|(% style="width:157px" %)Параметры инициализации|(% style="width:1328px" %)(((
17 +(% border="1" %)
18 +|(% style="width:227px" %)Тип|(% style="width:272px" %)Параметр|(% style="width:1023px" %)
19 +|(% style="width:227px" %)По сущности|(% style="width:272px" %)1 ключ|(% style="width:1023px" %)
20 +|(% style="width:227px" %)По группе сущностей ()|(% style="width:272px" %)Набор ключей сущностей|(% style="width:1023px" %)
21 +|(% style="width:227px" %)На основе данных, по выборке с параметрами|(% style="width:272px" %)dto с параметрами|(% style="width:1023px" %)
22 +)))
23 +|(% style="width:157px" %)Инициализация на основе данных|(% style="width:1328px" %)(((
24 +(% border="1" %)
25 +|(% style="width:142px" %)Тип|(% style="width:1168px" %)
26 +|(% style="width:142px" %)Выборка батчей до исчерпания|(% style="width:1168px" %)(((
36 36  Выборка данных до тех пор пока они не исчерпаются.
37 37  
38 38  Замечания:
39 39  
40 -* Плохо подходит для больших объемов данных. Может привести к тому,
31 +* Плохо подходит для больших объемов данных. Может привести к долгому выполнению выборки.
41 41  * Плохо подходит для сложных условий т.к. может привезти к тому, что будет невозможно выразить полный набор условий в виде запроса или запрос получиться сложным и также будет долго выполняться.
33 +* Одна ошибка блокирует всю инициализацию.
34 +Если при обработке ключевого доменного объекта возникнет ошибка, то это окажет влияние на всю операцию инициализации.
35 +Может быть проблематично отбросить данный доменный объект, чтобы он не попал в выборку.
42 42  
43 43  Пример:
44 44  Соединение таблицы доменных сущностей с таблицей процесса и выборка тех сущностей, по которым нет записи в таблице процесса.
45 45  )))
46 -|(% style="width:177px" %)Инициализация, привязанная к дате.|(% style="width:993px" %)Обработчик привязан к конкретной дате и рассматривает некоторый ограниченный набор, например одни сутки относительно указанной даты.
47 -Таким образом мы явно ограничиваем блок данных. Но нужно учесть сценарии с возникновением ошибки, т.к. следующее срабатывание уже будет на основе новой даты.
48 -|(% style="width:177px" %)Перебор всего сета доменных сущностей.|(% style="width:993px" %)(((
49 -Необходимое условие: Наличие способа перебрать данные батчами, гарантия что данные не удаляются.
40 +|(% style="width:142px" %)Перебор батчей данных|(% style="width:1168px" %)(((
41 +Когда речь заходит о переборе данных, то явно касаемся вопрос [[Пагинация | Paging>>doc:Разработка.Базы данных.Сценарии.Пагинация | Paging.WebHome]].
50 50  
51 -Вариант 1:
52 -Если мы уверены, что доменные объекты не удаляются, то мы можем отсортировать их по дате создания и первичному ключу. Таким образом мы получим фиксированные страницы данных, которые можно обрабатывать параллельно. Невозможно выполнить, если допускается удаление объектов.
43 +Стоит учитывать следующие моменты:
53 53  
54 -Вариант 2:
55 -Если есть уникальный автоинкреметный числовой ключ, то можно использовать его.
45 +* Фильтрация - перебор ограниченного подмножества от всего набора данных (условие).
46 +* Параллелизм - возможность выполнения операции параллельно (с распределением блоков между обработчиками).
47 +* Модификация данных - гарантия что в процессе, данные могут быть изменены (сама инициализация, запуск воркера испонителя процесса, или внешним воздействием).
56 56  
57 -Вариант 3:
58 -Если кол-во записей не очень велико и мы можем без проблем полностью уместить сет всех ключей в оперативной памяти.
59 -(Не требует гарантии не удаления т,к. в случае обнаружения удаления можно просто пропустить ключ).
60 -
61 -Can queries that users ORDER BY using date to sort data be non deterministic?
62 -[[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]]
49 +Keyset пагинации может быть более эффективной (с точки зрения стоимости запроса) и может избежать части ситуаций пропуска данных (при пагинации на основе страниц).
63 63  )))
64 64  )))
52 +|(% style="width:157px" %)Валидация перед запуском|(% style="width:1328px" %)(((
53 +(% border="1" %)
54 +|(% style="width:114px" %)Доменные объекты|(% style="width:1195px" %)(((
55 +* Валидация доменных объектов на возможность запуска экземпляра процесса
56 +(с гарантией, что доменной объект не будет изменен до конца транзакции инициализации, иначе мы можем принять некорректное решение о запуске процесса).
57 +* В случае использования [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]], необходимо также гарантировать инкрементацию ключа доменных сущностей т.к. скорее всего их поля не изменятся напрямую.
58 +* Как вариант - использование более строго уровня изоляции.
65 65  )))
66 -|(% style="width:15px" %) |(% style="width:1470px" %)
60 +|(% style="width:114px" %)Процессы|(% style="width:1195px" %)(((
61 +Если существуют предыдущие экземпляры процесса (__по ключевому набору__), то они также валидируются на возможность запуска нового экземпляра
67 67  
63 +(% border="1" %)
64 +|(% colspan="2" %)Отношение экземпляров процесса и ключевых доменных сущностей.
65 +|(% style="width:199px" %)Допускается создание только одного экземпляра|(% style="width:978px" %)__Ключевые доменные сущности__ <-(1 к 1)-> __Экземпляр процесса__.
66 +Для каждого уникального ключа может быть не более 1 экземпляра процесса.
67 +|(% style="width:199px" %)Допускается создание более одного экземпляра|(% style="width:978px" %)(((
68 +Здесь речь идет не только о том, что несколько экземпляров активны в один и тот-же момент времени, а о том, что допускается ситуация, что в случае если у нас уже есть существующий экземпляр процесса (выполнявшийся ранее), и вместо того, чтобы изменить его состояние и перезапустить, создаем новый экземпляр (при этом гарантируя валидность такого действия).
69 +\\В таком случае мы можем представить следующую модель данных:
70 +__Ключевые доменные сущности__ <-(1 к 1)-> __Ключевой сквозной контекст процесса__ <-(1 к N)-> __Экземпляр процесса__.
68 68  
72 +
73 +(% border="1" %)
74 +|Ключевой сквозной контекст не всегда может быть выражен явно, но фактически он будет существовать.
75 +|(((
76 +Пример 1
77 +
78 +Мы можем гарантировать, что в один момент времени имеется только один активный экземпляр процесса (и только он выполняется).
79 +\\Мы можем использовать указатель на активный процесс из сквозного контекста,
80 +или также мы можем добавить флажок активности в экземпляр процесса и наложить на него уникальный индекс.
81 +)))
82 +|(((
83 +Пример 2
84 +
85 +Сквозной контекст может отслеживать была ли достигнута финальная цель ключевой связки.
86 +
87 +Например:
88 +
89 +* Целью является создание некоторого доменного объекта, когда он будет создан, информация зафиксируется в сквозном контексте.
90 +* Эти данные не позволят запустить новый экземпляр процесса так как цель достигнута - объект создан.
91 +* Если вдруг выясняется, что по какой-то причине созданный доменный объект объявляется недействительным, и необходимо запустить новый экземпляр процесса (по тому же ключу) для создания нового экземпляра доменного объекта, то также нужно выполнить сброс данных в сквозном контексте.
92 +(ручной сброс или подписка на доменной событие, оповещающее о смене статуса созданного объекта (аннулирование, блокировка и др.))
93 +)))
94 +)))
95 +)))
96 +)))
XWiki.XWikiComments[0]
Автор
... ... @@ -1,0 +1,1 @@
1 +XWiki.cccc1808
Комментарий
... ... @@ -1,0 +1,11 @@
1 +Замечание 1.
2 +
3 +При использовании Keyset пагинации строка может быть пропущена только в одном случае. Если процесс перебора записей уже был запущен, и в какой-то момент времени запись была изменена таким образом, что она переместилась назад, текущий указатель.
4 +\\Пример:
5 +Запись1: (Status: 10, Id:1);
6 +Указатель: (Status: 1: Id:1);
7 +Указатель: (Status: 2: Id:1);
8 +Запись1: (Status: 1, Id:1);
9 +...
10 +Указатель: (Status: 10: Id:N);
11 +\\В этом случае строка с Id 1 перепрыгнула назад и не попала в обход. Хотя она на протяжении всего времени удовлетворяла условиям перебора.
Дата
... ... @@ -1,0 +1,1 @@
1 +2024-01-31 17:08:44.248