From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Ingo Molnar <mingo@elte.hu>
Cc: Linus Torvalds <torvalds@linux-foundation.org>,
Alexey Dobriyan <adobriyan@gmail.com>,
Nick Piggin <nickpiggin@yahoo.com.au>,
"Rafael J. Wysocki" <rjw@sisk.pl>,
Kamalesh Babulal <kamalesh@linux.vnet.ibm.com>,
Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
Adrian Bunk <bunk@kernel.org>,
Andrew Morton <akpm@linux-foundation.org>,
Natalie Protasevich <protasnb@gmail.com>,
Kernel Testers List <kernel-testers@vger.kernel.org>
Subject: Re: 2.6.26-rc9-git4: Reported regressions from 2.6.25
Date: Fri, 1 Aug 2008 14:09:53 -0700 [thread overview]
Message-ID: <20080801210953.GK14851@linux.vnet.ibm.com> (raw)
In-Reply-To: <20080710204157.GG6877@linux.vnet.ibm.com>
On Thu, Jul 10, 2008 at 01:41:57PM -0700, Paul E. McKenney wrote:
> On Thu, Jul 10, 2008 at 08:06:20PM +0200, Ingo Molnar wrote:
> >
> > * Ingo Molnar <mingo@elte.hu> wrote:
> >
> > > cool! :)
> > >
> > > (hm, could anyone please resend Nick's original mail? The original one
> > > is not in my lkml folder nor on lkml.org - only the quoted one.)
> >
> > ok, got the mail now now:
> >
> > | | Annoyed this wasn't a crazy obscure error in the algorithm I could
> > | | fix :) [...]
> >
> > Paul recently ran a formal proof against all sorts of RCU details (and
> > found and fixed a few obscure races that way that no-one ever
> > triggered), so i'd be quite surprised if we found anything in the core
> > algorithm :-)
Yeah, it was instead the simple stuff that I messed up... :-/
> > | | [...] I spent all day debugging it and had to make a special test
> > | | case (rcutorture didn't seem to trigger it), and a big RCU state
> > | | logging infrastructure to log millions of RCU state transitions and
> > | | events. Oh well.
> >
> > nice debugging!
>
> Indeed!!!
>
> > Acked-by: Ingo Molnar <mingo@elte.hu>
> >
> > i'm wondering why rcutorture didnt trigger it. I do run !HOTPLUG +
> > RCU_PREEMPT kernels and never saw this. Nor did Paul. That aspect is
> > weird.
>
> Turns out that my environment was silently re-enabling HOTPLUG_CPU, so I
> only -thought- I was testing !CPU_HOTPLUG. Once I forced it to really
> disable HOTPLUG_CPU (by manually also specifying CONFIG_SUSPEND=n and
> CONFIG_HIBERNATION=n), then rcutorture complained within 10 seconds.
>
> Sigh!!!
And Nick's patch gets rid of the rcutorture failures for me as well,
now that I can reproduce them. ;-)
Thanx, Paul
next prev parent reply other threads:[~2008-08-01 21:13 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-07-08 21:37 2.6.26-rc9-git4: Reported regressions from 2.6.25 Rafael J. Wysocki
2008-07-09 4:49 ` Randy Dunlap
2008-07-09 14:35 ` Rafael J. Wysocki
[not found] ` <200807101725.36175.nickpiggin@yahoo.com.au>
2008-07-10 9:03 ` Kamalesh Babulal
2008-07-10 11:02 ` Alexey Dobriyan
2008-07-10 17:21 ` Linus Torvalds
2008-07-10 17:34 ` Ingo Molnar
2008-07-10 18:06 ` Ingo Molnar
2008-07-11 4:11 ` Nick Piggin
2008-08-01 21:09 ` Paul E. McKenney
2008-08-01 21:09 ` Paul E. McKenney
[not found] ` <20080710204157.GG6877@linux.vnet.ibm.com>
2008-08-01 21:09 ` Paul E. McKenney [this message]
2008-08-01 21:09 ` Paul E. McKenney
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20080801210953.GK14851@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.com \
--cc=adobriyan@gmail.com \
--cc=akpm@linux-foundation.org \
--cc=bunk@kernel.org \
--cc=kamalesh@linux.vnet.ibm.com \
--cc=kernel-testers@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@elte.hu \
--cc=nickpiggin@yahoo.com.au \
--cc=protasnb@gmail.com \
--cc=rjw@sisk.pl \
--cc=torvalds@linux-foundation.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox