From: sashiko-bot@kernel.org
To: "Nathan Gao" <zcgao@amazon.com>
Cc: damon@lists.linux.dev
Subject: Re: [PATCH v2] mm/damon/vaddr: use a page-aligned address for the sampling walks
Date: Mon, 31 Aug 2026 22:39:36 +0000 [thread overview]
Message-ID: <20260831223936.D42841F000E9@smtp.kernel.org> (raw)
In-Reply-To: <20260831221151.50561-1-zcgao@amazon.com>
Thank you for your contribution! Sashiko AI review found 4 potential issue(s) to consider:
Pre-existing issues:
- [High] The patch fails to fix the unaligned page table walk vulnerability for `r->ar.start` in DAMOS migration and stat paths.
- [High] Incorrect PTE advancement for large folios in `damos_va_migrate_pmd_entry` and `damos_va_stat_pmd_entry` causes unrelated PTEs to be silently skipped.
- [High] `damos_madvise` miscalculates the madvise range when region boundaries are not page-aligned, potentially applying actions to memory completely outside the region.
- [High] Unaligned huge page address passed to `mmu_notifier_clear_young()` corrupts adjacent huge pages' access bits.
--
commit fa91d6928f529249184a9980dfc55fc3ff427ea8
Author: Nathan Gao <zcgao@amazon.com>
mm/damon/vaddr: use a page-aligned address for the sampling walks
This commit aligns the sampling address passed to damon_va_walk_page_range()
down to a page boundary in damon_va_mkold() and damon_va_young(). This
prevents an out-of-bounds page table access on arm64 caused by clearing the
young flag on a batch of PTEs derived from an unaligned address.
> diff --git a/mm/damon/vaddr.c b/mm/damon/vaddr.c
> index 0648400b2d65b..fe76714d8e3d6 100644
> --- a/mm/damon/vaddr.c
> +++ b/mm/damon/vaddr.c
> @@ -350,6 +350,9 @@ static void damon_va_mkold(struct mm_struct *mm, unsigned long addr)
> .hugetlb_entry = damon_mkold_hugetlb_entry,
> };
>
> + /* Arch helpers can derive a page range from @addr; align it down. */
> + addr = PAGE_ALIGN_DOWN(addr);
> +
[Severity: High]
This is a pre-existing issue, but does this patch miss fixing the same
unaligned page table walk vulnerability for r->ar.start in the DAMOS
migration and stat paths?
While this commit fixes damon_va_mkold() and damon_va_young() by
aligning the address before walking the page table, DAMON region boundaries
(r->ar.start) can also be unaligned. damos_va_migrate() and
damos_va_stat() pass r->ar.start to damon_va_walk_page_range()
without aligning it.
When a YOUNG filter is applied, this unaligned address propagates through
damos_va_filter_out() to damon_ptep_mkold(..., addr):
mm/damon/vaddr.c:damos_va_migrate() {
...
damon_va_walk_page_range(mm, r->ar.start, r->ar.end, &walk_ops, &priv);
...
}
Will this trigger the exact same out-of-bounds PTE access bug on arm64
that this patch intends to fix?
[Severity: High]
This is a pre-existing issue, but can passing this PAGE_SIZE aligned
address cause state corruption for memory access tracking in secondary MMUs
(like KVM) for huge pages?
The page table walker calls damon_mkold_pmd_entry() and
damon_mkold_hugetlb_entry() with this page-aligned, but not necessarily
huge-page-aligned addr.
In damon_pmdp_mkold(), this unaligned addr is passed verbatim to
mmu_notifier_clear_young():
mm/damon/ops-common.c:damon_pmdp_mkold() {
...
young |= mmu_notifier_clear_young(vma->vm_mm, addr,
addr + HPAGE_PMD_SIZE);
...
}
Because addr is offset within the huge page, does the invalidation range
[addr, addr + HPAGE_PMD_SIZE) span past the end of the current huge page
and corrupt the access bits of the adjacent huge page?
> damon_va_walk_page_range(mm, addr, addr + 1, &damon_mkold_ops, NULL);
> }
[ ... ]
> @@ -476,6 +479,9 @@ static bool damon_va_young(struct mm_struct *mm, unsigned long addr)
> .hugetlb_entry = damon_young_hugetlb_entry,
> };
>
> + /* Arch helpers can derive a page range from @addr; align it down. */
> + addr = PAGE_ALIGN_DOWN(addr);
> +
[Severity: High]
This is a pre-existing issue, but does the PTE loop in
damos_va_migrate_pmd_entry() and damos_va_stat_pmd_entry() incorrectly
skip unrelated PTEs for large folios?
In these PMD entry callbacks, the advancement relies on
folio_nr_pages(folio):
mm/damon/vaddr.c:damos_va_migrate_pmd_entry() {
...
nr = folio_nr_pages(folio);
...
pte += nr;
addr += nr * PAGE_SIZE;
...
}
If the iteration starts on a tail subpage of a large folio (for example, if
the region boundary r->ar.start lands in the middle of a folio), the
remaining pages of that folio in the current PMD are fewer than
folio_nr_pages(folio). By advancing by the full folio_nr_pages(folio),
will this overstep the end of the folio and silently skip subsequent,
unrelated PTEs?
[Severity: High]
This is a pre-existing issue, but does damos_madvise() miscalculate the
range when region boundaries are not page-aligned, potentially applying
actions to memory completely outside the target region?
The boundaries are calculated using PAGE_ALIGN:
mm/damon/vaddr.c:damos_madvise() {
...
unsigned long start = PAGE_ALIGN(r->ar.start);
unsigned long len = PAGE_ALIGN(damon_sz_region(r));
...
}
If a region spans from 0x10005 to 0x11000 (size 0xFFB), start
becomes 0x11000 and len becomes 0x1000. The resulting do_madvise()
range is 0x11000 to 0x12000. Will this completely miss the target
region (which ends at 0x11000) and incorrectly apply destructive actions
like MADV_PAGEOUT or MADV_FREE to the page entirely after the region?
> damon_va_walk_page_range(mm, addr, addr + 1, &damon_young_ops, &arg);
> return arg.young;
> }
--
Sashiko AI review · https://sashiko.dev/#/patchset/20260831221151.50561-1-zcgao@amazon.com?part=1
next prev parent reply other threads:[~2026-08-31 22:39 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-31 22:11 [PATCH v2] mm/damon/vaddr: use a page-aligned address for the sampling walks Nathan Gao
2026-08-31 22:39 ` sashiko-bot [this message]
2026-09-01 1:27 ` SJ Park
2026-09-01 1:35 ` SJ Park
2026-09-01 20:25 ` Nathan Gao
2026-09-02 0:16 ` SJ Park
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=20260831223936.D42841F000E9@smtp.kernel.org \
--to=sashiko-bot@kernel.org \
--cc=damon@lists.linux.dev \
--cc=sashiko-reviews@lists.linux.dev \
--cc=zcgao@amazon.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.