RFR: 8153745: Avoid spawning G1ParPreserveCMReferentsTask when there is no work to be done
stefan.johansson at oracle.com
Mon Apr 11 15:36:07 UTC 2016
Thanks for looking at this Thomas,
On 2016-04-08 13:45, Thomas Schatzl wrote:
> On Fri, 2016-04-08 at 13:10 +0200, Stefan Johansson wrote:
>> Please review this enhancement to avoid spawning tasks when there is
>> work to do:
>> During post_evacuate_collection_set the call to preserve_cm_referents
>> ensures that no referents discovered by the concurrent reference
>> processor are lost. This is done unconditionally and sometimes a lot
>> tasks are spawned just to find that there is no work to be done. This
>> enhancement avoids the unnecessary work by first checking that the
>> cm-ref-processor has at least some discovered reference to take care
> - I would prefer if the referenceprocessor would track whether there
> are any references in it by itself by setting a flag while adding a
> reference. I would think that this would be noise in gathering
> references anyway.
> While I do not think it is very problematic, consider machines having
> thousands of threads (which is reality right now).
> Otherwise at least, if there is no way that any references could have
> been enqueued because concurrent marking is not running, add an early
I'm leaning towards the second alternative. I've tried both and doing
the book-keeping isn't to bad but it will affect all GCs since the
reference processor is shared and it is only G1 that cares about this.
I've instead updated the patch with an extra check that makes sure that
we only look through the lists when a concurrent cycle is under way.
> - the code should not add timing information in case there has been
> no work. It will automatically show "skipped" in that case. I.e. please
> move the timing stuff inside the if-block.
> There is a difference between taking "0.0" time and not having executed
> that is sometimes interesting to know.
I did discuss this with Bengt before sending out the patch and for the
debug level we currently don't have any logic for "skipped" phases. If
turning on logging on trace-level the output will now look like this:
[1,241s][info ][gc,phases ] GC(9) Other: 1,0ms
[1,241s][debug][gc,phases ] GC(9) Choose CSet: 0,0ms
[1,241s][debug][gc,phases ] GC(9) Preserve CM Refs: 0,0ms
[1,241s][trace][gc,phases ] GC(9) Parallel Preserve CM Refs
[1,241s][debug][gc,phases ] GC(9) Reference Processing: 0,4ms
[1,241s][debug][gc,phases ] GC(9) Reference Enqueuing: 0,0ms
I think this is ok, but we might want to look at adding logic for
"skipping" debug phases as well.
More information about the hotspot-gc-dev