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

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

<
От версии < 1.2 >
отредактировано Alexandr Fokin
на 2024/01/11 12:38
К версии < 1.39 >
отредактировано Alexandr Fokin
на 2024/01/22 11:20
>
Изменить комментарий: К данной версии нет комментариев

Комментарий

Подробности

Свойства страницы
Родительский документ
... ... @@ -1,1 +1,1 @@
1 лгоритмы.Процессы.WebHome
1 +Архитектура и модели.Модели.Процессы.WebHome
Содержимое
... ... @@ -1,32 +1,122 @@
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" %)Событие запуска процесса поступает извне, и обязательства о выборке данных для процесса лежат на внешнем компоненте.
1 +(% border="1" %)
2 +|(% style="width:15px" %) |(% style="width:1470px" %)(((
3 +(% border="1" %)
4 +|(% style="width:179px" %)Ручной и автоматический запуск процесса|(% style="width:1271px" %)(((
5 +|(% style="width:562px" %)Автоматический запуск|(% style="width:690px" %)(((
6 +|по таймеру (по выборке)|
7 +| |
8 +)))
9 +|(% style="width:562px" %)Ручной запуск (одиночный, групповой, групповой с параметрами выборки).|(% style="width:690px" %)(((
10 +| |
11 +| |
12 +| |
13 +
14 +
15 +)))
16 +|(% style="width:562px" %)Запуск по событию|(% style="width:690px" %)(((
17 +|По сущности (ключу)
18 + |
19 +|По групповой выборке|
20 +|По групповой выборке с параметрами|
21 +)))
22 +
23 +
24 +)))
25 +|(% style="width:179px" %)Валидация перед запуском|(% style="width:1271px" %)(((
26 +(% border="1" %)
27 +|(((
28 +* Валидация доменных объектов на возможность запуска экземпляра процесса (с гарантией, что доменной объект не будет изменен до конца транзакции планировщика, иначе мы можем принять некорректное решение о запуске процесса).
29 +* В случае использования [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]], необходимо также гарантировать инкрементацию ключа доменных сущностей т.к. скорее всего их поля не изменятся напрямую.
30 +* Как вариант - использование более строго уровня изоляции.
31 +)))
32 +|(((
33 +Если существуют предыдущие экземпляры процесса (__по ключевому набору__), то они также валидируются на возможность запуска нового экземпляра
34 +
35 +(% border="1" %)
36 +|(% colspan="2" style="width:157px" %)Отношение экземпляров процесса и ключевых доменных сущностей.
37 +|(% style="width:172px" %)Допускается создание только одного экземпляра процесса|(% style="width:1063px" %)Экземпляр ключевой доменной сущности <-(1 к 1)-> Экземпляр процесса.
38 +Для каждого уникального ключа может быть не более 1 экземпляра процесса.
39 +|(% style="width:172px" %)Допускается создание более одного экземпляра|(% style="width:1063px" %)(((
40 +Здесь речь идет не о том, что несколько экземпляров активны в один и тот-же момент времени, а о том, что допускается ситуация, что в случае если у нас уже есть существующий экземпляр процесса (выполнявшийся ранее), мы не меняем его состояние и перезапускаем, а создаем новый экземпляр (при этом гарантируя валидность такого действия).
41 +\\В таком случае мы можем представить следующую модель данных:
42 +Ключевые доменные сущности <-(1 к 1)-> Ключевой сквозной контекст процесса <-(1 к N)-> Экземпляр процесса.
43 +
44 +
45 +(% border="1" %)
46 +|Ключевой сквозной контекст не всегда может быть выражен явно, но фактически он будет существовать.
47 +|(((
48 +Пример 1
49 +
50 +Мы можем гарантировать, что в один момент времени имеется только один активный экземпляр процесса (и только он выполняется).
51 +\\Мы можем использовать указатель на активный процесс из сквозного контекста,
52 +или также мы можем добавить флажок активности в экземпляр процесса и наложить на него уникальный индекс.
53 +)))
54 +|(((
55 +Пример 2
56 +
57 +Сквозной контекст может отслеживать была ли достигнута финальная цель ключевой связки.
58 +
59 +Например:
60 +
61 +* Целью является создание некоторого доменного объекта, когда он будет создан, информация зафиксируется в сквозном контексте.
62 +* Эти данные не позволят запустить новый экземпляр процесса так как цель достигнута - объект создан.
63 +* Если вдруг выясняется, что по какой-то причине созданный доменный объект объявляется недействительным, и необходимо запустить новый экземпляр процесса (по тому же ключу) для создания нового экземпляра доменного объекта, то также нужно выполнить сброс данных в сквозном контексте.
64 +(ручной сброс или подписка на доменной событие, оповещающее о смене статуса созданного объекта (аннулирование, блокировка и др.))
65 +)))
66 +)))
67 +)))
68 +)))
69 +|(% style="width:179px" %) |(% style="width:1271px" %)
70 +
71 +(% border="1" %)
72 +|(% style="width:151px" %)На основе события|(% style="width:1188px" %)Событие запуска процесса поступает извне, и обязательства о выборке данных для процесса лежат на внешнем компоненте.
4 4  События могут помещаться в некоторый буфер - хранилище (брокер сообщений, БД) и разбираться обработчиком до исчерпания.
5 -|(% colspan="1" rowspan="4" style="width:94px" %)На основе данных|(% style="width:181px" %)Параллелизм|(% style="width:1063px" %)Гарантия, что код планировщика выполняются в эксклюзивном режиме, в случае если он запущен в нескольких экземплярах.
74 +|(% style="width:151px" %)На основе данных|(% style="width:1188px" %)(((
75 +(% border="1" %)
76 +|(% colspan="2" %)Замечания
77 +|Параллелизм|Гарантия, что код планировщика выполняются в эксклюзивном режиме, в случае если он запущен в нескольких экземплярах.
6 6  Предполагается [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]] на уровне всех экземпляров.
7 -|(% style="width:181px" %)Выборка до исчерпания|(% style="width:1063px" %)(((
79 +
80 +(% border="1" %)
81 +|(% style="width:177px" %)Тип|(% style="width:993px" %)
82 +|(% style="width:177px" %)Выборка до исчерпания|(% style="width:993px" %)(((
8 8  Выборка данных до тех пор пока они не исчерпаются.
9 -Плохо подходит для больших объемов данных.
10 10  
85 +Замечания:
86 +
87 +* Плохо подходит для больших объемов данных. Может привести к долгому выполнению выборки.
88 +* Плохо подходит для сложных условий т.к. может привезти к тому, что будет невозможно выразить полный набор условий в виде запроса или запрос получиться сложным и также будет долго выполняться.
89 +* Если при обработке ключевого доменного объекта возникнет ошибка, то это окажет влияние на всю операцию инициализации. Может быть проблематично отбросить данный доменный объект, чтобы он не попал в выборку.
90 +
11 11  Пример:
12 12  Соединение таблицы доменных сущностей с таблицей процесса и выборка тех сущностей, по которым нет записи в таблице процесса.
13 13  )))
14 -|(% style="width:181px" %)Инициализация, привязанная к дате.|(% style="width:1063px" %)Обработчик привязан к конкретной дате и рассматривает некоторый ограниченный набор, например одни сутки относительно указанной даты.
94 +|(% style="width:177px" %)Инициализация, привязанная к дате.|(% style="width:993px" %)Обработчик привязан к конкретной дате и рассматривает некоторый ограниченный набор, например одни сутки относительно указанной даты.
15 15  Таким образом мы явно ограничиваем блок данных. Но нужно учесть сценарии с возникновением ошибки, т.к. следующее срабатывание уже будет на основе новой даты.
16 -|(% style="width:181px" %)Перебор всего сета доменных сущностей.|(% style="width:1063px" %)(((
17 -Необходимое условие: Наличие способа перебрать данные батчами, гарантия что данные не удаляются.
96 +|(% style="width:177px" %)Перебор всего сета доменных сущностей.|(% style="width:993px" %)(((
97 +| |Пагинация|Параллелизм|Фильтрация сета|
98 +| |Страницы|+|-|
99 +| |Смещение|-|+|
18 18  
19 -Пример:
20 -Если мы уверены, что доменные объекты не удаляются, то мы можем отсортировать их по дате создания и первичному ключу. Таким образом мы получим фиксированные страницы данных, которые можно обрабатывать параллельно. Невозможно выполнить, если допускается удаление объектов.
101 +Необходимое условие: Наличие способа перебрать данные сета данных.
102 +Вариант 1: Если перебираем записи без использования параллелизма, то нам достаточно организовать некоторую пагинацию и последовательно идти, обрабатывая подходящие для запуска процесса строки.
103 +\\Вариант 2:
104 +Если мы уверены, что доменные объекты не удаляются, то мы можем отсортировать их по дате создания и первичному ключу (Если есть уникальный автоинкреметный числовой ключ, то можно использовать его).
105 +Таким образом мы получим детерминированные страницы данных, которые даже можно обрабатывать параллельно.
106 +Невозможно выполнить, если допускается удаление объектов т.к. оно может изменить данные в страницах.
107 +Либо можно прикинуть вариант, когда мы используем блокировку доменных объектов через БД, таким образом в каждом обрабатываем батче (в один момент времени) будет уникальный набор доменных объектов, и если один и тот же объект попадет в разные батчи, то в первом случае он обработается, а во втором он будет отброшен (есть вероятность, что некоторые строки, существовавшие на момент начала операции, не попадут в выборку).
21 21  
109 +Вариант 4:
110 +Если кол-во записей не очень велико и мы можем без проблем полностью уместить сет всех ключей в оперативной памяти.
111 +(Не требует гарантии, что сущность нельзя удалить, т,к. в случае обнаружения удаления можно просто пропустить ключ).
112 +
113 +[[Пагинация | Paging>>doc:Разработка.Базы данных.Сценарии.Пагинация | Paging.WebHome]]
114 +
22 22  Can queries that users ORDER BY using date to sort data be non deterministic?
23 23  [[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]]
24 24  )))
25 25  )))
26 -|(% style="width:61px" %)Валидация перед запуском|(% style="width:1393px" %)(((
27 -1. Валидация доменных объектов на возможность запуска экземпляра процесса (с гарантией, что доменной объект не будет изменен до конца транзакции планировщика).
28 -1. Если существуют предыдущие экземпляры процесса (по ключевому набору), то они также вадидируются на возможность запуска нового экземпляра (например: В1 - процесс может запускаться только один раз, В2 - новый процесс не может быть запущен, пока есть активный предыдущий процесс).
29 29  )))
30 -|(% style="width:61px" %) |(% style="width:1393px" %)
120 +|(% style="width:15px" %) |(% style="width:1470px" %)
31 31  
32 32