#1047: Increase gurantees of semantics of block/unblock/throwTo
-------------------------------+--------------------------------------------
Reporter: ChrisKuklewicz | Owner:
Type: task | Status: new
Priority: normal | Milestone:
Component: Runtime System | Version: 6.6
Severity: normal | Keywords: concurrency
Difficulty: Unknown | Testcase:
Architecture: Multiple | Os: Multiple
-------------------------------+--------------------------------------------
Ensure threads that stopped on a throwTo because the target thread was in
a 'block' state succeed at the next 'block'->'unblock' transition.
Currently these stopped threads may never succeed making throwTo a
possibly permanent hang.
The original paper, section 7.2, required the desired behavior.
More elaboration at http://haskell.org/haskellwiki/GHC/Concurrency/Flaws
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1047>
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
