Изменения документа ConcurrentDictionary

Редактировал(а) Alexandr Fokin 2023/02/16 01:41

<
От версии < 11.1 >
отредактировано Alexandr Fokin
на 2022/01/03 15:31
К версии < 12.2 >
отредактировано Alexandr Fokin
на 2022/10/04 16:16
>
Изменить комментарий: К данной версии нет комментариев

Комментарий

Подробности

Свойства страницы
Содержимое
... ... @@ -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]]