Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754043AbaKXNbr (ORCPT ); Mon, 24 Nov 2014 08:31:47 -0500 Received: from jablonecka.jablonka.cz ([91.219.244.36]:51815 "EHLO jablonecka.jablonka.cz" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753955AbaKXNbo (ORCPT ); Mon, 24 Nov 2014 08:31:44 -0500 Date: Mon, 24 Nov 2014 14:31:40 +0100 From: Vojtech Pavlik To: Thomas Gleixner Cc: Jiri Kosina , Seth Jennings , Josh Poimboeuf , Steven Rostedt , Petr Mladek , Miroslav Benes , Christoph Hellwig , Greg KH , Andy Lutomirski , Masami Hiramatsu , live-patching@vger.kernel.org, x86@kernel.org, kpatch@redhat.com, linux-kernel@vger.kernel.org Subject: Re: [PATCHv3 2/3] kernel: add support for live patching Message-ID: <20141124133139.GD2054@suse.cz> References: <1416522580-5593-1-git-send-email-sjenning@redhat.com> <1416522580-5593-3-git-send-email-sjenning@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Bounce-Cookie: It's a lemon tree, dear Watson! User-Agent: Mutt/1.5.21 (2010-09-15) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Nov 24, 2014 at 02:26:08PM +0100, Thomas Gleixner wrote: > On Mon, 24 Nov 2014, Jiri Kosina wrote: > > On Mon, 24 Nov 2014, Thomas Gleixner wrote: > > > How is determined whether a change can be applied w/o a consistency > > > mechanism or not? > > > > By a human being producing the "live patch" code. > > > > If the semantics of the patch requires consistency mechanism to be applied > > (such as "old and new function must not run in parallel, because locking > > rules would be violated", or "return value from a function that is being > > called in a loop is changing its meaning", etc.), then this first naive > > implementation simply can't be used. > > > > For simple things though, such as "add a missing bounds check to sys_foo() > > prologue and return -EINVAL if out-of-bounds", this is sufficient. > > > > It's being designed in a way that more advanced consistency models (such > > as the ones kgraft and kpatch are currently implementing) can be built on > > top of it. > > > > The person writing the patch would always need to understand what he is > > doing to be able to pick correct consistency model to be used. I > > personally think this is a good thing -- this is nothing where we should > > be relying on any kinds of tools. > > But why want we to provide a mechanism which has no consistency > enforcement at all? > > Surely you can argue that the person who is doing that is supposed to > know what he's doing, but what's the downside of enforcing consistency > mechanisms on all live code changes? The consistency engine implementing the consistency model is the most complex part of the live patching technology. We want to have something small, easy to understand pushed out first, to build on top of that. Plus we're still discussing which exact consistency model to use for upstream live patching (there are many considerations) and whether one is enough, or whether an engine that can do more than one is required. The consistency models of kpatch and kGraft aren't directly compatible. I think we're on a good way towards a single model, but we'll see when it's implemented within the live patching framework just posted. -- Vojtech Pavlik Director SUSE Labs -- 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/