2009/08/07 Malcolm Wallace
There have been several papers on real-time GC in Haskell (including one of my own). There is no technical problem, only performance worries. This is what I think Simon means by "unlikely to be practical".
So I guess there is no "right answer" here -- a realistic solution would offer two GC options, maybe set by an option to the RTS or on a per-thread level. I guess your work was specifically on garbage collection of functional languages in embedded systems? An incremental garbage collector for embedded real-time systems ftp://ftp.cs.york.ac.uk/pub/malcolm/rtgc.html Also there is the "Non-stop Haskell" paper. Non-stop Haskell http://research.microsoft.com/en-us/um/people/simonpj/Papers/inc-gc.htm Both of these papers are from some time ago; the most recent thing I can find is: Exploring the Barrier to Entry - Incremental Generational Garbage Collection for Haskell -- Jason Dusek