#3160: No exception safety in Control.Concurrent.QSem QSemN and SampleVar
---------------------------------+------------------------------------------
Reporter: ChrisKuklewicz | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.2.1
Component: libraries/base | Version: 7.0.2
Keywords: | Testcase:
Blockedby: | Difficulty: Unknown
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Incorrect result at runtime
---------------------------------+------------------------------------------
Changes (by ChrisKuklewicz):
* failure: None/Unknown => Incorrect result at runtime
Comment:
I have updated SafeSemaphore to version 0.5.0 which includes a new
MSampleVar module. This fixes the problem in SampleVar where any thread
that dies while waiting to read the SampleVar leaves the SampleVar in a
broken state. In this broken state a future writeSampleVar can block
indefinitely trying to replace the current value.
The TestKillSem.hs in SafeSemaphore has been updated to also demonstrate
that MSampleVar fixes this bug in SampleVar.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3160#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
