Комментарий

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

Подробности

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

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

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

Содержимое

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