Я посмотрел на Консервативный обзор алгоритма ГХ
Может ли быть неправильное обнаружение в части "маркировки"? Если некоторые данные сохранены и по стечению обстоятельств совпадают с адресом выделенной памяти, будет ли сборщик сохранять память?
Да, именно поэтому его называют консервативным. Каждое целое число, которое выглядит так, как будто оно указывает внутри кучи, сделает область без мусора. И в результате может произойти утечка памяти.
Да.
Вот почему он называется "консервативный", я думаю.