#8436: Stack overflow when masked should still throw at interruptible operations
or inner unmask
-------------------------------------+-------------------------------------
Reporter: ezyang | Owner: simonmar
Type: bug | Status: new
Priority: low | Milestone:
Component: Runtime System | Version: 7.7
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: Incorrect result
Difficulty: Easy (less than 1 | at runtime
hour) | Test Case:
Blocked By: | Blocking:
Related Tickets: |
-------------------------------------+-------------------------------------
Currently, to deal with #767, stack overflow exceptions are never emitted
when exceptions are masked; e.g. if the thread unmasks and it is back
under the stack limit, it will be as if the thread never stack-overflowed.
However, it seems that we can be a bit more proactive about throwing the
exception, in a way similar to asynchronous exceptions, wherein we add the
stack overflow to the blocked exceptions list and let it be thrown at an
interruptible point or if the exceptions get unmasked.
Patch would be pretty simple, I'd like to check if people think this is a
better idea.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8436>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
