On Fri, Nov 07, 2014 at 07:11:53AM -0600, Josh Poimboeuf wrote:
> 2. Add consistency model(s) (e.g. kpatch stop_machine, kGraft per-task
> consistency, Masami's per task ref counting)
I have given some thought to the consistency models and how they differ
and how they potentially could be unified.
I have to thank Masami, because his rewrite of the kpatch model based on
refcounting is what brought it closer to the kGraft model and thus
allowed me to find the parallels.
Let me start by defining the properties of the patching consistency
model. First, what entity the execution must be outside of to be able to
make the switch, ordered from weakest to strongest:
LEAVE_FUNCTION
- execution has to leave a patched function to switch
to the new implementation
LEAVE_PATCHED_SET
- execution has to leave the set of patched functions
to switch to the new implementation
LEAVE_KERNEL
- execution has to leave the entire kernel to switch
to the new implementation
Then, what entity the switch happens for. Again, from weakest to strongest:
SWITCH_FUNCTION
- the switch to the new implementation happens on a per-function
basis
SWITCH_THREAD
- the switch to the new implementation is per-thread.
SWITCH_KERNEL
- the switch to the new implementation happens at once for
the whole kernel
Now with those definitions:
livepatch (null model), as is, is LEAVE_FUNCTION and SWITCH_FUNCTION
kpatch, masami-refcounting and Ksplice are LEAVE_PATCHED_SET and
SWITCH_KERNEL
kGraft is LEAVE_KERNEL and SWITCH_THREAD
CRIU/kexec is LEAVE_KERNEL and SWITCH_KERNEL
By blending kGraft and masami-refcounting, we could create a consistency
engine capable of almost any combination of these properties and thus
all the consistency models.
However, I'm currently thinking that the most interesting model is
LEAVE_PATCHED_SET and SWITCH_THREAD, as it is reliable, fast converging,
doesn't require annotating kernel threads nor fails with frequent
sleepers like futexes.
It provides the least consistency that is required to be able to change
the calling convention of functions and still allows for semantic
dependencies.
What do you think?
----------------------------------------------------------------------------
PS.: Livepatch's null model isn't in fact the weakest possible, as it still
guarantees executing complete intact functions, this thanks to ftrace.
That is much more than what would direct overwriting of the function in
memory achieve.
This is also the reason why Ksplice is locked to a very specific
consistency model. Ksplice can patch only when the kernel is stopped and
the model is built from that.
masami-refcounting, kpatch, kGraft, livepatch have a lot more freedom,
thanks to ftrace, into what the consistency model should look like.
PPS.: I haven't included any handling of changed data structures in
this, that's another set of properties.
--
Vojtech Pavlik
Director SUSE Labs
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
