[9] RFR (S): 8148994: Replacing MH::invokeBasic with a direct call breaks LF customization

Vladimir Ivanov vladimir.x.ivanov at oracle.com
Fri Feb 5 16:44:06 UTC 2016


Remi,

Recompilation is usually expensive and if the call site hasn't been 
warmed up enough to be inlined, it is a clue it will likely never be.

Actually, this bug is really a corner case. LF customization matters in 
cases when there's no inlining possible (e.g., MH::invokeExact() on a 
receiver which is not a compile-time constant). Instead of jumping 
between numerous tiny nmethods for every LF in the chain, it allows to 
generate a single nmethod for the whole chain. There's no need in 
customization when inlining happens and customization doesn't help 
inlining as well.

In GWT case, uncommon trap is generated for non-taken branch (so causes 
a recompilation if it is ever taken), but a cold branch (<30 
invocations) is compiled into a call. It could be beneficial to 
recompile the branch if it becomes really hot, but it happens rarely and 
requires additional profiling.

I vaguely remember I experimented with that, but it severely affected 
warmup and didn't give any peak performance improvements (usually, on 
the contrarty).

Best regards,
Vladimir Ivanov

On 2/4/16 8:13 PM, Remi Forax wrote:
> Hi Vladimir,
> Perhaps a stupid question, but why LF customization doesn't trigger a recompilation if invokeBasic is already compiled into a direct call ?
>
> regards,
> Rémi
>
> ----- Mail original -----
>> De: "Vladimir Ivanov" <vladimir.x.ivanov at oracle.com>
>> À: "hotspot compiler" <hotspot-compiler-dev at openjdk.java.net>
>> Envoyé: Jeudi 4 Février 2016 17:32:33
>> Objet: Re: [9] RFR (S): 8148994: Replacing MH::invokeBasic with a direct	call breaks LF customization
>>
>> FYI I was asked to keep the tests intact until Jigsaw is integrated.
>>
>> Removed test changes from the webrev (updated in place) and filed
>> JDK-8149040 [1] to clean up the tests later.
>>
>> Best regards,
>> Vladimir Ivanov
>>
>> [1] https://bugs.openjdk.java.net/browse/JDK-8149040
>>
>> On 2/4/16 6:51 PM, Vladimir Ivanov wrote:
>>> http://cr.openjdk.java.net/~vlivanov/8148994/webrev.00
>>> https://bugs.openjdk.java.net/browse/JDK-8148994
>>>
>>> JDK-8072008 [1] introduced an optimization to bypass linker calls in
>>> generated code when target method can't be inlined.
>>>
>>> Unfortunately, it doesn't work well with MH::invokeBasic(), because it
>>> clashes with LambdaForm customization: if a call is not inlined, it is
>>> important for performance to update (customize) corresponding LambdaForm
>>> on-the-fly. MH::invokeBasic() linker does MH -> LF -> Method* ->
>>> _from_compiled_entry traversal on every invocation, while direct call
>>> points right to the _from_compiled_entry. So, any LambdaForm updates
>>> aren't visible until recompilation.
>>>
>>> The fix is to keep MH::invokeBasic linker, so up-to-date LambdaForm
>>> instance is used on every invocation.
>>>
>>> Also, cleaned up relevant tests a bit.
>>>
>>> Testing: octane, JPRT.
>>>
>>> Best regards,
>>> Vladimir Ivanov
>>>
>>> [1] https://bugs.openjdk.java.net/browse/JDK-8072008
>>>       "Emit direct call instead of linkTo* for recursive indy/MH.invoke*
>>> calls"
>>


More information about the hotspot-compiler-dev mailing list