Комментарий

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

Подробности

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

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

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

Содержимое

...	...	@@ -1,43 +1,96 @@
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" %)(((
	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" %)(((
8	8	Выборка данных до тех пор пока они не исчерпаются.
9	9
10	10	Замечания:
11	11
12		-* Плохо подходит для больших объемов данных. Может привести к тому,
	31	+* Плохо подходит для больших объемов данных. Может привести к долгому выполнению выборки.
13	13	* Плохо подходит для сложных условий т.к. может привезти к тому, что будет невозможно выразить полный набор условий в виде запроса или запрос получиться сложным и также будет долго выполняться.
	33	+* Одна ошибка блокирует всю инициализацию.
	34	+Если при обработке ключевого доменного объекта возникнет ошибка, то это окажет влияние на всю операцию инициализации.
	35	+Может быть проблематично отбросить данный доменный объект, чтобы он не попал в выборку.
14	14
15	15	Пример:
16	16	Соединение таблицы доменных сущностей с таблицей процесса и выборка тех сущностей, по которым нет записи в таблице процесса.
17	17	)))
18		-|(% style="width:181px" %)Инициализация, привязанная к дате.|(% style="width:1063px" %)Обработчик привязан к конкретной дате и рассматривает некоторый ограниченный набор, например одни сутки относительно указанной даты.
19		-Таким образом мы явно ограничиваем блок данных. Но нужно учесть сценарии с возникновением ошибки, т.к. следующее срабатывание уже будет на основе новой даты.
20		-|(% style="width:181px" %)Перебор всего сета доменных сущностей.|(% style="width:1063px" %)(((
21		-Необходимое условие: Наличие способа перебрать данные батчами, гарантия что данные не удаляются.
	40	+|(% style="width:142px" %)Перебор батчей данных|(% style="width:1168px" %)(((
	41	+Когда речь заходит о переборе данных, то явно касаемся вопрос пагинации.
22	22
23		-Вариант 1:
24		-Если мы уверены, что доменные объекты не удаляются, то мы можем отсортировать их по дате создания и первичному ключу. Таким образом мы получим фиксированные страницы данных, которые можно обрабатывать параллельно. Невозможно выполнить, если допускается удаление объектов.
	43	+Стоит учитывать следующие моменты:
25	25
26		-Вариант 2:
27		-Если есть уникальный автоинкреметный числовой ключ, то можно использовать его.
	45	+* Фильтрация - перебор ограниченного подмножества от всего набора данных (условие).
	46	+* Параллелизм - возможность выполнения операции параллельно (с распределением блоков между обработчиками).
	47	+* Модификация данных - гарантия что в процессе, данные могут быть изменены (самой инициализацией или внешним воздействием).
28	28
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]]
	49	+Keyset пагинации может быть более эффективной (с точки зрения стоимости запроса).
35	35	)))
36	36	)))
37		-|(% style="width:61px" %)Валидация перед запуском|(% style="width:1393px" %)(((
38		-1. Валидация доменных объектов на возможность запуска экземпляра процесса (с гарантией, что доменной объект не будет изменен до конца транзакции планировщика, иначе мы можем принять некорректное решение о запуске процесса).
39		-1. Если существуют предыдущие экземпляры процесса (по ключевому набору), то они также вадидируются на возможность запуска нового экземпляра (например: В1 - процесс может запускаться только один раз, В2 - новый процесс не может быть запущен, пока есть активный предыдущий процесс).
	52	+|(% style="width:157px" %)Валидация перед запуском|(% style="width:1328px" %)(((
	53	+(% border="1" %)
	54	+|(% style="width:114px" %)Доменные объекты|(% style="width:1195px" %)(((
	55	+* Валидация доменных объектов на возможность запуска экземпляра процесса
	56	+(с гарантией, что доменной объект не будет изменен до конца транзакции инициализации, иначе мы можем принять некорректное решение о запуске процесса).
	57	+* В случае использования [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]], необходимо также гарантировать инкрементацию ключа доменных сущностей т.к. скорее всего их поля не изменятся напрямую.
	58	+* Как вариант - использование более строго уровня изоляции.
40	40	)))
41		-|(% style="width:61px" %) |(% style="width:1393px" %)
	60	+|(% style="width:114px" %)Процессы|(% style="width:1195px" %)(((
	61	+Если существуют предыдущие экземпляры процесса (__по ключевому набору__), то они также валидируются на возможность запуска нового экземпляра
42	42
	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)-> __Экземпляр процесса__.
43	43
	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" %)