[GHC] #10228: Increased memory usage with GHC 7.10.1

GHC ghc-devs at haskell.org
Thu Apr 2 13:44:48 UTC 2015


#10228: Increased memory usage with GHC 7.10.1
-------------------------------------+-------------------------------------
              Reporter:  jstolarek   |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.10.1
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  Compile-time
  Unknown/Multiple                   |  performance bug
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------
 (Repost from ghc-devs)

 I just uprgaded both of my machines to use GHC 7.10.1. I keep sandboxed
 installations of GHC and this means I had to rebuild Agda and Idris
 because the binaries built with GHC 7.8.4 were stored inside deactivated
 7.8.4 sandbox. Sadly, I had problems building both Agda and Idris due to
 GHC taking up all of available memory.

 With Idris the problematic module was Idris.ElabTerm (~2900LOC). The
 interesting part of the story is that when I do a clean build of Idris GHC
 consumes all of memory when compiling that module and I have to kill the
 build. But when I restart the build after killing GHC the module is
 compiled using a reasonable amount of memory and within reasonable time.

 With Agda the problematic module is Agda.TypeChecking.Serialise
 (~2000LOC). The trick with killing the build and restarting it didn't work
 in this case. I had to compile Agda with GHC 7.8.4 (which works without
 problems though the mentioned module still requires a lot of memory) and
 alter my setup so that Agda binary is not stored inside GHC sandbox.

 I wonder if any of you came across similar issues with GHC 7.10.1? Do we
 have any performance data that allows to compare memory usage and
 performance of GHC 7.10.1 with previous stable releases?

 All of the above happened on 64bit Debian Wheezy with 2GB of RAM.

 On my second machine, this time with 4GB of RAM, compiling Agda ran out of
 memory (again Agda.TypeChecking.Serialise module) and I had to kill the
 build. But once I restarted the build the module was compiled succesfully
 in a matter of minutes and using around 50% of memory.

 This looks like some kind of memory leak in GHC.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10228>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list