While looking in to Trac #14310 I noticed that invariants are not unlocked if a we fail to commit a transaction. I suspect this is the correct fix, although it would be good to get some more experienced eyes on this. Unfortunately this doesn't fix the assertion failure noted in Trac #14310.
Diff Detail
Diff Detail
- Repository
- rGHC Glasgow Haskell Compiler
- Branch
- master
- Lint
Lint OK - Unit
No Unit Test Coverage - Build Status
rts/STM.c | ||
---|---|---|
1457–1460 | Disconnecting here is not the right thing to do. I think we just want the unlock_inv. |