From patchwork Fri Nov 8 09:22:47 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Kashyap Chamarthy X-Patchwork-Id: 1191758 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Authentication-Results: ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=nongnu.org (client-ip=209.51.188.17; helo=lists.gnu.org; envelope-from=qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org; receiver=) Authentication-Results: ozlabs.org; dmarc=fail (p=none dis=none) header.from=redhat.com Authentication-Results: ozlabs.org; dkim=fail reason="signature verification failed" (1024-bit key; unprotected) header.d=redhat.com header.i=@redhat.com header.b="fjCYMIbW"; dkim-atps=neutral Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 478ZcP1v3Rz9sP6 for ; Fri, 8 Nov 2019 20:25:07 +1100 (AEDT) Received: from localhost ([::1]:50926 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iT0Vs-0002ZY-KR for incoming@patchwork.ozlabs.org; Fri, 08 Nov 2019 04:25:04 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:35687) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iT0Ty-0001qA-2H for qemu-devel@nongnu.org; Fri, 08 Nov 2019 04:23:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iT0Tv-00022u-00 for qemu-devel@nongnu.org; Fri, 08 Nov 2019 04:23:04 -0500 Received: from us-smtp-delivery-1.mimecast.com ([207.211.31.120]:58899 helo=us-smtp-1.mimecast.com) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iT0Tu-000228-Po for qemu-devel@nongnu.org; Fri, 08 Nov 2019 04:23:02 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1573204981; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=TvUqLTgGIYP6/FYcF8h6uKC+JxyD+IXo7HBjlvFN+b0=; b=fjCYMIbWX83flmxVWepxyAIfVkyyrGpKEw3h5YkLmSX4/51hPNqXt2ioJPjxScF6+eqo4z UH+1oJ7kp3n4YiDf1+BsO5R7Y50QGAjhlVVI0zk3yN2h6Zy9HyWWUxYdAc/srku3xKEHFa 0ODbDdCmANL7JVojhfEoao9S1p7RZgo= 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-247-OzemPdVaOQW9rQ-8hKw_-A-1; Fri, 08 Nov 2019 04:22:58 -0500 Received: from smtp.corp.redhat.com (int-mx07.intmail.prod.int.phx2.redhat.com [10.5.11.22]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id 18D6E180496F for ; Fri, 8 Nov 2019 09:22:58 +0000 (UTC) Received: from paraplu.localdomain (ovpn-117-240.ams2.redhat.com [10.36.117.240]) by smtp.corp.redhat.com (Postfix) with ESMTP id D10A71001B34; Fri, 8 Nov 2019 09:22:53 +0000 (UTC) From: Kashyap Chamarthy To: qemu-devel@nongnu.org Subject: [PATCH qemu-web] Add a blog post on "Micro-Optimizing KVM VM-Exits" Date: Fri, 8 Nov 2019 10:22:47 +0100 Message-Id: <20191108092247.16207-1-kchamart@redhat.com> MIME-Version: 1.0 X-Scanned-By: MIMEDefang 2.84 on 10.5.11.22 X-MC-Unique: OzemPdVaOQW9rQ-8hKw_-A-1 X-Mimecast-Spam-Score: 0 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 207.211.31.120 X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: aarcange@redhat.com, Kashyap Chamarthy , dgilbert@redhat.com, stefanha@redhat.com, pbonzini@redhat.com, vkuznets@redhat.com Errors-To: qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org Sender: "Qemu-devel" This blog post summarizes the talk "Micro-Optimizing KVM VM-Exits"[1], given by Andrea Arcangeli at the recently concluded KVM Forum 2019. [1] https://kvmforum2019.sched.com/event/Tmwr/micro-optimizing-kvm-vm-exits-andrea-arcangeli-red-hat-inc Signed-off-by: Kashyap Chamarthy Reviewed-by: Stefan Hajnoczi --- ...019-11-06-micro-optimizing-kvm-vmexits.txt | 115 ++++++++++++++++++ 1 file changed, 115 insertions(+) create mode 100644 _posts/2019-11-06-micro-optimizing-kvm-vmexits.txt diff --git a/_posts/2019-11-06-micro-optimizing-kvm-vmexits.txt b/_posts/2019-11-06-micro-optimizing-kvm-vmexits.txt new file mode 100644 index 0000000000000000000000000000000000000000..f4a28d58ddb40103dd599fdfd861eeb4c41ed976 --- /dev/null +++ b/_posts/2019-11-06-micro-optimizing-kvm-vmexits.txt @@ -0,0 +1,115 @@ +--- +layout: post +title: "Micro-Optimizing KVM VM-Exits" +date: 2019-11-08 +categories: [kvm, optimization] +--- + +Background on VM-Exits +---------------------- + +KVM (Kernel-based Virtual Machine) is the Linux kernel module that +allows a host to run virtualized guests (Linux, Windows, etc). The KVM +"guest execution loop", with QEMU (the open source emulator and +virtualizer) as its user space, is roughly as follows: QEMU issues the +ioctl(), KVM_RUN, to tell KVM to prepare to enter the CPU's "Guest Mode" +-- a special processor mode which allows guest code to safely run +directly on the physical CPU. The guest code, which is inside a "jail" +and thus cannot interfere with the rest of the system, keeps running on +the hardware until it encounters a request it cannot handle. Then the +processor gives the control back (referred to as "VM-Exit") either to +kernel space, or to the user space to handle the request. Once the +request is handled, native execution of guest code on the processor +resumes again. And the loop goes on. + +There are dozens of reasons for VM-Exits (Intel's Software Developer +Manual outlines 64 "Basic Exit Reasons"). For example, when a guest +needs to emulate the CPUID instruction, it causes a "light-weight exit" +to kernel space, because CPUID (among a few others) is emulated in the +kernel itself, for performance reasons. But when the kernel _cannot_ +handle a request, e.g. to emulate certain hardware, it results in a +"heavy-weight exit" to QEMU, to perform the emulation. These VM-Exits +and subsequent re-entries ("VM-Enters"), even the light-weight ones, can +be expensive. What can be done about it? + +Guest workloads that are hard to virtualize +------------------------------------------- + +At the 2019 edition of the KVM Forum in Lyon, kernel developer, Andrea +Arcangeli, attempted to address the kernel part of minimizing VM-Exits. + +His talk touched on the cost of VM-Exits into the kernel, especially for +guest workloads (e.g. enterprise databases) that are sensitive to their +performance penalty. However, these workloads cannot avoid triggering +VM-Exits with a high frequency. Andrea then outlined some of the +optimizations he's been working on to improve the VM-Exit performance in +the KVM code path -- especially in light of applying mitigations for +speculative execution flaws (Spectre v2, MDS, L1TF). + +Andrea gave a brief recap of the different kinds of speculative +execution attacks (retpolines, IBPB, PTI, SSBD, etc). Followed by that +he outlined the performance impact of Spectre-v2 mitigations in context +of KVM. + +The microbechmark: CPUID in a one million loop +---------------------------------------------- + +The synthetic microbenchmark (meaning, focus on measuring the +performance of a specific area of code) Andrea used was to run the CPUID +instruction one million times, without any GCC optimizations or caching. +This was done to test the latency of VM-Exits. + +While stressing that the results of these microbenchmarks do not +represent real-world workloads, he had two goals in mind with it: (a) +explain how the software mitigation works; and (b) to justify to the +broader community the value of the software optimizations he's working +on in KVM. + +Andrea then reasoned through several interesting graphs that show how +CPU computation time gets impacted when you disable or enable the +various kernel-space mitigations for Spectre v2, L1TF, MDS, et al. + +The proposal: "KVM Monolithic" +------------------------------ + +Based on his investigation, Andrea proposed a patch series, ["KVM +monolithc"](https://lwn.net/Articles/800870/), to get rid of the KVM +common module, 'kvm.ko'. Instead the KVM common code gets linked twice +into each of the vendor-specific KVM modules, 'kvm-intel.ko' and +'kvm-amd.ko'. + +The reason for doing this is that the 'kvm.ko' module indirectly calls +(via the "retpoline" technique) the vendor-specific KVM modules at every +VM-Exit, several times. These indirect calls were not optimal before, +but the "retpoline" mitigation (which isolates indirect branches, that +allow a CPU to execute code from arbitrary locations, from speculative +execution) for Spectre v2 compounds the problem, as it degrades +performance. + +This approach will result in a few MiB of increased disk space for +'kvm-intel.ko' and 'kvm-amd.ko', but the upside in saved indirect calls, +and the elimination of "retpoline" overhead at run-time more than +compensate for it. + +With the "KVM Monolithic" patch series applied, Andrea's microbenchmarks +show a double-digit improvement in performance with default mitigations +(for Spectre v2, et al) enabled on both Intel 'VMX' and AMD 'SVM'. And +with 'spectre_v2=off' or for CPUs with IBRS_ALL in ARCH_CAPABILITIES +"KVM monolithic" still improve[s] performance, albiet it's on the order +of 1%. + +Conclusion +---------- + +Removal of the common KVM module has a non-negligible positive +performance impact. And the "KVM Monolitic" patch series is still +actively being reviewed, modulo some pending clean-ups. Based on the +upstream review discussion, KVM Maintainer, Paolo Bonzini, and other +reviewers seemed amenable to merge the series. + +Although, we still have to deal with mitigations for 'indirect branch +prediction' for a long time, reducing the VM-Exit latency is important +in general; and more specifically, for guest workloads that happen to +trigger frequent VM-Exits, without having to disable Spectre v2 +mitigations on the host, as Andrea stated in the cover letter of his +patch series.