Linux KVM/arm64 development list
 help / color / mirror / Atom feed
From: Oliver Upton <oupton@kernel.org>
To: Leonardo Bras <leo.bras@arm.com>
Cc: kvmarm@lists.linux.dev, Marc Zyngier <maz@kernel.org>,
	Joey Gouly <joey.gouly@arm.com>,
	Suzuki K Poulose <suzuki.poulose@arm.com>,
	Zenghui Yu <yuzenghui@huawei.com>,
	Wei-Lin Chang <weilin.chang@arm.com>,
	Steffen Eiden <seiden@linux.ibm.com>,
	Fuad Tabba <fuad.tabba@linux.dev>
Subject: Re: [PATCH v2 18/28] KVM: arm64: nv: Emulate CMOs via writable-clean translations as NOPs
Date: Wed, 4 Nov 2026 09:22:25 -0800	[thread overview]
Message-ID: <autp0cVkXwvSXPGC@kernel.org> (raw)
In-Reply-To: <autJUntFMhCoqZeH@LeoBrasDK>

On Wed, Nov 04, 2026 at 03:03:46PM +0000, Leonardo Bras wrote:
> > +		/*
> > +		 * Plug your nose for a moment.
> > +		 *
> > +		 * Writable-clean translations are shadowed using a read-only
> > +		 * mapping so KVM can set the dirty state on the L1 descriptor
> > +		 * before installing a writable mapping.
> > +		 *
> > +		 * Certain cache maintenance instructions require a write
> > +		 * permission check but leave the translation in a writable-clean
> > +		 * state, meaning KVM is on the hook to emulate CMOs that use a
> > +		 * writable-clean translation.
> > +		 *
> > +		 * "Emulate" the CMO as a NOP, as KVM only exposes FEAT_HAFDBS
> > +		 * when FEAT_S2FWB is present and the I-cache is coherent.
> > +		 */
> > +		if (kvm_vcpu_dabt_is_cm(vcpu) && trans->writable && !trans->dirty) {
> > +			kvm_incr_pc(vcpu);
> > +			return -EAGAIN;
> > +		}
> > +
> >  		forward_fault = ((write_fault && !trans->writable) ||
> >  				 (!write_fault && !trans->readable));
> >  	}
> 
> Maybe it's just to messy or plain wrong, but could we make the descriptor 
> WC, then run the said DC instruction, then make it RO again?
> 
> I mean, maybe I got it wrong, but if we can't enable HAFDBS for the 
> nested guest, as updating a shadow PTE from WC->WD would require us to 
> take a fault to update the PTE inside the guest hypervisor, we could have 
> the PTE as WC without risking it to be promoted to WD by hardware.
> 
> I am probably missing something.

The writable-clean state is nonexistent when VTCR_EL2.HD=0 in the direct
permission model. So we have no way to construct a translation in the
stage-2 that satisfies our requirements.

The other way to do this would likely involve halting all vCPUs in the
VM and attempting to single-step which has a near 100% chance of blowing
up in our face.

Thanks,
Oliver

  reply	other threads:[~2026-11-04 17:22 UTC|newest]

Thread overview: 54+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-10-23 20:55 [PATCH v2 00/28] KVM: arm64: nv: Implement FEAT_HAFDBS, FEAT_HAFT Oliver Upton
2026-10-23 20:55 ` [PATCH v2 01/28] KVM: arm64: nv: Introduce struct for stage-2 walk step Oliver Upton
2026-10-23 20:55 ` [PATCH v2 02/28] KVM: arm64: nv: Consolidate computation of stage-2 permissions Oliver Upton
2026-10-23 20:55 ` [PATCH v2 03/28] KVM: arm64: nv: Get rid of kvm_s2_trans*() accessors Oliver Upton
2026-10-23 20:55 ` [PATCH v2 04/28] KVM: arm64: nv: Only shadow writable-dirty guest descs as writable Oliver Upton
2026-10-23 21:25   ` sashiko-bot
2026-10-24  6:26     ` Oliver Upton
2026-11-02 17:27   ` Leonardo Bras
2026-10-23 20:55 ` [PATCH v2 05/28] KVM: arm64: nv: Pass an access descriptor for stage-2 walks Oliver Upton
2026-11-02 17:41   ` Leonardo Bras
2026-10-23 20:55 ` [PATCH v2 06/28] KVM: arm64: nv: Use a helper for stage-2 descriptor updates Oliver Upton
2026-11-02 17:51   ` Leonardo Bras
2026-10-23 20:55 ` [PATCH v2 07/28] KVM: arm64: nv: Set dirty state at stage-2 Oliver Upton
2026-11-02 18:14   ` Leonardo Bras
2026-10-23 20:55 ` [PATCH v2 08/28] KVM: arm64: nv: Treat DBM as writable " Oliver Upton
2026-10-23 20:55 ` [PATCH v2 09/28] KVM: arm64: Compute S1 permissions as part of s1_walk() Oliver Upton
2026-10-23 20:55 ` [PATCH v2 10/28] KVM: arm64: Plumb through access descriptor for stage-1 Oliver Upton
2026-10-23 21:06   ` sashiko-bot
2026-11-03 17:37   ` Leonardo Bras
2026-10-23 20:55 ` [PATCH v2 11/28] KVM: arm64: Use a struct for stage-1 walk context Oliver Upton
2026-10-23 20:55 ` [PATCH v2 12/28] KVM: arm64: Create helper for stage-1 descriptor updates Oliver Upton
2026-10-23 20:55 ` [PATCH v2 13/28] KVM: arm64: Set dirty state at stage-1 Oliver Upton
2026-10-23 20:55 ` [PATCH v2 14/28] KVM: arm64: nv: Respect HA when computing translated TCR Oliver Upton
2026-11-03 17:58   ` Leonardo Bras
2026-10-23 20:55 ` [PATCH v2 15/28] KVM: arm64: nv: Respect HD " Oliver Upton
2026-11-03 18:08   ` Leonardo Bras
2026-10-23 20:55 ` [PATCH v2 16/28] KVM: arm64: Grant write permission when DBM is set at S1 Oliver Upton
2026-10-23 20:55 ` [PATCH v2 17/28] KVM: arm64: Don't update descriptors for "non-arch" access Oliver Upton
2026-10-23 20:56 ` [PATCH v2 18/28] KVM: arm64: nv: Emulate CMOs via writable-clean translations as NOPs Oliver Upton
2026-11-04 15:03   ` Leonardo Bras
2026-11-04 17:22     ` Oliver Upton [this message]
2026-11-04 17:28       ` Leonardo Bras
2026-11-04 18:04         ` Oliver Upton
2026-11-04 18:27           ` Leonardo Bras
2026-11-04 18:28             ` Leonardo Bras
2026-11-04 18:32               ` Leonardo Bras
2026-10-23 20:56 ` [PATCH v2 19/28] arm64: Add command line switch to disable FEAT_S2FWB Oliver Upton
2026-11-04 15:58   ` Leonardo Bras
2026-10-23 20:56 ` [PATCH v2 20/28] KVM: arm64: Reject non-coherent DMA when using forced writeback Oliver Upton
2026-10-23 21:16   ` sashiko-bot
2026-11-04 16:19   ` Leonardo Bras
2026-10-23 20:56 ` [PATCH v2 21/28] KVM: arm64: nv: Expose FEAT_HAFDBS Oliver Upton
2026-11-04 16:56   ` Leonardo Bras
2026-10-23 20:56 ` [PATCH v2 22/28] KVM: arm64: Set Access flag on table descriptors at stage-1 Oliver Upton
2026-10-23 21:22   ` sashiko-bot
2026-10-24  6:24     ` Oliver Upton
2026-10-23 20:56 ` [PATCH v2 23/28] KVM: arm64: nv: Set access flag on table descriptors at stage-2 Oliver Upton
2026-10-23 20:56 ` [PATCH v2 24/28] KVM: arm64: nv: Expose FEAT_HAFT Oliver Upton
2026-10-23 20:56 ` [PATCH v2 25/28] KVM: arm64: selftests: Only test AF behavior for emulated AT insns Oliver Upton
2026-10-23 20:56 ` [PATCH v2 26/28] KVM: arm64: selftests: Test AT emulation for FEAT_HAFT Oliver Upton
2026-10-23 20:56 ` [PATCH v2 27/28] KVM: arm64: Add tracepoints for S1 page table walk Oliver Upton
2026-11-04 17:09   ` Leonardo Bras
2026-10-23 20:56 ` [PATCH v2 28/28] KVM: arm64: Add tracepoints for S2 " Oliver Upton
2026-11-04 17:10   ` Leonardo Bras

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=autp0cVkXwvSXPGC@kernel.org \
    --to=oupton@kernel.org \
    --cc=fuad.tabba@linux.dev \
    --cc=joey.gouly@arm.com \
    --cc=kvmarm@lists.linux.dev \
    --cc=leo.bras@arm.com \
    --cc=maz@kernel.org \
    --cc=seiden@linux.ibm.com \
    --cc=suzuki.poulose@arm.com \
    --cc=weilin.chang@arm.com \
    --cc=yuzenghui@huawei.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