Изменения документа ConcurrentDictionary
Редактировал(а) Alexandr Fokin 2023/02/16 01:41
<
>
отредактировано Alexandr Fokin
на 2022/01/03 15:31
на 2022/01/03 15:31
отредактировано Alexandr Fokin
на 2022/10/04 16:16
на 2022/10/04 16:16
Изменить комментарий:
К данной версии нет комментариев
Комментарий
-
Свойства страницы (1 изменено, 0 добавлено, 0 удалено)
Подробности
- Свойства страницы
-
- Содержимое
-
... ... @@ -1,18 +1,49 @@ 1 +---- 2 + 3 +===== Описание работы метода AddOrUpdate: ===== 4 + 5 +|(% style="width:72px" %)**Порядок**|(% style="width:53px" %)**Поток**|(% style="width:1352px" %)**Действие** 6 +|(% style="width:72px" %)0)|(% style="width:53px" %) |(% style="width:1352px" %)В dictionary есть одно значение по ключу key1 - val1. 7 +|(% style="width:72px" %)1)|(% style="width:53px" %)th1|(% style="width:1352px" %)Поток th1 запускает UpdateAction делегат по ключу key1. 8 +(Фиксирует текущее значение th1_val1) 9 +|(% style="width:72px" %)2)|(% style="width:53px" %)th2|(% style="width:1352px" %)Поток th2 запускает UpdateAction делегат по ключу key1. 10 +(Фиксирует текущее значение th2_val2) 11 +|(% style="width:72px" %)3)|(% style="width:53px" %)th2|(% style="width:1352px" %)Поток th2 заканчивает выполнение делегата UpdateAction. 12 +th2 сравнивает (текущее значение) val1 = th2_val1 (Через Equals). 13 +Значение равны и th2 сохраняет результат. 1 1 15 +|(% style="width:72px" %)4)|(% style="width:53px" %)th1|(% style="width:1352px" %)((( 16 +Поток th1 заканчивает выполнение делегата UpdateAction. 17 +th1 сравнивает (текущее значение) val1 = th1_val1 (Через Equals). 18 +Значение НЕ равны и th1 повторно вызывает UpdateAction делегат для значения val1. 2 2 3 -**Описание работы метода AddOrUpdate**: 4 -В dictionary есть одно значение по ключу key1 - val1. 20 +Если элемент был удален и на момент проверки ключ отсутствует в коллекции, то, соответственно, будет запущен делегат AddAction. 21 +!Повторного вызова делегата не будет, в случает если результат работы th2 эквивалентен исходному начальному значению val1 (th1_val1). 22 +))) 5 5 6 -1) Поток th1 запускает Update делегат по ключу key1. (Фиксирует текущее значение th1_v) 7 -2) Поток th2 запускает Update делегат по ключу key1. (Фиксирует текущее значение th2_v) 8 -3) Поток th2 заканчивает выполнение делегата Update. th1 сравнивает val1 = th2_v (Через equils). 9 - Значение равны и th2 сохраняет результат. 10 -4) Поток th1 заканчивает выполнение делегата Update. th2 сравнивает val1 = th1_v (Через equils). 11 - Значение НЕ равны и th2 повторно вызывает Update делегат. 12 - (Если элемент был удален, то запустить делегат Add) 13 - !Повторного вызова делегата не произойдет, в случает если результат работы th2 эквивалентен исходному начальному значению val1. 24 +**Итог:** 14 14 15 - Получается, что ни вызов AddOrUpdate, ни вызовконкретного делегата (Add/Update) сам по себе неблокирует значениевколлекцииинепрепятствует визменениидругимипотокам.26 +Ни вызов AddOrUpdate, ни начало выполнения конкретного делегата (AddAction/UpdateAction) само по себе не препятствует изменению значения (по ключу) из других потоков (пока происходит исполнение делегата в текущем потоке). Т.е. не происходит пессимистичной блокировки. 16 16 17 -По сути мы получаем **оптимистичную блокировку**. В случае неудачи которой, повторно вызывается действие обработки (add/update) для измененного значения по указанному ключу. 18 -Критерием сравнения блокировки является Equils. В таком случае возможно имеет смысл перегрузка Equils и наличии в сущности некоторого ключевого поля. Нечто вроде Change Version TimeStamp. 28 +По сути мы получаем __оптимистичную блокировку__. В случае неудачи которой, повторно вызывается действие обработки (AddAction/UpdateAction) для измененного значения по указанному ключу. 29 +Критерием сравнения блокировки является Equals. В некоторых ситуациях может иметь смысл перегрузка Equals на сравнение по: (1 ReferenceEquals / 2 VersionProperty / 3 TimeStampProperty), а не только сравнение фактических данных. 30 + 31 +---- 32 + 33 +Для хранения данных TValue, вычисление значений которых занимает много времени, можно хранить Lazy<TValue> или же Task<TValue>. 34 + 35 +---- 36 + 37 +Best Practices for Using ConcurrentDictionary | Лучшие практики использования ConcurrentDictionary 38 +[[https:~~/~~/arbel.net/2013/02/03/best-practices-for-using-concurrentdictionary/>>url:https://arbel.net/2013/02/03/best-practices-for-using-concurrentdictionary/]] 39 + 40 +How to improve performance of ConcurrentDictionary.Count in C# 41 +[[https:~~/~~/stackoverflow.com/questions/41298156/how-to-improve-performance-of-concurrentdictionary-count-in-c-sharp>>url:https://stackoverflow.com/questions/41298156/how-to-improve-performance-of-concurrentdictionary-count-in-c-sharp]] 42 + 43 +//Дополнение: В некоторых случаях может иметь смысл создание собственной обертки над коллекции и ведения в ней собственного счетчика размера. 44 +Контроль интерфейса обертки позволит четко отслеживать события Добавления/Удаления, для управления счетчиком можно использовать Interlocked операции.// 45 + 46 +---- 47 + 48 +DotNext | Антон Нечуговских — Как мы написали свой lock-free dictionary 49 +[[https:~~/~~/www.youtube.com/watch?v=Vs7qp8FNURo>>https://www.youtube.com/watch?v=Vs7qp8FNURo]]