Received: by 10.192.245.15 with SMTP id i15csp1148353imn; Sun, 11 Mar 2018 05:19:07 -0700 (PDT) X-Google-Smtp-Source: AG47ELsf+9jIRom7hFoNhfRQnjZLQmESFdtpPEg4TPS9+2WKc7aw6pVVstuwXkv2ygKd658p4jAA X-Received: by 10.101.100.9 with SMTP id a9mr1403974pgv.209.1520770747733; Sun, 11 Mar 2018 05:19:07 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1520770747; cv=none; d=google.com; s=arc-20160816; b=cGzK73+dAbXoyEZY8xd1zRF9CioJfMQPm3PyGbEkeL2rc8LbRMOxVuw3tCYaCih04z GUflBQwJE6cSBaQyQA2pYU9BwmPPie4pehi24t5NeeYqJOwLYJIt1OZipB2VlpnyqoUB WeXjbgPULoqvB81fsoGybcTHc7oq5IFbyIuaF+br+bblPji25v2/IelLEoLDC3pF9rJL rP2LETANz2UUNx4C64mJ+Ow16L0rrbZ/H+z+0mpDZxNeONwyZAvQalgeXRw4KOOdBPGa NH++0/dPZps693omxG7gEN7jcoXTs+J9JkEXiXBd/NaQHqWs+AE+pfxhbyxkGkuYjU02 peEg== 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 :organization:references:in-reply-to:message-id:subject:cc:to:from :date:arc-authentication-results; bh=LWvdsThQqrVOSWnxXtLS52r+p4GkfieiKfeCeJ8SNQg=; b=0VMJuH1MBDmPLUS8QyXr9JdBrf3ihp2m0hmdti4VC/sDHYpidI9K51yIqjkiBY9/S2 5fHTPglluIBcZ82rLgC6YAn79xzSsnwT8uddiBn0LU+tRXPZxBaGGWPZEJLK9XTwdHgS FpjNhok399Crz2uTeR+H5Uw5p9jTA/bdfCr7pELSHFRDCTnsOym5vFgLXbPX9MlIUShb ijNJtDi5gWEyKdoX1HOx1kRPcwib/vty7Q8rFPI5IUc7AKB116e59+Drvx5FRZOE9Ipy ioRTk43mIxjSZhfLD1P0GWSTZVlV/nBh78jTgxiT3LzuN5ufsvutbHsZpgzZIbaP8SCg vuMg== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id 11-v6si4279344plc.376.2018.03.11.05.18.53; Sun, 11 Mar 2018 05:19:07 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932194AbeCKMRn convert rfc822-to-8bit (ORCPT + 99 others); Sun, 11 Mar 2018 08:17:43 -0400 Received: from foss.arm.com ([217.140.101.70]:44558 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932125AbeCKMRl (ORCPT ); Sun, 11 Mar 2018 08:17:41 -0400 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.72.51.249]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 2BCBE1529; Sun, 11 Mar 2018 05:17:41 -0700 (PDT) Received: from why.wild-wind.fr.eu.org (usa-sjc-mx-foss1.foss.arm.com [217.140.101.70]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 0AD703F24A; Sun, 11 Mar 2018 05:17:38 -0700 (PDT) Date: Sun, 11 Mar 2018 12:17:33 +0000 From: Marc Zyngier To: Christoffer Dall , Shunyong Yang Cc: Ard Biesheuvel , Will Deacon , Auger Eric , david.daney@cavium.com, linux-arm-kernel , kvmarm@lists.cs.columbia.edu, linux-kernel , Joey Zheng Subject: Re: [RFC PATCH] KVM: arm/arm64: vgic: change condition for level interrupt resampling Message-ID: <20180311121733.643fb1a5@why.wild-wind.fr.eu.org> In-Reply-To: References: <1520492490-7943-1-git-send-email-shunyong.yang@hxt-semitech.com> <9ad47673-068e-f732-d2ca-9c76a8fbdfbc@arm.com> <0a15633d-8944-cb9b-3e6b-b08ee5ec42b9@arm.com> <20180308161900.GC1917@lvm> <86r2oubho3.wl-marc.zyngier@arm.com> <20180309213612.GD1917@lvm> <86k1ukazr0.wl-marc.zyngier@arm.com> Organization: ARM Ltd X-Mailer: Claws Mail 3.14.1 (GTK+ 2.24.31; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 8BIT Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sun, 11 Mar 2018 01:55:08 +0000 Christoffer Dall wrote: > On Sat, Mar 10, 2018 at 12:20 PM, Marc Zyngier wrote: > > On Fri, 09 Mar 2018 21:36:12 +0000, > > Christoffer Dall wrote: > >> > >> On Thu, Mar 08, 2018 at 05:28:44PM +0000, Marc Zyngier wrote: > >> > I'd be more confident if we did forbid P+A for such interrupts > >> > altogether, as they really feel like another kind of HW interrupt. > >> > >> How about a slightly bigger hammer: Can we avoid doing P+A for level > >> interrupts completely? I don't think that really makes much sense, and > >> I think we simply everything if we just come back out and resample the > >> line. For an edge, something like a network card, there's a potential > >> performance win to appending a new pending state, but I doubt that this > >> is the case for level interrupts. > > > > I started implementing the same thing yesterday. Somehow, it feels > > slightly better to have the same flow for all level interrupts, > > including the timer, and we only use the MI on EOI as a way to trigger > > the next state of injection. Still testing, but looking good so far. > > > > I'm still puzzled that we have this level-but-not-quite behaviour for > > VFIO interrupts. At some point, it is going to bite us badly. > > > > Where is the departure from level-triggered behavior with VFIO? As > far as I can tell, the GIC flow of the interrupts will be just a level > interrupt, The GIC is fine, I believe. What is not exactly fine is the signalling from the device, which will never be dropped until the EOI has been detected. > but we just need to make sure the resamplefd mechanism is > supported for both types of interrupts. Whether or not that's a > decent mechanism seems orthogonal to me, but that's a discussion for > another day I think. Given that VFIO is built around this mechanism, I don't think we have a choice but to support it. Anyway, I came up with the following patch, which I tested on Seattle with mtty. It also survived my usual hammering of cyclictest, hackbench and bulk VM installs. Shunyong, could you please give it a go? Thanks, M. From 9ca96b9fb535cc6ab578bda85c4ecbc4a8c63cd7 Mon Sep 17 00:00:00 2001 From: Marc Zyngier Date: Fri, 9 Mar 2018 14:59:40 +0000 Subject: [PATCH] KVM: arm/arm64: vgic: Disallow Active+Pending for level interrupts It was recently reported that VFIO mediated devices, and anything that VFIO exposes as level interrupts, do no strictly follow the expected logic of such interrupts as it only lowers the input line when the guest has EOId the interrupt at the GIC level, rather than when it Acked the interrupt at the device level. The GIC's Active+Pending state is fundamentally incompatible with this behaviour, as it prevents KVM from observing the EOI, and in turn results in VFIO never dropping the line. This results in an interrupt storm in the guest, which it really never expected. As we cannot really change VFIO to follow the strict rules of level signalling, let's forbid the A+P state altogether, as it is in the end only an optimization. It ensures that we will transition via an invalid state, which we can use to notify VFIO of the EOI. Signed-off-by: Marc Zyngier --- virt/kvm/arm/vgic/vgic-v2.c | 47 +++++++++++++++++++++++++++------------------ virt/kvm/arm/vgic/vgic-v3.c | 47 +++++++++++++++++++++++++++------------------ 2 files changed, 56 insertions(+), 38 deletions(-) diff --git a/virt/kvm/arm/vgic/vgic-v2.c b/virt/kvm/arm/vgic/vgic-v2.c index 29556f71b691..9356d749da1d 100644 --- a/virt/kvm/arm/vgic/vgic-v2.c +++ b/virt/kvm/arm/vgic/vgic-v2.c @@ -153,8 +153,35 @@ void vgic_v2_fold_lr_state(struct kvm_vcpu *vcpu) void vgic_v2_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr) { u32 val = irq->intid; + bool allow_pending = true; - if (irq_is_pending(irq)) { + if (irq->active) + val |= GICH_LR_ACTIVE_BIT; + + if (irq->hw) { + val |= GICH_LR_HW; + val |= irq->hwintid << GICH_LR_PHYSID_CPUID_SHIFT; + /* + * Never set pending+active on a HW interrupt, as the + * pending state is kept at the physical distributor + * level. + */ + if (irq->active) + allow_pending = false; + } else { + if (irq->config == VGIC_CONFIG_LEVEL) { + val |= GICH_LR_EOI; + + /* + * Software resampling doesn't work very well + * if we allow P+A, so let's not do that. + */ + if (irq->active) + allow_pending = false; + } + } + + if (allow_pending && irq_is_pending(irq)) { val |= GICH_LR_PENDING_BIT; if (irq->config == VGIC_CONFIG_EDGE) @@ -171,24 +198,6 @@ void vgic_v2_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr) } } - if (irq->active) - val |= GICH_LR_ACTIVE_BIT; - - if (irq->hw) { - val |= GICH_LR_HW; - val |= irq->hwintid << GICH_LR_PHYSID_CPUID_SHIFT; - /* - * Never set pending+active on a HW interrupt, as the - * pending state is kept at the physical distributor - * level. - */ - if (irq->active && irq_is_pending(irq)) - val &= ~GICH_LR_PENDING_BIT; - } else { - if (irq->config == VGIC_CONFIG_LEVEL) - val |= GICH_LR_EOI; - } - /* * Level-triggered mapped IRQs are special because we only observe * rising edges as input to the VGIC. We therefore lower the line diff --git a/virt/kvm/arm/vgic/vgic-v3.c b/virt/kvm/arm/vgic/vgic-v3.c index 0ff2006f3781..6b484575cafb 100644 --- a/virt/kvm/arm/vgic/vgic-v3.c +++ b/virt/kvm/arm/vgic/vgic-v3.c @@ -135,8 +135,35 @@ void vgic_v3_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr) { u32 model = vcpu->kvm->arch.vgic.vgic_model; u64 val = irq->intid; + bool allow_pending = true; - if (irq_is_pending(irq)) { + if (irq->active) + val |= ICH_LR_ACTIVE_BIT; + + if (irq->hw) { + val |= ICH_LR_HW; + val |= ((u64)irq->hwintid) << ICH_LR_PHYS_ID_SHIFT; + /* + * Never set pending+active on a HW interrupt, as the + * pending state is kept at the physical distributor + * level. + */ + if (irq->active) + allow_pending = false; + } else { + if (irq->config == VGIC_CONFIG_LEVEL) { + val |= ICH_LR_EOI; + + /* + * Software resampling doesn't work very well + * if we allow P+A, so let's not do that. + */ + if (irq->active) + allow_pending = false; + } + } + + if (allow_pending && irq_is_pending(irq)) { val |= ICH_LR_PENDING_BIT; if (irq->config == VGIC_CONFIG_EDGE) @@ -154,24 +181,6 @@ void vgic_v3_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr) } } - if (irq->active) - val |= ICH_LR_ACTIVE_BIT; - - if (irq->hw) { - val |= ICH_LR_HW; - val |= ((u64)irq->hwintid) << ICH_LR_PHYS_ID_SHIFT; - /* - * Never set pending+active on a HW interrupt, as the - * pending state is kept at the physical distributor - * level. - */ - if (irq->active && irq_is_pending(irq)) - val &= ~ICH_LR_PENDING_BIT; - } else { - if (irq->config == VGIC_CONFIG_LEVEL) - val |= ICH_LR_EOI; - } - /* * Level-triggered mapped IRQs are special because we only observe * rising edges as input to the VGIC. We therefore lower the line -- 2.14.2 -- Without deviation from the norm, progress is not possible.