incinerator 0.0.1

A concurrent garbage incinerator
Documentation

An exact, tracing, non-moving, unobtrusive concurrent garbage collector.

This library is an implementation of the Ueno-Ohori concurrent garbage collector, as described in the ICFP'16 paper by aforementioned.

It itself is an adaptation of a previous non-copying garbage collector of theirs to a concurrent setting.

Using

TODO: how to allocate + use objects. TODO: details of how to become traced. TODO: details on how to enter/exit GC contexts in each thread.

Internals and overhead

TODO: describe the internal data structures TODO: heap overhead, asymptotically and in practice.