3

Привет. Искал инфу про потокобезопасную коллекцию и почти везде такой код:

Добавление в коллекцию

public void Add(int value)
{
    lock(sync)
    {         
        Add(value);
    }
}

тут sync это

private object sync = new object();

Я вставил себе.

public void Add(TkeyId keyId, TkeyName keyName, Tvalue value)
{
    lock(sync)
    {
        if (this.Where(g => g.Key.Name.Equals(keyName) && g.Key.Id.Equals(keyId)).Count() > 0)
            return;
        this.Add(new UserKey<TkeyId, TkeyName>(keyId, keyName), value);
    }
}

Так вот вопрос в чем прикол.Как он блокирует за счет чего. Простым языком объясните

6
  • Ну как бы lock именно для этого и нужен... Блокирует через Monitor.
    – Qwertiy
    23 авг 2017 в 16:33
  • StackOverflowException?
    – VladD
    23 авг 2017 в 16:49
  • @VladD, нет, у него вызывается метод с другой сигнатурой. полагаю, оно работает. Хотя первый пример неудачный.
    – Qwertiy
    23 авг 2017 в 16:51
  • @VladD возможно, там перегруженые Add
    – user176262
    23 авг 2017 в 16:51
  • нет у меня не вылетат
    – Саске
    23 авг 2017 в 16:51

2 ответа 2

7

Конструкция lock гарантирует следующее: два блока

lock (p)
{
    // тут содержимое блока
}

бегущие в разных потоках, никогда не будут выполнены одновременно, если объект p один и тот же.* Если один поток находится внутри lock, то другой будет ждать окончания выполнения этого блока. В этом и состоит суть блокировки.

Как именно технически это реализуется, не так уж и важно. В C# lock вызывает конструкцию Monitor.Enter, а она, в свою очередь, внутри кода BCL реализует функциональность, подобную CRITICAL_SECTION самостоятельно, используя короткий холостой цикл (spin wait) и системные примитивы синхронизации. На других системах, разумеется, используются другие синхронизационные функции ОС. Как именно работают эти функции — внутренняя подробность устройства ОС (завязанная, надо думать, на системный планировщик потоков).

Главное — знать, что внутрь lock'а на один и тот же объект два потока проникнуть не могут.


*Также она гарантирует нужные memory barrier'ы для многопоточного сценария, но это неважно в контексте данного обсуждения.

6
  • Вообще-то EnterCriticalSection сама крутить спин-лок умеет, нет смысла избегать ее вызова. 23 авг 2017 в 17:20
  • @PavelMayorov: Ну, спин-ожидание в исходниках я нашёл, теперь ищу EnterCriticalSection (может, вместо неё что-то другое?)
    – VladD
    23 авг 2017 в 17:26
  • Если в коде отдельное спин-ожидание - то дальше должен быть мьютекс. Это ж классическая реализация критической секции, вряд ли создатели .NET стали придумывать что-то принципиально новое. 23 авг 2017 в 17:32
  • @PavelMayorov: Более-менее нашёл. Они таки заимплементировали мьютекс руками на основе CreateEvent. Вот вроде бы центральный класс: github.com/dotnet/coreclr/blob/…
    – VladD
    23 авг 2017 в 17:59
  • После вашей правки второй комментарий оказался ни к чему не привязан: либо его нужно удалить, либо правильно привязать.
    – A K
    23 авг 2017 в 21:29
3

Оператор lock (sync) { ... } будет транслирован в следующую конструкцию (.NET >= 4):

// Флаг успешной блокировки
bool acquiredLock = false;

try
{ 
    // Захватываем блокировку для sync
    Monitor.Enter(lockObject, ref acquiredLock);

    // Потокобезопасный код

}
finally
{
    // Освобождаем блокировку для sync если блокировка была выполнена
    if (acquiredLock)
    {
        Monitor.Exit(lockObject);
    }
}

Когда потоком вызывается метод Monitor.Enter то участок кода будет заблокирован для доступа других потоков, вплоть до того момента, когда поток не вызовет метод Monitor.Exit.

2
  • Начиная с .NET 4, используется другая перегрузка Monitor.Enter, а сам вызов помещается внутрь блока try.
    – user181245
    24 авг 2017 в 10:17
  • Вы правы, (IL мне выплюнул следующий вызов – void [mscorlib]System.Threading.Monitor::Enter(object, bool&)) сейчас дополню ответ 24 авг 2017 в 10:39

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.