Date: Mon, 18 May 2015 17:50:52 +0200
From: Petr Mladek <pmladek@suse.cz>
To: Josh Poimboeuf <jpoimboe@redhat.com>
Cc: Minfei Huang <mnfhuang@gmail.com>, mbenes@suse.cz, sjenning@redhat.com,
        jkosina@suse.cz, vojtech@suse.cz, live-patching@vger.kernel.org,
        linux-kernel@vger.kernel.org, mhuang@redhat.com
Subject: Re: [PATCH v3] livepatch: Prevent to apply the patch once coming
 module notifier fails
Message-ID: <20150518155052.GG2632@pathway.suse.cz>
References: <1431439484-44530-1-git-send-email-mnfhuang@gmail.com>
 <20150513141415.GB28284@treble.redhat.com>
 <20150518120806.GC2632@pathway.suse.cz>
 <20150518152221.GA8995@treble.redhat.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20150518152221.GA8995@treble.redhat.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 2705
Lines: 62

On Mon 2015-05-18 10:22:21, Josh Poimboeuf wrote:
> On Mon, May 18, 2015 at 02:08:06PM +0200, Petr Mladek wrote:
> > On Wed 2015-05-13 09:14:15, Josh Poimboeuf wrote:
> > > On Tue, May 12, 2015 at 10:04:44PM +0800, Minfei Huang wrote:
> > > > @@ -930,6 +932,7 @@ disabled:
> > > >  static int klp_module_notify(struct notifier_block *nb, unsigned long action,
> > > >  			     void *data)
> > > >  {
> > > > +	int ret;
> > > >  	struct module *mod = data;
> > > >  	struct klp_patch *patch;
> > > >  	struct klp_object *obj;
> > > > @@ -955,7 +958,13 @@ static int klp_module_notify(struct notifier_block *nb, unsigned long action,
> > > >  
> > > >  			if (action == MODULE_STATE_COMING) {
> > > >  				obj->mod = mod;
> > > > -				klp_module_notify_coming(patch, obj);
> > > > +				ret = klp_module_notify_coming(patch, obj);
> > > > +				if (ret) {
> > > > +					obj->mod = NULL;
> > > > +					pr_warn("patch '%s' is dead, remove it "
> > > > +						"or re-install the module '%s'\n",
> > > > +						patch->mod->name, obj->name);
> > > > +				}
> > > 
> > > The patch isn't necessarily dead, since it might also include previously
> > > enabled changes for vmlinux or other modules.  It can actually be a
> > > dangerous condition if there's a mismatch between old code in the module
> > > and new code elsewhere.  How about something like:
> > > 
> > > "patch '%s' is in an inconsistent state!\n"
> > 
> > It must not be dangerous, otherwise the patch could not get applied
> > immediately.
> >
> > I would omit this message completely. It would just duplicate the
> > warning printed by klp_module_notify_coming().
> 
> This error path doesn't mean that the entire patch isn't applied.  It
> only affects the subset of the patch which applies to the coming module.
> So you can have a dangerous mismatch in the case of a patch which
> patches multiple objects.

We apply the patch immediately. This simple consistency model allows
to call patched function from an upatched one and vice versa. It means
that there must _not_ be any dependency between patched functions.
And it means that it must be safe to keep the module unpatched.

The situation will change after we introduce a more complex
consistency model. Then we will need to patch the module
directly in load_module() and refuse loading in case of error.
By other words, we will not and must not allow any dangerous state.

Does it make sense? Or did I miss anything, please?

Best Regards,
Petr
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/