什么可能导致单个写/多读锁的死锁？

Question

我有一个类实例,其他线程中的其他几个类使用它来进行通信.

这个类使用一个超薄的读/写锁(WinAPI SRWLOCK)作为同步对象和几个RAII帮助程序类来实际锁定/解锁事物:

static unsigned int readCounter = 0;

class CReadLock
{
public:
    CReadLock(SRWLOCK& Lock) : m_Lock(Lock) { InterlockedIncrement(&readCounter); AcquireSRWLockShared(&m_Lock);  }
    ~CReadLock() {ReleaseSRWLockShared(m_Lock); InterlockedDecrement(&readCounter);}

private:
    SRWLOCK& m_Lock;
};

class CWriteLock
{
public:
    CWriteLock(SRWLOCK& Lock) : m_Lock(Lock) { AcquireSRWLockExclusive(&m_Lock); }
    ~CWriteLock() { ReleaseSRWLockExclusive(&m_Lock); }

private:
    SRWLOCK& m_Lock;
};

问题是整个事情总是陷入僵局.当我暂停僵局程序时,我看到:

• 一条线插入AcquireSRWLockExclusive();
• 两根线卡在里面AcquireSRWLockShared();
• readCounter global设置为3.

我看到它的方式,发生这种情况的唯一方法是CReadLock实例的析构函数没有被某种方式调用,因此锁永远被卡住了.但是,这种情况发生的唯一方法(据我所知)是因为抛出了异常.事实并非如此.我检查了.

可能是什么问题？我应该如何解决这个问题(或者至少找出原因)呢？

Answer 1

你是否以递归方式使用Read lock？

void foo()
{
    CReadLock rl(m_lock);
    ...
    bar();
}
void bar()
{
    CReadLock rl(m_lock);
    ...
}
void baz()
{
    CWritedLock rl(m_lock);
    ...
}

if foo()和baz()同时调用你可能会陷入僵局:

1. (Thread A) foo locks
2. (Thread B) baz asks to create write lock now all read locks would block until all are released - waits.
3. (Thread A) bar tries to lock and waits because there is pending write lock

你有2个线程卡在读锁和读锁计数器上的事实是3,这很可能表明你在其中一个锁中有一个递归 - 即一个线程试图获得两次读锁.