Комментарий

• Свойства страницы (2 изменено, 0 добавлено, 0 удалено)

Подробности

Свойства страницы

Родительский документ

...	...	@@ -1,1 +1,1 @@
1		-Архитектура и модели.Модели.Процессы.WebHome
	1	+Алгоритмы.Процессы.WebHome

Содержимое

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