Garbage Collector & C++

А ещё бывают алгоритмы, которые находят и освобождают циклы. Работают они примерно так: каждый раз когда счётчик умного указателя декрементируется, этот указатель добавляется в «список указателей, которые могут входить в циклы». Периодически из всех указателей в этом списке запускается поиск в глубину, который находит и удаляет циклы. Существует даже многопоточный вариант, который не требует остановки всех потоков.
Описание на английском: researcher.watson.ibm.com/researcher/files/us-bacon/Bacon03Pure.pdf