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

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

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

Комментарий

Подробности

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