Memory leaks in IDE server mode

[clayrat]

Steps to Reproduce

Load any sufficiently large Idris project (like idris-bi) in the IDE of your choice, reload any large file (like a list of Z proofs) several times and watch the memory consumption.

Expected Behavior

Memory usage stays more or less constant.

Observed Behavior

Memory usage grows rapidly on each reload, eventually crashing or freezing the server after several iterations.

@david-christiansen had a following comment here:

GHC heap profiles seem to show that it's the backing store for
ByteStrings that doesn't get released. These are part of the
implementaiton for Text, which is used in the representation of names.
I've poked at this a few times without luck.

[ahmadsalim]

@clayrat I thought we had fixed that problem.
In any case contributions are welcome again.

[hardliner66]

You don't need to load a large project. I had loaded a small test
file and let it open in the background for a few hours.

Suddenly my computer startet to slow down, so I checked the task manager:

[clayrat]

reactormonk/non-constant-memory#1 describes one way to profile Haskell code

[ahmadsalim]

@clayrat @effectfully Thanks 👍

[ahmadsalim]

@clayrat The main problem I had was that the Idris process was launched by the IDE mode, and I have no idea how to give it the right arguments there.

[jutaro]

Just wanted to say that I try to use Idris with the language-idris package on Atom, and the massive memory leak is a huge problem. I have to stop the idris process every 5 minutes...

[clayrat]

@jutaro The workaround I've settled on for now is to only use the syntax highlighting and check the holes in REPL in the terminal panel. Of course you lose case splits and such :(

[jutaro]

@clayrat I'm not shure which way is more convenient, and alter between both variants. Anyway, I woud like to use Idris for teaching and hope this bug can be fixed soon.

[zenntenn]

I haven't encountered this issue in Atom on my Windows system, nor in Vim on Linux, although I have in Emacs on Linux. I don't know if that helps or not (I also don't have that Linux system anymore).

…

On Thu, Apr 5, 2018, 18:10 Jürgen Nicklisch-Franken, < ***@***.***> wrote: @clayrat <https://github.com/clayrat> I'm not shure which way is more convenient, and alter between both variants. Anyway, I woud like to use Idris for teaching and hope this bug can be fixed soon. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#4145 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ADQlBJ4-LoW6DMiitwR3XLOq0KbRyO3rks5tlpY4gaJpZM4QC8SI> .

[thalerjonathan]

Can confirm this behaviour also with VS Code (1.22.2 with zjhmale Idris Language Plugin) on Fedora 27.

[corazza]

I have this problem with Atom 1.34.0. Manjaro Linux, Idris 1.3.1, language-idris 0.5.0