Kernel Live Patching
Subsystems (3)
v4 cover Kernel Live Patching
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.
Changelog:
Thanks for all the feedback!
changes in v4:
- TODO: set IPMODIFY (Masami patch heading to -next)
- kernel-doc for structures
- dynamically allocate ftrace ops (add ktype and release for func)
- add sample live patch module
- add CC_USING_FENTRY check
- s/LPC_/KLP_/
- objname NULL for vmlinux rather than "vmlinux"
- remove module unload code and licensing (since we are builtin now)
- remove code section comment headers
- narrow mutex hold to only include list_add() in register path
- smaller cleanups
changes in v3:
- TODO: FTRACE_OPS_FL_DYNAMIC? allocate fops in core?
- TODO: kernel-doc for API structs once agreed upon
- merge API and core data structures (Miroslav)
- replace lp_ and lpc_ prefixes with klp_
- add ARCH_HAVE_LIVE_PATCHING
- guard livepatch.h content with IS_ENABLED(CONFIG_LIVE_PATCHING)
- smaller cleanups
changes in v2:
- TODO: kernel-doc for API structs once agreed upon
- rebase to next-20141113
- add copyright/license block to livepatch.h
- add _LINUX prefix to header defines
- replace semaphore with mutex
- add LPC_ prefix to state enum
- convert BUGs to WARNs and handle properly
- change Kconfig default to n
- remove [old|new] attrs from function sysfs dir (KASLR leak, no use)
- disregard user provided old_addr if kernel uses KASLR
- s/out/err for error path labels
- s/unregister/disable for uniform terminology
- s/lp/lpc for module notifier elements
- replace module ref'ing with unload notifier + mutex protection
- adjust notifier priority to run before ftrace
- make LIVE_PATCHING boolean (about to depend on arch stuff)
- move x86-specific reloc code to arch/x86
- s/dynrela/reloc/
- add live patching sysfs documentation
- add API function kernel-doc
Summary:
This patchset implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions. It represents the greatest common functionality set between kpatch [1] and kGraft [2] and can accept patches built using either method. This solution was discussed in the Live Patching Mini-conference at LPC 2014 [3].
The model consists of a live patching "core" that provides an interface for other "patch" kernel modules to register patches with the core.
Patch modules contain the new function code and create an klp_patch structure containing the required data about what functions to patch, where the new code for each patched function resides, and in which kernel object (vmlinux or module) the function to be patch resides. The patch module then invokes the klp_register_patch() function to register with the core, then klp_enable_patch() to have the core redirect the execution paths using ftrace.
The live patching core creates a sysfs hierarchy for user-level access to live patching information. The hierarchy is structured like this:
/sys/kernel/livepatch
/sys/kernel/livepatch/<patch>
/sys/kernel/livepatch/<patch>/enabled
/sys/kernel/livepatch/<patch>/<object>
/sys/kernel/livepatch/<patch>/<object>/<func>
The old function is located using one of two methods: it is either provided by the patch module (only possible for a function in vmlinux) or kallsyms lookup. Symbol ambiguity results in a failure.
The core takes a reference on the patch module itself to keep it from unloading. This is because, without a mechanism to ensure that no thread is currently executing in the patched function, we can not determine whether it is safe to unload the patch module. For this reason, unloading patch modules is currently not allowed.
Disabling patches can be done using the "enabled" attribute of the patch:
echo 0 > /sys/kernel/livepatch/<patch>/enabled
If a patch module contains a patch for a module that is not currently loaded, there is nothing to patch so the core does nothing for that patch object. However, the core registers a module notifier that looks for COMING events so that if the module is ever loaded, it is immediately patched. If a module with patch code is removed, the notifier looks for GOING events and disables any patched functions for that object before it unloads. The notifier has a higher priority than that of the ftrace notifier so that it runs before the ftrace notifier for GOING events and we can cleanly unregister from ftrace.
kpatch and kGraft each have their own mechanisms for ensuring system consistency during the patching process. This first version does not implement any consistency mechanism that ensures that old and new code do not run together. In practice, ~90% of CVEs are safe to apply in this way, since they simply add a conditional check. However, any function change that can not execute safely with the old version of the function can _not_ be safely applied for now.
[1] https://github.com/dynup/kpatch
[2] https://git.kernel.org/cgit/linux/kernel/git/jirislaby/kgraft.git/
[3] https://etherpad.fr/p/LPC2014_LivePatching
Seth Jennings (3):
kernel: add TAINT_LIVEPATCH
kernel: add support for live patching
samples: add sample live patching module
Documentation/ABI/testing/sysfs-kernel-livepatch | 44 ++ Documentation/oops-tracing.txt | 2 + Documentation/sysctl/kernel.txt | 1 + MAINTAINERS | 14 + arch/x86/Kconfig | 3 + arch/x86/include/asm/livepatch.h | 40 ++ arch/x86/kernel/Makefile | 1 + arch/x86/kernel/livepatch.c | 74 +++ include/linux/kernel.h | 1 + include/linux/livepatch.h | 121 ++++ kernel/Makefile | 1 + kernel/livepatch/Kconfig | 18 + kernel/livepatch/Makefile | 3 + kernel/livepatch/core.c | 807 +++++++++++++++++++++++ kernel/panic.c | 2 + samples/Kconfig | 7 + samples/livepatch/Makefile | 1 + samples/livepatch/livepatch-sample.c | 87 +++ 18 files changed, 1227 insertions(+) create mode 100644 Documentation/ABI/testing/sysfs-kernel-livepatch create mode 100644 arch/x86/include/asm/livepatch.h create mode 100644 arch/x86/kernel/livepatch.c create mode 100644 include/linux/livepatch.h create mode 100644 kernel/livepatch/Kconfig create mode 100644 kernel/livepatch/Makefile create mode 100644 kernel/livepatch/core.c create mode 100644 samples/livepatch/Makefile create mode 100644 samples/livepatch/livepatch-sample.c
Signature · 1 line
1.9.3
PATCH v4 1/3 kernel: add TAINT_LIVEPATCH
This adds a new taint flag to indicate when the kernel or a kernel module has been live patched. This will provide a clean indication in bug reports that live patching was used.
Additionally, if the crash occurs in a live patched function, the live patch module will appear beside the patched function in the backtrace.
--- Documentation/oops-tracing.txt | 2 ++ Documentation/sysctl/kernel.txt | 1 + include/linux/kernel.h | 1 + kernel/panic.c | 2 ++ 4 files changed, 6 insertions(+)
Documentation/oops-tracing.txt +2 -0
@@ -270,6 +270,8 @@ characters, each representing a particular tainted value. 15: 'L' if a soft lockup has previously occurred on the system. + 16: 'K' if the kernel has been live patched. + The primary reason for the 'Tainted: ' string is to tell kernel debuggers if this is a clean kernel or if anything unusual has occurred. Tainting is permanent: even if an offending module is
Documentation/sysctl/kernel.txt +1 -0
@@ -843,6 +843,7 @@ can be ORed together: 8192 - An unsigned module has been loaded in a kernel supporting module signature. 16384 - A soft lockup has previously occurred on the system. +32768 - The kernel has been live patched. ==============================================================
include/linux/kernel.h +1 -0
@@ -471,6 +471,7 @@ extern enum system_states {#define TAINT_OOT_MODULE 12#define TAINT_UNSIGNED_MODULE 13#define TAINT_SOFTLOCKUP 14 +#define TAINT_LIVEPATCH 15extern const char hex_asc[];#define hex_asc_lo (x) hex_asc[((x) & 0x0f)]
kernel/panic.c +2 -0
@@ -226,6 +226,7 @@ static const struct tnt tnts[] = { { TAINT_OOT_MODULE, 'O', ' ' }, { TAINT_UNSIGNED_MODULE, 'E', ' ' }, { TAINT_SOFTLOCKUP, 'L', ' ' }, + { TAINT_LIVEPATCH, 'K', ' ' }, };/**
@@ -246,6 +247,7 @@ static const struct tnt tnts[] = {* 'O' - Out-of-tree module has been loaded. * 'E' - Unsigned module has been loaded. * 'L' - A soft lockup has previously occurred. +* 'K' - Kernel has been live patched. * * The string is overwritten by the next call to print_tainted(). */
Signature · 1 line
1.9.3
PATCH v4 2/3 kernel: add support for live patching
In reply to Seth JenningsThis commit introduces code for the live patching core. It implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions.
It represents the greatest common functionality set between kpatch and kgraft and can accept patches built using either method.
This first version does not implement any consistency mechanism that ensures that old and new code do not run together. In practice, ~90% of CVEs are safe to apply in this way, since they simply add a conditional check. However, any function change that can not execute safely with the old version of the function can _not_ be safely applied in this version.
--- Documentation/ABI/testing/sysfs-kernel-livepatch | 44 ++ MAINTAINERS | 13 + arch/x86/Kconfig | 3 + arch/x86/include/asm/livepatch.h | 40 ++ arch/x86/kernel/Makefile | 1 + arch/x86/kernel/livepatch.c | 74 +++ include/linux/livepatch.h | 121 ++++ kernel/Makefile | 1 + kernel/livepatch/Kconfig | 18 + kernel/livepatch/Makefile | 3 + kernel/livepatch/core.c | 807 +++++++++++++++++++++++ 11 files changed, 1125 insertions(+) create mode 100644 Documentation/ABI/testing/sysfs-kernel-livepatch create mode 100644 arch/x86/include/asm/livepatch.h create mode 100644 arch/x86/kernel/livepatch.c create mode 100644 include/linux/livepatch.h create mode 100644 kernel/livepatch/Kconfig create mode 100644 kernel/livepatch/Makefile create mode 100644 kernel/livepatch/core.c
Documentation/ABI/testing/sysfs-kernel-livepatch new file +44 -0
@@ -0,0 +1,44 @@ +What: /sys/kernel/livepatch +Date: Nov 2014 +KernelVersion: 3.19.0 +Contact: [email protected] +Description: + Interface for kernel live patching + + The /sys/kernel/livepatch directory contains subdirectories for + each loaded live patch module. + +What: /sys/kernel/livepatch/<patch> +Date: Nov 2014 +KernelVersion: 3.19.0 +Contact: [email protected] +Description: + The patch directory contains subdirectories for each kernel + object (vmlinux or a module) in which it patched functions. + +What: /sys/kernel/livepatch/<patch>/enabled +Date: Nov 2014 +KernelVersion: 3.19.0 +Contact: [email protected] +Description: + A writable attribute that indicates whether the patched + code is currently applied. Writing 0 will disable the patch + while writing 1 will re-enable the patch. + +What: /sys/kernel/livepatch/<patch>/<object> +Date: Nov 2014 +KernelVersion: 3.19.0 +Contact: [email protected] +Description: + The object directory contains subdirectories for each function + that is patched within the object. + +What: /sys/kernel/livepatch/<patch>/<object>/<function> +Date: Nov 2014 +KernelVersion: 3.19.0 +Contact: [email protected] +Description: + The function directory contains attributes regarding the + properties and state of the patched function. + + There are currently no such attributes.
MAINTAINERS +13 -0
@@ -5715,6 +5715,19 @@ F: Documentation/misc-devices/lis3lv02d F: drivers/misc/lis3lv02d/ F: drivers/platform/x86/hp_accel.c +LIVE PATCHING +M: Josh Poimboeuf <[email protected]> +M: Seth Jennings <[email protected]> +M: Jiri Kosina <[email protected]> +M: Vojtech Pavlik <[email protected]> +S: Maintained +F: kernel/livepatch/ +F: include/linux/livepatch.h +F: arch/x86/include/asm/livepatch.h +F: arch/x86/kernel/livepatch.c +F: Documentation/ABI/testing/sysfs-kernel-livepatch +L: [email protected] + LLC (802.2) M: Arnaldo Carvalho de Melo <[email protected]> S: Maintained
arch/x86/Kconfig +3 -0
@@ -17,6 +17,7 @@ config X86_64 depends on 64BIT select X86_DEV_DMA_OPS select ARCH_USE_CMPXCHG_LOCKREF + select ARCH_HAVE_LIVE_PATCHING ### Arch settings config X86
@@ -1991,6 +1992,8 @@ config CMDLINE_OVERRIDE This is used to work around broken boot loaders. This should be set to 'N' under normal conditions. +source "kernel/livepatch/Kconfig" + endmenu config ARCH_ENABLE_MEMORY_HOTPLUG
arch/x86/include/asm/livepatch.h new file +40 -0
@@ -0,0 +1,40 @@ +/* +* livepatch.h - x86-specific Kernel Live Patching Core +* +* Copyright (C) 2014 Seth Jennings <[email protected]> +* +* This program is free software; you can redistribute it and/or +* modify it under the terms of the GNU General Public License +* as published by the Free Software Foundation; either version 2 +* of the License, or (at your option) any later version. +* +* This program is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details. +* +* You should have received a copy of the GNU General Public License +* along with this program; if not, see <http://www.gnu.org/licenses/>. +*/ + +#ifndef _ASM_X86_LIVEPATCH_H +#define _ASM_X86_LIVEPATCH_H + +#include <linux/module.h> + +#ifdef CONFIG_LIVE_PATCHING +#ifndef CC_USING_FENTRY +#error Your compiler must support -mfentry for live patching to work +#endif +extern int klp_write_module_reloc (struct module *mod,unsigned long type, +unsigned long loc,unsigned long value); + +#else +static inline int klp_write_module_reloc (struct module *mod,unsigned long type, +unsigned long loc,unsigned long value) +{ +return -ENOSYS ; +} +#endif + +#endif /* _ASM_X86_LIVEPATCH_H */
arch/x86/kernel/Makefile +1 -0
@@ -63,6 +63,7 @@ obj-$(CONFIG_X86_MPPARSE) += mpparse.o obj-y += apic/ obj-$(CONFIG_X86_REBOOTFIXUPS) += reboot_fixups_32.o obj-$(CONFIG_DYNAMIC_FTRACE) += ftrace.o +obj-$(CONFIG_LIVE_PATCHING) += livepatch.o obj-$(CONFIG_FUNCTION_GRAPH_TRACER) += ftrace.o obj-$(CONFIG_FTRACE_SYSCALLS) += ftrace.o obj-$(CONFIG_X86_TSC) += trace_clock.o
arch/x86/kernel/livepatch.c new file +74 -0
74 lines not on this page · raw message
include/linux/livepatch.h new file +121 -0
121 lines not on this page · raw message
kernel/Makefile +1 -0
@@ -26,6 +26,7 @@ obj-y += power/ obj-y += printk/ obj-y += irq/ obj-y += rcu/ +obj-y += livepatch/ obj-$(CONFIG_CHECKPOINT_RESTORE) += kcmp.o obj-$(CONFIG_FREEZER) += freezer.o
kernel/livepatch/Kconfig new file +18 -0
@@ -0,0 +1,18 @@ +config ARCH_HAVE_LIVE_PATCHING + boolean + help + Arch supports kernel live patching + +config LIVE_PATCHING + boolean "Kernel Live Patching" + depends on DYNAMIC_FTRACE_WITH_REGS + depends on MODULES + depends on SYSFS + depends on KALLSYMS_ALL + depends on ARCH_HAVE_LIVE_PATCHING + help + Say Y here if you want to support kernel live patching. + This option has no runtime impact until a kernel "patch" + module uses the interface provided by this option to register + a patch, causing calls to patched functions to be redirected + to new function code contained in the patch module.
kernel/livepatch/Makefile new file +3 -0
@@ -0,0 +1,3 @@ +obj-$(CONFIG_LIVE_PATCHING) += livepatch.o + +livepatch-objs := core.o
kernel/livepatch/core.c new file +807 -0
807 lines not on this page · raw message
Signature · 1 line
1.9.3
Re: [PATCHv4 2/3] kernel: add support for live patching
Quoted 7 lines · Seth Jennings
This commit introduces code for the live patching core. It implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions.
It represents the greatest common functionality set between kpatch and kgraft and can accept patches built using either method.
Quoted 6 lines
This first version does not implement any consistency mechanism that ensures that old and new code do not run together. In practice, ~90% of CVEs are safe to apply in this way, since they simply add a conditional check. However, any function change that can not execute safely with the old version of the function can _not_ be safely applied in this version.
Thank you for updating the patch :)
[...]
Quoted 73 lines
include/linux/livepatch.h new file +67
-0@@ -0,0 +1,121 @@ +/* +* livepatch.h - Kernel Live Patching Core +* +* Copyright (C) 2014 Seth Jennings <[email protected]> +* +* This program is free software; you can redistribute it and/or +* modify it under the terms of the GNU General Public License +* as published by the Free Software Foundation; either version 2 +* of the License, or (at your option) any later version. +* +* This program is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details. +* +* You should have received a copy of the GNU General Public License +* along with this program; if not, see <http://www.gnu.org/licenses/>. +*/ + +#ifndef _LINUX_LIVEPATCH_H_ +#define _LINUX_LIVEPATCH_H_ + +#include <linux/module.h> +#include <linux/ftrace.h> + +#if IS_ENABLED (CONFIG_LIVE_PATCHING ) + +#include <asm/livepatch.h> + +enum klp_state { +KLP_DISABLED , +KLP_ENABLED +}; + +/** +* struct klp_func - function structure for live patching +* @old_name: name of the function to be patched +* @new_func: pointer to the patched function code +* @old_addr: a hint conveying at what address the old function +* can be found (optional, vmlinux patches only) +*/ +struct klp_func { +/* external */ +const char *old_name; +void *new_func; +/* +* The old_addr field is optional and can be used to resolve +* duplicate symbol names in the vmlinux object. If this +* information is not present, the symbol is located by name +* with kallsyms. If the name is not unique and old_addr is +* not provided, the patch application fails as there is no +* way to resolve the ambiguity. +*/ +unsigned long old_addr; + +/* internal */ +struct kobject kobj; +struct ftrace_ops *fops; +enum klp_state state; +}; + +/** +* struct klp_reloc - relocation structure for live patching +* @dest address where the relocation will be written +* @src address of the referenced symbol (optional, +* vmlinux patches only) +* @type ELF relocation type
include/linux/livepatch.h line 77
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+* @name name of the referenced symbol (for lookup/verification) +* @addend offset from the referenced symbol +* @external symbol is either exported or within the live patch module itself +*/ +struct klp_reloc { +unsigned long dest; +unsigned long src; +unsigned long type; +const char *name; +int addend;
BTW, where would the "addend" come from? I guess we can use "offset" instead.
kernel/livepatch/Makefile
Quoted 81 lines
include/linux/livepatch.h new file +44
-0+int external; +}; + +/* struct klp_object - kernel object structure for live patching +* @name module name (or NULL for vmlinux) +* @relocs relocation entries to be applied at load time +* @funcs function entries for functions to be patched in the object +*/ +struct klp_object { +/* external */ +const char *name; +struct klp_reloc *relocs; +struct klp_func *funcs; + +/* internal */ +struct kobject *kobj; +struct module *mod; +enum klp_state state; +}; + +/** +* struct klp_patch - patch structure for live patching +* @mod reference to the live patch module +* @objs object entries for kernel objects to be patched +*/ +struct klp_patch { +/* external */ +struct module *mod; +struct klp_object *objs; + +/* internal */ +struct list_head list; +struct kobject kobj; +enum klp_state state; +}; + +extern int klp_register_patch (struct klp_patch *); +extern int klp_unregister_patch (struct klp_patch *); +extern int klp_enable_patch (struct klp_patch *); +extern int klp_disable_patch (struct klp_patch *); + +#endif /* CONFIG_LIVE_PATCHING */ + +#endif /* _LINUX_LIVEPATCH_H_ */ kernel/Makefile +1
-0@@ -26,6 +26,7 @@ obj-y += power/ obj-y += printk/ obj-y += irq/ obj-y += rcu/ +obj-y += livepatch/ obj-$(CONFIG_CHECKPOINT_RESTORE) += kcmp.o obj-$(CONFIG_FREEZER) += freezer.okernel/livepatch/Kconfig new file +18
-0@@ -0,0 +1,18 @@ +config ARCH_HAVE_LIVE_PATCHING + boolean + help + Arch supports kernel live patching + +config LIVE_PATCHING + boolean "Kernel Live Patching" + depends on DYNAMIC_FTRACE_WITH_REGS + depends on MODULES + depends on SYSFS + depends on KALLSYMS_ALL + depends on ARCH_HAVE_LIVE_PATCHING + help + Say Y here if you want to support kernel live patching. + This option has no runtime impact until a kernel "patch" + module uses the interface provided by this option to register + a patch, causing calls to patched functions to be redirected + to new function code contained in the patch module.kernel/livepatch/Makefile +0
-0
BTW, until establishing the consistency models and engines, this would better depend on EXPERIMENTAL flag :)
Thank you,
Signature · 4 lines
Masami HIRAMATSU Software Platform Research Dept. Linux Technology Research Center Hitachi, Ltd., Yokohama Research Laboratory E-mail: [email protected]
Re: [PATCHv4 2/3] kernel: add support for live patching
In reply to Seth JenningsHello,
it is improving a lot over the time. I have still few comments below.
Quoted 3 lines · Seth Jennings
arch/x86/include/asm/livepatch.h new file +0
-0@@ -0,0 +1,40 @@
...
Quoted 21 lines
arch/x86/include/asm/livepatch.h new file +21
-0+#ifndef _ASM_X86_LIVEPATCH_H +#define _ASM_X86_LIVEPATCH_H + +#include <linux/module.h> + +#ifdef CONFIG_LIVE_PATCHING +#ifndef CC_USING_FENTRY +#error Your compiler must support -mfentry for live patching to work +#endif +extern int klp_write_module_reloc (struct module *mod,unsigned long type, +unsigned long loc,unsigned long value); + +#else +static inline int klp_write_module_reloc (struct module *mod,unsigned long type, +unsigned long loc,unsigned long value) +{ +return -ENOSYS ; +} +#endif + +#endif /* _ASM_X86_LIVEPATCH_H */
...
Quoted 3 lines
arch/x86/kernel/livepatch.c new file +0
-0@@ -0,0 +1,74 @@
...
arch/x86/kernel/livepatch.c line 23
Quoted 4 lines
arch/x86/kernel/livepatch.c new file +4
-0+#include <linux/module.h> +#include <linux/uaccess.h> +#include <asm/cacheflush.h> +#include <asm/page_types.h>
It would make sense to include asm/livepatch.h here. Whenever somebody changes the prototype of the function or adds a new functionality, it would force them to write them right.
Quoted 29 lines
arch/x86/kernel/livepatch.c new file +29
-0+int klp_write_module_reloc (struct module *mod,unsigned long type, +unsigned long loc,unsigned long value) +{ +int ret, readonly, numpages, size =4 ; +unsigned long val; +unsigned long core = (unsigned long )mod->module_core; +unsigned long core_ro_size = mod->core_ro_size; +unsigned long core_size = mod->core_size; + +switch (type) { +case R_X86_64_NONE : +return 0 ; +case R_X86_64_64 : + val = value; + size =8 ; +break ; +case R_X86_64_32 : + val = (u32 )value; +break ; +case R_X86_64_32S : + val = (s32 )value; +break ; +case R_X86_64_PC32 : + val = (u32)(value - loc); +break ; +default : +/* unsupported relocation type */ +return -EINVAL ; + }
arch/x86/kernel/livepatch.c line 63
Quoted 10 lines
arch/x86/kernel/livepatch.c new file +10
-0+ +if (loc >= core && loc < core + core_ro_size) + readonly =1 ; +else if (loc >= core + core_ro_size && loc < core + core_size) + readonly =0 ; +else +/* loc not in expected range */ +return -EINVAL ; + + numpages = ((loc &PAGE_MASK ) == ((loc + size) &PAGE_MASK )) ?1 :2 ;
This deserves a comment or better assignment. Maybe something like:
numpages = DIV_ROUND_UP((loc & ~PAGE_MASK) + size, PAGE_SIZE);
Quoted 16 lines
arch/x86/kernel/livepatch.c new file +10
-0+if (readonly) +set_memory_rw (loc &PAGE_MASK , numpages); + + ret =probe_kernel_write ((void *)loc, &val, size); + +if (readonly) +set_memory_ro (loc &PAGE_MASK , numpages); + +return ret; +}include/linux/livepatch.h new file +0
-0@@ -0,0 +1,121 @@
...
Quoted 26 lines
include/linux/livepatch.h new file +26
-0+/** +* struct klp_func - function structure for live patching +* @old_name: name of the function to be patched +* @new_func: pointer to the patched function code +* @old_addr: a hint conveying at what address the old function +* can be found (optional, vmlinux patches only) +*/ +struct klp_func { +/* external */ +const char *old_name; +void *new_func; +/* +* The old_addr field is optional and can be used to resolve +* duplicate symbol names in the vmlinux object. If this +* information is not present, the symbol is located by name +* with kallsyms. If the name is not unique and old_addr is +* not provided, the patch application fails as there is no +* way to resolve the ambiguity. +*/ +unsigned long old_addr; + +/* internal */ +struct kobject kobj; +struct ftrace_ops *fops; +enum klp_state state; +};
include/linux/livepatch.h line 70
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+ +/** +* struct klp_reloc - relocation structure for live patching +* @dest address where the relocation will be written +* @src address of the referenced symbol (optional, +* vmlinux patches only) +* @type ELF relocation type +* @name name of the referenced symbol (for lookup/verification) +* @addend offset from the referenced symbol +* @external symbol is either exported or within the live patch module itself
Missing colons there and below too 8-).
Quoted 20 lines
include/linux/livepatch.h new file +20
-0+struct klp_reloc { +unsigned long dest; +unsigned long src; +unsigned long type; +const char *name; +int addend; +int external; +}; + +/* struct klp_object - kernel object structure for live patching +* @name module name (or NULL for vmlinux) +* @relocs relocation entries to be applied at load time +* @funcs function entries for functions to be patched in the object +*/ +struct klp_object { +/* external */ +const char *name; +struct klp_reloc *relocs; +struct klp_func *funcs; +
include/linux/livepatch.h line 101
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+/* internal */ +struct kobject *kobj; +struct module *mod; +enum klp_state state; +}; + +/** +* struct klp_patch - patch structure for live patching +* @mod reference to the live patch module +* @objs object entries for kernel objects to be patched
Why do you limit documentation only to "API" members? People reading and working on the code want to know something about the rest too.
Quoted 11 lines
+ */
include/linux/livepatch.h new file +10
-0+struct klp_patch { +/* external */ +struct module *mod; +struct klp_object *objs; + +/* internal */ +struct list_head list; +struct kobject kobj; +enum klp_state state; +};
...
Quoted 3 lines
kernel/livepatch/core.c new file +0
-0@@ -0,0 +1,807 @@
...
Quoted 4 lines
kernel/livepatch/core.c new file +4
-0+static void klp_module_notify_coming (struct module *pmod, +struct klp_object *obj) +{ +struct module *mod = obj->mod;
...
kernel/livepatch/core.c
Quoted 1 line
kernel/livepatch/core.c new file +1
-0+ obj->mod = mod;
No :).
Quoted 5 lines
kernel/livepatch/core.c new file +5
-0+ ret =klp_enable_object (pmod, obj); +if (ret) +pr_warn ("failed to apply patch '%s' to module '%s' (%d)\n" , + pmod->name, mod->name, ret); +}
...
kernel/livepatch/core.c line 574
Quoted 7 lines
kernel/livepatch/core.c new file +7
-0+static void klp_kobj_release_patch (struct kobject *kobj) +{ +struct klp_patch *patch; + + patch = container_of(kobj, struct klp_patch, kobj); +if (!list_empty (&patch->list)) +list_del (&patch->list);
This is broken.
First, the mutex protecting klp_patches is not held on all paths.
Second, ->release is not necessarily called in-line. I mean, whenever kobject_put returns, this does not mean, the patch will be removed from the list. Even if it was the last put. This will have unexpected impact on the assumptions I and others might have about klp_patches. E.g. all references of objects and funcs in the patch might be gone at any time I crawl through the list before this ->release is called.
Quoted 7 lines
kernel/livepatch/core.c new file +7
-0+} + +static struct kobj_type klp_ktype_patch = { + .release = klp_kobj_release_patch, + .sysfs_ops = &kobj_sysfs_ops, + .default_attrs = klp_patch_attrs +};
...
kernel/livepatch/core.c line 627
Quoted 4 lines
kernel/livepatch/core.c new file +4
-0+static void klp_free_patch (struct klp_patch *patch) +{ +klp_free_objects_limited (patch,NULL ); +kobject_put (&patch->kobj);
This one is called with klp_mutex. Do not assume ->release will be called in-line. It will and it will not. You have to call this outside the lock, given you need the lock in ->release.
Quoted 12 lines
kernel/livepatch/core.c new file +12
-0+} + +static int klp_init_funcs (struct klp_object *obj) +{ +struct klp_func *func; +struct ftrace_ops *ops; +int ret; + +if (!obj->funcs) +return -EINVAL ; + +for (func = obj->funcs; func->old_name; func++) {
kernel/livepatch/core.c line 649
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+ func->state =KLP_DISABLED ; + + ops =kzalloc (sizeof (*ops),GFP_KERNEL ); +if (!ops) { + ret = -ENOMEM ; + goto free; + } + ops->private = func; + ops->func = klp_ftrace_handler; + ops->flags =FTRACE_OPS_FL_SAVE_REGS |FTRACE_OPS_FL_DYNAMIC ;
Maybe I missed some discussion. So why cannot func->ops be static?
Quoted 14 lines
kernel/livepatch/core.c new file +14
-0+/* sysfs */ + ret =kobject_init_and_add (&func->kobj, &klp_ktype_func, + obj->kobj, func->old_name); +if (ret) { +kfree (ops); + goto free; + } + + func->fops = ops; + } + +return 0 ; +free: +klp_free_funcs_limited (obj, func);
kernel/livepatch/core.c line 674
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+return ret; +} + +static int klp_init_objects (struct klp_patch *patch) +{ +struct klp_object *obj; +int ret; + +if (!patch->objs) +return -EINVAL ;
This was already checked in klp_register_patch. Do you anticipate more paths than that to come here?
kernel/livepatch/core.c line 677
Quoted 3 lines
kernel/livepatch/core.c new file +3
-0+ +for (obj = patch->objs; obj->funcs; obj++) { +/* obj->mod set by klp_object_module_get() */
I don't see it anywhere.
Quoted 9 lines
kernel/livepatch/core.c new file +9
-0+ obj->state =KLP_DISABLED ; + +/* sysfs */ + obj->kobj =kobject_create_and_add (obj->name, &patch->kobj); +if (!obj->kobj) + goto free; + +/* init functions */ + ret =klp_init_funcs (obj);
kernel/livepatch/core.c line 696
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+if (ret) { +kobject_put (obj->kobj); + goto free; + } + } + +return 0 ; +free: +klp_free_objects_limited (patch, obj); +return -ENOMEM ;
klp_init_funcs does not always return ENOMEM. The error should be propagated for easier debugging.
kernel/livepatch/core.c line 704
Quoted 8 lines
kernel/livepatch/core.c new file +8
-0+} + +static int klp_init_patch (struct klp_patch *patch) +{ +int ret; + +if (!patch) +return -EINVAL ;
Detto as above.
kernel/livepatch/core.c line 717
Quoted 12 lines
kernel/livepatch/core.c new file +12
-0+/* init */ + patch->state =KLP_DISABLED ; + +/* sysfs */ + ret =kobject_init_and_add (&patch->kobj, &klp_ktype_patch, + klp_root_kobj, patch->mod->name); +if (ret) +return ret; + + ret =klp_init_objects (patch); +if (ret) { +kobject_put (&patch->kobj);
Hmm, but who initializes patch->list for klp_ktype_patch->release()?
kernel/livepatch/core.c line 721
Quoted 4 lines
kernel/livepatch/core.c new file +4
-0+return ret; + } + +/* add to global list of patches */
All three comments here are useless as they point out obvious. Drop them. And similar ones from the routines above.
Quoted 6 lines
kernel/livepatch/core.c new file +6
-0+mutex_lock (&klp_mutex); +list_add (&patch->list, &klp_patches); +mutex_unlock (&klp_mutex); + +return 0 ; +}
...
Quoted 5 lines
kernel/livepatch/core.c new file +5
-0+/** +* klp_unregister_patch() - unregisters a patch +* @patch: Disabled patch to be unregistered +* +* Frees the data structures and removes the sysfs interface.
kernel/livepatch/core.c line 777
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+* +* Return: 0 on success, otherwise error +*/ +int klp_unregister_patch (struct klp_patch *patch) +{ +int ret =0 ; + +mutex_lock (&klp_mutex); +if (patch->state ==KLP_ENABLED ) { + ret = -EINVAL ;
Wouldn't be EBUSY more appropriate?
Quoted 17 lines
kernel/livepatch/core.c new file +17
-0+ goto out; + } +klp_free_patch (patch); +out: +mutex_unlock (&klp_mutex); +return ret; +} +EXPORT_SYMBOL_GPL (klp_unregister_patch); + +static int klp_init (void ) +{ +int ret; + + ret =register_module_notifier (&klp_module_nb); +if (ret) +return ret; +
kernel/livepatch/core.c line 804
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+ klp_root_kobj =kobject_create_and_add ("livepatch" , kernel_kobj); +if (!klp_root_kobj) { + ret = -ENOMEM ; + goto unregister; + } + +return 0 ; +unregister: +unregister_module_notifier (&klp_module_nb); +return ret;
If this really fails, any KLP API function above will crash. We need to set some flag here and test it above.
kernel/livepatch/core.c line 807
Quoted 4 lines
kernel/livepatch/core.c new file +3
-0+} + +module_init (klp_init);
thanks,
Signature · 2 lines
js suse labs
Miroslav Benes
maintainerRe: [PATCHv4 2/3] kernel: add support for live patching
In reply to Seth JenningsHi,
thank you for new version, it looks much better now. I still have some comments though. See below please.
On Tue, 25 Nov 2014, Seth Jennings wrote:
[...]
Quoted 50 lines
include/linux/livepatch.h new file +44
-0@@ -0,0 +1,121 @@ +/* +* livepatch.h - Kernel Live Patching Core +* +* Copyright (C) 2014 Seth Jennings <[email protected]> +* +* This program is free software; you can redistribute it and/or +* modify it under the terms of the GNU General Public License +* as published by the Free Software Foundation; either version 2 +* of the License, or (at your option) any later version. +* +* This program is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details. +* +* You should have received a copy of the GNU General Public License +* along with this program; if not, see <http://www.gnu.org/licenses/>. +*/ + +#ifndef _LINUX_LIVEPATCH_H_ +#define _LINUX_LIVEPATCH_H_ + +#include <linux/module.h> +#include <linux/ftrace.h> + +#if IS_ENABLED(CONFIG_LIVE_PATCHING) + +#include <asm/livepatch.h> + +enum klp_state { + KLP_DISABLED, + KLP_ENABLED +}; + +/** + * struct klp_func - function structure for live patching + * @old_name: name of the function to be patched + * @new_func: pointer to the patched function code + * @old_addr: a hint conveying at what address the old function + * can be found (optional, vmlinux patches only) + */ +struct klp_func { + /* external */ + const char *old_name;
include/linux/livepatch.h line 54
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+void *new_func; +/* +* The old_addr field is optional and can be used to resolve +* duplicate symbol names in the vmlinux object. If this +* information is not present, the symbol is located by name +* with kallsyms. If the name is not unique and old_addr is +* not provided, the patch application fails as there is no +* way to resolve the ambiguity. +*/ +unsigned long old_addr;
I wonder if we really need old_addr as an external field. I assume that userspace tool in kpatch use it as a "hint" for kernel part and thus kallsyms is not needed there (and it solves ambiguity problem as well). But I am not sure if it is gonna be the same in upstream. When kernel is randomized (CONFIG_RANDOMIZE_BASE is set to 'y', though default is 'n') old_addr is not usable (and we throw it away in the code). Without old_addr being set by the user we could spare some of code (calls to klp_verify_vmlinux_symbol and such).
So the question is whether future userspace tool in upstream would need it and would use it. Please note that I do not mean it as a kpatch or kgraft way to do things, I'm just not sure about old_addr being "public" and want do discuss the options.
The ambiguity of symbols was discussed in some other thread in lkml in october (I guess) with no conclusion IIRC...
[...]
include/linux/livepatch.h line 56
Quoted 2 lines
include/linux/livepatch.h new file +2
-0+static void klp_ftrace_handler (unsigned long ip,unsigned long parent_ip, +struct ftrace_ops *ops,struct pt_regs *regs)
I think we should label ftrace handler as notrace to prevent possible recursion loop when one would like to patch the handler :). See note in the comment for register_ftrace_function in kernel/trace/ftrace.c.
Quoted 19 lines
include/linux/livepatch.h new file +19
-0+{ +struct klp_func *func = ops->private; + + regs->ip = (unsigned long )func->new_func; +} + +static int klp_enable_func (struct klp_func *func) +{ +int ret; + +if (WARN_ON (!func->old_addr)) +return -EINVAL ; + +if (WARN_ON (func->state !=KLP_DISABLED )) +return -EINVAL ; + + ret =ftrace_set_filter_ip (func->fops, func->old_addr,0 ,0 ); +if (ret) { + pr_err("failed to set ftrace filter for function '%s' (%d)\n",
include/linux/livepatch.h line 85
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+ func->old_name, ret); +return ret; + } + ret =register_ftrace_function (func->fops); +if (ret) { +pr_err ("failed to register ftrace handler for function '%s' (%d)\n" , + func->old_name, ret); +ftrace_set_filter_ip (func->fops, func->old_addr,1 ,0 ); + }else + func->state =KLP_ENABLED ;
Missing braces for else branch.
Quoted 3 lines
include/linux/livepatch.h new file +3
-0+ +return ret; +}
[...]
Quoted 7 lines
include/linux/livepatch.h new file +7
-0+/** +* klp_disable_patch() - disables a registered patch +* @patch: The registered, enabled patch to be disabled +* +* Unregisters the patched functions from ftrace. +* +* Return: 0 on success, otherwise error
include/linux/livepatch.h
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+*/ +int klp_disable_patch (struct klp_patch *patch) +{ +int ret; + +mutex_lock (&klp_mutex); +if (patch->state ==KLP_ENABLED ) { + ret = -EINVAL ; + goto out; + }
if (patch->state == KLP_DISABLED) { ?
Quoted 7 lines
include/linux/livepatch.h new file +7
-0+ ret =__klp_disable_patch (patch); +out: +mutex_unlock (&klp_mutex); +return ret; +} +EXPORT_SYMBOL_GPL (klp_disable_patch); +
[...]
include/linux/livepatch.h
Quoted 9 lines
include/linux/livepatch.h new file +9
-0+static void klp_module_notify_coming (struct module *pmod, +struct klp_object *obj) +{ +struct module *mod = obj->mod; +int ret; + +pr_notice ("applying patch '%s' to loading module '%s'\n" , + pmod->name, mod->name); + obj->mod = mod;
Still there :)
Quoted 49 lines
include/linux/livepatch.h new file +49
-0+ ret =klp_enable_object (pmod, obj); +if (ret) +pr_warn ("failed to apply patch '%s' to module '%s' (%d)\n" , + pmod->name, mod->name, ret); +} + +static void klp_module_notify_going (struct module *pmod, +struct klp_object *obj) +{ +struct module *mod = obj->mod; +int ret; + +pr_notice ("reverting patch '%s' on unloading module '%s'\n" , + pmod->name, mod->name); + ret =klp_disable_object (obj); +if (ret) +pr_warn ("failed to revert patch '%s' on module '%s' (%d)\n" , + pmod->name, mod->name, ret); + obj->mod =NULL ; +} + +static int klp_module_notify (struct notifier_block *nb,unsigned long action, +void *data) +{ +struct module *mod = data; +struct klp_patch *patch; +struct klp_object *obj; + +if (action !=MODULE_STATE_COMING && action !=MODULE_STATE_GOING ) +return 0 ; + +mutex_lock (&klp_mutex); +list_for_each_entry (patch, &klp_patches, list) { +if (patch->state ==KLP_DISABLED ) +continue ; +for (obj = patch->objs; obj->funcs; obj++) { +if (!obj->name ||strcmp (obj->name, mod->name)) +continue ; +if (action ==MODULE_STATE_COMING ) { + obj->mod = mod; +klp_module_notify_coming (patch->mod, obj); + }else /* MODULE_STATE_GOING */ +klp_module_notify_going (patch->mod, obj); +break ; + } + } +mutex_unlock (&klp_mutex); +return 0 ; +}
[...]
include/linux/livepatch.h
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+static int klp_init_objects (struct klp_patch *patch) +{ +struct klp_object *obj; +int ret; + +if (!patch->objs) +return -EINVAL ; + +for (obj = patch->objs; obj->funcs; obj++) { +/* obj->mod set by klp_object_module_get() */
Still there. Moreover obj->mod is also set in module notifier.
include/linux/livepatch.h
Quoted 4 lines
include/linux/livepatch.h new file +4
-0+ obj->state =KLP_DISABLED ; + +/* sysfs */ + obj->kobj =kobject_create_and_add (obj->name, &patch->kobj);
There is the problem with obj->name set to NULL (for vmlinux). This creates subdirectory called '(null)' which is not nice.
Quoted 13 lines
include/linux/livepatch.h new file +13
-0+if (!obj->kobj) + goto free; + +/* init functions */ + ret =klp_init_funcs (obj); +if (ret) { +kobject_put (obj->kobj); + goto free; + } + } + +return 0 ; +free:
include/linux/livepatch.h
Quoted 10 lines
include/linux/livepatch.h new file +9
-0+klp_free_objects_limited (patch, obj); +return -ENOMEM ; +} +int klp_register_patch (struct klp_patch *patch) +{ +int ret; + +if (!patch || !patch->mod || !patch->objs) +return -EINVAL ;
Check for patch->objs is also above in klp_init_objects, so it can be removed from here.
Quoted 8 lines
include/linux/livepatch.h new file +8
-0+ +/* +* A reference is taken on the patch module to prevent it from being +* unloaded. Right now, we don't allow patch modules to unload since +* there is currently no method to determine if a thread is still +* running in the patched code contained in the patch module once +* the ftrace registration is successful. +*/
include/linux/livepatch.h
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+if (!try_module_get (patch->mod)) +return -ENODEV ; + + ret =klp_init_patch (patch); +if (ret) +module_put (patch->mod); + +return ret; +} +EXPORT_SYMBOL_GPL (klp_register_patch);
Thank you again for good work!
--
Miroslav Benes
SUSE Labs
Re: [PATCHv4 2/3] kernel: add support for live patching
Hi Miroslav,
Just addressing one of your comments below. I'll let Seth respond to the others :-)
Quoted 21 lines · Miroslav Benes
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+/** +* struct klp_func - function structure for live patching +* @old_name: name of the function to be patched +* @new_func: pointer to the patched function code +* @old_addr: a hint conveying at what address the old function +* can be found (optional, vmlinux patches only) +*/ +struct klp_func { +/* external */ +const char *old_name;include/linux/livepatch.h line 54
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+void *new_func; +/* +* The old_addr field is optional and can be used to resolve +* duplicate symbol names in the vmlinux object. If this +* information is not present, the symbol is located by name +* with kallsyms. If the name is not unique and old_addr is +* not provided, the patch application fails as there is no +* way to resolve the ambiguity. +*/ +unsigned long old_addr;
Quoted 8 lines
I wonder if we really need
old_addras an external field. I assume that userspace tool in kpatch use it as a "hint" for kernel part and thus kallsyms is not needed there (and it solves ambiguity problem as well). But I am not sure if it is gonna be the same in upstream. When kernel is randomized (CONFIG_RANDOMIZE_BASEis set to 'y', though default is 'n')old_addris not usable (and we throw it away in the code). Withoutold_addrbeing set by the user we could spare some of code (calls toklp_verify_vmlinux_symboland such).
Even with CONFIG_RANDOMIZE_BASE, the function offsets will be the same regardless of the base address. So we could still use old_addr to determine the offset.
Quoted 7 lines
So the question is whether future userspace tool in upstream would need it and would use it. Please note that I do not mean it as a kpatch or kgraft way to do things, I'm just not sure about
old_addrbeing "public" and want do discuss the options.The ambiguity of symbols was discussed in some other thread in lkml in october (I guess) with no conclusion IIRC...
We need to resolve ambiguity somehow, and old_addr is a way to do that. Do you have any other ideas?
Signature · 1 line
Josh
Miroslav Benes
maintainerRe: [PATCHv4 2/3] kernel: add support for live patching
Quoted 45 lines · Josh Poimboeuf
Hi Miroslav,
Just addressing one of your comments below. I'll let Seth respond to the others :-)
Quoted 21 lines · Miroslav Benes
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+/** +* struct klp_func - function structure for live patching +* @old_name: name of the function to be patched +* @new_func: pointer to the patched function code +* @old_addr: a hint conveying at what address the old function +* can be found (optional, vmlinux patches only) +*/ +struct klp_func { +/* external */ +const char *old_name;include/linux/livepatch.h line 54
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+void *new_func; +/* +* The old_addr field is optional and can be used to resolve +* duplicate symbol names in the vmlinux object. If this +* information is not present, the symbol is located by name +* with kallsyms. If the name is not unique and old_addr is +* not provided, the patch application fails as there is no +* way to resolve the ambiguity. +*/ +unsigned long old_addr;Quoted 8 lines
I wonder if we really need
old_addras an external field. I assume that userspace tool in kpatch use it as a "hint" for kernel part and thus kallsyms is not needed there (and it solves ambiguity problem as well). But I am not sure if it is gonna be the same in upstream. When kernel is randomized (CONFIG_RANDOMIZE_BASEis set to 'y', though default is 'n')old_addris not usable (and we throw it away in the code). Withoutold_addrbeing set by the user we could spare some of code (calls toklp_verify_vmlinux_symboland such).Even with
CONFIG_RANDOMIZE_BASE, the function offsets will be the same regardless of the base address. So we could still useold_addrto determine the offset.Quoted 5 lines
So the question is whether future userspace tool in upstream would need it and would use it. Please note that I do not mean it as a kpatch or kgraft way to do things, I'm just not sure about
old_addrbeing "public" and want do discuss the options.
Quoted 5 lines
Quoted 2 lines
The ambiguity of symbols was discussed in some other thread in lkml in october (I guess) with no conclusion IIRC...
We need to resolve ambiguity somehow, and
old_addris a way to do that. Do you have any other ideas?
Unfortunately I don't.
But similarly we don't deal with ambiguity in modules either. And it is (at least theoretically) possible. Two static functions of the same name in two different .c files which the final module is linked from. You have to use kallsyms and it would get confused. Maybe this sounds odd but it could happen.
Thus the old_addr value is not general protection (as modules are still affected) and it is questionable whether the user should use it.
I do not have strong opinion on this and if no one else shares my thoughts, I am not against.
Mira
Re: [PATCHv4 2/3] kernel: add support for live patching
Quoted 53 lines · Miroslav Benes
Quoted 45 lines · Josh Poimboeuf
Hi Miroslav,
Just addressing one of your comments below. I'll let Seth respond to the others :-)
Quoted 21 lines · Miroslav Benes
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+/** +* struct klp_func - function structure for live patching +* @old_name: name of the function to be patched +* @new_func: pointer to the patched function code +* @old_addr: a hint conveying at what address the old function +* can be found (optional, vmlinux patches only) +*/ +struct klp_func { +/* external */ +const char *old_name;include/linux/livepatch.h line 54
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+void *new_func; +/* +* The old_addr field is optional and can be used to resolve +* duplicate symbol names in the vmlinux object. If this +* information is not present, the symbol is located by name +* with kallsyms. If the name is not unique and old_addr is +* not provided, the patch application fails as there is no +* way to resolve the ambiguity. +*/ +unsigned long old_addr;Quoted 8 lines
I wonder if we really need
old_addras an external field. I assume that userspace tool in kpatch use it as a "hint" for kernel part and thus kallsyms is not needed there (and it solves ambiguity problem as well). But I am not sure if it is gonna be the same in upstream. When kernel is randomized (CONFIG_RANDOMIZE_BASEis set to 'y', though default is 'n')old_addris not usable (and we throw it away in the code). Withoutold_addrbeing set by the user we could spare some of code (calls toklp_verify_vmlinux_symboland such).Even with
CONFIG_RANDOMIZE_BASE, the function offsets will be the same regardless of the base address. So we could still useold_addrto determine the offset.Quoted 5 lines
So the question is whether future userspace tool in upstream would need it and would use it. Please note that I do not mean it as a kpatch or kgraft way to do things, I'm just not sure about
old_addrbeing "public" and want do discuss the options.Quoted 5 lines
Quoted 2 lines
The ambiguity of symbols was discussed in some other thread in lkml in october (I guess) with no conclusion IIRC...
We need to resolve ambiguity somehow, and
old_addris a way to do that. Do you have any other ideas?
Quoted 7 lines
Unfortunately I don't.
But similarly we don't deal with ambiguity in modules either. And it is (at least theoretically) possible. Two static functions of the same name in two different .c files which the final module is linked from. You have to use kallsyms and it would get confused. Maybe this sounds odd but it could happen.
True, this is a remote possibility, but we haven't run into this issue yet. If it becomes a problem, we can try to come up with another way to resolve duplicates.
Here's one idea: since the symbols are always listed in the same order in kallsyms (per-object), instead of old_addr we could have sym_idx. A sym_idx of 2 could mean "I want the 2nd occurence of foo in the object's kallsyms list".
However I'd rather keep our current old_addr scheme for now, since it's what we have implemented already. And there are plenty of more important things we need to do first.
Quoted 2 lines
Thus the
old_addrvalue is not general protection (as modules are still affected) and it is questionable whether the user should use it.
It's not really protection, since even if you don't specify old_addr and you rely on kallsyms, klp_find_symbol will return an error if there are any duplicates.
It's really just a way to increase the size of the set of functions which can be patched (duplicately named functions).
We also rely on something similar for relocations: klp_reloc.src. It's even more important there, since duplicately named static objects are more common than duplicately named functions.
Quoted 4 lines
I do not have strong opinion on this and if no one else shares my thoughts, I am not against.
Mira
Signature · 1 line
Josh
Miroslav Benes
maintainerRe: [PATCHv4 2/3] kernel: add support for live patching
Quoted 62 lines · Josh Poimboeuf
Quoted 53 lines · Miroslav Benes
Quoted 45 lines · Josh Poimboeuf
Hi Miroslav,
Just addressing one of your comments below. I'll let Seth respond to the others :-)
Quoted 21 lines · Miroslav Benes
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+/** +* struct klp_func - function structure for live patching +* @old_name: name of the function to be patched +* @new_func: pointer to the patched function code +* @old_addr: a hint conveying at what address the old function +* can be found (optional, vmlinux patches only) +*/ +struct klp_func { +/* external */ +const char *old_name;include/linux/livepatch.h line 54
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+void *new_func; +/* +* The old_addr field is optional and can be used to resolve +* duplicate symbol names in the vmlinux object. If this +* information is not present, the symbol is located by name +* with kallsyms. If the name is not unique and old_addr is +* not provided, the patch application fails as there is no +* way to resolve the ambiguity. +*/ +unsigned long old_addr;Quoted 8 lines
I wonder if we really need
old_addras an external field. I assume that userspace tool in kpatch use it as a "hint" for kernel part and thus kallsyms is not needed there (and it solves ambiguity problem as well). But I am not sure if it is gonna be the same in upstream. When kernel is randomized (CONFIG_RANDOMIZE_BASEis set to 'y', though default is 'n')old_addris not usable (and we throw it away in the code). Withoutold_addrbeing set by the user we could spare some of code (calls toklp_verify_vmlinux_symboland such).Even with
CONFIG_RANDOMIZE_BASE, the function offsets will be the same regardless of the base address. So we could still useold_addrto determine the offset.Quoted 5 lines
So the question is whether future userspace tool in upstream would need it and would use it. Please note that I do not mean it as a kpatch or kgraft way to do things, I'm just not sure about
old_addrbeing "public" and want do discuss the options.Quoted 5 lines
Quoted 2 lines
The ambiguity of symbols was discussed in some other thread in lkml in october (I guess) with no conclusion IIRC...
We need to resolve ambiguity somehow, and
old_addris a way to do that. Do you have any other ideas?Quoted 7 lines
Unfortunately I don't.
But similarly we don't deal with ambiguity in modules either. And it is (at least theoretically) possible. Two static functions of the same name in two different .c files which the final module is linked from. You have to use kallsyms and it would get confused. Maybe this sounds odd but it could happen.
Quoted 8 lines
True, this is a remote possibility, but we haven't run into this issue yet. If it becomes a problem, we can try to come up with another way to resolve duplicates.
Here's one idea: since the symbols are always listed in the same order in kallsyms (per-object), instead of
old_addrwe could havesym_idx. Asym_idxof 2 could mean "I want the 2nd occurence of foo in the object's kallsyms list".
This sounds crazy and I hope we won't be forced to implement it after all :)
Quoted 3 lines
However I'd rather keep our current
old_addrscheme for now, since it's what we have implemented already. And there are plenty of more important things we need to do first.
Agreed
Quoted 7 lines
Quoted 2 lines
Thus the
old_addrvalue is not general protection (as modules are still affected) and it is questionable whether the user should use it.It's not really protection, since even if you don't specify
old_addrand you rely on kallsyms,klp_find_symbolwill return an error if there are any duplicates.
Quoted 6 lines
It's really just a way to increase the size of the set of functions which can be patched (duplicately named functions).
We also rely on something similar for relocations: klp_reloc.src. It's even more important there, since duplicately named static objects are more common than duplicately named functions.
I understand. So let's settle for leaving it as it is.
Thanks
Mira
Quoted 8 lines
Quoted 4 lines
I do not have strong opinion on this and if no one else shares my thoughts, I am not against.
Mira
Signature · 1 line
Josh
--
Miroslav Benes
SUSE Labs
Re: [PATCHv4 2/3] kernel: add support for live patching
In reply to Seth JenningsQuoted 7 lines · Seth Jennings
This commit introduces code for the live patching core. It implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions.
It represents the greatest common functionality set between kpatch and kgraft and can accept patches built using either method.
Quoted 6 lines
This first version does not implement any consistency mechanism that ensures that old and new code do not run together. In practice, ~90% of CVEs are safe to apply in this way, since they simply add a conditional check. However, any function change that can not execute safely with the old version of the function can _not_ be safely applied in this version.
It is nicely improving. I have few more comments.
[...]
Quoted 34 lines
arch/x86/include/asm/livepatch.h new file +28
-0@@ -0,0 +1,40 @@ +/* +* livepatch.h - x86-specific Kernel Live Patching Core +* +* Copyright (C) 2014 Seth Jennings <[email protected]> +* +* This program is free software; you can redistribute it and/or +* modify it under the terms of the GNU General Public License +* as published by the Free Software Foundation; either version 2 +* of the License, or (at your option) any later version. +* +* This program is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details. +* +* You should have received a copy of the GNU General Public License +* along with this program; if not, see <http://www.gnu.org/licenses/>. +*/ + +#ifndef _ASM_X86_LIVEPATCH_H +#define _ASM_X86_LIVEPATCH_H + +#include <linux/module.h> + +#ifdef CONFIG_LIVE_PATCHING +#ifndef CC_USING_FENTRY +#error Your compiler must support -mfentry for live patching to work +#endif
arch/x86/include/asm/livepatch.h line 38
Quoted 10 lines
arch/x86/include/asm/livepatch.h new file +10
-0+extern int klp_write_module_reloc (struct module *mod,unsigned long type, +unsigned long loc,unsigned long value); + +#else +static inline int klp_write_module_reloc (struct module *mod,unsigned long type, +unsigned long loc,unsigned long value) +{ +return -ENOSYS ; +} +#endif
I would avoid the #else part. IMHO, it is better to report such problems at compile time. The alternative could be added later if anyone really wants to use it outside LivePatch and do some minimal build without this feature.
Quoted 2 lines
arch/x86/include/asm/livepatch.h new file +2
-0+ +#endif /* _ASM_X86_LIVEPATCH_H */
[...]
Quoted 17 lines
arch/x86/kernel/livepatch.c new file +14
-0@@ -0,0 +1,74 @@ +/* +* livepatch.c - x86-specific Kernel Live Patching Core +* +* Copyright (C) 2014 Seth Jennings <[email protected]> +* +* This program is free software; you can redistribute it and/or +* modify it under the terms of the GNU General Public License +* as published by the Free Software Foundation; either version 2 +* of the License, or (at your option) any later version. +* +* This program is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details.
arch/x86/kernel/livepatch.c line 24
Quoted 10 lines
arch/x86/kernel/livepatch.c new file +10
-0+* +* You should have received a copy of the GNU General Public License +* along with this program; if not, see <http://www.gnu.org/licenses/>. +*/ + +#include <linux/module.h> +#include <linux/uaccess.h> +#include <asm/cacheflush.h> +#include <asm/page_types.h> +
Please, add some comments that would explain the purpose of the function and parameters.
arch/x86/kernel/livepatch.c line 28
Quoted 4 lines
arch/x86/kernel/livepatch.c new file +4
-0+int klp_write_module_reloc (struct module *mod,unsigned long type, +unsigned long loc,unsigned long value) +{ +int ret, readonly, numpages, size =4 ;
I would use bool for "readonly" and change the code to use "true" and "false".
Quoted 23 lines
arch/x86/kernel/livepatch.c new file +23
-0+unsigned long val; +unsigned long core = (unsigned long )mod->module_core; +unsigned long core_ro_size = mod->core_ro_size; +unsigned long core_size = mod->core_size; + +switch (type) { +case R_X86_64_NONE : +return 0 ; +case R_X86_64_64 : + val = value; + size =8 ; +break ; +case R_X86_64_32 : + val = (u32 )value; +break ; +case R_X86_64_32S : + val = (s32 )value; +break ; +case R_X86_64_PC32 : + val = (u32)(value - loc); +break ; +default : +/* unsupported relocation type */
arch/x86/kernel/livepatch.c line 61
Quoted 10 lines
arch/x86/kernel/livepatch.c new file +10
-0+return -EINVAL ; + } + +if (loc >= core && loc < core + core_ro_size) + readonly =1 ; +else if (loc >= core + core_ro_size && loc < core + core_size) + readonly =0 ; +else +/* loc not in expected range */ +return -EINVAL ;
Small optimization would be:
if (loc < core || loc >= core + core_size) /* loc does not point to any symbol inside the module */ return -EINVAL; if (loc < core + core_ro_size) readonly = 1; else readonly = 0;
Quoted 47 lines
arch/x86/kernel/livepatch.c new file +12
-0+ numpages = ((loc &PAGE_MASK ) == ((loc + size) &PAGE_MASK )) ?1 :2 ; + +if (readonly) +set_memory_rw (loc &PAGE_MASK , numpages); + + ret =probe_kernel_write ((void *)loc, &val, size); + +if (readonly) +set_memory_ro (loc &PAGE_MASK , numpages); + +return ret; +}include/linux/livepatch.h new file +29
-0@@ -0,0 +1,121 @@ +/* +* livepatch.h - Kernel Live Patching Core +* +* Copyright (C) 2014 Seth Jennings <[email protected]> +* +* This program is free software; you can redistribute it and/or +* modify it under the terms of the GNU General Public License +* as published by the Free Software Foundation; either version 2 +* of the License, or (at your option) any later version. +* +* This program is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details. +* +* You should have received a copy of the GNU General Public License +* along with this program; if not, see <http://www.gnu.org/licenses/>. +*/ + +#ifndef _LINUX_LIVEPATCH_H_ +#define _LINUX_LIVEPATCH_H_ + +#include <linux/module.h> +#include <linux/ftrace.h> + +#if IS_ENABLED (CONFIG_LIVE_PATCHING ) + +#include <asm/livepatch.h> +
[...]
include/linux/livepatch.h line 74
Quoted 13 lines
include/linux/livepatch.h new file +13
-0+/** +* struct klp_reloc - relocation structure for live patching +* @dest address where the relocation will be written +* @src address of the referenced symbol (optional, +* vmlinux patches only) +* @type ELF relocation type +* @name name of the referenced symbol (for lookup/verification) +* @addend offset from the referenced symbol +* @external symbol is either exported or within the live patch module itself +*/ +struct klp_reloc { +unsigned long dest; +unsigned long src;
The names are a bit confusing. It makes the feeling that we copy some data from "src" to "dest". I wonder if we could get some more descriptive names from the reloc function.
I would use the same naming scheme that is used by arch_kexec_apply_relocations_add() and apply_relocate_add() and also by the new klp_write_module_reloc()
I mean:
dest -> loc
src -> val
include/linux/livepatch.h line 77
Quoted 3 lines
include/linux/livepatch.h new file +3
-0+unsigned long type; +const char *name; +int addend;
After all, I would keep the "addend". It sounds strange but it seems to be the name used by other similar functions as well. See also include/uapi/linux/elf.h
include/linux/livepatch.h line 81
Quoted 4 lines
include/linux/livepatch.h new file +4
-0+int external; +}; + +/* struct klp_object - kernel object structure for live patching
/**
Quoted 40 lines
+ * @name module name (or NULL for vmlinux)
+ * @relocs relocation entries to be applied at load time
+ * @funcs function entries for functions to be patched in the object
+ */include/linux/livepatch.h new file +36
-0+struct klp_object { +/* external */ +const char *name; +struct klp_reloc *relocs; +struct klp_func *funcs; + +/* internal */ +struct kobject *kobj; +struct module *mod; +enum klp_state state; +}; + +/** +* struct klp_patch - patch structure for live patching +* @mod reference to the live patch module +* @objs object entries for kernel objects to be patched +*/ +struct klp_patch { +/* external */ +struct module *mod; +struct klp_object *objs; + +/* internal */ +struct list_head list; +struct kobject kobj; +enum klp_state state; +}; + +extern int klp_register_patch (struct klp_patch *); +extern int klp_unregister_patch (struct klp_patch *); +extern int klp_enable_patch (struct klp_patch *); +extern int klp_disable_patch (struct klp_patch *); + +#endif /* CONFIG_LIVE_PATCHING */ + +#endif /* _LINUX_LIVEPATCH_H_ */
[...]
Quoted 50 lines
kernel/livepatch/core.c new file +47
-0@@ -0,0 +1,807 @@ +/* +* core.c - Kernel Live Patching Core +* +* Copyright (C) 2014 Seth Jennings <[email protected]> +* +* This program is free software; you can redistribute it and/or +* modify it under the terms of the GNU General Public License +* as published by the Free Software Foundation; either version 2 +* of the License, or (at your option) any later version. +* +* This program is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details. +* +* You should have received a copy of the GNU General Public License +* along with this program; if not, see <http://www.gnu.org/licenses/>. +*/ + +#define pr_fmt (fmt) KBUILD_MODNAME ": " fmt + +#include <linux/module.h> +#include <linux/kernel.h> +#include <linux/mutex.h> +#include <linux/slab.h> +#include <linux/ftrace.h> +#include <linux/list.h> +#include <linux/kallsyms.h> +#include <linux/livepatch.h> + +/* +* The klp_mutex protects the klp_patches list and state transitions of any +* structure reachable from the patches list. References to any structure must +* be obtained under mutex protection. +*/ + +static DEFINE_MUTEX (klp_mutex); +static LIST_HEAD (klp_patches); + +static struct kobject *klp_root_kobj; + +/* sets obj->mod if object is not vmlinux and module is found */ +static bool klp_find_object_module (struct klp_object *obj) +{ +if (!obj->name) +return 1 ; +
kernel/livepatch/core.c line 57
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+mutex_lock (&module_mutex); +/* +* We don't need to take a reference on the module here because we have +* the klp_mutex, which is also taken by the module notifier. This +* prevents any module from unloading until we release the klp_mutex. +*/ + obj->mod =find_module (obj->name); +mutex_unlock (&module_mutex); + +return !!obj->mod;
I know that this is effective to return boolean here because it handles also patch against the kernel core (vmlinux). But the logic looks tricky. I would prefer a cleaner design and use this function only to set obj->mod.
I wanted to see how it would look like, so I will send a patch for this in a separate mail.
Quoted 1 line
kernel/livepatch/core.c new file +1
-0+}
[...]
kernel/livepatch/core.c line 205
Quoted 5 lines
kernel/livepatch/core.c new file +5
-0+static int klp_write_object_relocations (struct module *pmod, +struct klp_object *obj) +{ +int ret; +struct klp_reloc *reloc;
We should add some consistency checks here. I will send a patch for this as well.
kernel/livepatch/core.c line 207
Quoted 1 line
kernel/livepatch/core.c new file +1
-0+for (reloc = obj->relocs; reloc->name; reloc++) {
This might deserve a comment. Something like:
/*
* Only symbols from modules need to be relocated.
* The symbols from the core kernel binary (vmlinux) are
* only used to check consistency between the patch and
* the patched kernel.
*/
Quoted 5 lines
kernel/livepatch/core.c new file +5
-0+if (!obj->name) { + ret =klp_verify_vmlinux_symbol (reloc->name, + reloc->src); +if (ret) +return ret;
kernel/livepatch/core.c line 222
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+ }else { +/* module, reloc->src needs to be discovered */ +if (reloc->external) + ret =klp_find_external_symbol (pmod, + reloc->name, + &reloc->src); +else + ret =klp_find_symbol (obj->mod->name, + reloc->name, + &reloc->src);
I was confused that klp_find_external_symbol() is actually more generic than klp_find_symbol(). It might help to rename:klp_find_symbol() -> klp_find_object_symbol()
Quoted 15 lines
kernel/livepatch/core.c new file +15
-0+if (ret) +return ret; + } + ret =klp_write_module_reloc (pmod, reloc->type, reloc->dest, + reloc->src + reloc->addend); +if (ret) { +pr_err ("relocation failed for symbol '%s' at 0x%016lx (%d)\n" , + reloc->name, reloc->src, ret); +return ret; + } + } + +return 0 ; +} +
[...]
kernel/livepatch/core.c line 300
Quoted 4 lines
kernel/livepatch/core.c new file +4
-0+static int klp_disable_object (struct klp_object *obj) +{ +struct klp_func *func; +int ret;
if (WARN_ON(obj->state != KLP_ENABLED)) return -EINVAL;
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+ +for (func = obj->funcs; func->old_name; func++) { +if (func->state !=KLP_ENABLED ) +continue ; + ret =klp_disable_func (func); +if (ret) +return ret; +if (obj->name) + func->old_addr =0 ; + }
kernel/livepatch/core.c line 320
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+ obj->state =KLP_DISABLED ; + +return 0 ; +} + +static int klp_enable_object (struct module *pmod,struct klp_object *obj) +{ +struct klp_func *func; +int ret; +
if (WARN_ON(obj->state != KLP_DISABLED)) return -EINVAL;
kernel/livepatch/core.c line 325
Quoted 5 lines
kernel/livepatch/core.c new file +5
-0+if (WARN_ON (!obj->mod && obj->name)) +return -EINVAL ; + +if (obj->relocs) { + ret =klp_write_object_relocations (pmod, obj);
I was curious why the relocation is here. I think that the motivation was to safe the call when handling comming modules.
IMHO, more clean solution would be to do this in klp_init_object(). It will also cause removing the "pmod" parameter and this function will be more symmetric with klp_disable_object();
I was curious how it would work, so I prepared a patch. I will send it in separate mail.
Quoted 16 lines
kernel/livepatch/core.c new file +16
-0+if (ret) + goto unregister; + } + +for (func = obj->funcs; func->old_name; func++) { + ret =klp_find_verify_func_addr (func, obj->name); +if (ret) + goto unregister; + + ret =klp_enable_func (func); +if (ret) + goto unregister; + } + obj->state =KLP_ENABLED ; + +return 0 ;
kernel/livepatch/core.c line 351
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+unregister: +WARN_ON (klp_disable_object (obj)); +return ret; +} + +static int __klp_disable_patch (struct klp_patch *patch) +{ +struct klp_object *obj; +int ret; +
if (WARN_ON(patch->state != KLP_ENABLED)) return -EINVAL;
Quoted 18 lines
kernel/livepatch/core.c new file +18
-0+pr_notice ("disabling patch '%s'\n" , patch->mod->name); + +for (obj = patch->objs; obj->funcs; obj++) { +if (obj->state !=KLP_ENABLED ) +continue ; + ret =klp_disable_object (obj); +if (ret) +return ret; + } + patch->state =KLP_DISABLED ; + +return 0 ; +} + +/** +* klp_disable_patch() - disables a registered patch +* @patch: The registered, enabled patch to be disabled +*
kernel/livepatch/core.c line 379
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+* Unregisters the patched functions from ftrace. +* +* Return: 0 on success, otherwise error +*/ +int klp_disable_patch (struct klp_patch *patch) +{ +int ret; + +mutex_lock (&klp_mutex); +if (patch->state ==KLP_ENABLED ) {
IMHO, this check belongs to the __klp_disable_patch(). Same approach that is already used in klp_enable_patch().
Quoted 51 lines
kernel/livepatch/core.c new file +51
-0+ ret = -EINVAL ; + goto out; + } + ret =__klp_disable_patch (patch); +out: +mutex_unlock (&klp_mutex); +return ret; +} +EXPORT_SYMBOL_GPL (klp_disable_patch); + +static int __klp_enable_patch (struct klp_patch *patch) +{ +struct klp_object *obj; +int ret; + +if (WARN_ON (patch->state !=KLP_DISABLED )) +return -EINVAL ; + +pr_notice_once ("tainting kernel with TAINT_LIVEPATCH\n" ); +add_taint (TAINT_LIVEPATCH ,LOCKDEP_STILL_OK ); + +pr_notice ("enabling patch '%s'\n" , patch->mod->name); + +for (obj = patch->objs; obj->funcs; obj++) { +if (!klp_find_object_module (obj)) +continue ; + ret =klp_enable_object (patch->mod, obj); +if (ret) + goto unregister; + } + patch->state =KLP_ENABLED ; +return 0 ; + +unregister: +WARN_ON (__klp_disable_patch (patch)); +return ret; +} + +/** +* klp_enable_patch() - enables a registered patch +* @patch: The registered, disabled patch to be enabled +* +* Performs the needed symbol lookups and code relocations, +* then registers the patched functions with ftrace. +* +* Return: 0 on success, otherwise error +*/ +int klp_enable_patch (struct klp_patch *patch) +{ +int ret; +
kernel/livepatch/core.c line 440
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+mutex_lock (&klp_mutex); + ret =__klp_enable_patch (patch); +mutex_unlock (&klp_mutex); + +return ret; +} +EXPORT_SYMBOL_GPL (klp_enable_patch); + +static void klp_module_notify_coming (struct module *pmod, +struct klp_object *obj)
I was confused that this function handles only one patch. Then I found that it is called for each patch from klp_module_notify().
What about renaming to klp_init_and_enable_object_delayed() or klp_module_notify_init_and_enable_object() or so.
In fact, we might want to split this into two functions handling the init and enable part. It will make the name shorter and it will be more in sync with the rest of the code.
kernel/livepatch/core.c line 447
Quoted 7 lines
kernel/livepatch/core.c new file +7
-0+{ +struct module *mod = obj->mod; +int ret; + +pr_notice ("applying patch '%s' to loading module '%s'\n" , + pmod->name, mod->name); + obj->mod = mod;
It means that we do not need to call klp_find_object_module() in klp_enable_object(). This will be solved with my patch moving the relocation to the init phase as well.
If you agree and we do relocation here. It would make sense to somehow share the code with klp_init_object().
kernel/livepatch/core.c line 456
Quoted 9 lines
kernel/livepatch/core.c new file +9
-0+ ret =klp_enable_object (pmod, obj); +if (ret) +pr_warn ("failed to apply patch '%s' to module '%s' (%d)\n" , + pmod->name, mod->name, ret); +} + +static void klp_module_notify_going (struct module *pmod, +struct klp_object *obj) +{
Same problem here. I would use a better same, see the comments klp_module_notify_coming() above.
Quoted 41 lines
kernel/livepatch/core.c new file +41
-0+struct module *mod = obj->mod; +int ret; + +pr_notice ("reverting patch '%s' on unloading module '%s'\n" , + pmod->name, mod->name); + ret =klp_disable_object (obj); +if (ret) +pr_warn ("failed to revert patch '%s' on module '%s' (%d)\n" , + pmod->name, mod->name, ret); + obj->mod =NULL ; +} + +static int klp_module_notify (struct notifier_block *nb,unsigned long action, +void *data) +{ +struct module *mod = data; +struct klp_patch *patch; +struct klp_object *obj; + +if (action !=MODULE_STATE_COMING && action !=MODULE_STATE_GOING ) +return 0 ; + +mutex_lock (&klp_mutex); +list_for_each_entry (patch, &klp_patches, list) { +if (patch->state ==KLP_DISABLED ) +continue ; +for (obj = patch->objs; obj->funcs; obj++) { +if (!obj->name ||strcmp (obj->name, mod->name)) +continue ; +if (action ==MODULE_STATE_COMING ) { + obj->mod = mod; +klp_module_notify_coming (patch->mod, obj); + }else /* MODULE_STATE_GOING */ +klp_module_notify_going (patch->mod, obj); +break ; + } + } +mutex_unlock (&klp_mutex); +return 0 ; +} +
[...]
kernel/livepatch/core.c line 704
Quoted 6 lines
kernel/livepatch/core.c new file +6
-0+static int klp_init_patch (struct klp_patch *patch) +{ +int ret; + +if (!patch) +return -EINVAL ;
I would feel more comfortable if the take the lock already here. At least, it might be needed to avoid race with klp_module_notify() stuff. It will block any module load/remove until the klp structures are consistent.
Quoted 12 lines
kernel/livepatch/core.c new file +12
-0+/* init */ + patch->state =KLP_DISABLED ; + +/* sysfs */ + ret =kobject_init_and_add (&patch->kobj, &klp_ktype_patch, + klp_root_kobj, patch->mod->name); +if (ret) +return ret; + + ret =klp_init_objects (patch); +if (ret) { +kobject_put (&patch->kobj);
kernel/livepatch/core.c line 727
Quoted 10 lines
kernel/livepatch/core.c new file +10
-0+return ret; + } + +/* add to global list of patches */ +mutex_lock (&klp_mutex); +list_add (&patch->list, &klp_patches); +mutex_unlock (&klp_mutex); + +return 0 ; +}
Anyway, thanks for working on it. The progress is great.
BTW: I wonder what is the preferred way of cooperation. I prepared patch for changes in the program logic. Here it might be worth solving the potential conflicts. But I made only comments about the renaming and other simple changes. I think that these are easier do directly without having to solve conflict.
Best Regards,
Petr
PATCH 1/1 livepatch: clean up klp_find_object_module() usage: was: Re: [PATCHv4 2/3] kernel: add support for live patching
Quoted 4 lines · Petr Mladek
Quoted 3 lines · Seth Jennings
This commit introduces code for the live patching core. It implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions.
[...]
Quoted 22 lines
Quoted 6 lines
(quoted diff) +6
-0+/* sets obj->mod if object is not vmlinux and module is found */ +static bool klp_find_object_module(struct klp_object *obj) +{ + if (!obj->name) + return 1; +Review
Quoted 10 lines
(quoted diff) +10
-0+ mutex_lock(&module_mutex); + /* + * We don't need to take a reference on the module here because we have + * the klp_mutex, which is also taken by the module notifier. This + * prevents any module from unloading until we release the klp_mutex. + */ + obj->mod = find_module(obj->name); + mutex_unlock(&module_mutex); + + return !!obj->mod;I know that this is effective to return boolean here because it handles also patch against the kernel core (vmlinux). But the logic looks tricky. I would prefer a cleaner design and use this function only to set
obj->mod.
Quoted 2 lines
I wanted to see how it would look like, so I will send a patch for this in a separate mail.
The patch is below. Of course, merge it into the original patch if you agree with the idea, please.
Quoted 1 line
From
93eb9f9a25ad8aa0301e246f7685d3e787037566Mon Sep 17 00:00:00 2001
From: Petr Mladek <[email protected]>
Date: Fri, 28 Nov 2014 15:32:27 +0100
Subject: [PATCH 1/2] livepatch: clean up klp_find_object_module() usage
The function klp_find_object_module() looks quite tricky. It has two effects:
sets obj->mod and decides whether the module is available or not. The second effect is the tricky part because it handles also the code kernel code "vmlinux" and is not module related. It causes returning bool, and doing the crazy double negation.
This patch tries to make a bit cleaner design:
1. klp_find_object_module() handles only obj->mod. It returns the pointer or NULL.
2. It modifies klp_enable_object() to do nothing when the related module has not been loaded yet.
3. The result is that the return value klp_find_object_module() is not used in the end.
We lose a check for potential klp_enable_object() misuse but it makes the code easier. In fact, the check for unloaded module is rather long. We might want to make it easier using some extra flag or another state of the object. Such flag might be used for the check of misuse.
--- kernel/livepatch/core.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-)
kernel/livepatch/core.c +7 -7
@@ -40,10 +40,10 @@ static LIST_HEAD(klp_patches);static struct kobject *klp_root_kobj;/* sets obj->mod if object is not vmlinux and module is found */ -static bool klp_find_object_module (struct klp_object *obj) +static struct module *klp_find_object_module (struct klp_object *obj) {if (!obj->name) -return 1 ; +return NULL ;mutex_lock (&module_mutex);/*
@@ -54,7 +54,7 @@ static bool klp_find_object_module(struct klp_object *obj) obj->mod =find_module (obj->name);mutex_unlock (&module_mutex); -return !!obj->mod; +return obj->mod; }struct klp_find_arg {
@@ -318,8 +318,9 @@ static int klp_enable_object(struct module *pmod, struct klp_object *obj)struct klp_func *func;int ret; -if (WARN_ON (!obj->mod && obj->name)) -return -EINVAL ; +/* nope when the patched module has not been loaded yet */ +if (obj->name && !obj->mod) +return 0 ;if (obj->relocs) { ret =klp_write_object_relocations (pmod, obj);
@@ -401,8 +402,7 @@ static int __klp_enable_patch(struct klp_patch *patch)pr_notice ("enabling patch '%s'\n" , patch->mod->name);for (obj = patch->objs; obj->funcs; obj++) { -if (!klp_find_object_module (obj)) -continue ; +klp_find_object_module (obj); ret =klp_enable_object (patch->mod, obj);if (ret) goto unregister;
Signature · 1 line
1.8.5.2
Miroslav Benes
maintainerRe: [PATCH] livepatch: clean up klp_find_object_module() usage: was: Re: [PATCHv4 2/3] kernel: add support for live patching
Quoted 59 lines · Petr Mladek
Quoted 4 lines · Petr Mladek
Quoted 3 lines · Seth Jennings
This commit introduces code for the live patching core. It implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions.
[...]
Quoted 22 lines
Quoted 6 lines
(quoted diff) +6
-0+/* sets obj->mod if object is not vmlinux and module is found */ +static bool klp_find_object_module(struct klp_object *obj) +{ + if (!obj->name) + return 1; +Review
Quoted 10 lines
(quoted diff) +10
-0+ mutex_lock(&module_mutex); + /* + * We don't need to take a reference on the module here because we have + * the klp_mutex, which is also taken by the module notifier. This + * prevents any module from unloading until we release the klp_mutex. + */ + obj->mod = find_module(obj->name); + mutex_unlock(&module_mutex); + + return !!obj->mod;I know that this is effective to return boolean here because it handles also patch against the kernel core (vmlinux). But the logic looks tricky. I would prefer a cleaner design and use this function only to set
obj->mod.Quoted 2 lines
I wanted to see how it would look like, so I will send a patch for this in a separate mail.
The patch is below. Of course, merge it into the original patch if you agree with the idea, please.
Quoted 1 line
From
93eb9f9a25ad8aa0301e246f7685d3e787037566Mon Sep 17 00:00:00 2001From: Petr Mladek <[email protected]>
Date: Fri, 28 Nov 2014 15:32:27 +0100
Subject: [PATCH 1/2] livepatch: clean upklp_find_object_module()usageThe function
klp_find_object_module()looks quite tricky. It has two effects:
setsobj->modand decides whether the module is available or not. The second effect is the tricky part because it handles also the code kernel code "vmlinux" and is not module related. It causes returning bool, and doing the crazy double negation.This patch tries to make a bit cleaner design:
1.
klp_find_object_module()handles onlyobj->mod. It returns the pointer or NULL.2. It modifies
klp_enable_object()to do nothing when the related module has not been loaded yet.3. The result is that the return value
klp_find_object_module()is not used in the end.
Quoted 6 lines
We lose a check for potential
klp_enable_object()misuse but it makes the code easier. In fact, the check for unloaded module is rather long. We might want to make it easier using some extra flag or another state of the object. Such flag might be used for the check of misuse.Signed-off-by Petr Mladek <[email protected]>
Hi,
I agree with the idea but actually don't like the implementation. I'll try to propose few changes which would hopefully preserve the effect but make the end result slightly better.
Quoted 22 lines
--- kernel/livepatch/core.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-)kernel/livepatch/core.c +2
-2@@ -40,10 +40,10 @@ static LIST_HEAD(klp_patches);static struct kobject *klp_root_kobj;/* sets obj->mod if object is not vmlinux and module is found */ -static bool klp_find_object_module (struct klp_object *obj) +static struct module *klp_find_object_module (struct klp_object *obj) {if (!obj->name) -return 1 ; +return NULL ;mutex_lock (&module_mutex);/*
kernel/livepatch/core.c static bool klp_find_object_module(struct klp_object *obj) · line 58
Quoted 6 lines
kernel/livepatch/core.c +1
-1@@ -54,7 +54,7 @@ static bool klp_find_object_module(struct klp_object *obj) obj->mod =find_module (obj->name);mutex_unlock (&module_mutex); -return !!obj->mod; +return obj->mod; }
As we do not need the return value in the end, we could maybe drop it completely, leading to change in if condition
if (!obj->name) return;
kernel/livepatch/core.c static int klp_enable_object(struct module *pmod, struct klp_object *obj) · line 323
Quoted 10 lines
kernel/livepatch/core.c +3
-2struct klp_find_arg {@@ -318,8 +318,9 @@ static int klp_enable_object(struct module *pmod, struct klp_object *obj)struct klp_func *func;int ret; -if (WARN_ON (!obj->mod && obj->name)) -return -EINVAL ; +/* nope when the patched module has not been loaded yet */ +if (obj->name && !obj->mod) +return 0 ;
I have a problem with this one. In case the condition is true we do nothing, return back and pretend that everything is alright (return 0). I see that we would call klp_enable_object everytime in your proposal and decide here whether we want to do something or not. But I think that we should return some error and deal with it in the caller function. Thus original WARN_ON should stay here.
kernel/livepatch/core.c static int __klp_enable_patch(struct klp_patch *patch) · line 408
Quoted 12 lines
kernel/livepatch/core.c +1
-2if (obj->relocs) { ret =klp_write_object_relocations (pmod, obj);@@ -401,8 +402,7 @@ static int __klp_enable_patch(struct klp_patch *patch)pr_notice ("enabling patch '%s'\n" , patch->mod->name);for (obj = patch->objs; obj->funcs; obj++) { -if (!klp_find_object_module (obj)) -continue ; +klp_find_object_module (obj); ret =klp_enable_object (patch->mod, obj);if (ret) goto unregister;
I propose this piece of code
for (obj = patch->objs; obj->funcs; obj++) {
klp_find_object_module(obj);
if (obj->name && !obj->mod)
continue;
ret = klp_enable_object(patch->mod, obj);
...
}What do you think? Also it could pay off to define inline function for the check. Somethink like klp_is_module_and_loaded...
Mira
Re: [PATCH] livepatch: clean up klp_find_object_module() usage: was: Re: [PATCHv4 2/3] kernel: add support for live patching
Quoted 106 lines · Miroslav Benes
Quoted 59 lines · Petr Mladek
Quoted 4 lines · Petr Mladek
Quoted 3 lines · Seth Jennings
This commit introduces code for the live patching core. It implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions.
[...]
Quoted 22 lines
Quoted 6 lines
(quoted diff) +6
-0+/* sets obj->mod if object is not vmlinux and module is found */ +static bool klp_find_object_module(struct klp_object *obj) +{ + if (!obj->name) + return 1; +Review
Quoted 10 lines
(quoted diff) +10
-0+ mutex_lock(&module_mutex); + /* + * We don't need to take a reference on the module here because we have + * the klp_mutex, which is also taken by the module notifier. This + * prevents any module from unloading until we release the klp_mutex. + */ + obj->mod = find_module(obj->name); + mutex_unlock(&module_mutex); + + return !!obj->mod;I know that this is effective to return boolean here because it handles also patch against the kernel core (vmlinux). But the logic looks tricky. I would prefer a cleaner design and use this function only to set
obj->mod.Quoted 2 lines
I wanted to see how it would look like, so I will send a patch for this in a separate mail.
The patch is below. Of course, merge it into the original patch if you agree with the idea, please.
Quoted 1 line
From
93eb9f9a25ad8aa0301e246f7685d3e787037566Mon Sep 17 00:00:00 2001From: Petr Mladek <[email protected]>
Date: Fri, 28 Nov 2014 15:32:27 +0100
Subject: [PATCH 1/2] livepatch: clean upklp_find_object_module()usageThe function
klp_find_object_module()looks quite tricky. It has two effects:
setsobj->modand decides whether the module is available or not. The second effect is the tricky part because it handles also the code kernel code "vmlinux" and is not module related. It causes returning bool, and doing the crazy double negation.This patch tries to make a bit cleaner design:
1.
klp_find_object_module()handles onlyobj->mod. It returns the pointer or NULL.2. It modifies
klp_enable_object()to do nothing when the related module has not been loaded yet.3. The result is that the return value
klp_find_object_module()is not used in the end.Quoted 6 lines
We lose a check for potential
klp_enable_object()misuse but it makes the code easier. In fact, the check for unloaded module is rather long. We might want to make it easier using some extra flag or another state of the object. Such flag might be used for the check of misuse.Signed-off-by Petr Mladek <[email protected]>Hi,
I agree with the idea but actually don't like the implementation. I'll try to propose few changes which would hopefully preserve the effect but make the end result slightly better.
Quoted 22 lines
--- kernel/livepatch/core.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-)kernel/livepatch/core.c +2
-2@@ -40,10 +40,10 @@ static LIST_HEAD(klp_patches);static struct kobject *klp_root_kobj;/* sets obj->mod if object is not vmlinux and module is found */ -static bool klp_find_object_module (struct klp_object *obj) +static struct module *klp_find_object_module (struct klp_object *obj) {if (!obj->name) -return 1 ; +return NULL ;mutex_lock (&module_mutex);/* kernel/livepatch/core.c static bool klp_find_object_module(struct klp_object *obj) · line 58
Quoted 6 lines
kernel/livepatch/core.c +1
-1@@ -54,7 +54,7 @@ static bool klp_find_object_module(struct klp_object *obj) obj->mod =find_module (obj->name);mutex_unlock (&module_mutex); -return !!obj->mod; +return obj->mod; }As we do not need the return value in the end, we could maybe drop it completely, leading to change in if condition
Quoted 2 lines
if (!obj->name) return;
Sounds good.
Quoted 5 lines
Quoted 5 lines
kernel/livepatch/core.c +0
-0struct klp_find_arg {@@ -318,8 +318,9 @@ static int klp_enable_object(struct module *pmod, struct klp_object *obj)struct klp_func *func;int ret;
Quoted 12 lines
kernel/livepatch/core.c static int klp_enable_object(struct module *pmod, struct klp_object *obj) · line 323
Quoted 5 lines
kernel/livepatch/core.c +3
-2-if (WARN_ON (!obj->mod && obj->name)) -return -EINVAL ; +/* nope when the patched module has not been loaded yet */ +if (obj->name && !obj->mod) +return 0 ;I have a problem with this one. In case the condition is true we do nothing, return back and pretend that everything is alright (return 0). I see that we would call
klp_enable_objecteverytime in your proposal and decide here whether we want to do something or not. But I think that we should return some error and deal with it in the caller function. Thus originalWARN_ONshould stay here.
I agree.
Quoted 15 lines
kernel/livepatch/core.c static int __klp_enable_patch(struct klp_patch *patch) · line 408
Quoted 12 lines
kernel/livepatch/core.c +1
-2if (obj->relocs) { ret =klp_write_object_relocations (pmod, obj);@@ -401,8 +402,7 @@ static int __klp_enable_patch(struct klp_patch *patch)pr_notice ("enabling patch '%s'\n" , patch->mod->name);for (obj = patch->objs; obj->funcs; obj++) { -if (!klp_find_object_module (obj)) -continue ; +klp_find_object_module (obj); ret =klp_enable_object (patch->mod, obj);if (ret) goto unregister;I propose this piece of code
Quoted 7 lines
for (obj = patch->objs; obj->funcs; obj++) {
klp_find_object_module(obj);
if (obj->name && !obj->mod)
continue;
ret = klp_enable_object(patch->mod, obj);
...
}I like this change, especially if we replace the condition with a macro. It keeps klp_find_object_module() without the side effect and it keeps the warning in klp_enable_object().
Quoted 2 lines
What do you think? Also it could pay off to define inline function for the check. Somethink like
klp_is_module_and_loaded...
klp_is_object_loaded() is easier and still clear. Also we might want to add a macro klp_is_module(obj).
Best Regards,
Petr
PATCH 1/1 livepatch: do relocation when initializing the patch: was: Re: [PATCHv4 2/3] kernel: add support for live patching
In reply to Petr MladekQuoted 4 lines · Petr Mladek
Quoted 3 lines · Seth Jennings
This commit introduces code for the live patching core. It implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions.
[...]
Quoted 17 lines
Review
Quoted 5 lines
(quoted diff) +5
-0+static int klp_enable_object(struct module *pmod, struct klp_object *obj) +{ + struct klp_func *func; + int ret; +if (WARN_ON(obj->state != KLP_DISABLED)) return -EINVAL;Review
Quoted 5 lines
(quoted diff) +5
-0+ if (WARN_ON(!obj->mod && obj->name)) + return -EINVAL; + + if (obj->relocs) { + ret = klp_write_object_relocations(pmod, obj);I was curious why the relocation is here. I think that the motivation was to safe the call when handling comming modules.
Quoted 6 lines
IMHO, more clean solution would be to do this in
klp_init_object(). It will also cause removing the "pmod" parameter and this function will be more symmetric withklp_disable_object();I was curious how it would work, so I prepared a patch. I will send it in separate mail.
The patch is below. Again, merge it into the original patch if you agree with the idea, please.
Quoted 1 line
From
ba3b08938b6f6f1a041af645ff43825f2ec1222fMon Sep 17 00:00:00 2001
From: Petr Mladek <[email protected]>
Date: Fri, 28 Nov 2014 15:57:23 +0100
Subject: [PATCH 2/2] livepatch: do relocation when initializing the patch
I think that the relocation is done in klp_enable_object() because it safes the duplication in klp_module_notify_coming().
But I think that the relocation logically belongs to the init phase. It will remove duplicate relocation if we allow repeated enable/disable calls for the same patch. Also it removes the extra "pmod" parameter from klp_enable_object() and makes it more symmetric with klp_disable_object().
This patch moves also the klp_find_object_module() to the init phase where it belongs.
Finally, it moves some checks from callers to klp_write_object_relocation(). They must be there in each case. It makes the code easier when calling from more locations.
--- kernel/livepatch/core.c | 41 ++++++++++++++++++++++++++--------------- 1 file changed, 26 insertions(+), 15 deletions(-)
kernel/livepatch/core.c +26 -15
@@ -204,6 +204,14 @@ static int klp_write_object_relocations(struct module *pmod,int ret;struct klp_reloc *reloc; +/* nope when the patched module has not been loaded yet */ +if (obj->name && !obj->mod) +return 0 ; + +/* be happy when there is nothing to do */ +if (!obj->relocs) +return 0 ; +for (reloc = obj->relocs; reloc->name; reloc++) {if (!obj->name) { ret = klp_verify_vmlinux_symbol(reloc->name,
@@ -313,7 +321,7 @@ static int klp_disable_object(struct klp_object *obj)return 0 ; } -static int klp_enable_object (struct module *pmod,struct klp_object *obj) +static int klp_enable_object (struct klp_object *obj) {struct klp_func *func;int ret;
@@ -322,12 +330,6 @@ static int klp_enable_object(struct module *pmod, struct klp_object *obj)if (obj->name && !obj->mod)return 0 ; -if (obj->relocs) { - ret =klp_write_object_relocations (pmod, obj); -if (ret) - goto unregister; - } -for (func = obj->funcs; func->old_name; func++) { ret =klp_find_verify_func_addr (func, obj->name);if (ret)
@@ -402,8 +404,7 @@ static int __klp_enable_patch(struct klp_patch *patch)pr_notice ("enabling patch '%s'\n" , patch->mod->name);for (obj = patch->objs; obj->funcs; obj++) { -klp_find_object_module (obj); - ret =klp_enable_object (patch->mod, obj); + ret =klp_enable_object (obj);if (ret) goto unregister; }
@@ -445,10 +446,17 @@ static void klp_module_notify_coming(struct module *pmod,pr_notice ("applying patch '%s' to loading module '%s'\n" , pmod->name, mod->name); obj->mod = mod; - ret =klp_enable_object (pmod, obj); + ret =klp_write_object_relocations (pmod, obj);if (ret) -pr_warn ("failed to apply patch '%s' to module '%s' (%d)\n" , - pmod->name, mod->name, ret); + goto err; + + ret =klp_enable_object (obj); +if (!ret) +return ; + +err: +pr_warn ("failed to apply patch '%s' to module '%s' (%d)\n" , + pmod->name, mod->name, ret); } static void klp_module_notify_going(struct module *pmod,
@@ -674,15 +682,18 @@ static int klp_init_objects(struct klp_patch *patch)return -EINVAL ;for (obj = patch->objs; obj->funcs; obj++) { -/* obj->mod set by klp_object_module_get() */ obj->state =KLP_DISABLED ; +klp_find_object_module (obj); -/* sysfs */ + ret =klp_write_object_relocations (patch->mod, obj); +if (ret) + goto free; + +/* sysfs stuff */ obj->kobj =kobject_create_and_add (obj->name, &patch->kobj);if (!obj->kobj) goto free; -/* init functions */ ret =klp_init_funcs (obj);if (ret) {kobject_put (obj->kobj);
Signature · 1 line
1.8.5.2
Miroslav Benes
maintainerRe: [PATCHv4 2/3] kernel: add support for live patching
In reply to Seth JenningsHi,
Quoted 16 lines · Seth Jennings
This commit introduces code for the live patching core. It implements an ftrace-based mechanism and kernel interface for doing live patching of kernel and kernel module functions.
It represents the greatest common functionality set between kpatch and kgraft and can accept patches built using either method.
This first version does not implement any consistency mechanism that ensures that old and new code do not run together. In practice, ~90% of CVEs are safe to apply in this way, since they simply add a conditional check. However, any function change that can not execute safely with the old version of the function can _not_ be safely applied in this version.
Signed-off-by Seth Jennings <[email protected]>---
[...]
Quoted 108 lines
include/linux/livepatch.h new file +102
-0@@ -0,0 +1,121 @@ +/* +* livepatch.h - Kernel Live Patching Core +* +* Copyright (C) 2014 Seth Jennings <[email protected]> +* +* This program is free software; you can redistribute it and/or +* modify it under the terms of the GNU General Public License +* as published by the Free Software Foundation; either version 2 +* of the License, or (at your option) any later version. +* +* This program is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details. +* +* You should have received a copy of the GNU General Public License +* along with this program; if not, see <http://www.gnu.org/licenses/>. +*/ + +#ifndef _LINUX_LIVEPATCH_H_ +#define _LINUX_LIVEPATCH_H_ + +#include <linux/module.h> +#include <linux/ftrace.h> + +#if IS_ENABLED (CONFIG_LIVE_PATCHING ) + +#include <asm/livepatch.h> + +enum klp_state { +KLP_DISABLED , +KLP_ENABLED +}; + +/** +* struct klp_func - function structure for live patching +* @old_name: name of the function to be patched +* @new_func: pointer to the patched function code +* @old_addr: a hint conveying at what address the old function +* can be found (optional, vmlinux patches only) +*/ +struct klp_func { +/* external */ +const char *old_name; +void *new_func; +/* +* The old_addr field is optional and can be used to resolve +* duplicate symbol names in the vmlinux object. If this +* information is not present, the symbol is located by name +* with kallsyms. If the name is not unique and old_addr is +* not provided, the patch application fails as there is no +* way to resolve the ambiguity. +*/ +unsigned long old_addr; + +/* internal */ +struct kobject kobj; +struct ftrace_ops *fops; +enum klp_state state; +}; + +/** +* struct klp_reloc - relocation structure for live patching +* @dest address where the relocation will be written +* @src address of the referenced symbol (optional, +* vmlinux patches only) +* @type ELF relocation type +* @name name of the referenced symbol (for lookup/verification) +* @addend offset from the referenced symbol +* @external symbol is either exported or within the live patch module itself +*/ +struct klp_reloc { +unsigned long dest; +unsigned long src; +unsigned long type; +const char *name; +int addend; +int external; +}; + +/* struct klp_object - kernel object structure for live patching +* @name module name (or NULL for vmlinux) +* @relocs relocation entries to be applied at load time +* @funcs function entries for functions to be patched in the object +*/ +struct klp_object { +/* external */ +const char *name; +struct klp_reloc *relocs; +struct klp_func *funcs; + +/* internal */ +struct kobject *kobj; +struct module *mod; +enum klp_state state; +}; + +/** +* struct klp_patch - patch structure for live patching +* @mod reference to the live patch module +* @objs object entries for kernel objects to be patched +*/
include/linux/livepatch.h line 112
Quoted 10 lines
include/linux/livepatch.h new file +10
-0+struct klp_patch { +/* external */ +struct module *mod; +struct klp_object *objs; + +/* internal */ +struct list_head list; +struct kobject kobj; +enum klp_state state; +};
as I had promised before I did some work on func-object-patch hierarchy trying to remove the object level. The result is not nice though. Three levels have some advantages. We don't need to solve ambiguity of function names in sysfs (to some extent), patching of coming and going modules is nice this way and relocations are bound to modules, i.e. objects, too. So I would leave object level there in the end :)
But I'd like to propose this patch. It makes the klp_init_* functions cleaner in my opinion...
Mira
-- >8 --
Quoted 1 line
From
0e925c303acf8b596ba8941417e1c3991cdb0adcMon Sep 17 00:00:00 2001
From: Miroslav Benes <[email protected]>
Date: Tue, 2 Dec 2014 14:34:21 +0100
Subject: [PATCH] Restructure of klp_init_* functions
Structure of klp_init_{patch|objects|funcs} functions could be a bit hard to read. We can move the loops in klp_init_objects and klp_init_funcs one level up to klp_init_patch and klp_init_objects respectively. Thus klp_init_objects become klp_init_object and similarly klp_init_funcs is klp_init_func now.
This change also makes it symmetric with the naming scheme used for klp_{enable|disable}_* functions.
--- kernel/livepatch/core.c | 88 +++++++++++++++++++++---------------------------- 1 file changed, 37 insertions(+), 51 deletions(-)
kernel/livepatch/core.c +37 -51
@@ -627,103 +627,89 @@ static void klp_free_patch(struct klp_patch *patch)kobject_put (&patch->kobj); } -static int klp_init_funcs (struct klp_object *obj) +static int klp_init_func (struct klp_func *func,struct klp_object *obj) { -struct klp_func *func;struct ftrace_ops *ops;int ret; -if (!obj->funcs) -return -EINVAL ; - -for (func = obj->funcs; func->old_name; func++) { - func->state =KLP_DISABLED ; + func->state =KLP_DISABLED ; - ops =kzalloc (sizeof (*ops),GFP_KERNEL ); -if (!ops) { - ret = -ENOMEM ; - goto free; - } - ops->private = func; - ops->func = klp_ftrace_handler; - ops->flags =FTRACE_OPS_FL_SAVE_REGS |FTRACE_OPS_FL_DYNAMIC ; + ops =kzalloc (sizeof (*ops),GFP_KERNEL ); +if (!ops) +return -ENOMEM ; -/* sysfs */ - ret =kobject_init_and_add (&func->kobj, &klp_ktype_func, - obj->kobj, func->old_name); -if (ret) { -kfree (ops); - goto free; - } + ops->private = func; + ops->func = klp_ftrace_handler; + ops->flags =FTRACE_OPS_FL_SAVE_REGS |FTRACE_OPS_FL_DYNAMIC ; + func->fops = ops; - func->fops = ops; + ret =kobject_init_and_add (&func->kobj, &klp_ktype_func, + obj->kobj, func->old_name); +if (ret) { +kfree (func->fops); +return ret; }return 0 ; -free: -klp_free_funcs_limited (obj, func); -return ret; } -static int klp_init_objects (struct klp_patch *patch) +static int klp_init_object (struct klp_object *obj,struct klp_patch *patch) { -struct klp_object *obj; +struct klp_func *func;int ret; -if (!patch->objs) +if (!obj->funcs)return -EINVAL ; -for (obj = patch->objs; obj->funcs; obj++) { -/* obj->mod set by klp_object_module_get() */ - obj->state =KLP_DISABLED ; +/* obj->mod set by klp_object_module_get() */ + obj->state =KLP_DISABLED ; -/* sysfs */ - obj->kobj =kobject_create_and_add (obj->name, &patch->kobj); -if (!obj->kobj) - goto free; + obj->kobj =kobject_create_and_add (obj->name, &patch->kobj); +if (!obj->kobj) +return -ENOMEM ; -/* init functions */ - ret =klp_init_funcs (obj); -if (ret) { -kobject_put (obj->kobj); +for (func = obj->funcs; func->old_name; func++) { + ret =klp_init_func (func, obj); +if (ret) goto free; - } }return 0 ; free: -klp_free_objects_limited (patch, obj); -return -ENOMEM ; +klp_free_funcs_limited (obj, func); +return ret; }static int klp_init_patch (struct klp_patch *patch) { +struct klp_object *obj;int ret; -if (!patch) +if (!patch || !patch->objs)return -EINVAL ; -/* init */ patch->state =KLP_DISABLED ; -/* sysfs */ ret =kobject_init_and_add (&patch->kobj, &klp_ktype_patch, klp_root_kobj, patch->mod->name);if (ret)return ret; - ret =klp_init_objects (patch); -if (ret) { -kobject_put (&patch->kobj); -return ret; +for (obj = patch->objs; obj->funcs; obj++) { + ret =klp_init_object (obj, patch); +if (ret) + goto free; } -/* add to global list of patches */ mutex_lock (&klp_mutex);list_add (&patch->list, &klp_patches);mutex_unlock (&klp_mutex);return 0 ; +free: +klp_free_objects_limited (patch, obj); +kobject_put (&patch->kobj); +return ret; }/**
Signature · 1 line
2.1.2
PATCH v4 3/3 samples: add sample live patching module
In reply to Seth JenningsAdd a sample live patching module.
--- MAINTAINERS | 1 + samples/Kconfig | 7 +++ samples/livepatch/Makefile | 1 + samples/livepatch/livepatch-sample.c | 87 ++++++++++++++++++++++++++++++++++++ 4 files changed, 96 insertions(+) create mode 100644 samples/livepatch/Makefile create mode 100644 samples/livepatch/livepatch-sample.c
MAINTAINERS +1 -0
@@ -5726,6 +5726,7 @@ F: include/linux/livepatch.h F: arch/x86/include/asm/livepatch.h F: arch/x86/kernel/livepatch.c F: Documentation/ABI/testing/sysfs-kernel-livepatch +F: samples/livepatch/ L: [email protected] LLC (802.2)
samples/Kconfig +7 -0
@@ -63,4 +63,11 @@ config SAMPLE_RPMSG_CLIENT to communicate with an AMP-configured remote processor over the rpmsg bus. +config SAMPLE_LIVE_PATCHING + tristate "Build live patching sample -- loadable modules only" + depends on LIVE_PATCHING && m + help + Builds a sample live patch that replaces the procfs handler + for /proc/cmdline to print "this has been live patched". + endif # SAMPLES
samples/livepatch/Makefile new file +1 -0
@@ -0,0 +1 @@ +obj-$(CONFIG_SAMPLE_LIVE_PATCHING) += livepatch-sample.o
samples/livepatch/livepatch-sample.c new file +87 -0
87 lines not on this page · raw message
Signature · 1 line
1.9.3
Re: [PATCHv4 3/3] samples: add sample live patching module
Quoted 11 lines · Seth Jennings
Add a sample live patching module.
Signed-off-by Seth Jennings <[email protected]>--- MAINTAINERS | 1 + samples/Kconfig | 7 +++ samples/livepatch/Makefile | 1 + samples/livepatch/livepatch-sample.c | 87 ++++++++++++++++++++++++++++++++++++ 4 files changed, 96 insertions(+) create mode 100644 samples/livepatch/Makefile create mode 100644 samples/livepatch/livepatch-sample.c
[...]
samples/livepatch/livepatch-sample.c
Quoted 10 lines
samples/livepatch/Makefile new file +1
-0@@ -0,0 +1 @@ +obj-$(CONFIG_SAMPLE_LIVE_PATCHING) += livepatch-sample.osamples/livepatch/livepatch-sample.c new file +0
-0
The Makefile is ignored because there is missing:
samples/Makefile +1 -1
@@ -1,4 +1,4 @@ # Makefile for Linux samples code -obj-$(CONFIG_SAMPLES) += kobject/ kprobes/ trace_events/ \ +obj-$(CONFIG_SAMPLES) += kobject/ kprobes/ trace_events/ livepatch/ \ hw_breakpoint/ kfifo/ kdb/ hidraw/ rpmsg/ seccomp/
Best Regards,
Petr
Seth Jennings
AppliedRe: [PATCHv4 3/3] samples: add sample live patching module
Quoted 34 lines · Petr Mladek
Quoted 11 lines · Seth Jennings
Add a sample live patching module.
Signed-off-by Seth Jennings <[email protected]>--- MAINTAINERS | 1 + samples/Kconfig | 7 +++ samples/livepatch/Makefile | 1 + samples/livepatch/livepatch-sample.c | 87 ++++++++++++++++++++++++++++++++++++ 4 files changed, 96 insertions(+) create mode 100644 samples/livepatch/Makefile create mode 100644 samples/livepatch/livepatch-sample.c[...]
samples/livepatch/livepatch-sample.c
Quoted 10 lines
samples/livepatch/Makefile new file +1
-0@@ -0,0 +1 @@ +obj-$(CONFIG_SAMPLE_LIVE_PATCHING) += livepatch-sample.osamples/livepatch/livepatch-sample.c new file +0
-0The
Makefileis ignored because there is missing:samples/Makefile +0
-0
samples/Makefile line 4
Quoted 5 lines
samples/Makefile +1
-1@@ -1,4 +1,4 @@ # Makefile for Linux samples code -obj-$(CONFIG_SAMPLES) += kobject/ kprobes/ trace_events/ \ +obj-$(CONFIG_SAMPLES) += kobject/ kprobes/ trace_events/ livepatch/ \ hw_breakpoint/ kfifo/ kdb/ hidraw/ rpmsg/ seccomp/
Applied, thanks!
Seth
Quoted 8 lines
Best Regards,
Petr
--
To unsubscribe from this list: send the line "unsubscribe live-patching" in the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Quoted 3 lines · Seth Jennings
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.
Thanks for sending out v4 and incorporating the feedback, I really appreciate your responsiveness!
Anyway, I don't think targetting 3.19 is realistic, given we're currently already past 3.18-rc6 ... even if we rush it into -next in the coming days, it will get close to zero exposure in there before the merge window opens.
I'd like to do quite some more testing and still finish some pending portions of code reviews on our side (especially to make sure that this can be easily extended to support any consistency model in the future).
Once we start collecting Reviewed-by's / Acked-by's on this patchset, I can establish a tree on git.kernel.org that we can use to collect any followup patches during 3.20 development cycle and send a pull request to Linus during 3.20 merge window .. if everybody agrees with this course of action, obviously.
Thanks,
Signature · 2 lines
Jiri Kosina SUSE Labs
Quoted 6 lines · Jiri Kosina
Quoted 3 lines · Seth Jennings
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.
Quoted 7 lines
Thanks for sending out v4 and incorporating the feedback, I really appreciate your responsiveness!
Anyway, I don't think targetting 3.19 is realistic, given we're currently already past 3.18-rc6 ... even if we rush it into -next in the coming days, it will get close to zero exposure in there before the merge window opens.
Agreed. Sorry if I gave the impression that I was trying to rush this into 3.19. I just wanted to make sure that Steve was aware of the dependency.
Quoted 4 lines
I'd like to do quite some more testing and still finish some pending portions of code reviews on our side (especially to make sure that this can be easily extended to support any consistency model in the future).
Without knowing how that consistency code will look, how can we "make sure" that this code can be easily extended to support it? I don't think we should hold up this first step based on what we think the consistency code might look like. The code is not that complex right now. That was the point :) We can always adapt things.
Quoted 6 lines
Once we start collecting Reviewed-by's / Acked-by's on this patchset, I can establish a tree on git.kernel.org that we can use to collect any followup patches during 3.20 development cycle and send a pull request to Linus during 3.20 merge window .. if everybody agrees with this course of action, obviously.
I was hoping this first step would go into next via Steve's tree and go upstream for 3.20 (hopefully) from there. I would be against anything that tries to expand the feature set before this base functionality gets upstream. However, if we want to have a tree to gather fixes before 3.20, which I think is what you are suggesting, that works for me. We would need to agree explicitly that, in this tree, patches would need both a RH and SUSE ack to be accepted.
Thanks,
Seth
Quoted 6 lines
Thanks,
Signature · 2 lines
Jiri Kosina SUSE Labs
Quoted 6 lines · Seth Jennings
Quoted 3 lines
I'd like to do quite some more testing and still finish some pending portions of code reviews on our side (especially to make sure that this can be easily extended to support any consistency model in the future).
Without knowing how that consistency code will look, how can we "make sure" that this code can be easily extended to support it?
Alright, I probably wasn't precise enough ... I want to make sure that whatever path (paths) we chose for future consistency models, we will not have to redesign everything from scratch :)
But this is really rather about finishing some of the reviews that are still underway on our side.
Quoted 10 lines
Quoted 5 lines
Once we start collecting Reviewed-by's / Acked-by's on this patchset, I can establish a tree on git.kernel.org that we can use to collect any followup patches during 3.20 development cycle and send a pull request to Linus during 3.20 merge window .. if everybody agrees with this course of action, obviously.
I was hoping this first step would go into next via Steve's tree and go upstream for 3.20 (hopefully) from there. I would be against anything that tries to expand the feature set before this base functionality gets upstream.
Fully agreed. No more "core" features than what your current patchset implements should be added before the first merge.
Quoted 2 lines
However, if we want to have a tree to gather fixes before 3.20, which I think is what you are suggesting, that works for me.
Yup, that's what I am suggesting indeed. I think it makes sense to keep this separate from Steven's tree -- we are ftrace users, but we aren't touching anything from its internal implementation really.
Quoted 2 lines
We would need to agree explicitly that, in this tree, patches would need both a RH and SUSE ack to be accepted.
Oh, absolutely agreed. Without ack from (at least) everyone in MAINTAINERS, nothing will be applied.
I made this suggestion purely to make things easier for everybody (especially wrt. merge pull request), not to complicate things by either playing political games, nor by having to go through proxy tree (tracing), where the "topical link" is rather loose.
Thanks,
Signature · 2 lines
Jiri Kosina SUSE Labs
Quoted 4 lines · Seth Jennings
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.
BTW, as we discussed IPMODIFY is an exclusive flag. So if we allocate ftrace_ops for each function in each patch, it could be conflict each other. Maybe we need to have another ops hashtable to find such conflict and new handler to handle it.
Thank you,
Signature · 4 lines
Masami HIRAMATSU Software Platform Research Dept. Linux Technology Research Center Hitachi, Ltd., Yokohama Research Laboratory E-mail: [email protected]
Quoted 8 lines · Masami Hiramatsu
Quoted 4 lines
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.BTW, as we discussed IPMODIFY is an exclusive flag. So if we allocate
ftrace_opsfor each function in each patch, it could be conflict each other.
Yup, this corresponds to what Petr brought up yesterday. There are cases where all solutions (kpatch, kgraft, klp) would allocate multiple ftrace_ops for a single function entry (think of patching one function multiple times in a row).
So it's not as easy as just setting the flag.
Quoted 2 lines
Maybe we need to have another ops hashtable to find such conflict and new handler to handle it.
If I understand your proposal correctly, that would sound like a hackish workaround, trying to basically trick the IPMODIFY flag semantics you just implemented :)
What I'd propose instead is to make sure that we always have just a ftrace_ops per function entry, and only update the pointers there as necessary. Fortunately we can do the switch atomically, by making use of ->private.
Signature · 2 lines
Jiri Kosina SUSE Labs
Quoted 2 lines · Jiri Kosina
What I'd propose instead is to make sure that we always have just a
ftrace_opsper function entry, and only update the pointers there
"... just a _single_ ..."
Signature · 2 lines
Jiri Kosina SUSE Labs
Quoted 16 lines · Jiri Kosina
Quoted 8 lines · Masami Hiramatsu
Quoted 4 lines
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.BTW, as we discussed IPMODIFY is an exclusive flag. So if we allocate
ftrace_opsfor each function in each patch, it could be conflict each other.Yup, this corresponds to what Petr brought up yesterday. There are cases where all solutions (kpatch, kgraft, klp) would allocate multiple
ftrace_opsfor a single function entry (think of patching one function multiple times in a row).
Quoted 8 lines
So it's not as easy as just setting the flag.
Quoted 2 lines
Maybe we need to have another ops hashtable to find such conflict and new handler to handle it.
If I understand your proposal correctly, that would sound like a hackish workaround, trying to basically trick the IPMODIFY flag semantics you just implemented :)
I think Masami may be proposing something similar to what we do in kpatch today. We have a single ftrace_ops and handler which is used for all functions. The handler accesses a global hash of kpatch_func structs which is indexed by the original function's IP address.
It actually works out pretty well because it nicely encapsulates the knowledge about which functions are patched in a single place. And it makes it easy to track function versions (for incremental patching and rollback).
Quoted 4 lines
What I'd propose instead is to make sure that we always have just a
ftrace_opsper function entry, and only update the pointers there as necessary. Fortunately we can do the switch atomically, by making use of ->private.
But how would you update multiple functions atomically, to enforce per-thread consistency?
Signature · 1 line
Josh
Quoted 22 lines · Josh Poimboeuf
Quoted 21 lines · Jiri Kosina
Quoted 8 lines · Masami Hiramatsu
Quoted 4 lines
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.BTW, as we discussed IPMODIFY is an exclusive flag. So if we allocate
ftrace_opsfor each function in each patch, it could be conflict each other.Yup, this corresponds to what Petr brought up yesterday. There are cases where all solutions (kpatch, kgraft, klp) would allocate multiple
ftrace_opsfor a single function entry (think of patching one function multiple times in a row).So it's not as easy as just setting the flag.
Quoted 2 lines
Maybe we need to have another ops hashtable to find such conflict and new handler to handle it.
Quoted 8 lines
Quoted 3 lines
If I understand your proposal correctly, that would sound like a hackish workaround, trying to basically trick the IPMODIFY flag semantics you just implemented :)
I think Masami may be proposing something similar to what we do in kpatch today. We have a single
ftrace_opsand handler which is used for all functions. The handler accesses a global hash ofkpatch_funcstructs which is indexed by the original function's IP address.
Hmm, I think both is OK. kpatch method is less memory consuming and will have a bigger overhead. However, as Steven talked at Plumbers Conf., he will introduce a direct code modifying interface for ftrace. After that is introduced, we don't need to care about performance degradation by patching :)
Quoted 5 lines
It actually works out pretty well because it nicely encapsulates the knowledge about which functions are patched in a single place. And it makes it easy to track function versions (for incremental patching and rollback).
Quoted 7 lines
Quoted 4 lines
What I'd propose instead is to make sure that we always have just a
ftrace_opsper function entry, and only update the pointers there as necessary. Fortunately we can do the switch atomically, by making use of ->private.But how would you update multiple functions atomically, to enforce per-thread consistency?
At this point, both can do it atomically. We just need an atomic flag for applying patches.
Thank you,
Signature · 4 lines
Masami HIRAMATSU Software Platform Research Dept. Linux Technology Research Center Hitachi, Ltd., Yokohama Research Laboratory E-mail: [email protected]
Quoted 32 lines · Masami Hiramatsu
Quoted 22 lines · Josh Poimboeuf
Quoted 21 lines · Jiri Kosina
Quoted 8 lines · Masami Hiramatsu
Quoted 4 lines
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.BTW, as we discussed IPMODIFY is an exclusive flag. So if we allocate
ftrace_opsfor each function in each patch, it could be conflict each other.Yup, this corresponds to what Petr brought up yesterday. There are cases where all solutions (kpatch, kgraft, klp) would allocate multiple
ftrace_opsfor a single function entry (think of patching one function multiple times in a row).So it's not as easy as just setting the flag.
Quoted 2 lines
Maybe we need to have another ops hashtable to find such conflict and new handler to handle it.
Quoted 8 lines
Quoted 3 lines
If I understand your proposal correctly, that would sound like a hackish workaround, trying to basically trick the IPMODIFY flag semantics you just implemented :)
I think Masami may be proposing something similar to what we do in kpatch today. We have a single
ftrace_opsand handler which is used for all functions. The handler accesses a global hash ofkpatch_funcstructs which is indexed by the original function's IP address.
Quoted 5 lines
Hmm, I think both is OK. kpatch method is less memory consuming and will have a bigger overhead. However, as Steven talked at Plumbers Conf., he will introduce a direct code modifying interface for ftrace. After that is introduced, we don't need to care about performance degradation by patching :)
Yup, I would prefer to have ftrace_ops per (original) function entry. I mean that new patches will reuse the existing ftrace_ops for already patched functions. They will just create new ftrace_ops from the not-yet-patched symbols.
Using a single ftrace_ops everywhere would kill the win from Steven's direct ftrace optimization.
Quoted 10 lines
Quoted 10 lines
It actually works out pretty well because it nicely encapsulates the knowledge about which functions are patched in a single place. And it makes it easy to track function versions (for incremental patching and rollback).
Quoted 4 lines
What I'd propose instead is to make sure that we always have just a
ftrace_opsper function entry, and only update the pointers there as necessary. Fortunately we can do the switch atomically, by making use of ->private.
Quoted 5 lines
Quoted 2 lines
But how would you update multiple functions atomically, to enforce per-thread consistency?
At this point, both can do it atomically. We just need an atomic flag for applying patches.
By other words, we would need something like the "kgr_immutable" flag from kGraft. It will make sure that everybody stays with the current code until all function entries are updated.
Best Regards,
Petr
Quoted 39 lines · Petr Mladek
Quoted 32 lines · Masami Hiramatsu
Quoted 22 lines · Josh Poimboeuf
Quoted 21 lines · Jiri Kosina
Quoted 8 lines · Masami Hiramatsu
Quoted 4 lines
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.BTW, as we discussed IPMODIFY is an exclusive flag. So if we allocate
ftrace_opsfor each function in each patch, it could be conflict each other.Yup, this corresponds to what Petr brought up yesterday. There are cases where all solutions (kpatch, kgraft, klp) would allocate multiple
ftrace_opsfor a single function entry (think of patching one function multiple times in a row).So it's not as easy as just setting the flag.
Quoted 2 lines
Maybe we need to have another ops hashtable to find such conflict and new handler to handle it.
Quoted 8 lines
Quoted 3 lines
If I understand your proposal correctly, that would sound like a hackish workaround, trying to basically trick the IPMODIFY flag semantics you just implemented :)
I think Masami may be proposing something similar to what we do in kpatch today. We have a single
ftrace_opsand handler which is used for all functions. The handler accesses a global hash ofkpatch_funcstructs which is indexed by the original function's IP address.Quoted 5 lines
Hmm, I think both is OK. kpatch method is less memory consuming and will have a bigger overhead. However, as Steven talked at Plumbers Conf., he will introduce a direct code modifying interface for ftrace. After that is introduced, we don't need to care about performance degradation by patching :)
Quoted 4 lines
Yup, I would prefer to have
ftrace_opsper (original) function entry. I mean that new patches will reuse the existingftrace_opsfor already patched functions. They will just create newftrace_opsfrom the not-yet-patched symbols.
However, too many ftrace_ops will get bigger overhead if conflicts happened on any entry, since on such entry ftrace walks through all registered ftrace_ops and checks its filter. It's a downside. Perhaps, ftrace needs to have 2 different ftrace_ops lists, one is for managing, and one is for walk through. And the latter list drops the ftrace_ops which has trampoline and whose all filtered ip is exclusively used (iow, such ftrace_ops never be hit in the walk through).
Quoted 2 lines
Using a single
ftrace_opseverywhere would kill the win from Steven's direct ftrace optimization.
It depends on the implementation and interface. E.g. an explicit path-change optimization interface for each address with ftrace_ops, like as
ftrace_change_path_ip(ftrace_ops *ops, unsigned long old_addr,
unsigned long new_addr);
This checks ftrace_ops is already registered and has given old_addr in filter, ensures no other ftrace_ops are registered on given address, and then optimizes the fentry call to jump to the new_addr.
Anyway, at this point it is not a major discussion point, it's a kind of minor implementation issue for performance and memory consuming. We can switch it without changing API.
Thank you,
Quoted 22 lines
Quoted 10 lines
Quoted 10 lines
It actually works out pretty well because it nicely encapsulates the knowledge about which functions are patched in a single place. And it makes it easy to track function versions (for incremental patching and rollback).
Quoted 4 lines
What I'd propose instead is to make sure that we always have just a
ftrace_opsper function entry, and only update the pointers there as necessary. Fortunately we can do the switch atomically, by making use of ->private.Quoted 5 lines
Quoted 2 lines
But how would you update multiple functions atomically, to enforce per-thread consistency?
At this point, both can do it atomically. We just need an atomic flag for applying patches.
By other words, we would need something like the "
kgr_immutable" flag from kGraft. It will make sure that everybody stays with the current code until all function entries are updated.Best Regards,
Petr
Signature · 4 lines
Masami HIRAMATSU Software Platform Research Dept. Linux Technology Research Center Hitachi, Ltd., Yokohama Research Laboratory E-mail: [email protected]
Quoted 21 lines · Jiri Kosina
Quoted 8 lines · Masami Hiramatsu
Quoted 4 lines
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.BTW, as we discussed IPMODIFY is an exclusive flag. So if we allocate
ftrace_opsfor each function in each patch, it could be conflict each other.Yup, this corresponds to what Petr brought up yesterday. There are cases where all solutions (kpatch, kgraft, klp) would allocate multiple
ftrace_opsfor a single function entry (think of patching one function multiple times in a row).So it's not as easy as just setting the flag.
Quoted 2 lines
Maybe we need to have another ops hashtable to find such conflict and new handler to handle it.
Quoted 8 lines
If I understand your proposal correctly, that would sound like a hackish workaround, trying to basically trick the IPMODIFY flag semantics you just implemented :)
What I'd propose instead is to make sure that we always have just a
ftrace_opsper function entry, and only update the pointers there as necessary. Fortunately we can do the switch atomically, by making use of ->private.
Would you mean per existing function entry, not per klp-func entry? If so, it sounds good to me too :)
Thank you,
Signature · 4 lines
Masami HIRAMATSU Software Platform Research Dept. Linux Technology Research Center Hitachi, Ltd., Yokohama Research Laboratory E-mail: [email protected]
Quoted 10 lines · Masami Hiramatsu
Quoted 4 lines · Seth Jennings
Note to Steve:
Masami's IPMODIFY patch is heading for -next via your tree. Once it arrives, I'll rebase and make the change to set IPMODIFY. Do not pull this for -next yet. This version (v4) is for review and gathering acks.BTW, as we discussed IPMODIFY is an exclusive flag. So if we allocate
ftrace_opsfor each function in each patch, it could be conflict each other. Maybe we need to have another ops hashtable to find such conflict and new handler to handle it.
I agree, but this is not a problem with the current patch set because it doesn't yet support patching the same function multiple times :-)
Signature · 1 line
Josh