RFR: 8213486: SIGSEGV in CompiledMethod::cleanup_inline_caches_impl with AOT

Erik Ă–sterlund erik.osterlund at oracle.com
Tue Nov 20 11:12:31 UTC 2018


Hi Dean,

Yeah I think I misunderstood what I observed. So what I know is that in 
the code cache unloading, I'm not getting all is_alive() AOT methods 
into my iterator, which messes up the assumptions made by the epoch 
based scheme for AOT methods.

I noticed that in AOTCodeHeap::sweep_dependent_methods(int* indexes, int 
methods_cnt) we make AOTCompiledMethods "invalid" in the AOT heap, 
making it no longer observable from the iterators. Then it calls the 
VM_Deoptimize vm operation after. Throughout all this, the 
AOTCompiledMethod is alive(), yet when the iterators ask for all 
is_alive() AOTCompiledMethods, it won't be visible. But I suppose IC 
caches may still reference these methods and check if it is_unloading, 
and then we blow up. There may possibly be multiple ways for is_alive() 
AOTCompiledMethods to not be visible from iterators yet be visible 
through IC caches using the "invalid" state in the .

Anyway, the fix is the same: stop doing the epoch state thingey for 
is_unloading() on AOTCompiledMethod where it isn't needed, and doesn't 
seem to play well with the rather different life cycle it has, and just 
return false instead.

Thanks,
/Erik

On 2018-11-20 00:00, dean.long at oracle.com wrote:
> Hi Erik,
>
> On 11/19/18 12:42 PM, Erik Ă–sterlund wrote:
>> ...except it looks like for AOTCompiledMethods when running with 
>> tiered compilation, may first be is_alive(), then become !is_alive() 
>> for a while, and then get resurrected to is_alive() using 
>> make_entrant().
>
> this doesn't sounds quite right.  AOTCompiledMethods aren't allowed to 
> transition to zombie (!alive), only not_used or not_entrant, which 
> should still have is_alive() returning true. Maybe some code is using 
> is_not_entrant() instead of !is_alive()?
>
> dl



More information about the hotspot-dev mailing list