The GC is designed to be flexible, supporting lots of ways to tune its behaviour. Here's an overview of the techniques we use:
Generational GC, with a runtime-selectable number of generations (+RTS -G<n> -RTS, where n >= 1). Currently it is a
traditional generational collector where each collection collects a particular generation and all younger generations.
Generalizing this such that any subset of generations can be collected is a possible future extension.
The heap grows on demand. This is straightforwardly implemented by basing the whole storage manager on a block allocator.
The heap collection policy is runtime-tunable. You select how large a generation gets before it is collected using the +RTS -F<n> -RTS option, where <n> is a factor of the generation's size the last time it was collected. The default value is 2, that is a generation is allowed to double in size before being collected.
Generations are kept in the array generations, indexed by the generation number.
A nursery is a list of blocks into which the mutator allocates new (small) objects. For reasons of locality, we want to re-use the list of blocks for the nursery after each GC, so we keep the nursery blocks rather than freeing and re-allocating a new nursery after GC.
The struct nursery contains only two fields
the list of blocks in this nursery
the number of blocks in the above list
In the threaded RTS, there is one nursery per Capability, as each Capability allocates independently into its own allocation area. Nurseries are therefore stored in an array nurseries, indexed by Capability number.
The blocks of the nursery notionally logically to generation 0, although they are not kept on the list generations.blocks. The reason is that we want to keep the actual nursery blocks separate from any blocks containing live data in generation 0. Generation 0 may contain live data for two reasons:
objects live in the nursery are not promoted to generation 1 immediately, instead they are aged, first being copied to generation 0, and then being promoted to generation 1 in the next GC cycle if they are still alive.
If there is only one generation (generation 0), then live objects in generation 0 are retained in generation 0 after a GC.