lkml.org 
[lkml]   [2014]   [Dec]   [10]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 1/6] livepatch v5: avoid race when checking for state of the patch
On Wed, Dec 10, 2014 at 11:11:47AM +0100, Petr Mladek wrote:
> On Tue 2014-12-09 12:32:49, Josh Poimboeuf wrote:
> > On Tue, Dec 09, 2014 at 07:05:02PM +0100, Petr Mladek wrote:
> > > klp_patch_enable() and klp_patch_disable() should check the current state
> > > of the patch under the klp_lock. Otherwise, it might detect that the operation
> > > is valid but the situation might change before it takes the lock.
> >
> > Hi Petr,
> >
> > Thanks for the patches.
> >
> > I don't think this patch is necessary. klp_is_enabled() doesn't check
> > the state of the patch. It checks the initialization state of the core
> > module (klp_root_kobj), which can only be set in klp_init(). It's not
> > protected by the lock, so I don't see the point of this patch.
>
> Ah, I have misread the name and expected that it checked whether
> the patch was enabled or disabled. The original code is OK then.
>
> Well, Jiri Kosina pointed out that the check did not make much sense.
> klp_is_enabled() could not be called if the livepatch module is not
> loaded. And the later check for klp_patch_is_registered() is enough
> to check whether the klp_enable_patch()/klp_disable_patch() calls
> are allowed or not.

But livepatch isn't a module, it's part of the kernel. Even if the init
function returns an error, that doesn't prevent any of the other
exported functions from getting called.


>
> So, I suggest to remove the checks at all.
>
> Best Regards,
> Petr
>
>
> > >
> > > Signed-off-by: Petr Mladek <pmladek@suse.cz>
> > > ---
> > > kernel/livepatch/core.c | 16 ++++++++++------
> > > 1 file changed, 10 insertions(+), 6 deletions(-)
> > >
> > > diff --git a/kernel/livepatch/core.c b/kernel/livepatch/core.c
> > > index d6d0f50e81f8..b848069e44cc 100644
> > > --- a/kernel/livepatch/core.c
> > > +++ b/kernel/livepatch/core.c
> > > @@ -425,11 +425,13 @@ int klp_disable_patch(struct klp_patch *patch)
> > > {
> > > int ret;
> > >
> > > - if (!klp_is_enabled())
> > > - return -ENODEV;
> > > -
> > > mutex_lock(&klp_mutex);
> > >
> > > + if (!klp_is_enabled()) {
> > > + ret = -ENODEV;
> > > + goto err;
> > > + }
> > > +
> > > if (!klp_patch_is_registered(patch)) {
> > > ret = -EINVAL;
> > > goto err;
> > > @@ -489,11 +491,13 @@ int klp_enable_patch(struct klp_patch *patch)
> > > {
> > > int ret;
> > >
> > > - if (!klp_is_enabled())
> > > - return -ENODEV;
> > > -
> > > mutex_lock(&klp_mutex);
> > >
> > > + if (!klp_is_enabled()) {
> > > + ret = -ENODEV;
> > > + goto err;
> > > + }
> > > +
> > > if (!klp_patch_is_registered(patch)) {
> > > ret = -EINVAL;
> > > goto err;
> > > --
> > > 1.8.5.2
> > >
> >
> > --
> > Josh

--
Josh


\
 
 \ /
  Last update: 2014-12-10 17:01    [W:0.065 / U:0.280 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site