Я чувствую, что упускаю что-то до боли простое, но я пытаюсь понять сборку мусора пометки и очистки в соответствии с книгой Эндрю Аппеля «Современная реализация компилятора в ML», и в разделе «Пометка и очистка» есть небольшой абзац под названием «Повторение указателя» (270).
На данный момент я думаю, что понимаю, как это работает. Короче говоря, когда вы проходите по графику, вы переворачиваете все указатели так, чтобы ваш предшественник оказался внутри вашего набора полей. Затем, когда вы закончите с данным элементом, вы перевернете указатели обратно, чтобы они снова указывали на нужное место.
Если это так, что именно это вам покупает? Аппель пытается объяснить это, но я не совсем понимаю его формулировку.