RFR(L): JDK-8032463 VirtualDispatch test timeout with DeoptimizeALot

Vladimir Kozlov vladimir.kozlov at oracle.com
Wed May 7 00:05:36 UTC 2014


I think we need to let SAP know about this change (counter code in C2) 
since it may affect their tiered compilation. It use the same 
Deoptimization::Reason_age.

Can you separate C1 trap_request newa code in a separate RFE and push it 
first?

Can you add the field to MDO and not to MethodCounters? We doing this 
only for methods which were compiled already and have MDO. 
MethodCounters small size is important.

Can you use Method* method instead of next expression?:

MethodCounters::should_nmethod_age(method()->nmethod_age())

like: method()->should_nmethod_age().

Also the name is not good, I think. How about profile_aging()?

Rename Parse::decrement_code_age() --> Parse::decrement_age().

Add comment to _age_code in compile.hpp

Why the change in methodData.hpp and nmethod.cpp? '||' should be '&&' in 
nmethod::inc_decompile_count(), I think.

In globals.hpp flags description indention is off.

sweeper.cpp:

// The stack-scanning low-cost detection may not see the method was used 
(which can happen for

// previous MinPassesBeforeFlush sweeps. Reset the counter. Stay in the 
existing

Why do you need to repeat? For small leaf nmethods (with no safepoint, 
for example) it could trigger continues recompilation:

+             if (time_since_reset > MinPassesBeforeFlush * 2) {
+               // It's been long enough, we still haven't seen it on stack.
+               // Try to flush it, but enable counters the next time.
+               mc->reset_nmethod_age();

Thanks,
Vladimir

On 5/5/14 7:44 PM, Igor Veresov wrote:
> The current implementation of the code cache flusher tries to determine the working set of methods by doing periodic stack walks during safepoints. Methods that are seen on the stack are considered to be used by the program and are excluded from the set of flush candidates. Such sampling is a great zero-overhead approach to collect the working set of super-hot methods without instrumentation. However it doesn’t work that good for flat profiles, which the test in the bug report happens to expose (thousands of methods calls sequentially one after another in the loop). The solution I ended up implementing uses conservative on-demand instrumentation to obtain information about the method usage. The algorithms is as follows:
>
> 1. Initially a method is compiled as usual (no instrumentation, no overhead).
> 2. When the sampling (stack-walking) scheme fails to detect activity we flush the method (again, as usual). However before the flush we set the age counter (an int added to MethodCounters) to a value that instructs the compilers to instrument the code.
> 3. If we ever request to compile this method again the aging code is inserted, which decrements the counter.
> 4. The value of the counter is then used by the sweeper to determine is the method is in fact used.
> 5. If the counter reaches zero before the sweeper is able examine and reset the counter we deopt and recompile the method without the counters, basically switching it back to use the sampling scheme again.
>
> Webrev: http://cr.openjdk.java.net/~iveresov/8032463/webrev.00/
>
> Testing:
> - jprt,
> - aurora-perf No performance effects with the default code cache, since we have enough headroom and the flusher is not exercised that much. No statistically significant effects after warmup (for spec benchmarks) in stress mode (-XX:+StressCodeAging) either, that is if all methods are compiled initially with counters deopt and switch to sampling later after 100000 invocations.
>
> igor
>


More information about the ppc-aix-port-dev mailing list