<div>Hi Thomas,</div><div><br></div><div>I thought only To+Old spaces exist GC Root-directly-reachable objects since FastScanClosure copied them to To+Old spaces, and FastEvacuationFollowersClosure followed theirs member fields, so we could reach all live objects if we started searching from To+Old spaces.</div><div>---------------------------------------------------------------</div><div>|      Eden+From               | To + Old                          |</div><div>|---x------x------x-----x----|xxxx-------------|------------|</div><div>|   ^       ^       ^      ^       |    ^saved_mark</div><div>|   |____|_____|____|____|</div><div>---------------------------------------------------------------</div><div>(x means marked)</div><div><br></div><div>Thanks  for your explanation! It seems that I misunderstand source code. </div><div><br></div><div><br></div><div style="font-size: 12px;font-family: Arial Narrow;padding:2px 0 2px 0;">------------------ 原始邮件 ------------------</div><div style="font-size: 12px;background:#efefef;padding:8px;"><div><b>发件人:</b> "Thomas Schatzl"<thomas.schatzl@oracle.com>; </div><div><b>发送时间:</b> 2019年5月26日(星期天) 下午3:33</div><div><b>收件人:</b> "kelthuzadx"<1948638989@qq.com>; </div><div><b >抄送:</b> "hotspot-gc-dev"<hotspot-gc-dev@openjdk.java.net>; </div><div><b>主题:</b> Re: Why serial gc evacuates the whole heap rather than just To+Oldspaces?</div></div><div><br></div>(cc'ed the list again, as this question has been started there and<br>others might have the same questions)<br><br>Hi,<br><br>On Sun, <span style="border-bottom: 1px dashed rgb(204, 204, 204); position: relative;" t="5" times="">2019-05-26</span> at 13:59 +0800, kelthuzadx wrote:<br>> Hi Thomas,<br>> I means, fast evacuation followers closure only need to evacuate<br>> To+Old spaces. Current implementation I referenced applies this<br>> closure on the whole young generation, but evacuation on Eden+From<br>> spaces is unnecessary.<br><br>  as far as I understand your statements, both are incorrect. Let me<br>try to explain what Serial does below.<br><br>The serial gc code roughly does the following (from memory and looking<br>at the code for a few minutes):<br><br>- iterate the roots, copy those referenced objects to to-space or old<br>gen.<br><br>- these copied objects may contain references to eden/from space too.<br>So you need to iterate over those (only those!) objects as well.<br><br>  - the code you mentioned does exactly that: at line 35 Serial GC<br>iterates over the objects it recently copied into to-space; at line 36<br>it iterates over recently copied objects in old-space.<br><br>  - this process may add more objects to to-/old-space. So repeat,<br>until no more objects were copied into to/old space.<br><br>In no case Serial GC iterates over eden or from space (or the whole old<br>space).<br><br>Maybe the "young_gen()->oop_since_save_marks_iterate(cur);" line<br>mentioning "young_gen" is confusing? However the called method<br>explicitly only iterates over objects that were allocated *since* the<br>save marks were set... those are set at the start of every such<br>iteration to examine copied objects afair (There are other options to<br>achieve the same effect, but I think this is the case for Serial).<br><br>I would like to ask you to rephrase your question if that does not<br>answer your concerns, or let me understand your point better e.g. by<br>giving a more detailed rundown of Serial GC execution and pointing out<br>the location you are worried about a bit better.<br><br>Thanks,<br>  Thomas<br><br><br><style type="text/css">.qmbox style, .qmbox script, .qmbox head, .qmbox link, .qmbox meta {display: none !important;}</style>