
<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">By doing global reachability analysis (aka marking). <div>There are two main sources of information that characterize the liveness of the object:<div>1. remembered sets</div><div>2. marking bitmap (actually there are two of them, one can be modified, while the other one is being used).</div><div><br></div><div>A remembered set is a conservative estimate, but the bitmap is exact. If the bitmap says the object is dead, it truly is.</div><div>And Rsets are used for reachability analysis only for the young generation.</div><div>Rsets also, obviously, point to places where the pointer fixup needs to be done. That's their primary function that facilitates incremental collections.</div><div><br></div><div>Also, this could be useful: <a href="http://labs.oracle.com/jtech/pubs/04-g1-paper-ismm.pdf">http://labs.oracle.com/jtech/pubs/04-g1-paper-ismm.pdf</a></div><div><br><div>igor</div><div><br><div><div>On Nov 26, 2012, at 7:41 PM, Sean Chou <<a href="mailto:zhouyx@linux.vnet.ibm.com">zhouyx@linux.vnet.ibm.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">Hello,<div><br></div><div>In case Object oA in regin A references oB in region B, oB references oC in regin C, and oc reference oA ? These objects are all in remember set of these regions.</div><div><div><br></div>-- <br>Best Regards,<br>

Sean Chou<br><br>

</div>

</blockquote></div><br></div></div></div></body></html>