concurrent-extra icon indicating copy to clipboard operation
concurrent-extra copied to clipboard

RLock and asynchronous exceptions

Open pepeiborra opened this issue 4 years ago • 0 comments

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.

pepeiborra avatar Mar 14 '21 07:03 pepeiborra