我有一个类实例,其他线程中的其他几个类使用它来进行通信.
这个类使用一个纤薄的读/写锁(WinAPI的SRWLOCK)作为同步对象和几个RAII辅助类来实际锁定/解锁该东西：
@H_301_4@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();
> AdquireSRWLockShared()中存在两个线程;
> readCounter global设置为3.
我看到它的方式,发生这种情况的唯一方法是CReadLock实例的析构函数在某处某处未被调用,因此锁永远被卡住了.但是,这种情况发生的唯一方法(据我所知)是因为抛出了异常.事实并非如此.我检查了.
可能是什么问题？我应该如何解决这个问题(或者至少找出原因)呢？
解决方法
你是否以递归方式使用Read lock？
@H_301_4@void foo()
{
CReadLock rl(m_lock);
...
bar();
}
void bar()
{
CReadLock rl(m_lock);
...
}
void baz()
{
CWritedLock rl(m_lock);
...
}
如果同时调用foo()和baz(),你可能会遇到死锁：
@H_301_4@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,这很可能表明你在其中一个锁中有一个递归 – 即一个线程试图获得两次读锁定.
