Kernel KVM virtualization development
 help / color / mirror / Atom feed
From: sashiko-bot@kernel.org
To: "Christoph Schlameuss" <schlameuss@linux.ibm.com>
Cc: "Vasily Gorbik" <gor@linux.ibm.com>,
	linux-s390@vger.kernel.org,
	"Alexander Gordeev" <agordeev@linux.ibm.com>,
	kvm@vger.kernel.org,
	"Christian Borntraeger" <borntraeger@linux.ibm.com>,
	"Heiko Carstens" <hca@linux.ibm.com>
Subject: Re: [PATCH v7 16/21] KVM: s390: vsie: Shadow VSIE SCA in guest-1
Date: Fri, 18 Sep 2026 15:41:49 +0000	[thread overview]
Message-ID: <20260918154150.1E8001F000FF@smtp.kernel.org> (raw)
In-Reply-To: <20260918-vsie-sigpi-v7-16-f39806eaae37@linux.ibm.com>

Thank you for your contribution! Sashiko AI review found 4 potential issue(s) to consider:
- [High] kvm: s390: vsie: eager shadowing of sibling CPUs injects spurious validity intercepts into executing vCPU
- [High] kvm: s390: vsie: hardware-delivered SIGP interrupts lost due to scb_s cpuflags overwrite
- [Medium] kvm: s390: vsie: xa_erase during vsie_sca format mismatch leads to osca_to_sca cache corruption on recycle
- [Low] kvm: s390: vsie: missing READ_ONCE() in double-checked locking for vsie_page allocation
--

commit bc7cd9198517c5c02b2b44870fd9b7fe1176a09f
Author: Christoph Schlameuss <schlameuss@linux.ibm.com>

KVM: s390: vsie: Shadow VSIE SCA in guest-1

This commit restructures kvm_s390_handle_vsie() to create a guest-1 shadow of
the SCA if guest-2 attempts to enter SIE with an SCA. This enables the machine
to directly monitor intervention bits and handle SIGP instructions without
exiting VSIE.

> diff --git a/arch/s390/kvm/s390/vsie.c b/arch/s390/kvm/s390/vsie.c
> index c67623a0185ef..ce053905a9d8e 100644
> --- a/arch/s390/kvm/s390/vsie.c
> +++ b/arch/s390/kvm/s390/vsie.c
> @@ -958,6 +1049,142 @@ static struct vsie_sca *alloc_vsie_sca(void)
[ ... ]
> +static int get_vsie_sca(struct kvm_vcpu *vcpu, struct kvm_s390_sie_block *scb_o,
> +		struct vsie_sca **vsie_sca_out)
> +{
[ ... ]
> +	down_write(&kvm->arch.vsie.vsie_sca_lock);
> +	vsie_sca = xa_load(&kvm->arch.vsie.osca_to_sca, sca_gpa >> SCA_ALIGNMENT_SHIFT);
> +	if (vsie_sca) {
> +		WARN_ON_ONCE(atomic_inc_return(&vsie_sca->ref_count) < 1);
> +		if (is_esca == test_bit(VSIE_SCA_ESCA, &vsie_sca->flags))
> +			goto out;
> +		/* found vsie_sca with matching sca_gpa but wrong format */
> +		put_vsie_sca(vsie_sca);
> +		xa_erase(&kvm->arch.vsie.osca_to_sca, sca_gpa >> SCA_ALIGNMENT_SHIFT);
> +	}

[Severity: Medium]
When erasing the mismatched vsie_sca from osca_to_sca, does vsie_sca->sca_gpa
also need to be cleared?

> +
> +	/* check again under write lock if we are still under our vsie_sca limit */
> +	if (vsie_sca_new && kvm->arch.vsie.sca_count < max_vsie_sca) {
[ ... ]
> +	} else {
> +		/* reuse previously created vsie_sca allocation for different osca */
> +		vsie_sca = get_vsie_sca_unused(kvm);
> +		/* with nr_vcpus scas one must be reusable */
> +		if (IS_ERR(vsie_sca)) {
> +			rc = PTR_ERR(vsie_sca);
> +			goto out;
> +		}
> +
> +		/* unused vsie_sca exclusive under vsie_sca_lock write lock */
> +		xa_erase(&kvm->arch.vsie.osca_to_sca, vsie_sca->sca_gpa >> SCA_ALIGNMENT_SHIFT);

[Severity: Medium]
If a mismatched vsie_sca was erased above without clearing its sca_gpa, and
is later recycled here by get_vsie_sca_unused(), will this xa_erase() blindly
erase the newly inserted, active vsie_sca from the xarray using the stale
sca_gpa index?

> +		for (cpu_nr = 0; cpu_nr < KVM_S390_MAX_VSIE_VCPUS; cpu_nr++) {
[ ... ]
> +static int get_vsie_page_cpu_nr(struct kvm_vcpu *vcpu, struct vsie_sca *vsie_sca, gpa_t scb_gpa,
> +				u16 cpu_nr, struct vsie_page **vsie_page_out)
> +{
> +	struct vsie_page *vsie_page, *vsie_page_new = NULL;
> +	int rc;
> +
> +	vsie_page = vsie_sca->pages[cpu_nr];

[Severity: Low]
Since this initiates a double-checked locking pattern, should this initial
lockless read be protected by READ_ONCE() to prevent the compiler from
reloading or tearing the pointer read?

> +	if (!vsie_page) {
> +		vsie_page_new = alloc_vsie_page(vcpu->kvm);
[ ... ]
> +static int _shadow_sca_cpu(struct kvm_vcpu *vcpu, struct vsie_page *vsie_page,
> +			   struct vsie_sca *vsie_sca, hpa_t sca_o_entry_hpa,
> +			   unsigned int cpu_nr, bool is_esca)
> +{
> +	hva_t sca_o_entry_hva = (hva_t)phys_to_virt(sca_o_entry_hpa);
> +	struct vsie_page *vsie_page_n;
> +	gpa_t scb_o_gpa;
> +	int rc;
> +
> +	if (is_esca)
> +		scb_o_gpa = ((struct esca_entry *)sca_o_entry_hva)->sda;
> +	else
> +		scb_o_gpa = ((struct bsca_entry *)sca_o_entry_hva)->sda;
> +	if (scb_o_gpa & 0x1ffUL)
> +		return set_validity_icpt(vsie_page->scb_o, 0x0001U);

[Severity: High]
If a sibling CPU's SCB address is unaligned, does this improperly inject a
validity intercept into the currently executing primary vCPU's original SCB
(vsie_page->scb_o)?

Since the guest architecture permits configuring an SCA where idle CPUs might
have uninitialized or invalid SCBs until they actually execute SIE, could this
cause a localized configuration issue in an idle CPU to crash a valid, running
sibling CPU?

> +
> +	rc = get_vsie_page_cpu_nr(vcpu, vsie_sca, scb_o_gpa, cpu_nr, &vsie_page_n);
> +	if (rc)
> +		return rc;
> +
> +	rc = shadow_scb(vcpu, vsie_page_n);
> +	update_vsie_sca(vsie_sca, cpu_nr, vsie_page_n, sca_o_entry_hpa);
> +	if (rc) {
> +		/* copy intercept to primary scb_o, no unshadow_scb() on exit */
> +		unshadow_intercept(vsie_page->scb_o, &vsie_page_n->scb_s);
> +		rc = 1;
> +	}

[Severity: High]
Similarly, if shadowing a sibling CPU's SCB fails, does this incorrectly copy
the validity intercept onto the primary executing vCPU, aborting it instead of
the sibling?

> +	put_vsie_page(vsie_page_n);
> +
> +	return rc;
> +}
[ ... ]
> @@ -1828,12 +2052,165 @@ static int get_vsie_page(struct kvm_vcpu *vcpu, unsigned long addr,
[ ... ]
>  int kvm_s390_handle_vsie(struct kvm_vcpu *vcpu)
>  {
[ ... ]
> -	rc = pin_scb(vcpu, vsie_page);
> -	if (rc)
> -		goto out_put;
>  	rc = shadow_scb(vcpu, vsie_page);
>  	if (rc)
>  		goto out_put;
> +	if (vsie_sca) {
> +		/* pin and shadow the sca including all scb_o in the g3 conf */
> +		rc = shadow_sca(vcpu, vsie_page, vsie_sca);
> +		if (rc)
> +			goto out_put;
> +	}

[Severity: High]
With the introduction of the shadow SCA, hardware-delivered SIGP interrupts
(like EXTERNAL CALL) can now be delivered directly to a target vCPU by setting
bits in its shadow SCB (vsie_page->scb_s.cpuflags).

If the target vCPU is not running in SIE when this happens, the interrupt
remains pending in the shadow SCB. When that vCPU later enters SIE,
kvm_s390_handle_vsie() calls shadow_scb().

Inside shadow_scb(), prepare_cpuflags() and update_intervention_requests()
read the original guest SCB state (scb_o->cpuflags) and completely overwrite
the shadow state (scb_s.cpuflags):

int newflags, cpuflags = atomic_read(&vsie_page->scb_o->cpuflags);
atomic_set(&scb_s->cpuflags, newflags);

Because KVM does not harvest or sync these hardware-delivered bits from
scb_s.cpuflags back to scb_o->cpuflags on VSIE exit, does this inadvertently
wipe out the pending interrupts and cause the guest vCPU to hang indefinitely?

-- 
Sashiko AI review · https://sashiko.dev/#/patchset/20260918-vsie-sigpi-v7-0-f39806eaae37@linux.ibm.com?part=16

  reply	other threads:[~2026-09-18 15:41 UTC|newest]

Thread overview: 50+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-09-18 15:09 [PATCH v7 00/21] KVM: s390: vsie: Add VSIE SIGP ECALL and SRSI Interpretation Christoph Schlameuss
2026-09-18 15:09 ` [PATCH v7 01/21] KVM: s390: vsie: Add SCAO read and write helpers Christoph Schlameuss
2026-09-18 15:14   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 02/21] KVM: s390: vsie: Move SCAO validation into a function Christoph Schlameuss
2026-09-18 15:24   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 03/21] KVM: s390: vsie: Add vsie_interp_extf detection Christoph Schlameuss
2026-09-18 15:15   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 04/21] KVM: s390: vsie: Add ssca_block and ssca_entry structs Christoph Schlameuss
2026-09-18 15:14   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 05/21] KVM: s390: vsie: Move pin/unpin guest page Christoph Schlameuss
2026-09-18 15:16   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 06/21] KVM: s390: vsie: Move pin/unpin_scb methods Christoph Schlameuss
2026-09-18 15:24   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 07/21] KVM: s390: vsie: Move release/acquire gmap shadow Christoph Schlameuss
2026-09-18 15:16   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 08/21] KVM: s390: vsie: Create helpers to alloc and free vsie_pages Christoph Schlameuss
2026-09-18 15:19   ` sashiko-bot
2026-09-23 11:54   ` Janosch Frank
2026-09-24 11:32     ` Christoph Schlameuss
2026-09-18 15:09 ` [PATCH v7 09/21] KVM: s390: vsie: Replace radix_tree with xarray addr_to_page Christoph Schlameuss
2026-09-18 15:25   ` sashiko-bot
2026-09-23 12:40   ` Janosch Frank
2026-09-18 15:09 ` [PATCH v7 10/21] KVM: s390: vsie: Refactor kvm_s390_vsie_destroy and extract reusable methods Christoph Schlameuss
2026-09-18 15:22   ` sashiko-bot
2026-09-23 12:56   ` Janosch Frank
2026-09-18 15:09 ` [PATCH v7 11/21] KVM: s390: vsie: Add helper reset_vsie_page() and unshadow_intercept() Christoph Schlameuss
2026-09-18 15:25   ` sashiko-bot
2026-09-23 12:58   ` Janosch Frank
2026-09-18 15:09 ` [PATCH v7 12/21] KVM: s390: vsie: Add helper unshadow_intercept() Christoph Schlameuss
2026-09-18 15:27   ` sashiko-bot
2026-09-23 14:04   ` Janosch Frank
2026-09-18 15:09 ` [PATCH v7 13/21] KVM: s390: vsie: Lazily keep original scb pinned after vsie exit Christoph Schlameuss
2026-09-18 15:34   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 14/21] KVM: s390: vsie: Add helper to pin and unpin multiple guest pages Christoph Schlameuss
2026-09-18 15:31   ` sashiko-bot
2026-09-24 12:46   ` Janosch Frank
2026-09-18 15:09 ` [PATCH v7 15/21] KVM: s390: vsie: Add struct vsie_sca with pin and unpin methods Christoph Schlameuss
2026-09-18 15:33   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 16/21] KVM: s390: vsie: Shadow VSIE SCA in guest-1 Christoph Schlameuss
2026-09-18 15:41   ` sashiko-bot [this message]
2026-09-18 15:09 ` [PATCH v7 17/21] KVM: s390: vsie: Allow guest-3 cpu add and remove with ssca Christoph Schlameuss
2026-09-18 15:41   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 18/21] KVM: s390: vsie: Add VSIE max shadow configuration Christoph Schlameuss
2026-09-18 15:45   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 19/21] KVM: s390: vsie: Add VSIE shadow stat counters Christoph Schlameuss
2026-09-18 15:39   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 20/21] KVM: s390: vsie: Create minimal scb shadows for not running g3 blocks Christoph Schlameuss
2026-09-18 15:50   ` sashiko-bot
2026-09-18 15:09 ` [PATCH v7 21/21] KVM: s390: vsie: Enable use of VSIE SSCA Christoph Schlameuss
2026-09-18 15:53   ` 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=20260918154150.1E8001F000FF@smtp.kernel.org \
    --to=sashiko-bot@kernel.org \
    --cc=agordeev@linux.ibm.com \
    --cc=borntraeger@linux.ibm.com \
    --cc=gor@linux.ibm.com \
    --cc=hca@linux.ibm.com \
    --cc=kvm@vger.kernel.org \
    --cc=linux-s390@vger.kernel.org \
    --cc=sashiko-reviews@lists.linux.dev \
    --cc=schlameuss@linux.ibm.com \
    /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