[GHC] #8303: defer StackOverflow exceptions (rather than dropping them) when exceptions are masked
#8303: defer StackOverflow exceptions (rather than dropping them) when exceptions are masked ------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- See http://www.reddit.com/r/haskell/comments/1luan1/strange_io_sequence_behaviou... for a very simple program (`main'`) that accidentally evades the stack size limit, running to completion even though it has allocated hundreds of megabytes of stack chunks, and [http://www.reddit.com/r/haskell/comments/1luan1/strange_io_sequence_behaviou... my comment] for an explanation of this behavior. ryani suggested that when a thread exceeds its stack limit but it is currently blocking exceptions, the RTS shouldn't simply drop the `StackOverflow` exception, but rather deliver it when the `mask` operation completes. That sounds sensible to me and it would give a nice guarantee that when any individual `mask` operation uses a small amount of stack, the stack size limit is approximately enforced. (I know that the default stack size limit may go away or essentially go away, but it can still be nice when developing to use a small stack size limit, so that one's system isn't run into the ground by infinite recursion quickly gobbling up tons of memory.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8303 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8303: defer StackOverflow exceptions (rather than dropping them) when exceptions are masked -------------------------------+------------------------------------------- Reporter: rwbarton | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 7.7 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by ezyang): * cc: simonmar (added) * difficulty: Unknown => Easy (less than 1 hour) * version: 7.6.3 => 7.7 * owner: => ezyang Comment: Posted an untested patch I am validating. It is a little bit of a hack, but not very much. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8303#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8303: defer StackOverflow exceptions (rather than dropping them) when exceptions are masked -------------------------------+------------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Runtime | Version: 7.7 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by simonmar): * owner: ezyang => * priority: normal => high * status: patch => new * milestone: => 7.8.1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8303#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8303: defer StackOverflow exceptions (rather than dropping them) when exceptions are masked -------------------------------+------------------------------------------- Reporter: rwbarton | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Runtime | Version: 7.7 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by simonmar): * owner: => thoughtpolice -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8303#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8303: defer StackOverflow exceptions (rather than dropping them) when exceptions are masked -------------------------------+------------------------------------------- Reporter: rwbarton | Owner: thoughtpolice Type: bug | Status: new Priority: low | Milestone: 7.8.3 Component: Runtime | Version: 7.7 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by thoughtpolice): * priority: high => low -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8303#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8303: defer StackOverflow exceptions (rather than dropping them) when exceptions are masked -------------------------------+------------------------------------------- Reporter: rwbarton | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: 7.8.3 Component: Runtime | Version: 7.7 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by thoughtpolice): * priority: low => high -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8303#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8303: defer StackOverflow exceptions (rather than dropping them) when exceptions are masked -------------------------------+------------------------------------------- Reporter: rwbarton | Owner: thoughtpolice Type: bug | Status: new Priority: low | Milestone: 7.8.3 Component: Runtime | Version: 7.7 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by thoughtpolice): * priority: high => low Comment: This is merged, the testsuite needs investigation, but I believe this should be fine with MSYS. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8303#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC