Исходный код вики Инициализация процесса

Версия 1.5 от Alexandr Fokin на 2024/01/11 12:56

Скрыть последних авторов
Alexandr Fokin 1.4 1 |(% style="width:15px" %) |(% style="width:1470px" %)(((
Alexandr Fokin 1.5 2 |(% style="width:179px" %)Ручной и автоматический запуск процесса|(% style="width:1271px" %)
3 |(% style="width:179px" %)Валидация перед запуском|(% style="width:1271px" %)(((
Alexandr Fokin 1.4 4 |Валидация доменных объектов на возможность запуска экземпляра процесса (с гарантией, что доменной объект не будет изменен до конца транзакции планировщика, иначе мы можем принять некорректное решение о запуске процесса).
5 |(((
6 Если существуют предыдущие экземпляры процесса (__по ключевому набору__), то они также валидируются на возможность запуска нового экземпляра
7
8 Например:
9
Alexandr Fokin 1.5 10 |(% style="width:221px" %)Допускается создание только одного экземпляра процесса|(% style="width:1022px" %)Экземпляр ключевой доменной сущности <-(1 к 1)-> экземпляр процесса.
Alexandr Fokin 1.4 11 Для каждого уникального ключа может быть только 0 или 1 экземпляр процесса.
12 |(% style="width:221px" %)Допускается создание более одного экземпляра|(% style="width:1022px" %)Здесь речь идет не о том, что запуск возможен в один момент времени, а в целом, что допускается ситуация, что в случае если процесс уже выполнялся, мы не меняем его состояние и перезапускаем, а создаем новый экземпляр (при этом гарантируя валидность).
Alexandr Fokin 1.5 13 \\В таком случае мы можем представить следующую модель данных:
14 Ключевые доменные сущности - ключевой сквозной контекст процесса - экземпляр процесса
Alexandr Fokin 1.4 15 |(% style="width:221px" %) |(% style="width:1022px" %)
16
17 В1 - Процесс может быть запущен только один раз.
18 В2 - Новый процесс не может быть запущен, пока предыдущий процесс активен.
19 В3 - другое условие в глобальном контексте).
20 )))
21 |
22 )))
Alexandr Fokin 1.5 23 |(% style="width:179px" %) |(% style="width:1271px" %)
Alexandr Fokin 1.4 24
25 |(% style="width:151px" %)На основе события|(% style="width:1188px" %)Событие запуска процесса поступает извне, и обязательства о выборке данных для процесса лежат на внешнем компоненте.
Alexandr Fokin 1.2 26 События могут помещаться в некоторый буфер - хранилище (брокер сообщений, БД) и разбираться обработчиком до исчерпания.
Alexandr Fokin 1.4 27 |(% style="width:151px" %)На основе данных|(% style="width:1188px" %)(((
28 |(% colspan="2" %)Замечания
29 |Параллелизм|Гарантия, что код планировщика выполняются в эксклюзивном режиме, в случае если он запущен в нескольких экземплярах.
Alexandr Fokin 1.2 30 Предполагается [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]] на уровне всех экземпляров.
Alexandr Fokin 1.4 31
32 |(% style="width:177px" %)Тип|(% style="width:993px" %)
33 |(% style="width:177px" %)Выборка до исчерпания|(% style="width:993px" %)(((
Alexandr Fokin 1.2 34 Выборка данных до тех пор пока они не исчерпаются.
35
Alexandr Fokin 1.3 36 Замечания:
37
38 * Плохо подходит для больших объемов данных. Может привести к тому,
39 * Плохо подходит для сложных условий т.к. может привезти к тому, что будет невозможно выразить полный набор условий в виде запроса или запрос получиться сложным и также будет долго выполняться.
40
Alexandr Fokin 1.2 41 Пример:
Alexandr Fokin 1.1 42 Соединение таблицы доменных сущностей с таблицей процесса и выборка тех сущностей, по которым нет записи в таблице процесса.
Alexandr Fokin 1.2 43 )))
Alexandr Fokin 1.4 44 |(% style="width:177px" %)Инициализация, привязанная к дате.|(% style="width:993px" %)Обработчик привязан к конкретной дате и рассматривает некоторый ограниченный набор, например одни сутки относительно указанной даты.
Alexandr Fokin 1.1 45 Таким образом мы явно ограничиваем блок данных. Но нужно учесть сценарии с возникновением ошибки, т.к. следующее срабатывание уже будет на основе новой даты.
Alexandr Fokin 1.4 46 |(% style="width:177px" %)Перебор всего сета доменных сущностей.|(% style="width:993px" %)(((
Alexandr Fokin 1.2 47 Необходимое условие: Наличие способа перебрать данные батчами, гарантия что данные не удаляются.
Alexandr Fokin 1.1 48
Alexandr Fokin 1.3 49 Вариант 1:
Alexandr Fokin 1.2 50 Если мы уверены, что доменные объекты не удаляются, то мы можем отсортировать их по дате создания и первичному ключу. Таким образом мы получим фиксированные страницы данных, которые можно обрабатывать параллельно. Невозможно выполнить, если допускается удаление объектов.
51
Alexandr Fokin 1.3 52 Вариант 2:
53 Если есть уникальный автоинкреметный числовой ключ, то можно использовать его.
54
55 Вариант 3:
56 Если кол-во записей не очень велико и мы можем без проблем полностью уместить сет всех ключей в оперативной памяти.
57 (Не требует гарантии не удаления т,к. в случае обнаружения удаления можно просто пропустить ключ).
58
Alexandr Fokin 1.2 59 Can queries that users ORDER BY using date to sort data be non deterministic?
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]]
Alexandr Fokin 1.1 61 )))
Alexandr Fokin 1.2 62 )))
63 )))
Alexandr Fokin 1.4 64 |(% style="width:15px" %) |(% style="width:1470px" %)
Alexandr Fokin 1.1 65
66