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

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

<
От версии < 1.30 >
отредактировано Alexandr Fokin
на 2024/01/11 14:02
К версии < 1.5 >
отредактировано Alexandr Fokin
на 2024/01/11 12:56
>
Изменить комментарий: К данной версии нет комментариев

Комментарий

Подробности

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