lkml.org 
[lkml]   [2011]   [Sep]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 08/13] xen/pvticketlock: disable interrupts while blocking
On Tue, Sep 13, 2011 at 09:03:20PM +0200, Andi Kleen wrote:
> > So I got around to implementing this and it seems to work great. The back
> > to back NMIs are detected properly using the %rip and that info is passed to
> > the NMI notifier. That info is used to determine if only the first
> > handler to report 'handled' is executed or _all_ the handlers are
> > executed.
> >
> > I think all the 'unknown' NMIs I generated with various perf runs have
> > disappeared. I'll post a new version of my nmi notifier rewrite soon.
>
> This will fail when the system is idle.

Heh. I don't think I explained what I was doing properly.

I had a bunch of perf runs going simultaneously on my Core2quad. Probably
generated around 40,000 NMIs in a few minutes. I think around a 1000 or
so detected back-to-back NMIs.

With the current NMI detection algorithm in perf to determine back-to-back
NMIs, I can usually use the above scenario to generate an 'unknown' NMI.
Actually numerous ones before the box freezes. It is a false positive.

With my current code and Avi's idea, all those disappeared as they are now
'swallowed' by the algorithm. That seemed like a positive.

However, being cautious, I decided to instrument lkdtm to inject NMIs to
force unknown NMI conditions
(apic->send_IPI_mask(cpumask_of(smp_processor_id(), NMI_VECTOR)))

I tried to inject the NMIs while my trace_printk buffer was flooding my
screen with 'back-to-back NMIs detected'. I did this 4 or 5 times and
every single one of them were detected as an 'unknown' NMI. So this was
good too, in the sense it was not swallowing 'real' unknown NMIs.

Does that make sense?

Or are you saying an NMI in an idle system will have the same %rip thus
falsely detecting a back-to-back NMI?

Cheers,
Don

>
> -Andi
>


\
 
 \ /
  Last update: 2011-09-13 21:35    [from the cache]
©2003-2011 Jasper Spaans