Re: [GHC] #7428: Occurrence analyzer out of memory
#7428: Occurrence analyzer out of memory -+-- Reporter: nudded | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler|Version: 7.4.2 Resolution: invalid | Keywords: Os: MacOS X | Architecture: x86_64 (amd64) Failure: Compile-time crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: -+-- Changes (by nudded): * status: new = closed * resolution: = invalid Comment: Since after more analysis this doesn't seem to be related to the occurrence analyzer I'm closing this as invalid. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7428#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #7428: Occurrence analyzer out of memory
#7428: Occurrence analyzer out of memory -+-- Reporter: nudded| Owner: Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.4.2 | Keywords: Os: MacOS X | Architecture: x86_64 (amd64) Failure: Compile-time performance bug | Blockedby: Blocking:|Related: -+-- When compiling the attached code with -O2 GHC runs out of memory. Experimenting with different monad stacks shows exponential memory usage. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7428 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7428: Occurrence analyzer out of memory
#7428: Occurrence analyzer out of memory ---+ Reporter: nudded | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.4.2 | Keywords: Os: MacOS X | Architecture: x86_64 (amd64) Failure: Compile-time crash | Blockedby: Blocking: |Related: ---+ Changes (by nudded): * failure: Compile-time performance bug = Compile-time crash -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7428#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7428: Occurrence analyzer out of memory
#7428: Occurrence analyzer out of memory ---+ Reporter: nudded | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler| Version: 7.4.2 Keywords: | Os: MacOS X Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown |Testcase: Blockedby: |Blocking: Related: | ---+ Changes (by simonpj): * difficulty: = Unknown Comment: Thank you. We know there's a performance bug in the occurrence analyser (see #7258), but it's very helpful to have a small case that tickles it. Two questions * How do you know it's the occurrence analyser at fault? * Can you be specific about the changes you made to the test program that showed you the memory behaviour was exponential (ugh). Thanks Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7428#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7428: Occurrence analyzer out of memory
#7428: Occurrence analyzer out of memory ---+ Reporter: nudded | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler| Version: 7.4.2 Keywords: | Os: MacOS X Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown |Testcase: Blockedby: |Blocking: Related: | ---+ Comment(by nudded): I used several debug flags. The output of dump-occur-anal seems to increase in size when adjusting the size of the LargeState transformer stack. So, in the attached code LargeState consists of 10 StateT transformers. When compiling with 7 it will still work. When compiling with 8 it will try to allocate 4 gigs of memory. Those are some of the observations I ran into when trying to figure out what is going on. Sidenote: when compiling without optimisation there is no problem at all. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7428#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7428: Occurrence analyzer out of memory
#7428: Occurrence analyzer out of memory ---+ Reporter: nudded | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler| Version: 7.4.2 Keywords: | Os: MacOS X Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown |Testcase: Blockedby: |Blocking: Related: | ---+ Comment(by nudded): I added 2 files with stack size 1 and stack size 2. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7428#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7428: Occurrence analyzer out of memory
#7428: Occurrence analyzer out of memory ---+ Reporter: nudded | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler| Version: 7.4.2 Keywords: | Os: MacOS X Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown |Testcase: Blockedby: |Blocking: Related: | ---+ Comment(by nudded): Profiling output when compiling with 7 StateT transformers. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7428#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
