Примитивы синхронизации
Версия 1.15 от Alexandr Fokin на 2023/02/09 01:16
Типы примитивов
| Конструкции пользовательского режима | |
| Конструкции режима ядра | |
| Гибридные конструкции синхронизации потоков |
Некоторые примитивы синхронизации
| |
| Interlocked https://learn.microsoft.com/ru-ru/dotnet/api/system.threading.interlocked?view=net-5.0 | Предоставляет набор некоторых операций, гарантирующих атомарность выполнения. Являет предпочтительным по сравнению с явной блокировкой. |
| Monitor | Реализуют идею критической секции. Ограничивает степень параллелизма на секциях, находящихся после Monitor.Enter, одним потоком. |
| Lock | Оператор lock является оберткой над классом Monitor, его операциями Enter/Exit, обернутыми в try-finally. |
| Semaphore SemaphoreSlim | Семафоры позволяют ограничить доступ выполнения кода определенным количеством потоков. |
| Mutex | Используется для синхронизации на уровне операционной системы. Может использоваться несколькими приложениями в рамках одной ОС. |
| ReaderWriterLock ReaderWriterLockSlim | Позволяет ограничить параллелизм либо 1 писателем, либо многими читателями. |
| AutoResetEvent ManualResetEven | Имеет 2 состояния (взведен и не взведен). Позволяет ожидать взведенного состояния. Содержит методы для взведения. |
| CountdownEvent | При инициализации задается значение счетчика. Позволяет ожидать, когда значение счетчика будет равно 0. Метод уменьшающий счетчик. |
| Spin* |
Материалы
- Блокировки
- Общие сведения о примитивах синхронизации
https://learn.microsoft.com/ru-ru/dotnet/standard/threading/overview-of-synchronization-primitives?source=recommendations - .NET: Инструменты для работы с многопоточностью и асинхронностью. Часть 1
https://habr.com/ru/post/452094 - .NET: Инструменты для работы с многопоточностью и асинхронностью. Часть 2
https://habr.com/ru/post/459514
Шаблон
При использовании инструментов важно освобождать освобождать блокировку, даже если в процессе выполнения логики возникнет исключение.
Во многих случаях имеет смысл реализовывать объект обертку, реализующую блокировку, и не допускающую неправильное использование.
Общий шаблон использования:
EnterLock();
try
{
//... Action
}
// catch {}
finally
{
ReleaseLock();
}
try
{
//... Action
}
// catch {}
finally
{
ReleaseLock();
}