Исходный код вики AddOrUpdate
Редактировал(а) Alexandr Fokin 2023/02/21 20:51
Последние авторы
author | version | line-number | content |
---|---|---|---|
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. | ||
10 | th2 сравнивает (текущее значение) val1 = th2_val1 (Через [[Equals>>doc:Разработка.NET.C#.Object.Equals.WebHome]]). | ||
11 | Значение равны и th2 сохраняет результат. | ||
12 | |||
13 | |4)|th1|((( | ||
14 | Поток th1 заканчивает выполнение делегата UpdateAction. | ||
15 | th1 сравнивает (текущее значение) val1 = th1_val1 (Через [[Equals>>doc:Разработка.NET.C#.Object.Equals.WebHome]]). | ||
16 | Значение НЕ равны и th1 повторно вызывает UpdateAction делегат для значения val1. | ||
17 | |||
18 | Если элемент был удален и на момент проверки ключ отсутствует в коллекции, то, соответственно, будет запущен делегат AddAction. | ||
19 | !Повторного вызова делегата не будет, в случает если результат работы th2 эквивалентен исходному начальному значению val1 (th1_val1). | ||
20 | ))) | ||
21 | |||
22 | **Итог:** | ||
23 | |||
24 | Ни вызов AddOrUpdate, ни начало выполнения конкретного делегата (AddAction/UpdateAction) само по себе не препятствует изменению значения (по ключу) из других потоков (пока происходит исполнение делегата в текущем потоке). Т.е. не происходит [[Пессимистичная блокировка>>doc:Архитектура и модели.Блокировки.Пессимистичная блокировка.WebHome]]. | ||
25 | |||
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) как альтернатива сравнению фактических данных. | ||
28 | |||
29 | Также мы приходим к факту, что во многих случаях TValue рекомендуется делать иммутабельным. | ||
30 | |||
31 | ---- | ||
32 | |||
33 | Для хранения данных TValue, вычисление значений которых занимает много времени, можно хранить Lazy<TValue> или же Task<TValue>. |