11 Feb
2010
11 Feb
'10
4:55 p.m.
On Thu, Feb 11, 2010 at 1:49 PM, John Van Enk
Perhaps just defining the interface and demonstrating that different RTS's are swappable would be enough?
I read a paper by (I think) a Simon, in which he described a haskell RTS. It would make it easier to experiment with GC, scheduling, and whatever else. I recall a few problems, such as performance, but nothing really intractable. Swappable RTS would be a nice side-effect. Unfortunately I don't remember the title of the paper. Maybe it had to do with the whole GMP thing? It might be big for SoC but perhaps there's some well-defined subset, like fix some blocking issue?