From 05bfd007f304e63a0829627390850615e3aeaa5c 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(); }