Сборка мусора

[EUGY]

Присматриваюсь реализовать это на с++. Ничего навороченного, так, для себя. Уткнулся в засаду циклических ссылок.
Понимаю так: объект можно удалить, если он не обнаружен при обходе всех дочерних узлов, начиная с корневых объектов.
Список корневых объектов определен, есть итератор дочерних.
И вот вопрос, что дальше. Сейчас думаю останавливать поток и запускать два/три новых на обход графа. Как они будут синхронизироваться? Устанавливать некий бит обхода? Но потом придется проходить заново и снимать его. Может уникальное значение? Какие вообще бывают фишки в оптимизации этого?