Комментарий

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

Подробности

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

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

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

Содержимое

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