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