From: Zhenhua Huang <quic_zhenhuah@quicinc.com>
To: David Hildenbrand <david@redhat.com>, <anshuman.khandual@arm.com>,
<catalin.marinas@arm.com>
Cc: <will@kernel.org>, <ardb@kernel.org>, <ryan.roberts@arm.com>,
<mark.rutland@arm.com>, <joey.gouly@arm.com>,
<dave.hansen@linux.intel.com>, <akpm@linux-foundation.org>,
<chenfeiyang@loongson.cn>, <chenhuacai@kernel.org>,
<linux-mm@kvack.org>, <linux-arm-kernel@lists.infradead.org>,
<linux-kernel@vger.kernel.org>, <quic_tingweiz@quicinc.com>
Subject: Re: [PATCH v7] arm64: mm: Populate vmemmap at the page level if not section aligned
Date: Mon, 17 Feb 2025 18:34:16 +0800 [thread overview]
Message-ID: <ce2bd045-3e3a-42bf-9a48-9ad806ff3765@quicinc.com> (raw)
In-Reply-To: <8c1578ed-cfef-4fba-a334-ebf5eac26d60@redhat.com>
On 2025/2/17 17:44, David Hildenbrand wrote:
> On 17.02.25 10:29, Zhenhua Huang wrote:
>> On the arm64 platform with 4K base page config, SECTION_SIZE_BITS is set
>> to 27, making one section 128M. The related page struct which vmemmap
>> points to is 2M then.
>> Commit c1cc1552616d ("arm64: MMU initialisation") optimizes the
>> vmemmap to populate at the PMD section level which was suitable
>> initially since hot plug granule is always one section(128M). However,
>> commit ba72b4c8cf60 ("mm/sparsemem: support sub-section hotplug")
>> introduced a 2M(SUBSECTION_SIZE) hot plug granule, which disrupted the
>> existing arm64 assumptions.
>>
>> The first problem is that if start or end is not aligned to a section
>> boundary, such as when a subsection is hot added, populating the entire
>> section is wasteful.
>>
>> The Next problem is if we hotplug something that spans part of 128 MiB
>> section (subsections, let's call it memblock1), and then hotplug
>> something
>> that spans another part of a 128 MiB section(subsections, let's call it
>> memblock2), and subsequently unplug memblock1, vmemmap_free() will clear
>> the entire PMD entry which also supports memblock2 even though memblock2
>> is still active.
>>
>> Assuming hotplug/unplug sizes are guaranteed to be symmetric. Do the
>> fix similar to x86-64: populate to pages levels if start/end is not
>> aligned
>> with section boundary.
>>
>> Signed-off-by: Zhenhua Huang <quic_zhenhuah@quicinc.com>
>> ---
>> arch/arm64/mm/mmu.c | 3 ++-
>> 1 file changed, 2 insertions(+), 1 deletion(-)
>>
>> diff --git a/arch/arm64/mm/mmu.c b/arch/arm64/mm/mmu.c
>> index b4df5bc5b1b8..eec1666da368 100644
>> --- a/arch/arm64/mm/mmu.c
>> +++ b/arch/arm64/mm/mmu.c
>> @@ -1178,7 +1178,8 @@ int __meminit vmemmap_populate(unsigned long
>> start, unsigned long end, int node,
>> {
>> WARN_ON((start < VMEMMAP_START) || (end > VMEMMAP_END));
>> - if (!IS_ENABLED(CONFIG_ARM64_4K_PAGES))
>> + if (!IS_ENABLED(CONFIG_ARM64_4K_PAGES) ||
>> + (end - start < PAGES_PER_SECTION * sizeof(struct page)))
>> return vmemmap_populate_basepages(start, end, node, altmap);
>> else
>> return vmemmap_populate_hugepages(start, end, node, altmap);
>
> Yes, this does mimic what x86 does. That handling does look weird,
> because it
> doesn't care about any address alignments, only about the size, which is
> odd.
>
> I wonder if we could do better and move this handling
> into vmemmap_populate_hugepages(), where we already have a fallback
> to vmemmap_populate_basepages().
Hi David,
I had the same doubt initially.
After going through the codes, I noticed for vmemmap_populate(), the
arguments "start" and "end" passed down should already be within one
section.
early path:
for_each_present_section_nr
__populate_section_memmap
..
vmemmap_populate()
hotplug path:
__add_pages
section_activate
vmemmap_populate()
Therefore.. focusing only on the size seems OK to me, and fall back
solution below appears unnecessary?
BTW, I have few more doubt about the original codes below, but they're
not bugs, so I have not raised them. Please correct me if it's incorrect.
>
> Something like:
>
> One thing that confuses me is the "altmap" handling in x86-64 code: in
> particular
> why it is ignored in some cases. So that might need a bit of thought /
> double-checking.
>
>
> diff --git a/arch/x86/mm/init_64.c b/arch/x86/mm/init_64.c
> index 01ea7c6df3036..57542313c0000 100644
> --- a/arch/x86/mm/init_64.c
> +++ b/arch/x86/mm/init_64.c
> @@ -1546,10 +1546,10 @@ int __meminit vmemmap_populate(unsigned long
> start, unsigned long end, int node,
> VM_BUG_ON(!PAGE_ALIGNED(start));
> VM_BUG_ON(!PAGE_ALIGNED(end));
>
> - if (end - start < PAGES_PER_SECTION * sizeof(struct page))
> - err = vmemmap_populate_basepages(start, end, node, NULL);
> - else if (boot_cpu_has(X86_FEATURE_PSE))
> + if (boot_cpu_has(X86_FEATURE_PSE))
> err = vmemmap_populate_hugepages(start, end, node,
> altmap);
> + else
> + err = vmemmap_populate_basepages(start, end, node, NULL);
> else if (altmap) {
> pr_err_once("%s: no cpu support for altmap allocations\n",
> __func__);
> diff --git a/mm/sparse-vmemmap.c b/mm/sparse-vmemmap.c
> index 3287ebadd167d..8b217265b25b1 100644
> --- a/mm/sparse-vmemmap.c
> +++ b/mm/sparse-vmemmap.c
> @@ -300,6 +300,10 @@ int __weak __meminit vmemmap_check_pmd(pmd_t *pmd,
> int node,
> return 0;
> }
>
> +/*
> + * Try to populate PMDs, but fallback to populating base pages when ranges
> + * would only partially cover a PMD.
> + */
> int __meminit vmemmap_populate_hugepages(unsigned long start, unsigned
> long end,
> int node, struct vmem_altmap
> *altmap)
> {
> @@ -313,6 +317,9 @@ int __meminit vmemmap_populate_hugepages(unsigned
> long start, unsigned long end,
> for (addr = start; addr < end; addr = next) {
This for loop appears to be redundant for arm64 as well, as above
mentioned, a single call to pmd_addr_end() should suffice.
> next = pmd_addr_end(addr, end);
>
> + if (!IS_ALIGNED(addr, PMD_SIZE) || !IS_ALIGNED(next,
> PMD_SIZE))
> + goto fallback;
> +
> pgd = vmemmap_pgd_populate(addr, node);
> if (!pgd)
> return -ENOMEM;
> @@ -346,6 +353,7 @@ int __meminit vmemmap_populate_hugepages(unsigned
> long start, unsigned long end,
> }
> } else if (vmemmap_check_pmd(pmd, node, addr, next))
> continue;
> +fallback:
> if (vmemmap_populate_basepages(addr, next, node, altmap))
> return -ENOMEM;
It seems we have no chance to call populate_basepages here?
> }
>
>
next prev parent reply other threads:[~2025-02-17 10:34 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-02-17 9:29 Zhenhua Huang
2025-02-17 9:44 ` David Hildenbrand
2025-02-17 10:34 ` Zhenhua Huang [this message]
2025-02-17 14:30 ` David Hildenbrand
2025-02-18 3:07 ` Zhenhua Huang
2025-02-26 17:13 ` David Hildenbrand
2025-03-03 9:29 ` Zhenhua Huang
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=ce2bd045-3e3a-42bf-9a48-9ad806ff3765@quicinc.com \
--to=quic_zhenhuah@quicinc.com \
--cc=akpm@linux-foundation.org \
--cc=anshuman.khandual@arm.com \
--cc=ardb@kernel.org \
--cc=catalin.marinas@arm.com \
--cc=chenfeiyang@loongson.cn \
--cc=chenhuacai@kernel.org \
--cc=dave.hansen@linux.intel.com \
--cc=david@redhat.com \
--cc=joey.gouly@arm.com \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=mark.rutland@arm.com \
--cc=quic_tingweiz@quicinc.com \
--cc=ryan.roberts@arm.com \
--cc=will@kernel.org \
/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