From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-9.0 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, MENTIONS_GIT_HOSTING,SPF_HELO_NONE,SPF_PASS,UNPARSEABLE_RELAY,USER_AGENT_GIT autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 5E677C2BA1B for ; Wed, 8 Apr 2020 05:05:36 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 2A3D92082F for ; Wed, 8 Apr 2020 05:05:36 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=oracle.com header.i=@oracle.com header.b="dwADO76B" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726589AbgDHFFa (ORCPT ); Wed, 8 Apr 2020 01:05:30 -0400 Received: from aserp2120.oracle.com ([141.146.126.78]:38456 "EHLO aserp2120.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725932AbgDHFF3 (ORCPT ); Wed, 8 Apr 2020 01:05:29 -0400 Received: from pps.filterd (aserp2120.oracle.com [127.0.0.1]) by aserp2120.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 03853tXb191207; Wed, 8 Apr 2020 05:04:59 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : mime-version : content-transfer-encoding; s=corp-2020-01-29; bh=gEHA9nx+P2Ept/nnZJ17DEilIouWJcKCIoMOvLrgo7U=; b=dwADO76B6vyzwqtdoXeIlwaxqVZQMSnNBam+TctIiRToIoKUqiF9ff/rdW4nswrnoVXf LqtZc8ZIJwHi4WqQ1PtdUff0JHwT9kQYFrXeCqYTa1rT8hMAWktj0PlnQeX6fOYag+Vd pBe27mf8+o64sXWgrZAq8BnD3+13rAIDHPmp0MgUwnSNQsmWXbBv4i3lHAH1A3rg7HaO l6joM8aTubnbQd5fjWdUG1Wg0tBf58rERzrpIZmG7BWOWgmGRd4sTk/FUa1mGSZ4cdUh njagTvBUGP5DSwstjTEk6O80pHwZ2XAc1e9qsO9U8L5UoIYMhU87qlaORuwqdRFDatA/ Zw== Received: from aserp3020.oracle.com (aserp3020.oracle.com [141.146.126.70]) by aserp2120.oracle.com with ESMTP id 3091m0s0r9-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 08 Apr 2020 05:04:59 +0000 Received: from pps.filterd (aserp3020.oracle.com [127.0.0.1]) by aserp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 03851Xb2100769; Wed, 8 Apr 2020 05:04:58 GMT Received: from userv0121.oracle.com (userv0121.oracle.com [156.151.31.72]) by aserp3020.oracle.com with ESMTP id 3091m2hu00-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 08 Apr 2020 05:04:58 +0000 Received: from abhmp0012.oracle.com (abhmp0012.oracle.com [141.146.116.18]) by userv0121.oracle.com (8.14.4/8.13.8) with ESMTP id 03854oaP015085; Wed, 8 Apr 2020 05:04:53 GMT Received: from monad.ca.oracle.com (/10.156.75.81) by default (Oracle Beehive Gateway v4.0) with ESMTP ; Tue, 07 Apr 2020 22:04:50 -0700 From: Ankur Arora To: linux-kernel@vger.kernel.org, x86@kernel.org Cc: peterz@infradead.org, hpa@zytor.com, jpoimboe@redhat.com, namit@vmware.com, mhiramat@kernel.org, jgross@suse.com, bp@alien8.de, vkuznets@redhat.com, pbonzini@redhat.com, boris.ostrovsky@oracle.com, mihai.carabas@oracle.com, kvm@vger.kernel.org, xen-devel@lists.xenproject.org, virtualization@lists.linux-foundation.org, Ankur Arora Subject: [RFC PATCH 00/26] Runtime paravirt patching Date: Tue, 7 Apr 2020 22:02:57 -0700 Message-Id: <20200408050323.4237-1-ankur.a.arora@oracle.com> X-Mailer: git-send-email 2.20.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9584 signatures=668685 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 bulkscore=0 mlxscore=0 malwarescore=0 spamscore=0 adultscore=0 suspectscore=0 mlxlogscore=999 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2003020000 definitions=main-2004080037 X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9584 signatures=668685 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 adultscore=0 mlxlogscore=999 mlxscore=0 priorityscore=1501 phishscore=0 suspectscore=0 bulkscore=0 lowpriorityscore=0 impostorscore=0 malwarescore=0 clxscore=1011 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2003020000 definitions=main-2004080037 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org A KVM host (or another hypervisor) might advertise paravirtualized features and optimization hints (ex KVM_HINTS_REALTIME) which might become stale over the lifetime of the guest. For instance, the host might go from being undersubscribed to being oversubscribed (or the other way round) and it would make sense for the guest switch pv-ops based on that. This lockorture splat that I saw on the guest while testing this is indicative of the problem: [ 1136.461522] watchdog: BUG: soft lockup - CPU#8 stuck for 22s! [lock_torture_wr:12865] [ 1136.461542] CPU: 8 PID: 12865 Comm: lock_torture_wr Tainted: G W L 5.4.0-rc7+ #77 [ 1136.461546] RIP: 0010:native_queued_spin_lock_slowpath+0x15/0x220 (Caused by an oversubscribed host but using mismatched native pv_lock_ops on the gues.) This series addresses the problem by doing paravirt switching at runtime. We keep an interesting subset of pv-ops (pv_lock_ops only for now, but PV-TLB ops are also good candidates) in .parainstructions.runtime, while discarding the .parainstructions as usual at init. This is then used for switching back and forth between native and paravirt mode. ([1] lists some representative numbers of the increased memory footprint.) Mechanism: the patching itself is done using stop_machine(). That is not ideal -- text_poke_stop_machine() was replaced with INT3+emulation via text_poke_bp(), but I'm using this to address two issues: 1) emulation in text_poke() can only easily handle a small set of instructions and this is problematic for inlined pv-ops (and see a possible alternatives use-case below.) 2) paravirt patching might have inter-dependendent ops (ex. lock.queued_lock_slowpath, lock.queued_lock_unlock are paired and need to be updated atomically.) The alternative use-case is a runtime version of apply_alternatives() (not posted with this patch-set) that can be used for some safe subset of X86_FEATUREs. This could be useful in conjunction with the ongoing late microcode loading work that Mihai Carabas and others have been working on. Also, there are points of similarity with the ongoing static_call work which does rewriting of indirect calls. The difference here is that we need to switch a group of calls atomically and given that some of them can be inlined, need to handle a wider variety of opcodes. To patch safely we need to satisfy these constraints: - No references to insn sequences under replacement on any kernel stack once replacement is in progress. Without this constraint we might end up returning to an address that is in the middle of an instruction. - handle inter-dependent ops: as above, lock.queued_lock_unlock(), lock.queued_lock_slowpath() and the rest of the pv_lock_ops are a good example. - handle a broader set of insns than CALL and JMP: some pv-ops end up getting inlined. Alternatives can contain arbitrary instructions. - locking operations can be called from interrupt handlers which means we cannot trivially use IPIs for flushing. Handling these, necessitates that target pv-ops not be preemptible. Once that is a given (for safety these need to be explicitly whitelisted in runtime_patch()), use a state-machine with the primary CPU doing the patching and secondary CPUs in a sync_core() loop. In case we hit an INT3/BP (in NMI or thread-context) we makes forward progress by continuing the patching instead of emulating. One remaining issue is inter-dependent pv-ops which are also executed in the NMI handler -- patching can potentially deadlock in case of multiple NMIs. Handle these by pushing some of this work in the NMI handler where we know it will be uninterrupted. There are four main sets of patches in this series: 1. PV-ops management (patches 1-10, 20): mostly infrastructure and refactoring pieces to make paravirt patching usable at runtime. For the most part scoped under CONFIG_PARAVIRT_RUNTIME. Patches 1-7, to persist part of parainstructions in memory: "x86/paravirt: Specify subsection in PVOP macros" "x86/paravirt: Allow paravirt patching post-init" "x86/paravirt: PVRTOP macros for PARAVIRT_RUNTIME" "x86/alternatives: Refactor alternatives_smp_module* "x86/alternatives: Rename alternatives_smp*, smp_alt_module "x86/alternatives: Remove stale symbols "x86/paravirt: Persist .parainstructions.runtime" Patches 8-10, develop the inerfaces to safely switch pv-ops: "x86/paravirt: Stash native pv-ops" "x86/paravirt: Add runtime_patch()" "x86/paravirt: Add primitives to stage pv-ops" Patch 20 enables switching of pv_lock_ops: "x86/paravirt: Enable pv-spinlocks in runtime_patch()" 2. Non-emulated text poking (patches 11-19) Patches 11-13 are mostly refactoring to split __text_poke() into map, unmap and poke/memcpy phases with the poke portion being re-entrant "x86/alternatives: Remove return value of text_poke*()" "x86/alternatives: Use __get_unlocked_pte() in text_poke()" "x86/alternatives: Split __text_poke()" Patches 15, 17 add the actual poking state-machine: "x86/alternatives: Non-emulated text poking" "x86/alternatives: Add patching logic in text_poke_site()" with patches 14 and 18 containing the pieces for BP handling: "x86/alternatives: Handle native insns in text_poke_loc*()" "x86/alternatives: Handle BP in non-emulated text poking" and patch 19 provides the ability to use the state-machine above in an NMI context (fixes some potential deadlocks when handling inter- dependent operations and multiple NMIs): "x86/alternatives: NMI safe runtime patching". Patch 16 provides the interface (paravirt_runtime_patch()) to use the poking mechanism developed above and patch 21 adds a selftest: "x86/alternatives: Add paravirt patching at runtime" "x86/alternatives: Paravirt runtime selftest" 3. KVM guest changes to be able to use this (patches 22-23,25-26): "kvm/paravirt: Encapsulate KVM pv switching logic" "x86/kvm: Add worker to trigger runtime patching" "x86/kvm: Guest support for dynamic hints" "x86/kvm: Add hint change notifier for KVM_HINT_REALTIME". 4. KVM host changes to notify the guest of a change (patch 24): "x86/kvm: Support dynamic CPUID hints" Testing: With paravirt patching, the code is mostly stable on Intel and AMD systems under kernbench and locktorture with paravirt toggling (with, without synthetic NMIs) in the background. Queued spinlock performance for locktorture is also on expected lines: [ 1533.221563] Writes: Total: 1048759000 Max/Min: 0/0 Fail: 0 # toggle PV spinlocks [ 1594.713699] Writes: Total: 1111660545 Max/Min: 0/0 Fail: 0 # PV spinlocks (in ~60 seconds) = 62,901,545 # toggle native spinlocks [ 1656.117175] Writes: Total: 1113888840 Max/Min: 0/0 Fail: 0 # native spinlocks (in ~60 seconds) = 2,228,295 The alternatives testing is more limited with it being used to rewrite mostly harmless X86_FEATUREs with load in the background. Patches also at: ssh://git@github.com/terminus/linux.git alternatives-rfc-upstream-v1 Please review. Thanks Ankur [1] The precise change in memory footprint depends on config options but the following example inlines queued_spin_unlock() (which forms the bulk of the added state). The added footprint is the size of the .parainstructions.runtime section: $ objdump -h vmlinux|grep .parainstructions Idx Name Size VMA LMA File-off Algn 27 .parainstructions 0001013c ffffffff82895000 0000000002895000 01c95000 2**3 28 .parainstructions.runtime 0000cd2c ffffffff828a5140 00000000028a5140 01ca5140 2**3 $ size vmlinux text data bss dec hex filename 13726196 12302814 14094336 40123346 2643bd2 vmlinux Ankur Arora (26): x86/paravirt: Specify subsection in PVOP macros x86/paravirt: Allow paravirt patching post-init x86/paravirt: PVRTOP macros for PARAVIRT_RUNTIME x86/alternatives: Refactor alternatives_smp_module* x86/alternatives: Rename alternatives_smp*, smp_alt_module x86/alternatives: Remove stale symbols x86/paravirt: Persist .parainstructions.runtime x86/paravirt: Stash native pv-ops x86/paravirt: Add runtime_patch() x86/paravirt: Add primitives to stage pv-ops x86/alternatives: Remove return value of text_poke*() x86/alternatives: Use __get_unlocked_pte() in text_poke() x86/alternatives: Split __text_poke() x86/alternatives: Handle native insns in text_poke_loc*() x86/alternatives: Non-emulated text poking x86/alternatives: Add paravirt patching at runtime x86/alternatives: Add patching logic in text_poke_site() x86/alternatives: Handle BP in non-emulated text poking x86/alternatives: NMI safe runtime patching x86/paravirt: Enable pv-spinlocks in runtime_patch() x86/alternatives: Paravirt runtime selftest kvm/paravirt: Encapsulate KVM pv switching logic x86/kvm: Add worker to trigger runtime patching x86/kvm: Support dynamic CPUID hints x86/kvm: Guest support for dynamic hints x86/kvm: Add hint change notifier for KVM_HINT_REALTIME Documentation/virt/kvm/api.rst | 17 + Documentation/virt/kvm/cpuid.rst | 9 +- arch/x86/Kconfig | 14 + arch/x86/Kconfig.debug | 13 + arch/x86/entry/entry_64.S | 5 + arch/x86/include/asm/alternative.h | 20 +- arch/x86/include/asm/kvm_host.h | 6 + arch/x86/include/asm/kvm_para.h | 17 + arch/x86/include/asm/paravirt.h | 10 +- arch/x86/include/asm/paravirt_types.h | 230 ++++-- arch/x86/include/asm/text-patching.h | 18 +- arch/x86/include/uapi/asm/kvm_para.h | 2 + arch/x86/kernel/Makefile | 1 + arch/x86/kernel/alternative.c | 987 +++++++++++++++++++++++--- arch/x86/kernel/kvm.c | 191 ++++- arch/x86/kernel/module.c | 42 +- arch/x86/kernel/paravirt.c | 16 +- arch/x86/kernel/paravirt_patch.c | 61 ++ arch/x86/kernel/pv_selftest.c | 264 +++++++ arch/x86/kernel/pv_selftest.h | 15 + arch/x86/kernel/setup.c | 2 + arch/x86/kernel/vmlinux.lds.S | 16 + arch/x86/kvm/cpuid.c | 3 +- arch/x86/kvm/x86.c | 39 + include/asm-generic/kvm_para.h | 12 + include/asm-generic/vmlinux.lds.h | 8 + include/linux/kvm_para.h | 5 + include/linux/mm.h | 16 +- include/linux/preempt.h | 17 + include/uapi/linux/kvm.h | 4 + kernel/locking/lock_events.c | 2 +- mm/memory.c | 9 +- 32 files changed, 1850 insertions(+), 221 deletions(-) create mode 100644 arch/x86/kernel/pv_selftest.c create mode 100644 arch/x86/kernel/pv_selftest.h -- 2.20.1