Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://social.applied-langua.ge/objects/98a16df3-3f5e-49f5-a73c-cf5cffdcf7d3">Hayley (hayley@social.applied-langua.ge)'s status on Tuesday, 12-Dec-2023 15:47:18 JST</a><a href="https://social.applied-langua.ge/users/hayley" title="hayley@social.applied-langua.ge"><img src="https://gnusocial.jp/avatar/105416-48-20241022071904.webp" width="48" height="48" alt="Hayley" style="position: absolute; left: 0; top: 0;">Hayley</a><div><a href="https://social.applied-langua.ge/objects/a68cfbcf-e177-437d-b8bd-7e4d036eb54a" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article>just checked with a book written by snooty compsci academics, snapshot at the beginning preserves objects that were live if you took a snapshot at the beginning<br><br>("D2/T2 mutations" refers to some examples of breaking concurrent GC earlier in the chapter, it makes sense in context)</article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/2442766#notice-4830828">In conversation</a><time datetime="2023-12-12T15:47:18+09:00" title="Tuesday, 12-Dec-2023 15:47:18 JST">about a year ago</time> <span>from <span><a href="https://social.applied-langua.ge/objects/98a16df3-3f5e-49f5-a73c-cf5cffdcf7d3" rel="external" title="Sent from social.applied-langua.ge via ActivityPub">social.applied-langua.ge</a></span></span><a href="https://social.applied-langua.ge/objects/98a16df3-3f5e-49f5-a73c-cf5cffdcf7d3">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/1953341">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.</a></label><br><a href="https://social.applied-langua.ge/media/9aef8e0b-bdad-40c2-a57f-4a9e183c8563/20231212_171231.jpg" rel="external">https://social.applied-langua.ge/media/9aef8e0b-bdad-40c2-a57f-4a9e183c8563/20231212_171231.jpg</a></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Hayley (hayley@social.applied-langua.ge)'s status on Tuesday, 12-Dec-2023 15:47:18 JSTHayley
in reply to
- Hayley
just checked with a book written by snooty compsci academics, snapshot at the beginning preserves objects that were live if you took a snapshot at the beginning

("D2/T2 mutations" refers to some examples of breaking concurrent GC earlier in the chapter, it makes sense in context)
In conversationabout a year ago from social.applied-langua.gepermalink
Attachments
1. 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

Public

Embed Notice

HTML Code

Corresponding Notice