| 1 | GarbageCollection |
| 2 | ================= |
| 3 | |
| 4 | For a good introduction and overview to garbage collection, see |
| 5 | <!Cite(Jones99)>. |
| 6 | |
| 7 | MLton's garbage collector uses copying, mark-compact, and generational |
| 8 | collection, automatically switching between them at run time based on |
| 9 | the amount of live data relative to the amount of RAM. The runtime |
| 10 | system tries to keep the heap within RAM if at all possible. |
| 11 | |
| 12 | MLton's copying collector is a simple, two-space, breadth-first, |
| 13 | Cheney-style collector. The design for the generational and |
| 14 | mark-compact GC is based on <!Cite(Sansom91)>. |
| 15 | |
| 16 | == Design notes == |
| 17 | |
| 18 | * http://www.mlton.org/pipermail/mlton/2002-May/012420.html |
| 19 | + |
| 20 | object layout and header word design |
| 21 | |
| 22 | == Also see == |
| 23 | |
| 24 | * <:Regions:> |