From: Leonardo Bras <leo.bras@arm.com>
To: Oliver Upton <oupton@kernel.org>
Cc: Leonardo Bras <leo.bras@arm.com>, Marc Zyngier <maz@kernel.org>,
Fuad Tabba <fuad.tabba@linux.dev>,
Joey Gouly <joey.gouly@arm.com>,
Steffen Eiden <seiden@linux.ibm.com>,
Suzuki K Poulose <suzuki.poulose@arm.com>,
Zenghui Yu <yuzenghui@huawei.com>,
Catalin Marinas <catalin.marinas@arm.com>,
Will Deacon <will@kernel.org>,
Mark Rutland <mark.rutland@arm.com>,
Raghavendra Rao Ananta <rananta@google.com>,
Tian Zheng <zhengtian10@huawei.com>,
linux-arm-kernel@lists.infradead.org, kvmarm@lists.linux.dev,
linux-kernel@vger.kernel.org
Subject: Re: [RFC PATCH v2 0/3] Set DBM bit on writable pages
Date: Tue, 27 Oct 2026 11:44:15 +0000 [thread overview]
Message-ID: <auCOj9dgk42AE1WX@LeoBrasDK> (raw)
In-Reply-To: <at-lSy7H-K60LhCB@kernel.org>
On Mon, Oct 26, 2026 at 12:08:59PM -0700, Oliver Upton wrote:
> On Mon, Oct 26, 2026 at 02:44:06PM +0000, Leonardo Bras wrote:
> > When HAFDBS is enabled (VTCR_EL2.{HA,HD}={1,1}), having a DBM bit allows
> > hardware to promote a non-writable page to writable by setting (S2AP[1]=1),
> > without having to take a fault.
> >
> > The reason for this patchset is to add the DBM bit when setting-up writable
> > pages, so the code is prepared for future patches that make use of
> > HDBSS/HACDBS to accelerate dirty-tracking. Write-bit detection still
> > happens based only in S2AP[1], so no change in that aspect.
> >
> > Having DBM set on block entries is undesired, as we benefit from the first
> > fault for splitting it in PAGE_SIZE entries, which is the granularity used
> > to track the dirty pages in KVM. So introduce a new walker that, on top of
> > clearing S2AP[1] for every entry, also clear DBM for block entries.
> >
> > Also introduce a new VCPU request to reload Stage2, as it will be needed on
> > future HDBSS/HAFDBS patchsets.
> >
> > Please let me know of what do you think!
>
> I'm pretty sure I shared this feedback before, but patches that enable
> DBM do not make sense in isolation. We need a single series that
> contains the DBM enablement as well as the corresponding HDBSS support.
>
Right,
My reasoning is that we can discuss this new version, and make the needed
changes, so Tian could pick this for his own patch series for the next
version. I do not intend to get this merged by itself.
Next time I will make sure to state this in the cover letter so it's clear.
> > Changes since RFCv1:
> > - Dropped patch #5 on enabling HAFDBS on non-dirty-tracking guests, as it
> > proved to be counter-productive on wrprotect, contrary to expectations
> > - No more moving writable-bit to DBM. That does not seem to be the intended
> > use. It makes sense and it's easier to convert code to new DBM approach.
>
> Sorry, where was this concluded?
>
Sorry, this is my viewpoint after re-reading the documentation and
being really pedantic while trying to get a proper answer from the people
responsible for keeping/improving it.
> The abstract permission flags need to have a WRITE an DIRTY state, which
> we then map to hardware based on the capabilities of the system.
>
> !FEAT_HAFDBS:
>
> DIRTY => S2AP[1]
> WRITE => S2AP[1]
>
> FEAT_HAFDBS:
>
> DIRTY => S2AP[1]
> WRITE => DBM
>
I agree that it could work, and my first version was based on that.
But looks weird to me that we have to decide the writable bit based on
having a feature enabled.
Take in account that we can only have DBM being the writable bit while
HAFDBS is enabled (not only present), and that it is just enabled during
dirty-tracking.
It means we would need to convert the whole pagetable between DIRTY=S2AP[1]
and DIRTY=DBM every time we enable or disable dirty-tracking.
My suggestion with this series is to have WRITE=DIRTY=S2AP[1] at all
times, and have DBM to act as a "can be promoted to writable on write" bit.
This way we don't actually need to convert between encodings, and it still
works and complies with the architecture.
> Beyond making the whole HAFDBS easy to reason about, I want this for
> FEAT_S2PIE which reimagines bit 7 as a literal dirty bit that can be
> managed by software or hardware.
Humm, and would not that work with the above suggested approach?
I mean, bit 7 (Dirty, S2AP[1]) will both mean WRITE/DIRTY, but it will be
able to get promoted (nonW->W, or clean->dirty) based on the indirect
permissions.
What do you think?
Thanks for reviewing,
Leo
next prev parent reply other threads:[~2026-10-27 11:44 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-26 14:44 Leonardo Bras
2026-10-26 14:44 ` [RFC PATCH v2 1/3] KVM: arm64: pgtables: Set DBM attribute on writable Stage-2 PTEs Leonardo Bras
2026-10-26 14:44 ` [RFC PATCH v2 2/3] KVM: arm64: Introduce a dedicated walker for stage2 write-protect Leonardo Bras
2026-10-26 14:44 ` [RFC PATCH v2 3/3] KVM: arm64: Add KVM_REQ_RELOAD_STAGE2 Leonardo Bras
2026-10-26 19:08 ` [RFC PATCH v2 0/3] Set DBM bit on writable pages Oliver Upton
2026-10-27 11:44 ` Leonardo Bras [this message]
2026-10-27 11:48 ` 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=auCOj9dgk42AE1WX@LeoBrasDK \
--to=leo.bras@arm.com \
--cc=catalin.marinas@arm.com \
--cc=fuad.tabba@linux.dev \
--cc=joey.gouly@arm.com \
--cc=kvmarm@lists.linux.dev \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=mark.rutland@arm.com \
--cc=maz@kernel.org \
--cc=oupton@kernel.org \
--cc=rananta@google.com \
--cc=seiden@linux.ibm.com \
--cc=suzuki.poulose@arm.com \
--cc=will@kernel.org \
--cc=yuzenghui@huawei.com \
--cc=zhengtian10@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
all inboxes | Powered by JetHome®