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

Версия 12.2 от Alexandr Fokin на 2022/10/04 16:16
Последние авторы
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 сохраняет результат.
14
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.
19
20 Если элемент был удален и на момент проверки ключ отсутствует в коллекции, то, соответственно, будет запущен делегат AddAction.
21 !Повторного вызова делегата не будет, в случает если результат работы th2 эквивалентен исходному начальному значению val1 (th1_val1).
22 )))
23
24 **Итог:**
25
26 Ни вызов AddOrUpdate, ни начало выполнения конкретного делегата (AddAction/UpdateAction) само по себе не препятствует изменению значения (по ключу) из других потоков (пока происходит исполнение делегата в текущем потоке). Т.е. не происходит пессимистичной блокировки.
27
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]]