Изменения документа Инициализация процесса

Редактировал(а) Alexandr Fokin 2024/06/12 15:27

<
От версии < 1.4 >
отредактировано Alexandr Fokin
на 2024/01/11 12:53
К версии < 1.11 >
отредактировано Alexandr Fokin
на 2024/01/11 13:13
>
Изменить комментарий: К данной версии нет комментариев

Комментарий

Подробности

Свойства страницы
Содержимое
... ... @@ -1,28 +1,46 @@
1 1  |(% style="width:15px" %) |(% style="width:1470px" %)(((
2 -|Ручной и автоматический запуск процесса|
3 -|Валидация перед запуском|(((
2 +|(% style="width:179px" %)Ручной и автоматический запуск процесса|(% style="width:1271px" %)
3 +|(% style="width:179px" %)Валидация перед запуском|(% style="width:1271px" %)(((
4 4  |Валидация доменных объектов на возможность запуска экземпляра процесса (с гарантией, что доменной объект не будет изменен до конца транзакции планировщика, иначе мы можем принять некорректное решение о запуске процесса).
5 +В случае использования [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]], необходимо также гарантировать инкрементацию ключа доменных сущностей т.к. скорее всего их поля не меняются на прямую.
6 +Как вариант - использование более строго уровня изоляции.
5 5  |(((
6 6  Если существуют предыдущие экземпляры процесса (__по ключевому набору__), то они также валидируются на возможность запуска нового экземпляра
7 7  
8 -Например:
9 -
10 -|(% style="width:221px" %)Допускается создание только одного экземпляра процесса|(% style="width:1022px" %)Уникальный индекс по ключевому набору.
10 +|(% colspan="2" style="width:157px" %)Отношение экземпляров процесса и ключевых доменных сущностей.
11 +|(% style="width:157px" %)Допускается создание только одного экземпляра процесса|(% style="width:1078px" %)Экземпляр ключевой доменной сущности <-(1 к 1)-> Экземпляр процесса.
11 11  Для каждого уникального ключа может быть только 0 или 1 экземпляр процесса.
12 -|(% style="width:221px" %)Допускается создание более одного экземпляра|(% style="width:1022px" %)Здесь речь идет не о том, что запуск возможен в один момент времени, а в целом, что допускается ситуация, что в случае если процесс уже выполнялся, мы не меняем его состояние и перезапускаем, а создаем новый экземпляр (при этом гарантируя валидность).
13 -\\
14 -|(% style="width:221px" %) |(% style="width:1022px" %)
13 +|(% style="width:157px" %)Допускается создание более одного экземпляра|(% style="width:1078px" %)(((
14 +Здесь речь идет не о том, что запуск возможен в один момент времени, а в целом, что допускается ситуация, что в случае если процесс уже выполнялся, мы не меняем его состояние и перезапускаем, а создаем новый экземпляр (при этом гарантируя валидность).
15 +\\В таком случае мы можем представить следующую модель данных:
16 +Ключевые доменные сущности <-(1 к 1)-> Ключевой сквозной контекст процесса <-(1 к N)-> экземпляр процесса.
17 +
15 15  
19 +|Ключевой сквозной контекст не всегда может быть выражен явно, но фактически он будет существовать.
20 +|(((
21 +Пример 1
16 16  
17 -В1 - Процесс может быть запущен только один раз.
18 -В2 - Новый процесс не может быть запущен, пока предыдущий процесс активен.
19 -В3 - другое условие в глобальном контексте).
23 +Мы можем гарантировать, что в один момент времени имеется только один активный экземпляр процесса (и только он выполняется).
24 +\\Мы можем использовать указатель на активный процесс из сквозного контекста,
25 +или также мы можем добавить флажок активности в экземпляр процесса и наложить на него уникальный индекс.
20 20  )))
21 -|
22 -)))
23 -| |
27 +|(((
28 +Пример 2
24 24  
30 +Сквозной контекст может отслеживать была ли достигнута финальная цель ключевой связки.
25 25  
32 +Например:
33 +
34 +* целью является создание некоторого доменного объекта, когда он будет создан, информацию зафиксируется в сквозном контексте.
35 +* Эти данные не позволят запустить новый экземпляр так как цель достигнута - объект создан.
36 +* Если вдруг выясняется, что по какой-то причине созданный доменный объект объявляется недействительным, и не обходимо запустить процесс (по тому же ключу) для создания нового экземпляра доменного объекта, то также необходимо сбросить данные в сквозном контексте.
37 +(ручной сброс или подписка на доменной событие, оповещающее о смене статуса созданного объекта (аннулирование, блокировка и др.))
38 +)))
39 +)))
40 +)))
41 +)))
42 +|(% style="width:179px" %) |(% style="width:1271px" %)
43 +
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  Выборка данных до тех пор пока они не исчерпаются.
... ... @@ -56,7 +56,7 @@
56 56  
57 57  Вариант 3:
58 58  Если кол-во записей не очень велико и мы можем без проблем полностью уместить сет всех ключей в оперативной памяти.
59 -(Не требует гарантии не удаления т,к. в случае обнаружения удаления можно просто пропустить ключ).
76 +(Не требует гарантии, что сущность нельзя удалить, т,к. в случае обнаружения удаления можно просто пропустить ключ).
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]]