Increased memory usage with GHC 7.10.1

[Andrés Sicard-Ramírez]

In a 64-bit machine with Ubuntu 12.04 and 4 GB of RAM, I can compile
Agda using GHC 7.10.1 without problems. Agda's compilation time
increased ~26% with respect to GHC 7.8.4.


On 2 April 2015 at 07:19, 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



-- 
Andrés