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:48:41 +0000 [thread overview]
Message-ID: <auCPmYvvkwILa4j-@LeoBrasDK> (raw)
In-Reply-To: <auCOj9dgk42AE1WX@LeoBrasDK>
On Tue, Oct 27, 2026 at 11:44:15AM +0000, Leonardo Bras wrote:
> 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.
s/DIRTY/WRITE/
>
> 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
prev parent reply other threads:[~2026-10-27 11:48 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
2026-10-27 11:48 ` Leonardo Bras [this message]
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=auCPmYvvkwILa4j-@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®