AddOrUpdate
Описание работы метода 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. Если элемент был удален и на момент проверки ключ отсутствует в коллекции, то, соответственно, будет запущен делегат AddAction. |
Итог:
Ни вызов AddOrUpdate, ни начало выполнения конкретного делегата (AddAction/UpdateAction) само по себе не препятствует изменению значения (по ключу) из других потоков (пока происходит исполнение делегата в текущем потоке). Т.е. не происходит Пессимистичная блокировка.
По сути мы получаем Оптимистичная блокировка. В случае неудачи которой, повторно вызывается действие обработки (AddAction/UpdateAction) для измененного значения по указанному ключу.
Критерием сравнения блокировки является Equals. В некоторых ситуациях может иметь смысл перегрузка Equals на сравнение по: (1 ReferenceEquals / 2 VersionProperty / 3 TimeStampProperty) как альтернатива сравнению фактических данных.
Также мы приходим к факту, что во многих случаях TValue рекомендуется делать иммутабельным.