Snapshot-at-the-beginning solutions: Wilson calls solutions that address D2/T2 mutations snapshot-at-the-beginning techniques since they preserve the set of objects that were live at the start of the collection. They inform the collector when the mutator deletes a white pointer from a grey or white object (ahead of the wavefront). Snapshot-at-the-beginning solutions conservatively treat an object as live (non-white) if a pointer to it ever existed ahead of the wavefront, speculating that the mutator may have also inserted that mutator behind the wavefront.
https://social.applied-langua.ge/media/9aef8e0b-bdad-40c2-a57f-4a9e183c8563/20231212_171231.jpg