Tri-color Abstraction Initially, every node is white; when a node is first encountered during tracing, it is shaded grey; when it has been scanned and its children identified, it is colored black Bitmap Marking Links Java GC OCaml GC Concurrent GC Mark Swap GC