[GHC] #9579: Runtime suggests using +RTS when that's not possible
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: simonmar Type: bug | Status: new Priority: low | Milestone: Component: Runtime System | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: hour) | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I just ran into a stack overflow in an application, and GHC told me: Stack space overflow: current size 8388608 bytes. Use `+RTS -Ksize -RTS' to increase it. I tried to specify +RTS and got an error saying "Most RTS options are disabled. Link with -rtsopts to enable them." The runtime should not suggest using +RTS when that is not possible. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: simonmar Type: bug | Status: new Priority: low | Milestone: Component: Runtime | Version: 7.9 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 Unknown/Multiple | hour) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by rwbarton): But then how would anyone learn how to increase the stack limit? (Also, isn't the default stack limit set to be most of your RAM already in 7.8? Are you really using ghc 7.9?) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: simonmar Type: bug | Status: new Priority: low | Milestone: Component: Runtime | Version: 7.9 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 Unknown/Multiple | hour) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by dfeuer): It sounds like what you'd really like is an extended error message when RTS options are not enabled. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: simonmar Type: bug | Status: new Priority: low | Milestone: Component: Runtime | Version: 7.9 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 Unknown/Multiple | hour) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by rwbarton): Actually I see one case where not suggesting using +RTS makes sense: when the user has installed a Haskell application like pandoc through their package manager, if it wasn't built with -rtsopts, the suggestion to link with -rtsopts will be rather unhelpful. I suppose we could add an option -no-rtsopts-suggestions and encourage people distributing binaries to build with either -rtsopts or -no-rtsopts- suggestions... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: simonmar Type: bug | Status: new Priority: low | Milestone: Component: Runtime | Version: 7.9 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 Unknown/Multiple | hour) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by gintas): Indeed I was running a precompiled binary that ran out of stack space and gave me this message. Simply rephrasing as "Relink with -rtsopts and use +RTS -Ksize -RTS" would already be nicer. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: simonmar Type: bug | Status: new Priority: low | Milestone: Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * keywords: => newcomer -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * owner: simonmar => * milestone: => 7.12.1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by javran): I'm newcomer and thinking about working on this ticket. I investigated a little bit, there are currently 3 places where a RTS suggestion appears: * in `StackOverflowHook` of `rts/hooks/StackOverflow.c`: {{{ fprintf(stderr, "Stack space overflow: current size %" FMT_Word " bytes.\nUse `+RTS -Ksize -RTS' to increase it.\n", stack_size); }}} * in `OutOfHeapHook` of `rts/hooks/OutOfHeap.c` {{{ if (heap_size > 0) { errorBelch("Heap exhausted;\nCurrent maximum heap size is %" FMT_Word " bytes (%" FMT_Word " MB);\nuse `+RTS -M<size>' to increase it.", heap_size, heap_size / (1024*1024)); } else { errorBelch("out of memory"); } }}} * in `nextEra` of `rts/ProfHeap.c`: {{{ if (era == max_era) { errorBelch("maximum number of censuses reached; use +RTS -i to reduce"); stg_exit(EXIT_FAILURE); } }}} And the error message saying `"Most RTS options are disabled."` comes from `rts/RtsFlags.c`. It seems that we need to know the value of `RtsOptsEnabledEnum enabled` to tell whether RTS options are available, but this value is only passed around `setupRtsFlags` and `procRtsOpts` during command line parsing. Is there some way to check the availability of RTS options for 3 places I mentioned above? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Couldn't you store `RtsOptsEnabledEnum` in the `RtsFlags` struct? See `includes/rts/Flags.h`, initialization in `rts/RtsFlags.c`. Then use it those 3 places. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: javran Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by javran): * owner: => javran -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: javran Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D767 -------------------------------------+------------------------------------- Changes (by thomie): * differential: => Phab:D767 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: javran Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D767 -------------------------------------+------------------------------------- Comment (by javran): almost done patching up GHC for better suggestions. What about adding options like -no-rtsopts-suggestions? I don't see much discussion here. I think The bug described in OP will be solved with the current patch and we should open another ticket for adding new options. @rwbarton would you mind opening another ticket and give more details about the option you've proposed? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible
-------------------------------------+-------------------------------------
Reporter: gintas | Owner: javran
Type: bug | Status: new
Priority: low | Milestone: 7.12.1
Component: Runtime System | Version: 7.9
Resolution: | Keywords: newcomer
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions: Phab:D767
-------------------------------------+-------------------------------------
Comment (by Erik de Castro Lopo
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: javran Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D767 -------------------------------------+------------------------------------- Comment (by bherzog): The test-cases are a bit too fragile. All three of the `T9579_stackoverflow_*` tests fail for me because of differences in the reported stack size: {{{ @@ -1,2 +1,2 @@ -Stack space overflow: current size 99136 bytes. +Stack space overflow: current size 99208 bytes. }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible
-------------------------------------+-------------------------------------
Reporter: gintas | Owner: javran
Type: bug | Status: new
Priority: low | Milestone: 7.12.1
Component: Runtime System | Version: 7.9
Resolution: | Keywords: newcomer
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions: Phab:D767
-------------------------------------+-------------------------------------
Comment (by Austin Seipp
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: javran Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D767 -------------------------------------+------------------------------------- Comment (by javran): Replying to [comment:13 bherzog]:
The test-cases are a bit too fragile. All three of the `T9579_stackoverflow_*` tests fail for me because of differences in the reported stack size:
{{{ @@ -1,2 +1,2 @@ -Stack space overflow: current size 99136 bytes. +Stack space overflow: current size 99208 bytes. }}}
I'll try to fix this, what I have in mind is to pipe stderr to replace the actual number with a constant string, as the actual number is not important for testing this. Any ideas? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible
-------------------------------------+-------------------------------------
Reporter: gintas | Owner: javran
Type: bug | Status: new
Priority: low | Milestone: 7.12.1
Component: Runtime System | Version: 7.9
Resolution: | Keywords: newcomer
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions: Phab:D767
-------------------------------------+-------------------------------------
Comment (by Erik de Castro Lopo
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: javran Type: bug | Status: closed Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: fixed | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D767 -------------------------------------+------------------------------------- Changes (by javran): * status: new => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:17 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: javran Type: bug | Status: closed Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: fixed | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D767 -------------------------------------+------------------------------------- Comment (by javran): Things mentioned here are all done so I mark this ticket as closed. :) Feel free to open if there are still questions. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Runtime System | Version: 7.9 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D767 -------------------------------------+------------------------------------- Changes (by goldfire): * owner: javran => * status: closed => new * resolution: fixed => Comment: The T9579 tests are all failing during validation on my Mac. For example: {{{ Actual stdout output differs from expected: --- ./T9579_outofheap_rtsall.stdout.normalised 2015-06-16 14:06:15.000000000 -0400 +++ ./T9579_outofheap_rtsall.run.stdout.normalised 2015-06-16 14:06:15.000000000 -0400 @@ -1,4 +1,4 @@ T9579_outofheap_rtsall: Heap exhausted; -T9579_outofheap_rtsall: Current maximum heap size is NUM bytes (1 MB). +T9579_outofheap_rtsall: Current maximum heap size is 1048576 bytes (1 MB). T9579_outofheap_rtsall: Use `+RTS -M<size>' to increase it. 251 \ No newline at end of file *** unexpected failure for T9579_outofheap_rtsall(normal) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9579: Runtime suggests using +RTS when that's not possible -------------------------------------+------------------------------------- Reporter: gintas | Owner: Type: bug | Status: closed Priority: low | Milestone: 8.0.1 Component: Runtime System | Version: 7.9 Resolution: fixed | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D767 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed Comment: goldfire, the issue that you are observing actually appears to be a difference in `sed`'s behavior on OS X. The number in the error message is supposed to be replaced by `NUM` with `sed -e 's/[0-9]* bytes/NUM bytes/g'`. Perhaps someone with access to an OS X box could shed some light on this. I'm going close this in favor of #11093. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9579#comment:21 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC