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
next prev parent 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