linux-mm.kvack.org archive mirror
 help / color / mirror / Atom feed
From: Hugh Dickins <hughd@google.com>
To: "David Hildenbrand (Arm)" <david@kernel.org>
Cc: xu.xin16@zte.com.cn, hughd@google.com, akpm@linux-foundation.org,
	 michel@lespinasse.org, ljs@kernel.org, chengming.zhou@linux.dev,
	 linux-kernel@vger.kernel.org, linux-mm@kvack.org
Subject: Re: ksm: add mremap selftests for ksm_rmap_walk
Date: Tue, 7 Apr 2026 17:08:50 -0700 (PDT)	[thread overview]
Message-ID: <2513cca9-0f5f-3b5b-e758-b9cc304c8699@google.com> (raw)
In-Reply-To: <a14a89ba-e870-47d2-a903-564332da9877@kernel.org>

On Tue, 7 Apr 2026, David Hildenbrand (Arm) wrote:
> On 4/7/26 08:08, xu.xin16@zte.com.cn wrote:
> > From: xu xin <xu.xin16@zte.com.cn>
> > 
> > The existing tools/testing/selftests/mm/rmap.c has already one testcase
> > for ksm_rmap_walk in TEST_F(migrate, ksm), which takes use of migration
> > of page from one NUMA node to another NUMA node. However, it just lacks
> > the senario of mremapped VMAs.
> > 
> > Before migrating, we add the calling of mremap() to address mapped with KSM
> > pages, which is specailly to test a optimization which is introduced by this
> > patch ("ksm: Optimize rmap_walk_ksm by passing a suitable address range")
> > https://lore.kernel.org/all/20260212193045556CbzCX8p9gDu73tQ2nvHEI@zte.com.cn/
> > 
> > Result:
> > TAP version 13
> > 1..5
> > ok 1 migrate.anon
> > ok 2 migrate.shm
> > ok 3 migrate.file # SKIP Failed in worker
> > ok 4 migrate.ksm
> > ok 5 migrate.ksm_and_mremap
> > 
> > Signed-off-by: xu xin <xu.xin16@zte.com.cn>
> > ---
> >  tools/testing/selftests/mm/rmap.c    | 69 ++++++++++++++++++++++++++++
> >  tools/testing/selftests/mm/vm_util.c | 38 +++++++++++++++
> >  tools/testing/selftests/mm/vm_util.h |  2 +
> >  3 files changed, 109 insertions(+)
> > 
> > diff --git a/tools/testing/selftests/mm/rmap.c b/tools/testing/selftests/mm/rmap.c
> > index 53f2058b0ef2..65470def2bf1 100644
> > --- a/tools/testing/selftests/mm/rmap.c
> > +++ b/tools/testing/selftests/mm/rmap.c
> > @@ -430,4 +430,73 @@ TEST_F(migrate, ksm)
> >  	propagate_children(_metadata, data);
> >  }
> > 
> > +/* To test if ksm page can be migrated when it's mremapped */
> > +int merge_mremap_and_migrate(struct global_data *data)
> > +{
> > +	int ret = 0;
> > +	/* Allocate range and set the same data */
> > +	data->mapsize = 3*getpagesize();
> > +	data->region = mmap(NULL, data->mapsize, PROT_READ|PROT_WRITE,
> > +			   MAP_PRIVATE|MAP_ANON, -1, 0);
> > +	if (data->region == MAP_FAILED)
> > +		ksft_exit_fail_perror("mmap failed");
> > +
> > +	memset(data->region, 0x77, data->mapsize);

(Not crucial at all, but to avoid confusion between our results, I'll
point out that my testcase only memset 2*getpagesize() there, leaving
the last page unpopulated - just one less complication.)

> 
> What happens if you mremap() after faulting, but before merging?
> 
> rmap_item->address always holds the user space address of the entry in
> the parent process. It must match the one in the child process, because
> mremap() will unmerge/unshare in the child.
> 
> And it must match the one in the parent, as mremap() would similarly
> unmerge/unshare.
> 
> Maybe doing the mremap() before merging (but after faulting) would
> trigger what Hugh described.
> 
> break_cow() and friends don't care about the rmap, as they simply jump
> directly to the user space address in the process.
> 
> In rmap_walk_ksm(), I think the concern Hugh raised is that we are using
> 
> 	const pgoff_t pgoff = rmap_item->address >> PAGE_SHIFT;
> 
> but we'd actually need a pgoff into the anon_vma. Without mremap, it
> does not matter, they are the same (tests keep passing). But with mremap
> it's not longer the same.
> 
> I think one could store it in the ksm_rmap_item, but that would increase
> it's size. It's essentially the folio->index of the original page we are
> replacing.
> 
> Or we could just remember "pgoff is not that simple because mremap was
> involved, so walk the whole damn thing".
> 
> We could also just try walking all involved processes, looking only at
> that user space address (but that gets more tricky with rmap locking etc
> ...).
> 
> Anyhow, I think that's the concern Hugh raised, IIUC.

Yes, you and Lorenzo are seeing the same seed for doubt as I saw:
as you say, "pgoff is not that simple because mremap involved";
but it is confusing, so hard for us to be sure about it.

> 
> > +
> > +	if (ksm_start() < 0)
> > +		return FAIL_ON_CHECK;
> > +
> > +	/* 1  2 expected */
> > +	ksft_print_msg("Shared: %ld (1 expected) Sharing: %ld (2 expected)\n",
> > +		ksm_get_pages_shared(), ksm_get_pages_sharing());
> > +
> > +	/*
> > +	 * Mremap the second pagesize address range into the third pagesize
> > +	 * address.
> > +	 */
> > +	data->region = mremap(data->region + getpagesize(), getpagesize(), getpagesize(),
> > +			 MREMAP_MAYMOVE|MREMAP_FIXED, data->region + 2*getpagesize());
> 
> There would not be a KSM page after this mremap(), no?

Oh, good thinking: yes, a side-effect of mremap's non-persistent
MADV_UNMERGEABLE would be that there's no KSM page in the mremapped
"subregion" at this instant, so the try_to_move_page() which follows
is likely to have no trouble succeeding; so, as it stands, this test
is not testing what's required.

Sorry, I won't be able to give this more attention for a week: I
wanted to advertise my doubt before 7.1 merge window, while awkwardly
knowing I'd have to back out of ensuing discussion and testing for a
few days.  It seems agreed that we won't endanger 7.1 until this is
resolved: I just hope I'm not guilty of raising a false alarm.

Hugh


  reply	other threads:[~2026-04-08  0:09 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-04-07  6:08 xu.xin16
2026-04-07  9:43 ` Lorenzo Stoakes (Oracle)
2026-04-07 15:00 ` David Hildenbrand (Arm)
2026-04-08  0:08   ` Hugh Dickins [this message]
2026-04-08  7:11     ` David Hildenbrand (Arm)
2026-04-08 13:15     ` xu.xin16
2026-04-08 13:19       ` David Hildenbrand (Arm)

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=2513cca9-0f5f-3b5b-e758-b9cc304c8699@google.com \
    --to=hughd@google.com \
    --cc=akpm@linux-foundation.org \
    --cc=chengming.zhou@linux.dev \
    --cc=david@kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=ljs@kernel.org \
    --cc=michel@lespinasse.org \
    --cc=xu.xin16@zte.com.cn \
    /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