
<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>I have run out of memory before when compiling on small machines using GHC 7.8, where small machines have 4GB RAM, no swap, say small Dual Core Atom, almost embedded design. That forced me to compile on a laptop and mount file systems to run it. But since Ubuntu runs well on a NUC, it is nice to be able to run the compiler on it, even if a bit slow.</div><div><br></div><br><div><div>On Apr 2, 2015, at 9:08 AM, George Colpitts <<a href="mailto:george.colpitts@gmail.com">george.colpitts@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div dir="ltr"><div class="gmail_default" style="font-family: 'times new roman', serif; font-size: large;">I'm curious why the amount of RAM is relevant as all of our OS have virtual memory so it is only the size of the heap and the amount of swap that should be relevant for an Out Of Memory error, right? How big is your heap? Amount of RAM should only affect speed (i.e. if there is excessive paging) but should not affect Out Of Memory right?<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Apr 2, 2015 at 9:47 AM, Jan Stolarek<span class="Apple-converted-space"> </span><span dir="ltr"><<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>></span><span class="Apple-converted-space"> </span>wrote:<br><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex;">I will. But I was curious whether this is only me or is anyone else seeing similar behaviour. And<br>what about performance comparisson between 7.8.4 and 7.10.1? Do we have any numbers?<br><br>Janek<br><div class="HOEnZb"><div class="h5"><br>Dnia czwartek, 2 kwietnia 2015, Richard Eisenberg napisał:<br>> Post a bug report! :)<br>><br>> On Apr 2, 2015, at 8:19 AM, Jan Stolarek <<a href="mailto:jan.stolarek@p.lodz.pl">jan.stolarek@p.lodz.pl</a>> wrote:<br>> > An update frrom my second machine, this time with 4GB of RAM. Compiling<br>> > Agda ran out of memory (again Agda.TypeChecking.Serialise module) and I<br>> > had to kill the build. But once I restarted the build the module was<br>> > compiled succesfully in a matter of minutes and using around 50% of<br>> > memory. This looks like some kind of memory leak in GHC.<br>> ><br>> > Janek<br>> ><br>> > Dnia środa, 1 kwietnia 2015, Jan Stolarek napisał:<br>> >> Forall hi,<br>> >><br>> >> I just uprgaded both of my machines to use GHC 7.10.1. I keep sandboxed<br>> >> installations of GHC and this means I had to rebuild Agda and Idris<br>> >> because the binaries built with GHC 7.8.4 were stored inside deactivated<br>> >> 7.8.4 sandbox. Sadly, I had problems building both Agda and Idris due to<br>> >> GHC taking up all of available memory.<br>> >><br>> >> With Idris the problematic module was Idris.ElabTerm (~2900LOC). The<br>> >> interesting part of the story is that when I do a clean build of Idris<br>> >> GHC consumes all of memory when compiling that module and I have to kill<br>> >> the build. But when I restart the build after killing GHC the module is<br>> >> compiled using a reasonable amount of memory and within reasonable time.<br>> >><br>> >> With Agda the problematic module is Agda.TypeChecking.Serialise<br>> >> (~2000LOC). The trick with killing the build and restarting it didn't<br>> >> work in this case. I had to compile Agda with GHC 7.8.4 (which works<br>> >> without problems though the mentioned module still requires a lot of<br>> >> memory) and alter my setup so that Agda binary is not stored inside GHC<br>> >> sandbox.<br>> >><br>> >> I wonder if any of you came across similar issues with GHC 7.10.1? Do we<br>> >> have any performance data that allows to compare memory usage and<br>> >> performance of GHC 7.10.1 with previous stable releases?<br>> >><br>> >> All of the above happened on 64bit Debian Wheezy with 2GB of RAM.<br>> >><br>> >> Janek<br>> >><br>> >> ---<br>> >> Politechnika Łódzka<br>> >> Lodz University of Technology<br>> >><br>> >> Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.<br>> >> Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez<br>> >> pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.<br>> >><br>> >> This email contains information intended solely for the use of the<br>> >> individual to whom it is addressed. If you are not the intended<br>> >> recipient or if you have received this message in error, please notify<br>> >> the sender and delete it from your system.<br>> >> _______________________________________________<br>> >> Glasgow-haskell-users mailing list<br>> >><span class="Apple-converted-space"> </span><a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>> >><span class="Apple-converted-space"> </span><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>> ><br>> > ---<br>> > Politechnika Łódzka<br>> > Lodz University of Technology<br>> ><br>> > Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.<br>> > Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez<br>> > pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.<br>> ><br>> > This email contains information intended solely for the use of the<br>> > individual to whom it is addressed. If you are not the intended recipient<br>> > or if you have received this message in error, please notify the sender<br>> > and delete it from your system.<br>> > _______________________________________________<br>> > Glasgow-haskell-users mailing list<br>> ><span class="Apple-converted-space"> </span><a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>> ><span class="Apple-converted-space"> </span><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br><br><br><br>---<br>Politechnika Łódzka<br>Lodz University of Technology<br><br>Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.<br>Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę<br>prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.<br><br>This email contains information intended solely for the use of the individual to whom it is addressed.<br>If you are not the intended recipient or if you have received this message in error,<br>please notify the sender and delete it from your system.<br>_______________________________________________<br></div></div><div class="HOEnZb"><div class="h5">ghc-devs mailing list<br><a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br></div></div></blockquote></div><br></div>_______________________________________________<br>Glasgow-haskell-users mailing list<br><a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a></div></blockquote></div><br></body></html>