[GHC] #8436: Stack overflow when masked should still throw at interruptible operations or inner unmask

[GHC]

#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