Состояние семафорской гонки?

Question

Я создал класс «Менеджер», который содержит ограниченный набор ресурсов. Ресурсы хранятся в «Менеджере» как очередь. Я инициализирую Queue и Semaphore одинаковым размером, используя семафор, чтобы заблокировать поток, если ресурсов нет. У меня есть несколько потоков, вызывающих этот класс для запроса ресурса. Вот код псевдео:

public IResource RequestResource() 
{ 
    IResource resource = null; 
    _semaphore.WaitOne(); 

    lock (_syncLock) 
    { 
     resource = _resources.Dequeue(); 
    } 
    return resource; 
} 
public void ReleaseResource(IResource resource) 
{ 
    lock (_syncLock) 
    { 
     _resources.Enqueue(resource); 
    } 
    _semaphore.Release(); 
} 

При запуске этого приложения кажется, что он работает нормально. Тогда, похоже, моя очередь выделяет один и тот же объект. Кажется ли это возможным? Я вытягиваю свои волосы здесь, и любая помощь будет очень признательна. Не стесняйтесь запрашивать дополнительную информацию, если вам это нужно. Благодаря!

Answer 1

Семафор действительно случайный здесь; что ограничивает количество потребителей, которые могут приобретать ресурсы одновременно. Синхронизация на самом деле происходит из инструкции lock (критический раздел).

Насколько я могу судить, этот код является потокобезопасным. Когда вы говорите, что это «выдача одного и того же объекта», возможно, я не понимаю вопрос, но он должен выдавать один и тот же объект, потому что, когда вызывающие вызовы ссылаются на метод Release, они возвращают тот же ресурс, который они получили изначально, поэтому один и тот же объект будет находиться в очереди в нескольких точках во время выполнения.

Если то, что вы имеете в виду, что метод RequestResource вернули ресурсы, которые уже были приобретены, но не выпустили, есть только три возможные причины, по которым я могу думать:

1. Очереди содержат дублирующиеся ресурсы из начало;

2. Потребитель назвал метод Release дважды. В вашем методе Release вы фактически не проверяете, находится ли ресурс уже в очереди; вы можете захотеть изменить этот код, чтобы проверить это и выбросить исключение, которое поможет вам поймать, где дублируются вызовы Release (если это так).

3. Другой код доступа к _resources очереди без lock.

Мое подозрение было бы # 2, если это действительно то, что вы подразумеваете под дубликатами.

Answer 2

В дополнение к ответу Aaronaught в:

Это также выглядит вполне возможно два потока приобрести семафор, то один, чтобы войти в критическую секцию в RequestResource(), а другой блок, а затем первый поток завершения всех его работу и возвращение объекта в очередь с ReleaseResource() перед тем, как второй поток просыпается и имеет возможность деактивировать. Это создаст впечатление двух потоков, получающих один и тот же объект.