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

Версия 1.1 от Alexandr Fokin на 2023/02/16 01:39
Последние авторы
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>>path:/bin/view/%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0/NET/C%23/Object/Equals/]]).
11 Значение равны и th2 сохраняет результат.
12
13 |4)|th1|(((
14 Поток th1 заканчивает выполнение делегата UpdateAction.
15 th1 сравнивает (текущее значение) val1 = th1_val1 (Через [[Equals>>path:/bin/view/%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0/NET/C%23/Object/Equals/]]).
16 Значение НЕ равны и th1 повторно вызывает UpdateAction делегат для значения val1.
17
18 Если элемент был удален и на момент проверки ключ отсутствует в коллекции, то, соответственно, будет запущен делегат AddAction.
19 !Повторного вызова делегата не будет, в случает если результат работы th2 эквивалентен исходному начальному значению val1 (th1_val1).
20 )))
21
22 **Итог:**
23
24 Ни вызов AddOrUpdate, ни начало выполнения конкретного делегата (AddAction/UpdateAction) само по себе не препятствует изменению значения (по ключу) из других потоков (пока происходит исполнение делегата в текущем потоке). Т.е. не происходит [[Пессимистичная блокировка>>path:/bin/view/%D0%90%D1%80%D1%85%D0%B8%D1%82%D0%B5%D0%BA%D1%82%D1%83%D1%80%D0%B0%20%D0%B8%20%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8/%D0%91%D0%BB%D0%BE%D0%BA%D0%B8%D1%80%D0%BE%D0%B2%D0%BA%D0%B8/%D0%9F%D0%B5%D1%81%D1%81%D0%B8%D0%BC%D0%B8%D1%81%D1%82%D0%B8%D1%87%D0%BD%D0%B0%D1%8F%20%D0%B1%D0%BB%D0%BE%D0%BA%D0%B8%D1%80%D0%BE%D0%B2%D0%BA%D0%B0/]].
25
26 По сути мы получаем [[Оптимистичная блокировка>>path:/bin/view/%D0%90%D1%80%D1%85%D0%B8%D1%82%D0%B5%D0%BA%D1%82%D1%83%D1%80%D0%B0%20%D0%B8%20%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8/%D0%91%D0%BB%D0%BE%D0%BA%D0%B8%D1%80%D0%BE%D0%B2%D0%BA%D0%B8/%D0%9E%D0%BF%D1%82%D0%B8%D0%BC%D0%B8%D1%81%D1%82%D0%B8%D1%87%D0%BD%D0%B0%D1%8F%20%D0%B1%D0%BB%D0%BE%D0%BA%D0%B8%D1%80%D0%BE%D0%B2%D0%BA%D0%B0/]]. В случае неудачи которой, повторно вызывается действие обработки (AddAction/UpdateAction) для измененного значения по указанному ключу.
27 Критерием сравнения блокировки является [[Equals>>path:/bin/view/%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0/NET/C%23/Object/Equals/]]. В некоторых ситуациях может иметь смысл перегрузка [[Equals>>path:/bin/view/%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0/NET/C%23/Object/Equals/]] на сравнение по: (1 [[ReferenceEquals>>path:/bin/view/%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0/NET/C%23/Object/ReferenceEquals/]] / 2 VersionProperty / 3 TimeStampProperty) как альтернатива сравнению фактических данных.
28
29 Также мы приходим к факту, что во многих случаях TValue рекомендуется делать иммутабельным.