On Tue, Feb 23, 2021 at 09:04:19AM +0100, David Hildenbrand wrote:
> On 22.02.21 11:57, Mike Rapoport wrote:
> > From: Mike Rapoport <r...@linux.ibm.com>
> > 
> > There could be struct pages that are not backed by actual physical memory.
> > This can happen when the actual memory bank is not a multiple of
> > SECTION_SIZE or when an architecture does not register memory holes
> > reserved by the firmware as memblock.memory.
> > 
> > Such pages are currently initialized using init_unavailable_mem() function
> > that iterates through PFNs in holes in memblock.memory and if there is a
> > struct page corresponding to a PFN, the fields of this page are set to
> > default values and it is marked as Reserved.
> > 
> > init_unavailable_mem() does not take into account zone and node the page
> > belongs to and sets both zone and node links in struct page to zero.
> > 
> > Before commit 73a6e474cb37 ("mm: memmap_init: iterate over memblock regions
> > rather that check each PFN") the holes inside a zone were re-initialized
> > during memmap_init() and got their zone/node links right. However, after
> > that commit nothing updates the struct pages representing such holes.
> > 
> > On a system that has firmware reserved holes in a zone above ZONE_DMA, for
> > instance in a configuration below:
> > 
> >     # grep -A1 E820 /proc/iomem
> >     7a17b000-7a216fff : Unknown E820 type
> >     7a217000-7bffffff : System RAM
> > 
> > unset zone link in struct page will trigger
> > 
> >     VM_BUG_ON_PAGE(!zone_spans_pfn(page_zone(page), pfn), page);
> > 
> > because there are pages in both ZONE_DMA32 and ZONE_DMA (unset zone link
> > in struct page) in the same pageblock.
> > 
> > Interleave initialization of the unavailable pages with the normal
> > initialization of memory map, so that zone and node information will be
> > properly set on struct pages that are not backed by the actual memory.
> > 
> > With this change the pages for holes inside a zone will get proper
> > zone/node links and the pages that are not spanned by any node will get
> > links to the adjacent zone/node.
> 
> Does this include pages in the last section has handled by ...
> ...
> > -   /*
> > -    * Early sections always have a fully populated memmap for the whole
> > -    * section - see pfn_valid(). If the last section has holes at the
> > -    * end and that section is marked "online", the memmap will be
> > -    * considered initialized. Make sure that memmap has a well defined
> > -    * state.
> > -    */
> > -   pgcnt += init_unavailable_range(PFN_DOWN(next),
> > -                                   round_up(max_pfn, PAGES_PER_SECTION));
> > -
> 
> ^ this code?
> 
> Or how is that case handled now?

Hmm, now it's clamped to node_end_pfn/zone_end_pfn, so in your funny example 
with

    -object memory-backend-ram,id=bmem0,size=4160M \
    -object memory-backend-ram,id=bmem1,size=4032M \

this is not handled :(

But it will be handled with this on top:

diff --git a/mm/page_alloc.c b/mm/page_alloc.c
index 29bbd08b8e63..6c9b490f5a8b 100644
--- a/mm/page_alloc.c
+++ b/mm/page_alloc.c
@@ -6350,9 +6350,12 @@ void __meminit __weak memmap_init_zone(struct zone *zone)
                hole_pfn = end_pfn;
        }
 
-       if (hole_pfn < zone_end_pfn)
-               pgcnt += init_unavailable_range(hole_pfn, zone_end_pfn,
+#ifdef CONFIG_SPARSEMEM
+       end_pfn = round_up(zone_end_pfn, PAGES_PER_SECTION);
+       if (hole_pfn < end_pfn)
+               pgcnt += init_unavailable_range(hole_pfn, end_pfn,
                                                zone_id, nid);
+#endif
 
        if (pgcnt)
                pr_info("  %s zone: %lld pages in unavailable ranges\n",

-- 
Sincerely yours,
Mike.

Reply via email to