Increased memory usage with GHC 7.10.1

Richard Eisenberg eir at cis.upenn.edu
Thu Apr 2 12:29:55 UTC 2015


Post a bug report! :)

On Apr 2, 2015, at 8:19 AM, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:

> An update frrom 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.
> 
> Janek
> 
> Dnia środa, 1 kwietnia 2015, Jan Stolarek napisał:
>> Forall hi,
>> 
>> 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.
>> 
>> Janek
>> 
>> ---
>> Politechnika Łódzka
>> Lodz University of Technology
>> 
>> Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.
>> Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez
>> pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.
>> 
>> This email contains information intended solely for the use of the
>> individual to whom it is addressed. If you are not the intended recipient
>> or if you have received this message in error, please notify the sender and
>> delete it from your system.
>> _______________________________________________
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
> 
> 
> 
> ---
> Politechnika Łódzka
> Lodz University of Technology
> 
> Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.
> Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę
> prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.
> 
> This email contains information intended solely for the use of the individual to whom it is addressed.
> If you are not the intended recipient or if you have received this message in error,
> please notify the sender and delete it from your system.
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
> 



More information about the Glasgow-haskell-users mailing list