[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20150302092134.GE3703@dhcp128.suse.cz>
Date: Mon, 2 Mar 2015 10:21:35 +0100
From: Petr Mladek <pmladek@...e.cz>
To: Peter Zijlstra <peterz@...radead.org>
Cc: Jiri Kosina <jkosina@...e.cz>, mingo@...nel.org,
rusty@...tcorp.com.au, mathieu.desnoyers@...icios.com,
oleg@...hat.com, paulmck@...ux.vnet.ibm.com,
linux-kernel@...r.kernel.org, andi@...stfloor.org,
rostedt@...dmis.org, tglx@...utronix.de,
Seth Jennings <sjenning@...hat.com>,
Josh Poimboeuf <jpoimboe@...hat.com>,
Masami Hiramatsu <masami.hiramatsu.pt@...achi.com>,
Miroslav Benes <mbenes@...e.cz>
Subject: Re: [RFC][PATCH 1/9] klp: Fix obvious RCU fail
On Mon 2015-03-02 09:35:30, Peter Zijlstra wrote:
> On Sun, Mar 01, 2015 at 09:09:24PM +0100, Jiri Kosina wrote:
> > On Sat, 28 Feb 2015, Peter Zijlstra wrote:
> >
> > > While one must hold RCU-sched (aka. preempt_disable) for find_symbol()
> > > one must equally hold it over the use of the object returned.
> > >
> > > The moment you release the RCU-sched read lock, the object can be dead
> > > and gone.
> > >
> > > Cc: Seth Jennings <sjenning@...hat.com>
> > > Cc: Josh Poimboeuf <jpoimboe@...hat.com>
> > > Cc: Masami Hiramatsu <masami.hiramatsu.pt@...achi.com>
> > > Cc: Miroslav Benes <mbenes@...e.cz>
> > > Cc: Petr Mladek <pmladek@...e.cz>
> > > Cc: Jiri Kosina <jkosina@...e.cz>
> > > Cc: "Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
> > > Cc: Rusty Russell <rusty@...tcorp.com.au>
> > > Signed-off-by: Peter Zijlstra (Intel) <peterz@...radead.org>
> >
> > Acked-by: Jiri Kosina <jkosina@...e.cz>
> >
> > I guess you'll be taking this together with the series, so I am not
> > applying it.
>
> Feel free to take it; this series might take a wee while longer to
> mature.
>
> That said; I do have a follow up question on that code. So now you've
> successfully obtained an address in module space; but the moment you
> release that RCU-sched lock, the module can be gone.
>
> How does the whole live patching stuff deal with module removal during
> patching?
There is a notifier, see klp_module_notify(). It applies existing
patches when an affected module is loaded. Also it removes patches
when an affected module is going. It is serialized with the other
operations using the klp_mutex lock.
Hmm, when I think about it. I am afraid that there is a race. For
example, the going module might be unpatched by the notifier but
a new patch might get applied when it is still visible by kallsyms.
I am going to look at it.
Best Regards,
Petr
--
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