В настоящее время я реализую свой сборщик мусора (на C ++), используя технику подсчета ссылок. Однако основная проблема заключается в том, что если на данные есть циклические ссылки, они никогда не собираются, поскольку их счетчики ссылок всегда не равны нулю.
Я попытался поискать и нашел такие вещи, как отслеживание сборщика мусора, алгоритм маркировки и очистки и т. Д. Могу ли я его реализовать? И как именно они работают?
Это классическая проблема в конструкции сборщика мусора. Взгляните на статью о сборке мусора в Википедии, она действительно хороша в представлении различные компромиссы в конструкции сборщика мусора. «Более совершенные» алгоритмы, такие как трехцветная маркировка, на самом деле довольно просты и легки в реализации. Я использовал эти инструкции для реализации сборщика трассировки для моей собственной реализации Lisp на C.
Самая сложная задача при отслеживании сборщиков мусора - это обход деревьев объектов (например, поиск ссылок на «живые» объекты). Если вы пишете интерпретатор для другого языка, это не слишком сложно, потому что вы можете подключить средства для этого в своем корневом классе объектов (или другом общем знаменателе для всех объектов). Однако, если вы пишете сборщик мусора для C ++ на C ++, вам будет сложно это сделать, потому что вам нужно проверить содержимое объекта, чтобы найти указатели на другие выделенные области памяти.
Если вы пишете сборщик мусора в образовательных целях, я рекомендую вам подумать о написании интерпретатора для другого языка (такого, который не имеет прямого доступа к указателям). Если вы пишете сборщик для C ++ на C ++ с намерением использовать его в производственном программном обеспечении, я настоятельно рекомендую вам использовать существующая реализация производственного качества.
http://www.boost.org/doc/libs/1_48_0/libs/smart_ptr/weak_ptr.htm
Шаблон класса weak_ptr хранит «слабую ссылку» на объект, который уже управляется shared_ptr. Для доступа к объекту weak_ptr может быть преобразован в shared_ptr с помощью конструктора shared_ptr или блокировки функции-члена. Когда последний shared_ptr указывает на объект уходит, и объект удаляется, попытка получить shared_ptr из экземпляров weak_ptr, которые ссылаются на удаленный объект, не удастся: конструктор выдаст исключение типа boost :: bad_weak_ptr, а weak_ptr :: lock вернет пустой shared_ptr. "
На самом деле у вас не должно быть круговых ссылок, но если вы работаете с дизайном, в котором вы не можете их реорганизовать (что иногда случается), попробуйте разместить слабые указатели в одном из направлений, чтобы они не предотвращали разрушение. .
