How does tricolor garbage collection work?

Golang’s garbage collector uses a “tricolor” algorithm. This means it divides the heap objects into three sets: black, white, and grey. Initially, all objects are white, and as the algorithm proceeds, objects are moved into the grey and then black sets, in such a way that eventually the orphaned (collectible) objects are left in the white set, which is then cleared. An important property of this algorithm is that it can run concurrently with the “mutator” (program).

The meaning of the three sets is this:

The important invariant is the “tricolor” invariant: no pointers go directly from the black set to the white set. It is this invariant which lets us eventually clear the white set.

Tagged #golang, #garbage-collection, #tricolor-algorithm, #computer-science, #concurrency, #programming.

Similar posts

More by Jim

👋 I'm Jim, a full-stack product engineer. Want to build an amazing product and a profitable business? Read more about me or Get in touch!

This page copyright James Fisher 2016. Content is not associated with my employer. Found an error? Edit this page.