review for 6996747: SIGSEGV in nmethod::cleanup_inline_caches / CompiledIC::verify
Tom Rodriguez
tom.rodriguez at oracle.com
Thu May 12 16:31:22 PDT 2011
On May 12, 2011, at 4:11 PM, Vladimir Kozlov wrote:
> > It's a static so it's automatically initialized to 0.
>
> Agree, but explicit initialization to 0 is much better to understand.
Ok.
>
> nm->compile_kind() is not char so using %c is wrong.
Oops. My brain saw char and ran with it. I switch to %s and added check for NULL.
>
> Why report_events(int id, address entry) uses ARRAY_SIZE(_records) as limit?
Leftovers again.
>
> report_events() misses the check for empty records. May be do memset to 0 after creating the buffer and then check for 0 in report_events.
Good idea.
tom
>
> Vladimir
>
> Tom Rodriguez wrote:
>> On May 12, 2011, at 3:41 PM, Vladimir Kozlov wrote:
>>> Memory leak since possibly_sweep() could be called several time. You need to free or reset previous ring buffer.
>> I converted from a static buffer to a malloc'ed one and forgot to add the guard so it's only init'ed once.
>>> Missing _sweep_index initialization.
>> It's a static so it's automatically initialized to 0.
>>> SweeperRecord::kind is not printed.
>> I added that.
>>> Should it be assert/guarantee? :
>>>
>>> + if (m != nm->method()) {
>>> + tty->print_cr("method oop changed during lock acquire: " INTPTR_FORMAT " != " INTPTR_FORMAT, m, nm->method());
>>> + }
>> This should have been deleted. It was debug code I used to confirm the bug.
>> tom
>>> Vlaidmir
>>>
>>> Tom Rodriguez wrote:
>>>> http://cr.openjdk.java.net/~never/6996747
>>>> 149 lines changed: 149 ins; 0 del; 0 mod; 10537 unchg
>>>> 6996747: SIGSEGV in nmethod::cleanup_inline_caches / CompiledIC::verify
>>>> Reviewed-by:
>>>> When the sweeper is processing an nmethod it's possible for a
>>>> safepoint to occur while acquiring locks to clean the inline caches.
>>>> This can allow the nmethod to be unloaded in the middle of processing
>>>> it which can result in assertion failures or crashes. I considered
>>>> modifying the locks to skip the safepoint check but it would require
>>>> changing CompiledIC_lock, InlineCacheBuffer_lock and VtableStubs_lock
>>>> which seems risky. Instead I keep track of the currently nmethod in
>>>> the CompiledThread and scan it when a GC occurs. I also included some
>>>> sweeper logging code that I wrote while debugging this. Tested with
>>>> failing test from report though we'll need big apps runs to confirm
>>>> that there aren't other issues.
More information about the hotspot-compiler-dev
mailing list