From cde7939fe13e10d519c569ee0db733cf47f85094 Mon Sep 17 00:00:00 2001 From: Vivek Saini Date: Thu, 14 Apr 2022 17:21:50 +0000 Subject: [PATCH] Defensive asserts for RWLock --- src/readwritelock.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/readwritelock.h b/src/readwritelock.h index a7318a29f..9efed8da4 100644 --- a/src/readwritelock.h +++ b/src/readwritelock.h @@ -65,6 +65,7 @@ public: void releaseRead() { std::unique_lock rm(m_readLock); m_readCount--; + serverAssert(m_readCount >= 0); m_cv.notify_all(); } @@ -74,6 +75,7 @@ public: if (exclusive) m_writeLock.unlock(); m_writeCount--; + serverAssert(m_writeCount >= 0); m_cv.notify_all(); }