#1047: Increase gurantees of semantics of block/unblock/throwTo
----------------------------+-----------------------------------------------
Reporter: ChrisKuklewicz | Owner: simonmar
Type: task | Status: new
Priority: normal | Milestone:
Component: Runtime System | Version: 6.6
Severity: normal | Resolution:
Keywords: concurrency | Difficulty: Unknown
Testcase: | Architecture: Multiple
Os: Multiple |
----------------------------+-----------------------------------------------
Changes (by simonmar):
* owner: => simonmar
Comment:
As far as I can tell, the semantics in the paper don't have the guarantee
that you're looking for either: there's no requirement that the Receive
rule in the semantics '''must''' fire if an exception is waiting. Also,
the paper is based on an asynchronous version of `throwTo`, so things are
quite different in various ways.
I think you're reading a different version of the paper though, in the
version on my web page here
[http://www.haskell.org/~simonmar/papers/async.pdf], section 7.2 is called
"Symmetric process abstractions" and doens't seem to talk about this.
Still, I'm going to make the improvement suggested, since it's a good idea
and easy to do (I just noticed how easy).
--
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
