Received: by 2002:a25:6193:0:0:0:0:0 with SMTP id v141csp4575418ybb; Tue, 14 Apr 2020 09:55:54 -0700 (PDT) X-Google-Smtp-Source: APiQypLuqibs0qc+SemOezmj1yS2IA8slevIVtRSylmEa+jEjby4Otp9g4uslU5TU97wpzd/RS9p X-Received: by 2002:a50:fa0b:: with SMTP id b11mr20985580edq.251.1586883354039; Tue, 14 Apr 2020 09:55:54 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1586883354; cv=none; d=google.com; s=arc-20160816; b=R1r0QjQYzUrAnAnm6UVf8wXfsafKiVIRyc2VUcYWKD+OlXLgPUOtlSZUf62xDSlnLg RUyQSyOinPVej6u3V01yI8Xi5YKKEX6p++MMAOgRvWcrL/FiQbYCSufN3M1/kF7v36Lh N3YvTFLTpT4JIywKJl8o19iMCpKbjzY2a7XR7G7Q1Wq63725Tidvf8AuVyXCfzU3LD3K +YX5/TeB/VnNw5FdO6AfycM5hPcH1Kyikx9WQ7EJiiDCFgQ+nwDJ2fjqWJpfuCDPeLX3 0TUrxg74XqpvBhu2mNQFR+1bB41Bwxgw4Wy/aHWd1ayjRRQdZp8eIjUSi3mwb8bAnGSU iRSg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :references:in-reply-to:message-id:date:subject:cc:to:from :dkim-signature; bh=VU4F/S2Af0uDm8au6aGwWUIRFyNemUaW2wxLlexQTnw=; b=FWVUDobIQHFX5T7F9PpMfYz0Hf5ATkUBvn2HzyY72Wcuc3mCNMYFUgqW5GjC0J1UXK CswjlzqYLf2HxKh8f9jsxkeYy41qaJjD6rFSy7tGpEWdEe3f7jreuqF5waPjf1ffzmPd yWTpFaJWjHscP4dps4+84D18ZHQVCPQ6jzS0+65KYhkDAckPJei56qE4MjL41Pxu/nvO mrFjM7HnDlgdq6Udu0HoBxRYCgt6WM/VRs5YThF8uRZmanh1N4eDBQHCFtEBcWOrhNLc wZZ1MSMHzGfvy34y6p7I6R0uPeLH4dLJ+B/W8v/UVR4z6YlJ4dcbEVXV4kySNwFwhNi+ JH9w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=Iu4QHB2q; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=redhat.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id g13si1195477edu.502.2020.04.14.09.55.30; Tue, 14 Apr 2020 09:55:54 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=Iu4QHB2q; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=redhat.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2391640AbgDNQ3e (ORCPT + 99 others); Tue, 14 Apr 2020 12:29:34 -0400 Received: from us-smtp-delivery-1.mimecast.com ([205.139.110.120]:26866 "EHLO us-smtp-1.mimecast.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S2391604AbgDNQ3E (ORCPT ); Tue, 14 Apr 2020 12:29:04 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1586881741; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=VU4F/S2Af0uDm8au6aGwWUIRFyNemUaW2wxLlexQTnw=; b=Iu4QHB2q5UBv4prPccRMabK3UnzjbDQHFw6YV+mZDRC4PwNLrBvFZSQ9EMcIG7z+9MGQyZ O6SaIVMPitGoHJ2iqvr6khxhErGndCG7pVJN8PqWIwoTq76xUbhoGXKZYzY5+JsCOaEXmG TahiYtooDZoJqGOmO5LHU22AqMKmPWs= Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-456-bBSqm-ekPqy4RamIlefyWg-1; Tue, 14 Apr 2020 12:28:59 -0400 X-MC-Unique: bBSqm-ekPqy4RamIlefyWg-1 Received: from smtp.corp.redhat.com (int-mx04.intmail.prod.int.phx2.redhat.com [10.5.11.14]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id 7BDA1DB60; Tue, 14 Apr 2020 16:28:58 +0000 (UTC) Received: from treble.redhat.com (ovpn-116-146.rdu2.redhat.com [10.10.116.146]) by smtp.corp.redhat.com (Postfix) with ESMTP id BF61A5DA66; Tue, 14 Apr 2020 16:28:57 +0000 (UTC) From: Josh Poimboeuf To: live-patching@vger.kernel.org Cc: linux-kernel@vger.kernel.org, Peter Zijlstra , Jessica Yu Subject: [PATCH 2/7] livepatch: Remove .klp.arch Date: Tue, 14 Apr 2020 11:28:38 -0500 Message-Id: In-Reply-To: References: MIME-Version: 1.0 X-Scanned-By: MIMEDefang 2.79 on 10.5.11.14 Content-Transfer-Encoding: quoted-printable Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org From: Peter Zijlstra After the previous patch, vmlinux-specific KLP relocations are now applied early during KLP module load. This means that .klp.arch sections are no longer needed for *vmlinux-specific* KLP relocations. One might think they're still needed for *module-specific* KLP relocations. If a to-be-patched module is loaded *after* its corresponding KLP module is loaded, any corresponding KLP relocations will be delayed until the to-be-patched module is loaded. If any special sections (.parainstructions, for example) rely on those relocations, their initializations (apply_paravirt) need to be done afterwards. Thus the apparent need for arch_klp_init_object_loaded() and its corresponding .klp.arch sections -- it allows some of the special section initializations to be done at a later time. But... if you look closer, that dependency between the special sections and the module-specific KLP relocations doesn't actually exist in reality. Looking at the contents of the .altinstructions and .parainstructions sections, there's not a realistic scenario in which a KLP module's .altinstructions or .parainstructions section needs to access a symbol in a to-be-patched module. It might need to access a local symbol or even a vmlinux symbol; but not another module's symbol. When a special section needs to reference a local or vmlinux symbol, a normal rela can be used instead of a KLP rela. Since the special section initializations don't actually have any real dependency on module-specific KLP relocations, .klp.arch and arch_klp_init_object_loaded() no longer have a reason to exist. So remove them. As Peter said much more succinctly: So the reason for .klp.arch was that .klp.rela.* stuff would overwrite paravirt instructions. If that happens you're doing it wrong. Those RELAs are core kernel, not module, and thus should've happened in .rela.* sections at patch-module loading time. Reverting this removes the two apply_{paravirt,alternatives}() calls from the late patching path, and means we don't have to worry about them when removing module_disable_ro(). [ jpoimboe: Rewrote patch description. Tweaked klp_init_object_loaded() error path. ] Signed-off-by: Peter Zijlstra (Intel) Signed-off-by: Josh Poimboeuf --- Documentation/livepatch/module-elf-format.rst | 12 +---- arch/x86/kernel/Makefile | 1 - arch/x86/kernel/livepatch.c | 53 ------------------- include/linux/livepatch.h | 3 -- kernel/livepatch/core.c | 27 ++++------ 5 files changed, 10 insertions(+), 86 deletions(-) delete mode 100644 arch/x86/kernel/livepatch.c diff --git a/Documentation/livepatch/module-elf-format.rst b/Documentatio= n/livepatch/module-elf-format.rst index 2a591e6f8e6c..629ef7ffb6cf 100644 --- a/Documentation/livepatch/module-elf-format.rst +++ b/Documentation/livepatch/module-elf-format.rst @@ -298,17 +298,7 @@ Examples: Note that the 'Ndx' (Section index) for these symbols is SHN_LIVEPATCH= (0xff20). "OS" means OS-specific. =20 -5. Architecture-specific sections -=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D -Architectures may override arch_klp_init_object_loaded() to perform -additional arch-specific tasks when a target module loads, such as apply= ing -arch-specific sections. On x86 for example, we must apply per-object -.altinstructions and .parainstructions sections when a target module loa= ds. -These sections must be prefixed with ".klp.arch.$objname." so that they = can -be easily identified when iterating through a patch module's Elf section= s -(See arch/x86/kernel/livepatch.c for a complete example). - -6. Symbol table and Elf section access +5. Symbol table and Elf section access =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D A livepatch module's symbol table is accessible through module->symtab. =20 diff --git a/arch/x86/kernel/Makefile b/arch/x86/kernel/Makefile index d6d61c4455fa..fc8834342516 100644 --- a/arch/x86/kernel/Makefile +++ b/arch/x86/kernel/Makefile @@ -94,7 +94,6 @@ obj-$(CONFIG_X86_MPPARSE) +=3D mpparse.o obj-y +=3D apic/ obj-$(CONFIG_X86_REBOOTFIXUPS) +=3D reboot_fixups_32.o obj-$(CONFIG_DYNAMIC_FTRACE) +=3D ftrace.o -obj-$(CONFIG_LIVEPATCH) +=3D livepatch.o obj-$(CONFIG_FUNCTION_TRACER) +=3D ftrace_$(BITS).o obj-$(CONFIG_FUNCTION_GRAPH_TRACER) +=3D ftrace.o obj-$(CONFIG_FTRACE_SYSCALLS) +=3D ftrace.o diff --git a/arch/x86/kernel/livepatch.c b/arch/x86/kernel/livepatch.c deleted file mode 100644 index 6a68e41206e7..000000000000 --- a/arch/x86/kernel/livepatch.c +++ /dev/null @@ -1,53 +0,0 @@ -// SPDX-License-Identifier: GPL-2.0-or-later -/* - * livepatch.c - x86-specific Kernel Live Patching Core - */ - -#include -#include -#include -#include - -/* Apply per-object alternatives. Based on x86 module_finalize() */ -void arch_klp_init_object_loaded(struct klp_patch *patch, - struct klp_object *obj) -{ - int cnt; - struct klp_modinfo *info; - Elf_Shdr *s, *alt =3D NULL, *para =3D NULL; - void *aseg, *pseg; - const char *objname; - char sec_objname[MODULE_NAME_LEN]; - char secname[KSYM_NAME_LEN]; - - info =3D patch->mod->klp_info; - objname =3D obj->name ? obj->name : "vmlinux"; - - /* See livepatch core code for BUILD_BUG_ON() explanation */ - BUILD_BUG_ON(MODULE_NAME_LEN < 56 || KSYM_NAME_LEN !=3D 128); - - for (s =3D info->sechdrs; s < info->sechdrs + info->hdr.e_shnum; s++) { - /* Apply per-object .klp.arch sections */ - cnt =3D sscanf(info->secstrings + s->sh_name, - ".klp.arch.%55[^.].%127s", - sec_objname, secname); - if (cnt !=3D 2) - continue; - if (strcmp(sec_objname, objname)) - continue; - if (!strcmp(".altinstructions", secname)) - alt =3D s; - if (!strcmp(".parainstructions", secname)) - para =3D s; - } - - if (alt) { - aseg =3D (void *) alt->sh_addr; - apply_alternatives(aseg, aseg + alt->sh_size); - } - - if (para) { - pseg =3D (void *) para->sh_addr; - apply_paravirt(pseg, pseg + para->sh_size); - } -} diff --git a/include/linux/livepatch.h b/include/linux/livepatch.h index d9e9b76f6054..2509dcf14605 100644 --- a/include/linux/livepatch.h +++ b/include/linux/livepatch.h @@ -195,9 +195,6 @@ struct klp_patch { =20 int klp_enable_patch(struct klp_patch *); =20 -void arch_klp_init_object_loaded(struct klp_patch *patch, - struct klp_object *obj); - /* Called from the module loader during module coming/going states */ int klp_module_coming(struct module *mod); void klp_module_going(struct module *mod); diff --git a/kernel/livepatch/core.c b/kernel/livepatch/core.c index ac9e2e78ae0f..af8f06382e43 100644 --- a/kernel/livepatch/core.c +++ b/kernel/livepatch/core.c @@ -741,12 +741,6 @@ static int klp_init_func(struct klp_object *obj, str= uct klp_func *func) func->old_sympos ? func->old_sympos : 1); } =20 -/* Arches may override this to finish any remaining arch-specific tasks = */ -void __weak arch_klp_init_object_loaded(struct klp_patch *patch, - struct klp_object *obj) -{ -} - /* parts of the initialization that is done only when the object is load= ed */ static int klp_init_object_loaded(struct klp_patch *patch, struct klp_object *obj) @@ -755,10 +749,11 @@ static int klp_init_object_loaded(struct klp_patch = *patch, int ret; struct klp_modinfo *info =3D patch->mod->klp_info; =20 - mutex_lock(&text_mutex); - module_disable_ro(patch->mod); - if (klp_is_module(obj)) { + + mutex_lock(&text_mutex); + module_disable_ro(patch->mod); + /* * Only write module-specific relocations here * (.klp.rela.{module}.*). vmlinux-specific relocations were @@ -770,17 +765,13 @@ static int klp_init_object_loaded(struct klp_patch = *patch, patch->mod->core_kallsyms.strtab, info->symndx, patch->mod, obj->name); - if (ret) { - module_enable_ro(patch->mod, true); - mutex_unlock(&text_mutex); - return ret; - } - } =20 - arch_klp_init_object_loaded(patch, obj); + module_enable_ro(patch->mod, true); + mutex_unlock(&text_mutex); =20 - module_enable_ro(patch->mod, true); - mutex_unlock(&text_mutex); + if (ret) + return ret; + } =20 klp_for_each_func(obj, func) { ret =3D klp_find_object_symbol(obj->name, func->old_name, --=20 2.21.1