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);
    ...
}

如果同时调用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很可能表明你在其中一个锁中有一个递归 - 即一个线程试图获得两次读锁定。

Answer 2

one thread stuck in AcquireSRWLockExclusive();
two threads stuck in AcquireSRWLockShared();
readCounter global is set to 3.

好吧，据我所知，你有一个线程当前持有读锁，一个写线程等待释放读锁，两个读线程等待该写线程获取并释放锁。

换句话说，你有一个悬空的阅读线程，就像你说的那样，没有被破坏。将调试打印添加到析构函数和构造函数。

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

2 个答案: