List of Tables

1.1

Modern languages and garbage collection

11.1

An example of pointer tag encoding

11.2

Tag encoding for the SPARC architecture

11.3

The crossing map encoding of Garthwaite et al

13.1

Memory consistency models and possible reorderings

14.1

State transition logic for the Imai and Tick collector

14.2

State transition logic for the Siegwart and Hirzel collector

16.1

Lamport mark colours

16.2

Phases in the Doligez and Gonthier collector