And has a different tradeoff, due to atomic operations being needed for objects shared between threads (and of course, circular references).

But no matter what, it is literally a GC algorithm, described in every book about GCs.