On Mon Nov 6 17:42:10 2023 +0000, Yuxuan Shui wrote:
All other solutions I can think of involve changing the design of SRWLOCK.
Or... We can use the lowest bit of `exclusive_waiters` to indicate if lock is exclusively held. This feels really unnatural because we would be storing redundant information. But if you are fine with it...