This repository was archived by the owner on Oct 7, 2020. It is now read-only.
This repository was archived by the owner on Oct 7, 2020. It is now read-only.
Have a watchdog restarting hie on high memory usage #806
Open
Description
A common complaint about hie is its unbounded memory consumption. This can be due to many different factors, but probably mostly to the famously known memory leak in GHCi, which has mostly been solved in the upcoming GHC 8.6.
For many the road to using 8.6 is far away in the future, so we should mitigate the issue with some other measures. One strategy can be having a separate thread in hie checking on the memory usage and making the server restart when it exceed a certain threshold.
Before restart, hie can send a window/ShowMessage
explaining what it is doing.