Open pepeiborra opened 3 years ago
I believe that RLock needs uninterruptible masking around the outer MVar. Otherwise, since takeMVar is interruptible, it may happen that release gets interrupted after taking the outer lock but before the inner lock is released.
RLock
MVar
takeMVar
release
released
I believe that
RLock
needs uninterruptible masking around the outerMVar
. Otherwise, sincetakeMVar
is interruptible, it may happen thatrelease
gets interrupted after taking the outer lock but before the inner lock isreleased
.