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