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

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

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

Комментарий

Подробности

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