From: Leonardo Bras <leo.bras@arm.com>
To: Tian Zheng <zhengtian10@huawei.com>
Cc: Leonardo Bras <leo.bras@arm.com>,
maz@kernel.org, oupton@kernel.org, catalin.marinas@arm.com,
will@kernel.org, yuzenghui@huawei.com, wangzhou1@hisilicon.com,
yangjinqian1@huawei.com, caijian11@h-partners.com,
liuyonglong@huawei.com, yezhenyu2@huawei.com,
yubihong@huawei.com, linuxarm@huawei.com, joey.gouly@arm.com,
kvmarm@lists.linux.dev, kvm@vger.kernel.org,
linux-arm-kernel@lists.infradead.org,
linux-kernel@vger.kernel.org, seiden@linux.ibm.com,
suzuki.poulose@arm.com
Subject: Re: [PATCH v4 6/6] KVM: arm64: Add auto HDBSS enable/disable on dirty logging change
Date: Fri, 17 Jul 2026 16:53:14 +0100 [thread overview]
Message-ID: <alpP6pPacUU6dhP7@LeoBrasDK> (raw)
In-Reply-To: <a240e7a6-cd22-4fe4-a01d-472c95cc65e4@huawei.com>
On Thu, Jul 16, 2026 at 03:15:38PM +0800, Tian Zheng wrote:
>
> On 7/13/2026 10:50 PM, Leonardo Bras wrote:
> > On Thu, Jul 09, 2026 at 06:40:26PM +0800, Tian Zheng wrote:
> > > From: eillon <yezhenyu2@huawei.com>
> > >
> > > HDBSS buffers store per-page dirty state after the stage-2 page tables
> > > have been split down to page granularity (chunk_size == PAGE_SIZE).
> > chunk_size != PAGE_SIZE now, but that should change as well :)
> >
> > > When chunk_size == 0 the kernel may lazily skip splitting block mappings,
> > > leaving the page table coarser than what HDBSS expects. Therefore,
> > > enabling HDBSS requires disabling lazy split so that all block mappings
> > > are eagerly broken down before the buffer starts recording.
> > (See cover letter reply)
> >
> > > Add VM-level HDBSS enable/disable support. When dirty logging is
> > > enabled on any memslot, HDBSS is automatically enabled. When dirty
> > > logging is disabled on all memslots, HDBSS is automatically disabled.
> > >
> > > This includes:
> > > - kvm_arm_enable_hdbss_global() to enable HDBSS for all vCPUs
> > > - kvm_arm_disable_hdbss_global() to disable and free HDBSS buffers
> > > - kvm_arm_hdbss_on_dirty_logging_change() for auto enable/disable
> > > - kvm_arch_destroy_vm() cleanup path
> > > - kvm_arch_commit_memory_region() integration
> > >
> > > Signed-off-by: Eillon <yezhenyu2@huawei.com>
> > > Signed-off-by: Tian Zheng <zhengtian10@huawei.com>
> > > ---
> > > arch/arm64/include/asm/kvm_dirty_bit.h | 2 +
> > > arch/arm64/kvm/arm.c | 8 ++
> > > arch/arm64/kvm/dirty_bit.c | 105 +++++++++++++++++++++++++
> > > arch/arm64/kvm/mmu.c | 3 +
> > > 4 files changed, 118 insertions(+)
> > >
> > > diff --git a/arch/arm64/include/asm/kvm_dirty_bit.h b/arch/arm64/include/asm/kvm_dirty_bit.h
> > > index 4b28000e972f..a4cda8cdab24 100644
> > > --- a/arch/arm64/include/asm/kvm_dirty_bit.h
> > > +++ b/arch/arm64/include/asm/kvm_dirty_bit.h
> > > @@ -23,5 +23,7 @@ int kvm_arm_vcpu_alloc_hdbss(struct kvm_vcpu *vcpu, unsigned int order);
> > > void kvm_arm_vcpu_free_hdbss(struct kvm_vcpu *vcpu);
> > > void kvm_flush_hdbss_buffer(struct kvm_vcpu *vcpu);
> > > int kvm_handle_hdbss_fault(struct kvm_vcpu *vcpu);
> > > +void kvm_arm_hdbss_on_dirty_logging_change(struct kvm *kvm, int nr_memslots_logging);
> > > +void kvm_arm_disable_hdbss_global(struct kvm *kvm);
> > >
> > > #endif /* __ARM64_KVM_DIRTY_BIT_H__ */
> > > diff --git a/arch/arm64/kvm/arm.c b/arch/arm64/kvm/arm.c
> > > index 566953a4e23a..536d94799ba8 100644
> > > --- a/arch/arm64/kvm/arm.c
> > > +++ b/arch/arm64/kvm/arm.c
> > > @@ -317,6 +317,14 @@ void kvm_arch_destroy_vm(struct kvm *kvm)
> > > if (is_protected_kvm_enabled())
> > > pkvm_destroy_hyp_vm(kvm);
> > >
> > > + /*
> > > + * Userspace may destroy the VM without disabling dirty logging,
> > > + * so the auto-disable path is never reached. Force disable HDBSS
> > > + * here to ensure vCPU buffers are freed and prevent memory leaks.
> > > + */
> > > + if (kvm->arch.enable_hdbss)
> > > + kvm_arm_disable_hdbss_global(kvm);
> > > +
> > > kvm_uninit_stage2_mmu(kvm);
> > > kvm_destroy_mpidr_data(kvm);
> > >
> > > diff --git a/arch/arm64/kvm/dirty_bit.c b/arch/arm64/kvm/dirty_bit.c
> > > index 002366337637..c5bf866c23ef 100644
> > > --- a/arch/arm64/kvm/dirty_bit.c
> > > +++ b/arch/arm64/kvm/dirty_bit.c
> > > @@ -112,3 +112,108 @@ int kvm_handle_hdbss_fault(struct kvm_vcpu *vcpu)
> > > return -EFAULT;
> > > }
> > > }
> > > +
> > > +static unsigned int hdbss_auto_select_order(struct kvm *kvm)
> > > +{
> > > + unsigned long npages = 0;
> > > + struct kvm_memory_slot *memslot;
> > > + int bkt;
> > > +
> > > + kvm_for_each_memslot(memslot, bkt, kvm_memslots(kvm))
> > > + npages += memslot->npages;
> > > +
> > > + if (npages <= 16384)
> > > + return 0;
> > > + else if (npages <= 262144)
> > > + return 3;
> > > + else if (npages <= 4194304)
> > > + return 6;
> > > + else
> > > + return 9;
> > > +}
> > IIUC you are counting the amount of pages the VM has, and based on that
> > allocating a size for the HDBSS buffer.
> >
> > A few notes here:
> > - It's not really nice to use magic numbers around like this. If you
> > actually want to use it, then use stuff like SZ_16K, SZ_256K, SZ_4M and
> > so on.
> > - You are returning magic numbers as well, why is it 0, 3, 6, or 9 here?
> > It only makes sense if the person is reading HDBSSBR_EL2 documentation,
> > which should not be necessary at this point. That's one reason I
> > recommended to using sizes. If that was really the best way to use it,
> > I would recommend using the defines that we get from sysreg, and you
> > actually used before to set the maximum order on a previous patch.
> > - Also, if you can return only valid values here, why do you check against
> > the maximum value in that previous patch?
> > - Also, are you using some undisclosed rule here? On 'order 0' the
> > meanining is 4KB, which translate to 512 HDBSS entries. Why are you using
> > it for any value under 16K? Same for 3-32KB-4kEntries you use for under
> > 256K pages (and so on). If you are assuming a logical rule such as
> > 'N pages would be ok with N/32 entries' it has to be described here at
> > least.
> > - Not sure VM size is the best way of doing that, since it will depend
> > more on the dirtying rate than the actual size, and most VMs would just
> > use the biggest size (4M x 4K pages is just 16GB). For instance with
> > dirty_ring we can use the dirty_ring.size as a better option.
> > (I know this is a hard one to estimate when using dirty-bitmap, though)
> >
> > > +
> > > +/*
> > > + * Enable HDBSS for all vCPUs in the VM.
> > > + *
> > > + * Called from kvm_arm_hdbss_on_dirty_logging_change() which is invoked
> > > + * by kvm_arch_commit_memory_region() under kvm->slots_lock.
> > > + *
> > > + * If buffer allocation fails, HDBSS remains disabled and dirty tracking
> > > + * falls back to the traditional software-based approach (PTE write-protect
> > > + * + software dirty marking). This does not affect correctness; dirty
> > > + * logging remains functional without HDBSS.
> > > + */
> > > +static int kvm_arm_enable_hdbss_global(struct kvm *kvm)
> > > +{
> > > + int err;
> > > + unsigned long i;
> > > + unsigned int order;
> > > + struct kvm_vcpu *vcpu;
> > > +
> > > + if (!system_supports_hdbss())
> > > + return 0;
> > > +
> > > + if (kvm->dirty_ring_size) /* Don't support HDBSS in dirty ring mode */
> > > + return 0;
> > > +
> > > + if (kvm->arch.enable_hdbss) /* Already On */
> > > + return 0;
> > > +
> > > + /* Turn it on */
> > > + order = hdbss_auto_select_order(kvm);
> > > + kvm_for_each_vcpu(i, vcpu, kvm) {
> > > + err = kvm_arm_vcpu_alloc_hdbss(vcpu, order);
> > > + if (err)
> > > + goto error_alloc;
> > > + }
> > > +
> > > + kvm->arch.enable_hdbss = true;
> > > + kvm->arch.mmu.vtcr |= VTCR_EL2_HD | VTCR_EL2_HDBSS | VTCR_EL2_HA;
> > > +
> > > + /*
> > > + * We should kick vcpus out of guest mode here to load new
> > > + * vtcr value to vtcr_el2 register when re-enter guest mode.
> > > + */
> > > + kvm_for_each_vcpu(i, vcpu, kvm)
> > > + kvm_vcpu_kick(vcpu);
> > > +
> > > + return 0;
> > > +
> > > +error_alloc:
> > > + kvm_for_each_vcpu(i, vcpu, kvm)
> > > + if (vcpu->arch.hdbss.base_phys)
> > > + kvm_arm_vcpu_free_hdbss(vcpu);
> > > +
> > > + pr_warn_once("kvm: failed to allocate HDBSS buffers (order=%u), "
> > > + "falling back to software dirty tracking\n", order);
> > > + return -ENOMEM;
> > > +}
> > > +
> > > +void kvm_arm_disable_hdbss_global(struct kvm *kvm)
> > > +{
> > > + unsigned long i;
> > > + struct kvm_vcpu *vcpu;
> > > +
> > > + if (!kvm->arch.enable_hdbss) /* Already Off */
> > > + return;
> > > +
> > > + /* Turn it off */
> > > + kvm->arch.mmu.vtcr &= ~(VTCR_EL2_HD | VTCR_EL2_HDBSS | VTCR_EL2_HA);
> > > +
> > > + kvm_for_each_vcpu(i, vcpu, kvm)
> > > + kvm_arm_vcpu_free_hdbss(vcpu);
> > > +
> > > + kvm->arch.enable_hdbss = false;
> > > +}
> > > +
> > Okay, say the user requested it to be disabled, you change the global vtcr,
> > then free the hdbss on every vcpu.
> >
> > But the vcpus are still running, and since they will only disable this when
> > they go out of the guest, then in again, HDBSS will still be running,
> > right?
> >
> > If some page gets dirty in the between, would not the HDBSS try to write to
> > the already loaded buffer adress, and write to memory that have already
> > been freed here?
> >
> >
> > > +void kvm_arm_hdbss_on_dirty_logging_change(struct kvm *kvm, int nr_memslots_logging)
> > > +{
> > > + /*
> > > + * Called from kvm_arch_commit_memory_region() under kvm->slots_lock.
> > > + * All state transitions are serialized by slots_lock.
> > > + */
> > > + if (nr_memslots_logging > 0 && !kvm->arch.enable_hdbss)
> > > + kvm_arm_enable_hdbss_global(kvm);
> > > + else if (nr_memslots_logging == 0 && kvm->arch.enable_hdbss)
> > > + kvm_arm_disable_hdbss_global(kvm);
> > > +}
> > > diff --git a/arch/arm64/kvm/mmu.c b/arch/arm64/kvm/mmu.c
> > > index 949fb895add6..484f48dae000 100644
> > > --- a/arch/arm64/kvm/mmu.c
> > > +++ b/arch/arm64/kvm/mmu.c
> > > @@ -2588,6 +2588,9 @@ void kvm_arch_commit_memory_region(struct kvm *kvm,
> > > {
> > > bool log_dirty_pages = new && new->flags & KVM_MEM_LOG_DIRTY_PAGES;
> > >
> > > + kvm_arm_hdbss_on_dirty_logging_change(kvm,
> > > + atomic_read(&kvm->nr_memslots_dirty_logging));
> > > +
> > > /*
> > > * At this point memslot has been committed and there is an
> > > * allocated dirty_bitmap[], dirty pages will be tracked while the
> > > --
> > > 2.33.0
> > >
> > Okay, reading the above I remembered something really complicated:
> > We can't really enable HDBSS partially if we start with DBM set for all
> > pages. Once we enable HDBSS wit will track changes for all memslots.
> >
> > The only way to enable it partially would be to set DBM during the
> > dirty-bit tracking, which I recall being complicated for some reasons.
> >
> > Well, we have to think about the overall strategy before a next version.
> >
> > Thanks!
> > Leo
>
>
> Hi, Leo
>
>
> One thing just clicked for me: we don't actually need per-memslot DBM
> control.
Yeah, I mentioned it here:
https://lore.kernel.org/linux-arm-kernel/alZI1rwmeYJHUFut@LeoBrasDK/
>
>
>
> PML on x86 works the same way — D bit set on all writable SPTEs
> unconditionally,
>
> buffer records everything. The filtering happens in software at flush time:
>
> vmx_flush_pml_buffer() -> kvm_vcpu_mark_page_dirty() ->
> mark_page_dirty_in_slot(),
>
> where kvm_slot_dirty_track_enabled() discards non-tracked memslots.
>
>
> Our HDBSS does exactly the same: global DBM, buffer records all writes,
>
> kvm_flush_hdbss_buffer() -> mark_page_dirty_in_slot() filters at flush time.
>
> So I'm questioning the premise — why should HDBSS be held to a different
> standard
>
> than PML? If overhead becomes a real problem, we can revisit per-memslot
> later.
>
> For v5, I think global DBM is fine.
>
> So, I think we just need to focus on how to correctly handle DBM for huge
> pages.
>
>
next prev parent reply other threads:[~2026-07-17 15:53 UTC|newest]
Thread overview: 51+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-07-09 10:40 [PATCH v4 0/6] Support the FEAT_HDBSS introduced in Armv9.5 Tian Zheng
2026-07-09 10:40 ` [PATCH v4 1/6] KVM: arm64: Enable eager hugepage splitting if HDBSS is available Tian Zheng
2026-07-09 11:03 ` sashiko-bot
2026-07-09 10:40 ` [PATCH v4 2/6] KVM: arm64: Add support for FEAT_HDBSS Tian Zheng
2026-07-09 11:00 ` sashiko-bot
2026-07-09 10:40 ` [PATCH v4 3/6] KVM: arm64: Add auto DBM support for hardware dirty tracking Tian Zheng
2026-07-09 11:14 ` sashiko-bot
2026-07-13 11:17 ` Leonardo Bras
2026-07-14 1:14 ` Tian Zheng
2026-07-14 7:23 ` Marc Zyngier
2026-07-14 7:44 ` Tian Zheng
2026-07-14 10:20 ` Leonardo Bras
2026-07-16 7:39 ` Oliver Upton
2026-07-17 3:58 ` Tian Zheng
2026-07-17 15:21 ` Leonardo Bras
2026-07-09 10:40 ` [PATCH v4 4/6] KVM: arm64: Add HDBSS per-vCPU buffer management Tian Zheng
2026-07-09 11:15 ` sashiko-bot
2026-07-13 13:39 ` Leonardo Bras
2026-07-14 7:15 ` Tian Zheng
2026-07-14 10:47 ` Leonardo Bras
2026-07-15 9:16 ` Tian Zheng
2026-07-15 14:28 ` Leonardo Bras
2026-07-17 4:06 ` Tian Zheng
2026-07-09 10:40 ` [PATCH v4 5/6] KVM: arm64: Add HDBSS fault handling and buffer flush Tian Zheng
2026-07-09 11:26 ` sashiko-bot
2026-07-13 14:06 ` Leonardo Bras
2026-07-14 7:38 ` Tian Zheng
2026-07-14 10:50 ` Leonardo Bras
2026-07-14 13:27 ` Tian Zheng
2026-07-14 14:19 ` Leonardo Bras
2026-07-17 6:51 ` Tian Zheng
2026-07-17 15:44 ` Leonardo Bras
2026-07-09 10:40 ` [PATCH v4 6/6] KVM: arm64: Add auto HDBSS enable/disable on dirty logging change Tian Zheng
2026-07-09 11:34 ` sashiko-bot
2026-07-13 14:50 ` Leonardo Bras
2026-07-14 8:58 ` Tian Zheng
2026-07-14 11:16 ` Leonardo Bras
2026-07-14 14:33 ` Leonardo Bras
2026-07-16 8:37 ` Tian Zheng
2026-07-17 7:23 ` Tian Zheng
2026-07-17 15:50 ` Leonardo Bras
2026-07-16 7:15 ` Tian Zheng
2026-07-17 15:53 ` Leonardo Bras [this message]
2026-07-13 10:31 ` [PATCH v4 0/6] Support the FEAT_HDBSS introduced in Armv9.5 Leonardo Bras
2026-07-13 16:27 ` Leonardo Bras
2026-07-14 10:39 ` Tian Zheng
2026-07-14 11:20 ` Leonardo Bras
2026-07-14 13:29 ` Tian Zheng
2026-07-14 9:37 ` Tian Zheng
2026-07-14 10:19 ` Leonardo Bras
2026-07-14 13:34 ` Tian Zheng
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=alpP6pPacUU6dhP7@LeoBrasDK \
--to=leo.bras@arm.com \
--cc=caijian11@h-partners.com \
--cc=catalin.marinas@arm.com \
--cc=joey.gouly@arm.com \
--cc=kvm@vger.kernel.org \
--cc=kvmarm@lists.linux.dev \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linuxarm@huawei.com \
--cc=liuyonglong@huawei.com \
--cc=maz@kernel.org \
--cc=oupton@kernel.org \
--cc=seiden@linux.ibm.com \
--cc=suzuki.poulose@arm.com \
--cc=wangzhou1@hisilicon.com \
--cc=will@kernel.org \
--cc=yangjinqian1@huawei.com \
--cc=yezhenyu2@huawei.com \
--cc=yubihong@huawei.com \
--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