[MLton] Porting MLton... C99?

Matthew Fluet fluet@cs.cornell.edu
Fri, 10 Dec 2004 08:29:46 -0500 (EST)

> PS. Are there any (short) papers I could read about the type of GC MLton
> implements? It would help if I understood how the code I was modifying
> worked 'in the large'.

There are no papers written up that are specific to the MLton GC.  If you
have access to a reasonably complete Computer Science library, I recommend
browsing through:
  _Garbage Colletion: Algorithms for Automatic Memory Managment_
  by Richard Jones
It is a good intro and overview.

The GC was originally a simple stop-and-copy collector, and that remains
the workhorse of the collector Within the last couple of years, Stephen
extended it to support mark-compact and a simple two generation scheme,
which generally only get invoked when the ratio of live data to physical
memory gets high.