ConcurrentDictionary - AddOrUpdate

Page / - Изменено Alexandr Fokin в 2023/02/21 20:51

AddOrUpdate

Изменено Alexandr Fokin

в 2023/02/21 20:51

Оглавление

Описание работы метода AddOrUpdate:

Порядок	Поток	Действие
0)	В dictionary есть одно значение по ключу key1 - val1.
1)	th1	Поток th1 запускает UpdateAction делегат по ключу key1. (Фиксирует текущее значение th1_val1)
2)	th2	Поток th2 запускает UpdateAction делегат по ключу key1. (Фиксирует текущее значение th2_val2)
3)	th2	Поток th2 заканчивает выполнение делегата UpdateAction. th2 сравнивает (текущее значение) val1 = th2_val1 (Через Equals). Значение равны и th2 сохраняет результат.
4)	th1	Поток th1 заканчивает выполнение делегата UpdateAction. th1 сравнивает (текущее значение) val1 = th1_val1 (Через Equals). Значение НЕ равны и th1 повторно вызывает UpdateAction делегат для значения val1. Если элемент был удален и на момент проверки ключ отсутствует в коллекции, то, соответственно, будет запущен делегат AddAction. !Повторного вызова делегата не будет, в случает если результат работы th2 эквивалентен исходному начальному значению val1 (th1_val1).

Итог:

Ни вызов AddOrUpdate, ни начало выполнения конкретного делегата (AddAction/UpdateAction) само по себе не препятствует изменению значения (по ключу) из других потоков (пока происходит исполнение делегата в текущем потоке). Т.е. не происходит Пессимистичная блокировка.

По сути мы получаем Оптимистичная блокировка. В случае неудачи которой, повторно вызывается действие обработки (AddAction/UpdateAction) для измененного значения по указанному ключу.
Критерием сравнения блокировки является Equals. В некоторых ситуациях может иметь смысл перегрузка Equals на сравнение по: (1 ReferenceEquals / 2 VersionProperty / 3 TimeStampProperty) как альтернатива сравнению фактических данных.

Также мы приходим к факту, что во многих случаях TValue рекомендуется делать иммутабельным.

Для хранения данных TValue, вычисление значений которых занимает много времени, можно хранить Lazy<TValue> или же Task<TValue>.