HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
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:> |