Исходный код вики AddOrUpdate

Редактировал(а) Alexandr Fokin 2023/02/21 20:51
Скрыть последних авторов
Alexandr Fokin 1.1 1 ===== Описание работы метода AddOrUpdate: =====
2
3 |**Порядок**|**Поток**|**Действие**
4 |0)| |В dictionary есть одно значение по ключу key1 - val1.
5 |1)|th1|Поток th1 запускает UpdateAction делегат по ключу key1.
6 (Фиксирует текущее значение th1_val1)
7 |2)|th2|Поток th2 запускает UpdateAction делегат по ключу key1.
8 (Фиксирует текущее значение th2_val2)
9 |3)|th2|Поток th2 заканчивает выполнение делегата UpdateAction.
Alexandr Fokin 1.3 10 th2 сравнивает (текущее значение) val1 = th2_val1 (Через [[Equals>>doc:Разработка.NET.C#.Object.Equals.WebHome]]).
Alexandr Fokin 1.1 11 Значение равны и th2 сохраняет результат.
12
13 |4)|th1|(((
14 Поток th1 заканчивает выполнение делегата UpdateAction.
Alexandr Fokin 1.3 15 th1 сравнивает (текущее значение) val1 = th1_val1 (Через [[Equals>>doc:Разработка.NET.C#.Object.Equals.WebHome]]).
Alexandr Fokin 1.1 16 Значение НЕ равны и th1 повторно вызывает UpdateAction делегат для значения val1.
17
18 Если элемент был удален и на момент проверки ключ отсутствует в коллекции, то, соответственно, будет запущен делегат AddAction.
19 !Повторного вызова делегата не будет, в случает если результат работы th2 эквивалентен исходному начальному значению val1 (th1_val1).
20 )))
21
22 **Итог:**
23
Alexandr Fokin 1.3 24 Ни вызов AddOrUpdate, ни начало выполнения конкретного делегата (AddAction/UpdateAction) само по себе не препятствует изменению значения (по ключу) из других потоков (пока происходит исполнение делегата в текущем потоке). Т.е. не происходит [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]].
Alexandr Fokin 1.1 25
Alexandr Fokin 1.3 26 По сути мы получаем [[Оптимистичная блокировка>>doc:Архитектура и модели.Блокировки.Оптимистичная блокировка.WebHome]]. В случае неудачи которой, повторно вызывается действие обработки (AddAction/UpdateAction) для измененного значения по указанному ключу.
27 Критерием сравнения блокировки является [[Equals>>doc:Разработка.NET.C#.Object.Equals.WebHome]]. В некоторых ситуациях может иметь смысл перегрузка [[Equals>>doc:Разработка.NET.C#.Object.Equals.WebHome]] на сравнение по: (1 [[ReferenceEquals>>doc:Разработка.NET.C#.Object.ReferenceEquals.WebHome]] / 2 VersionProperty / 3 TimeStampProperty) как альтернатива сравнению фактических данных.
Alexandr Fokin 1.1 28
29 Также мы приходим к факту, что во многих случаях TValue рекомендуется делать иммутабельным.
Alexandr Fokin 1.2 30
31 ----
32
33 Для хранения данных TValue, вычисление значений которых занимает много времени, можно хранить Lazy<TValue> или же Task<TValue>.