6

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

这个类使用一个苗条的读/写锁（WinAPI's 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全局设置为 3。

在我看来，发生这种情况的唯一方法是CReadLock实例的析构函数没有被以某种方式调用，所以锁永远卡住了。但是，发生这种情况的唯一方法（据我所知）是因为抛出了异常。不是。我检查了。

可能是什么问题？我应该如何解决（或至少找出原因）这件事？

4

2 回答 2

9

您是否以递归方式使用读取锁？

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，这很可能表明您在其中一个锁中有递归 - 即一个线程试图获得两次读锁。

于 2012-10-25T08:26:56.150 回答
3 
one thread stuck in AcquireSRWLockExclusive();
two threads stuck in AcquireSRWLockShared();
readCounter global is set to 3.

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

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

于 2012-10-25T08:37:11.930 回答