Комментарий

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

Подробности

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

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

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

Содержимое

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