From: sashiko-bot@kernel.org
To: "Sascha Bischoff" <Sascha.Bischoff@arm.com>
Cc: kvm@vger.kernel.org, "Marc Zyngier" <maz@kernel.org>,
"Oliver Upton" <oupton@kernel.org>,
kvmarm@lists.linux.dev
Subject: Re: [PATCH v4 30/48] KVM: arm64: gic-v5: Mask per-vcpu PPI state in vgic_v5_finalize_ppi_state()
Date: Fri, 24 Jul 2026 11:52:09 +0000 [thread overview]
Message-ID: <20260724115209.F0AFE1F000E9@smtp.kernel.org> (raw)
In-Reply-To: <20260724104819.1296803-31-sascha.bischoff@arm.com>
Thank you for your contribution! Sashiko AI review found 2 potential issue(s) to consider:
New issues:
- [High] Restored active software-managed PPIs are not queued to the ap_list, leading to lost interrupts on VM restore.
Pre-existing issues:
- [High] Data race on the global `vgic_ppi_mask` when `SW_PPI` is not implemented in hardware, leading to guest state corruption.
--
--- Patch [30]: [PATCH v4 30/48] KVM: arm64: gic-v5: Mask per-vcpu PPI state in vgic_v5_finalize_ppi_state() ---
commit 04a9407ed3605cc393d7dce45456f17c9e1fc2c3
Author: Sascha Bischoff <Sascha.Bischoff@arm.com>
KVM: arm64: gic-v5: Mask per-vcpu PPI state in vgic_v5_finalize_ppi_state()
This commit reworks vgic_v5_finalize_ppi_state() to discover exposed PPIs and
mask non-exposed PPI state when VCPUs are first run. It clears state for
non-exposed PPIs to ensure only the intended state is exposed to the guest
after userspace restores the state.
> diff --git a/arch/arm64/kvm/vgic/vgic-v5.c b/arch/arm64/kvm/vgic/vgic-v5.c
> index 04392b686c2e2..6af1264ed2371 100644
> --- a/arch/arm64/kvm/vgic/vgic-v5.c
> +++ b/arch/arm64/kvm/vgic/vgic-v5.c
[ ... ]
> @@ -795,35 +796,65 @@ int vgic_v5_finalize_ppi_state(struct kvm *kvm)
> guard(mutex)(&kvm->arch.config_lock);
>
> /*
> - * If SW_PPI has been advertised, then we know we already
> - * initialised the whole thing, and we can return early. Yes,
> - * this is pretty hackish as far as state tracking goes...
> + * Discover the set of PPIs that are exposed to the guest once per VM.
> + * Once known, apply that mask to each VCPU's restored PPI state as the
> + * VCPUs are first run.
> */
> - if (test_bit(GICV5_ARCH_PPI_SW_PPI, kvm->arch.vgic.gicv5_vm.vgic_ppi_mask))
> - return 0;
> -
> - /* The PPI state for all VCPUs should be the same. Pick the first. */
> - vcpu0 = kvm_get_vcpu(kvm, 0);
> + if (!test_bit(GICV5_ARCH_PPI_SW_PPI, kvm->arch.vgic.gicv5_vm.vgic_ppi_mask)) {
> + bitmap_zero(kvm->arch.vgic.gicv5_vm.vgic_ppi_mask,
> + VGIC_V5_NR_PRIVATE_IRQS);
> + bitmap_zero(kvm->arch.vgic.gicv5_vm.vgic_ppi_hmr,
> + VGIC_V5_NR_PRIVATE_IRQS);
[Severity: High]
This is a pre-existing issue, but does this conditional in
vgic_v5_finalize_ppi_state() create a data race on the global vgic_ppi_mask
if the SW_PPI feature is not implemented in hardware?
In a multi-VCPU VM booting on GICv5 hardware without the optional SW_PPI
feature, when a subsequent VCPU runs for the first time, this test will
evaluate to false because the bit was never set.
This seems to cause the global mask to be cleared via bitmap_zero() while
earlier VCPUs might already be running in the guest. Could this lead to a
transiently zeroed vgic_ppi_mask during sysreg accesses and silently dropped
interrupts for emulated devices like timers?
> +
> + for_each_set_bit(i, ppi_caps.impl_ppi_mask, VGIC_V5_NR_PRIVATE_IRQS) {
[ ... ]
> + /* Also update the vgic_irqs */
> + for (i = 0; i < VGIC_V5_NR_PRIVATE_IRQS; i++) {
> + bool visible = test_bit(i, kvm->arch.vgic.gicv5_vm.vgic_ppi_mask);
> const u32 intid = vgic_v5_make_ppi(i);
> struct vgic_irq *irq;
>
> - irq = vgic_get_vcpu_irq(vcpu0, intid);
> + irq = vgic_get_vcpu_irq(vcpu, intid);
>
> - /* Expose PPIs with an owner or the SW_PPI, only */
> scoped_guard(raw_spinlock_irqsave, &irq->irq_lock) {
> - if (irq->owner || i == GICV5_ARCH_PPI_SW_PPI) {
> - __set_bit(i, kvm->arch.vgic.gicv5_vm.vgic_ppi_mask);
> - __assign_bit(i, kvm->arch.vgic.gicv5_vm.vgic_ppi_hmr,
> - irq->config == VGIC_CONFIG_LEVEL);
> + if (!visible) {
> + irq->enabled = false;
> + irq->active = false;
> + irq->pending_latch = false;
> + irq->line_level = false;
> + } else {
> + irq->enabled = test_bit(i, cpu_if->vgic_ppi_enabler);
> + irq->active = test_bit(i, cpu_if->vgic_ppi_activer);
> }
> }
[Severity: High]
Is it safe to directly set irq->active here without queueing the interrupt?
When restoring a VM with active software-managed PPIs (like the PMU or timers),
we mutate irq->active inside the lock in vgic_v5_finalize_ppi_state(), but we
don't seem to invoke the corresponding queueing machinery.
Without enqueuing the IRQ onto the VCPU's ap_list, won't this cause the
interrupt to be invisible to the injection path and get lost on VM restore?
>
> - vgic_put_irq(vcpu0->kvm, irq);
> + vgic_put_irq(kvm, irq);
> }
--
Sashiko AI review · https://sashiko.dev/#/patchset/20260724104819.1296803-1-sascha.bischoff@arm.com?part=30
next prev parent reply other threads:[~2026-07-24 11:52 UTC|newest]
Thread overview: 60+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-07-24 10:48 [PATCH v4 00/48] KVM: arm64: Add GICv5 IRS support Sascha Bischoff
2026-07-24 10:48 ` [PATCH v4 01/48] irqchip/gic-v5: Allow KVM setup without a maintenance IRQ Sascha Bischoff
2026-07-24 11:21 ` sashiko-bot
2026-07-24 10:48 ` [PATCH v4 02/48] irqchip/gic-v5: Provide OF IRS config frame attrs to KVM Sascha Bischoff
2026-07-24 11:10 ` sashiko-bot
2026-07-24 10:49 ` [PATCH v4 03/48] irqchip/gic-v5: Set up gic_kvm_info on ACPI hosts Sascha Bischoff
2026-07-24 11:19 ` sashiko-bot
2026-07-24 10:49 ` [PATCH v4 04/48] KVM: arm64: gic-v5: Define remaining IRS MMIO registers Sascha Bischoff
2026-07-24 10:49 ` [PATCH v4 05/48] arm64/sysreg: Add GICv5 GIC VDPEND encoding Sascha Bischoff
2026-07-24 10:49 ` [PATCH v4 06/48] arm64/sysreg: Update ICC_CR0_EL1 with LINK and LINK_IDLE fields Sascha Bischoff
2026-07-24 11:14 ` sashiko-bot
2026-07-24 10:50 ` [PATCH v4 07/48] KVM: arm64: gic-v5: Extract host IRS caps from IRS config frame Sascha Bischoff
2026-07-24 11:19 ` sashiko-bot
2026-07-24 10:50 ` [PATCH v4 08/48] KVM: arm64: gic-v5: Add VPE doorbell domain Sascha Bischoff
2026-07-24 11:11 ` sashiko-bot
2026-07-24 10:50 ` [PATCH v4 09/48] KVM: arm64: gic-v5: Create and manage VM and VPE tables Sascha Bischoff
2026-07-24 11:19 ` sashiko-bot
2026-07-24 10:50 ` [PATCH v4 10/48] KVM: arm64: gic-v5: Introduce guest IST alloc and management Sascha Bischoff
2026-07-24 11:22 ` sashiko-bot
2026-07-24 10:51 ` [PATCH v4 11/48] KVM: arm64: gic-v5: Implement VMT/vIST IRS MMIO Ops Sascha Bischoff
2026-07-24 11:20 ` sashiko-bot
2026-07-24 10:51 ` [PATCH v4 12/48] KVM: arm64: gic-v5: Keep GICv5 vCPU limit model-specific Sascha Bischoff
2026-07-24 10:51 ` [PATCH v4 13/48] KVM: arm64: gic-v5: Implement VPE IRS MMIO Ops Sascha Bischoff
2026-07-24 11:21 ` sashiko-bot
2026-07-24 10:52 ` [PATCH v4 14/48] KVM: arm64: gic-v5: Set up VMTEs and VPE doorbells Sascha Bischoff
2026-07-24 11:27 ` sashiko-bot
2026-07-24 10:52 ` [PATCH v4 15/48] KVM: arm64: gic-v5: Add resident/non-resident hyp calls Sascha Bischoff
2026-07-24 11:26 ` sashiko-bot
2026-07-24 10:52 ` [PATCH v4 16/48] KVM: arm64: gic-v5: Request doorbells when VPEs enter WFI Sascha Bischoff
2026-07-24 11:41 ` sashiko-bot
2026-07-24 10:52 ` [PATCH v4 17/48] KVM: arm64: gic-v5: Introduce struct vgic_v5_irs and IRS base address Sascha Bischoff
2026-07-24 10:53 ` [PATCH v4 18/48] KVM: arm64: gic-v5: Add IRS IODEV support to MMIO handlers Sascha Bischoff
2026-07-24 10:53 ` [PATCH v4 19/48] KVM: arm64: gic-v5: Add KVM_VGIC_V5_ADDR_TYPE_IRS to UAPI Sascha Bischoff
2026-07-24 11:30 ` sashiko-bot
2026-07-24 10:53 ` [PATCH v4 20/48] KVM: arm64: gic-v5: Add GICv5 IRS IODEV and MMIO emulation Sascha Bischoff
2026-07-24 11:45 ` sashiko-bot
2026-07-24 10:53 ` [PATCH v4 21/48] KVM: arm64: gic-v5: Initialise per-VM IRS state Sascha Bischoff
2026-07-24 10:54 ` [PATCH v4 22/48] KVM: arm64: gic-v5: Register the IRS IODEV Sascha Bischoff
2026-07-24 11:33 ` sashiko-bot
2026-07-24 10:54 ` [PATCH v4 23/48] KVM: arm64: gic-v5: Set IRICHPPIDIS based on IRS enable state Sascha Bischoff
2026-07-24 11:41 ` sashiko-bot
2026-07-24 10:54 ` [PATCH v4 24/48] KVM: arm64: selftests: Update vGICv5 selftest to set IRS address Sascha Bischoff
2026-07-24 10:54 ` [PATCH v4 25/48] KVM: arm64: gic-v5: Add GIC VDPEND hyp call Sascha Bischoff
2026-07-24 11:34 ` sashiko-bot
2026-07-24 10:55 ` [PATCH v4 26/48] KVM: arm64: gic: Introduce set_pending_state() to irq_op Sascha Bischoff
2026-07-24 11:39 ` sashiko-bot
2026-07-24 10:55 ` [PATCH v4 27/48] KVM: arm64: gic-v5: Support SPI injection Sascha Bischoff
2026-07-24 11:48 ` sashiko-bot
2026-07-24 10:55 ` [PATCH v4 28/48] Documentation: KVM: Extend VGICv5 device attribute docs Sascha Bischoff
[not found] ` <20260724104819.1296803-35-sascha.bischoff@arm.com>
2026-07-24 11:46 ` [PATCH v4 34/48] KVM: arm64: gic-v5: Add VGICv5 IST save/restore UAPI sashiko-bot
[not found] ` <20260724104819.1296803-31-sascha.bischoff@arm.com>
2026-07-24 11:52 ` sashiko-bot [this message]
[not found] ` <20260724104819.1296803-36-sascha.bischoff@arm.com>
2026-07-24 12:02 ` [PATCH v4 35/48] KVM: arm64: gic-v5: Implement save/restore mechanisms for ISTs sashiko-bot
[not found] ` <20260724104819.1296803-42-sascha.bischoff@arm.com>
2026-07-24 12:02 ` [PATCH v4 41/48] KVM: selftests: Add VGICv5 NR_IRQS attribute tests sashiko-bot
[not found] ` <20260724104819.1296803-33-sascha.bischoff@arm.com>
2026-07-24 12:05 ` [PATCH v4 32/48] KVM: arm64: gic-v5: Handle userspace accesses to IRS MMIO region sashiko-bot
[not found] ` <20260724104819.1296803-43-sascha.bischoff@arm.com>
2026-07-24 12:06 ` [PATCH v4 42/48] KVM: selftests: Add VGICv5 IRS_REGS attribute tests sashiko-bot
[not found] ` <20260724104819.1296803-32-sascha.bischoff@arm.com>
2026-07-24 12:09 ` [PATCH v4 31/48] KVM: arm64: gic-v5: Add GICv5 EL1 sysreg userspace accessors sashiko-bot
[not found] ` <20260724104819.1296803-47-sascha.bischoff@arm.com>
2026-07-24 12:15 ` [PATCH v4 46/48] KVM: selftests: Add VGICv5 SPI injection tests sashiko-bot
[not found] ` <20260724104819.1296803-48-sascha.bischoff@arm.com>
2026-07-24 12:18 ` [PATCH v4 47/48] KVM: selftests: Add VGICv5 LPI delivery tests sashiko-bot
[not found] ` <20260724104819.1296803-38-sascha.bischoff@arm.com>
2026-07-24 12:19 ` [PATCH v4 37/48] Documentation: KVM: Add KVM_DEV_ARM_VGIC_GRP_IRS_REGS to VGICv5 docs sashiko-bot
[not found] ` <20260724104819.1296803-30-sascha.bischoff@arm.com>
2026-07-24 12:19 ` [PATCH v4 29/48] KVM: arm64: gic-v5: Add GICv5 SPI injection to irqfd sashiko-bot
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260724115209.F0AFE1F000E9@smtp.kernel.org \
--to=sashiko-bot@kernel.org \
--cc=Sascha.Bischoff@arm.com \
--cc=kvm@vger.kernel.org \
--cc=kvmarm@lists.linux.dev \
--cc=maz@kernel.org \
--cc=oupton@kernel.org \
--cc=sashiko-reviews@lists.linux.dev \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox