Как осуществляется работа с потоками (threads) и задачами (tasks), если несколько из них обращаются к общему состоянию?

Для безопасного обращения к общему состоянию в многопоточной среде используются механизмы синхронизации.

Основные подходы:

• Блокировки: lock является самым распространенным механизмом. Обеспечивает монопольный доступ к блоку кода или объекту для одного потока за раз. Mutex (взаимное исключение) также используется, но часто в межпроцессном взаимодействии.
• Семантики: Ограничивают количество потоков, которые могут одновременно получить доступ к ресурсу.
• Monitor: Представляет собой более мощный аналог lock, позволяющий потокам ожидать уведомления от других потоков.
• ReadWriteLock: Позволяет множеству потоков читать данные concurrently, но только одному потоку писать.
• Атомарные операции: Для простых операций (инкремент, декремент, сравнение-обмен) можно использовать статические методы класса Interlocked.

При работе с задачами (Tasks), особенно с использованием async/await, важно помнить, что задачи не привязаны к конкретному потоку. Контексты синхронизации (SynchronizationContext) помогают вернуться в нужный контекст (например, UI-поток) после завершения асинхронной операции.

Пример использования lock:

// Объект для блокировки
private readonly object _lockObject = new object();
private int _sharedCounter = 0;

public void IncrementCounter()
{
    // Блокируем доступ к общему счетчику
    lock (_lockObject)
    {
        _sharedCounter++;
    }
}

Пример использования Interlocked:

private int _sharedAtomicCounter = 0;

public void IncrementAtomicCounter()
{
    // Атомарный инкремент
    Interlocked.Increment(ref _sharedAtomicCounter);
}