#3160: No exception safety in Control.Concurrent.QSem QSemN and SampleVar
---------------------------------+------------------------------------------
Reporter: ChrisKuklewicz | Owner: simonmar
Type: bug | Status: patch
Priority: normal | Milestone: 7.6.1
Component: libraries/base | Version: 7.0.2
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Incorrect result at runtime
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by ChrisKuklewicz):
Ok, I see the difficulty. There are now two things I should do. One is
that I should create a STM-based semaphore implementation. The second is
that I should make a much clearer version of the MVar based code.
As for the current code, it would be a good thing to add a note to the
documentation that the semaphore invariants can be broken when threads are
killed.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3160#comment:16>
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
