[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20150623085624.GA2882@gmail.com>
Date: Tue, 23 Jun 2015 10:56:24 +0200
From: Ingo Molnar <mingo@...nel.org>
To: Borislav Petkov <bp@...en8.de>
Cc: Andy Lutomirski <luto@...capital.net>,
Kees Cook <keescook@...omium.org>,
"Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
Oleg Nesterov <oleg@...hat.com>,
Denys Vlasenko <vda.linux@...glemail.com>,
Brian Gerst <brgerst@...il.com>,
Frédéric Weisbecker <fweisbec@...il.com>,
X86 ML <x86@...nel.org>, Rik van Riel <riel@...hat.com>
Subject: Re: [PATCH v2 03/14] notifiers: Assert that RCU is watching in
notify_die
* Borislav Petkov <bp@...en8.de> wrote:
> On Mon, Jun 22, 2015 at 09:26:13AM -0700, Andy Lutomirski wrote:
>
> > notify_die is misnamed and has little to do with death. It's really just
> > notifying about an exception, and we might end up oopsing, sending a signal,
> > or neither.
>
> But if we oops and wedge solid afterwards, it might happen that only the first
> splat comes out on the console, no? And that will be the lockdep splat which
> would be useless for debugging the actual problem...
So I think the theory is that crashes do happen, and that any RCU warning only
matters to (usually) small race windows.
So by the time a difficult crash truly happens, exactly in that race window, we'd
have fixed the RCU warning long ago.
I.e. the placement of the RCU warning isn't really relevant in the long run, as it
should not trigger.
In the short run it's probably more important to have it first, because if we have
that RCU race then we don't know whether we can trust anything that happens after
executing the (flawed) notifier chain.
Does that logic make sense to you?
Thanks,
Ingo
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists