From: Ingo Molnar <mingo@elte.hu>
To: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Alexey Dobriyan <adobriyan@gmail.com>,
Nick Piggin <nickpiggin@yahoo.com.au>,
"Rafael J. Wysocki" <rjw@sisk.pl>,
Kamalesh Babulal <kamalesh@linux.vnet.ibm.com>,
"Paul E. McKenney" <paulmck@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>,
"Paul E. McKenney" <paulmck@us.ibm.com>
Subject: Re: 2.6.26-rc9-git4: Reported regressions from 2.6.25
Date: Thu, 10 Jul 2008 20:06:20 +0200 [thread overview]
Message-ID: <20080710180620.GA30844@elte.hu> (raw)
In-Reply-To: <20080710173459.GA11648@elte.hu>
* 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 :-)
| | [...] 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!
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.
Ingo
next prev parent reply other threads:[~2008-07-10 18:08 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-07-08 21:37 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 [this message]
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
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=20080710180620.GA30844@elte.hu \
--to=mingo@elte.hu \
--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=nickpiggin@yahoo.com.au \
--cc=paulmck@linux.vnet.ibm.com \
--cc=paulmck@us.ibm.com \
--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
all inboxes | Powered by JetHome®