From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-14.4 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,INCLUDES_CR_TRAILER,INCLUDES_PATCH,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 2BB4DC2B9F8 for ; Tue, 25 May 2021 06:34:42 +0000 (UTC) Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id E38A4610A5 for ; Tue, 25 May 2021 06:34:41 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org E38A4610A5 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=kernel.org Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender: Content-Transfer-Encoding:Content-Type:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:In-Reply-To:MIME-Version:References: Message-ID:Subject:Cc:To:From:Date:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=mU0qbGJPw+CGF5iUc2NljC/npxk0EH2bozcMIKF0iLU=; b=DcoyjG3/Vl7qBO 12oW9Hwurssu1D+xs5YMvbinGH0wsbQZ+BemL4KSa2AQ90CyeHo7CaNO5Oyu8Ti1Ssrf+XM55UOrF ywehBpXO4o6kLZD6yJfSbZxvg11Bc/Pig23lGKNEJHBbsl6JFcEcouid1bImSCes4EjqGzraMZTxK C3pLJ2tdDb6yPmmpCA4uEt/h+arJU22gA7Soo8N5tb5kq7Bl22lFibq9Pt9sQXe5DhvQYBQkr42Qh uFdcq+S7F5yxUHREyL/ZNlAp6PWRvFmNmAhLL7o+czGhBPPhNdCyblS75deo6CeMx9x/qu4PxgZ2M 4aKJuMhYUAKHm7NoGZcw==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.94 #2 (Red Hat Linux)) id 1llQca-003drQ-TV; Tue, 25 May 2021 06:32:57 +0000 Received: from mail.kernel.org ([198.145.29.99]) by bombadil.infradead.org with esmtps (Exim 4.94 #2 (Red Hat Linux)) id 1llQcQ-003dpn-EZ for linux-arm-kernel@lists.infradead.org; Tue, 25 May 2021 06:32:48 +0000 Received: by mail.kernel.org (Postfix) with ESMTPSA id 37FFE613F9; Tue, 25 May 2021 06:32:42 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1621924366; bh=dVExLfnCVZqYe3eNwRemhJxcDdfYE0+QFcsnG1//2B8=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=GFYBistckZa7zViRbOEXz8IkGPMdIazRbUeMSmiOPU0xiT2mDuitA3cu8Px5vobQH WX2iJUFxtfXMjFAymbNA9UlWo7oRQ7RjRJXAd6rL3FKUxZPSgURBt8+UXsxp5RYIu9 6zru2Uwt+boviO2KCjPj7AVW+kR/YPAEpYuvPSOCIvBGD0nqRTW0uDaxyW6szER4LI eJ4FPNVv/V9SjwqFGKntGHpP7CQRm41F0k+F970PxPXrukh7CJniSVKqTMkDDBKLWE Bi8qkrCHIyBJ/FQMBAoBK8H1RcfGvLDysXz0p8DBWbaM2xuxC76rsgesaT3iySzHo2 zqHoDEsLGYqUw== Date: Tue, 25 May 2021 09:32:38 +0300 From: Mike Rapoport To: Anshuman Khandual Cc: linux-mm@kvack.org, david@redhat.com, akpm@linux-foundation.org, Catalin Marinas , Will Deacon , linux-arm-kernel@lists.infradead.org, linux-kernel@vger.kernel.org Subject: Re: [RFC V2] mm: Enable generic pfn_valid() to handle early sections with memmap holes Message-ID: References: <20210422061902.21614-1-rppt@kernel.org> <1619077823-3819-1-git-send-email-anshuman.khandual@arm.com> <10e5eecf-3ef5-f691-f38a-7ca305b707c1@arm.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20210524_233246_583499_8387BADF X-CRM114-Status: GOOD ( 46.79 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org On Tue, May 25, 2021 at 11:30:15AM +0530, Anshuman Khandual wrote: > > On 5/24/21 12:22 PM, Mike Rapoport wrote: > > Hello Anshuman, > > > > On Mon, May 24, 2021 at 10:28:32AM +0530, Anshuman Khandual wrote: > >> > >> On 4/22/21 1:20 PM, Anshuman Khandual wrote: > >>> Platforms like arm and arm64 have redefined pfn_valid() because their early > >>> memory sections might have contained memmap holes after freeing parts of it > >>> during boot, which should be skipped while validating a pfn for struct page > >>> backing. This scenario on certain platforms where memmap is not continuous, > >>> could be captured with a new option CONFIG_HAVE_EARLY_SECTION_MEMMAP_HOLES. > >>> Then the generic pfn_valid() can be improved to accommodate such platforms. > >>> This reduces overall code footprint and also improves maintainability. > >>> > >>> free_unused_memmap() and pfn_to_online_page() have been updated to include > >>> such cases. This also exports memblock_is_memory() for all drivers that use > >>> pfn_valid() but lack required visibility. After the new config is in place, > >>> drop CONFIG_HAVE_ARCH_PFN_VALID from arm64 platforms. > >>> > >>> Cc: Catalin Marinas > >>> Cc: Will Deacon > >>> Cc: Andrew Morton > >>> Cc: Mike Rapoport > >>> Cc: David Hildenbrand > >>> Cc: linux-arm-kernel@lists.infradead.org > >>> Cc: linux-kernel@vger.kernel.org > >>> Cc: linux-mm@kvack.org > >>> Suggested-by: David Hildenbrand > >>> Signed-off-by: Anshuman Khandual > >>> --- > >>> This patch applies on the latest mainline kernel after Mike's series > >>> regarding arm64 based pfn_valid(). > >>> > >>> https://lore.kernel.org/linux-mm/20210422061902.21614-1-rppt@kernel.org/T/#t > >>> > >>> Changes in RFC V2: > >>> > >>> - Dropped support for arm (32 bit) > >>> - Replaced memblock_is_map_memory() check with memblock_is_memory() > >>> - MEMBLOCK_NOMAP memory are no longer skipped for pfn_valid() > >>> - Updated pfn_to_online_page() per David > >>> - Updated free_unused_memmap() to preserve existing semantics per Mike > >>> - Exported memblock_is_memory() instead of memblock_is_map_memory() > >>> > >>> Changes in RFC V1: > >>> > >>> - https://patchwork.kernel.org/project/linux-mm/patch/1615174073-10520-1-git-send-email-anshuman.khandual@arm.com/ > >>> > >>> arch/arm64/Kconfig | 2 +- > >>> arch/arm64/include/asm/page.h | 1 - > >>> arch/arm64/mm/init.c | 41 ----------------------------------- > >>> include/linux/mmzone.h | 18 ++++++++++++++- > >>> mm/Kconfig | 9 ++++++++ > >>> mm/memblock.c | 8 +++++-- > >>> mm/memory_hotplug.c | 5 +++++ > >>> 7 files changed, 38 insertions(+), 46 deletions(-) > >>> > >>> diff --git a/arch/arm64/Kconfig b/arch/arm64/Kconfig > >>> index b4a9b493ce72..4cdc3570ffa9 100644 > >>> --- a/arch/arm64/Kconfig > >>> +++ b/arch/arm64/Kconfig > >>> @@ -144,7 +144,6 @@ config ARM64 > >>> select HAVE_ARCH_KGDB > >>> select HAVE_ARCH_MMAP_RND_BITS > >>> select HAVE_ARCH_MMAP_RND_COMPAT_BITS if COMPAT > >>> - select HAVE_ARCH_PFN_VALID > >>> select HAVE_ARCH_PREL32_RELOCATIONS > >>> select HAVE_ARCH_SECCOMP_FILTER > >>> select HAVE_ARCH_STACKLEAK > >>> @@ -167,6 +166,7 @@ config ARM64 > >>> if $(cc-option,-fpatchable-function-entry=2) > >>> select FTRACE_MCOUNT_USE_PATCHABLE_FUNCTION_ENTRY \ > >>> if DYNAMIC_FTRACE_WITH_REGS > >>> + select HAVE_EARLY_SECTION_MEMMAP_HOLES > >>> select HAVE_EFFICIENT_UNALIGNED_ACCESS > >>> select HAVE_FAST_GUP > >>> select HAVE_FTRACE_MCOUNT_RECORD > >>> diff --git a/arch/arm64/include/asm/page.h b/arch/arm64/include/asm/page.h > >>> index 75ddfe671393..fcbef3eec4b2 100644 > >>> --- a/arch/arm64/include/asm/page.h > >>> +++ b/arch/arm64/include/asm/page.h > >>> @@ -37,7 +37,6 @@ void copy_highpage(struct page *to, struct page *from); > >>> > >>> typedef struct page *pgtable_t; > >>> > >>> -int pfn_valid(unsigned long pfn); > >>> int pfn_is_map_memory(unsigned long pfn); > >>> > >>> #include > >>> diff --git a/arch/arm64/mm/init.c b/arch/arm64/mm/init.c > >>> index f431b38d0837..5731a11550d8 100644 > >>> --- a/arch/arm64/mm/init.c > >>> +++ b/arch/arm64/mm/init.c > >>> @@ -217,47 +217,6 @@ static void __init zone_sizes_init(unsigned long min, unsigned long max) > >>> free_area_init(max_zone_pfns); > >>> } > >>> > >>> -int pfn_valid(unsigned long pfn) > >>> -{ > >>> - phys_addr_t addr = PFN_PHYS(pfn); > >>> - > >>> - /* > >>> - * Ensure the upper PAGE_SHIFT bits are clear in the > >>> - * pfn. Else it might lead to false positives when > >>> - * some of the upper bits are set, but the lower bits > >>> - * match a valid pfn. > >>> - */ > >>> - if (PHYS_PFN(addr) != pfn) > >>> - return 0; > >>> - > >>> -#ifdef CONFIG_SPARSEMEM > >>> -{ > >>> - struct mem_section *ms; > >>> - > >>> - if (pfn_to_section_nr(pfn) >= NR_MEM_SECTIONS) > >>> - return 0; > >>> - > >>> - ms = __pfn_to_section(pfn); > >>> - if (!valid_section(ms)) > >>> - return 0; > >>> - > >>> - /* > >>> - * ZONE_DEVICE memory does not have the memblock entries. > >>> - * memblock_is_memory() check for ZONE_DEVICE based > >>> - * addresses will always fail. Even the normal hotplugged > >>> - * memory will never have MEMBLOCK_NOMAP flag set in their > >>> - * memblock entries. Skip memblock search for all non early > >>> - * memory sections covering all of hotplug memory including > >>> - * both normal and ZONE_DEVICE based. > >>> - */ > >>> - if (!early_section(ms)) > >>> - return pfn_section_valid(ms, pfn); > >>> -} > >>> -#endif > >>> - return memblock_is_memory(addr); > >>> -} > >>> -EXPORT_SYMBOL(pfn_valid); > >>> - > >>> int pfn_is_map_memory(unsigned long pfn) > >>> { > >>> phys_addr_t addr = PFN_PHYS(pfn); > >>> diff --git a/include/linux/mmzone.h b/include/linux/mmzone.h > >>> index 961f0eeefb62..18bf71665211 100644 > >>> --- a/include/linux/mmzone.h > >>> +++ b/include/linux/mmzone.h > >>> @@ -1421,10 +1421,22 @@ static inline int pfn_section_valid(struct mem_section *ms, unsigned long pfn) > >>> * > >>> * Return: 1 for PFNs that have memory map entries and 0 otherwise > >>> */ > >>> +bool memblock_is_memory(phys_addr_t addr); > >>> + > >>> static inline int pfn_valid(unsigned long pfn) > >>> { > >>> + phys_addr_t addr = PFN_PHYS(pfn); > >>> struct mem_section *ms; > >>> > >>> + /* > >>> + * Ensure the upper PAGE_SHIFT bits are clear in the > >>> + * pfn. Else it might lead to false positives when > >>> + * some of the upper bits are set, but the lower bits > >>> + * match a valid pfn. > >>> + */ > >>> + if (PHYS_PFN(addr) != pfn) > >>> + return 0; > >>> + > >>> if (pfn_to_section_nr(pfn) >= NR_MEM_SECTIONS) > >>> return 0; > >>> ms = __nr_to_section(pfn_to_section_nr(pfn)); > >>> @@ -1434,7 +1446,11 @@ static inline int pfn_valid(unsigned long pfn) > >>> * Traditionally early sections always returned pfn_valid() for > >>> * the entire section-sized span. > >>> */ > >>> - return early_section(ms) || pfn_section_valid(ms, pfn); > >>> + if (early_section(ms)) > >>> + return IS_ENABLED(CONFIG_HAVE_EARLY_SECTION_MEMMAP_HOLES) ? > >>> + memblock_is_memory(pfn << PAGE_SHIFT) : 1; > >>> + > >>> + return pfn_section_valid(ms, pfn); > >>> } > >>> #endif > >> > >> Hello David/Mike, > >> > >> Now that pfn_is_map_memory() usage has been decoupled from pfn_valid() and > >> SPARSEMEM_VMEMMAP is only available memory model on arm64, wondering if we > >> still need this HAVE_EARLY_SECTION_MEMMAP_HOLES proposal ? Please do kindly > >> suggest. Thank you. > > > > Even now arm64 still frees parts of the memory map and pfn_valid() should > > be able to tell if a part of a section is freed or not. > > > > For instance for the following memory configuration > > > > |<----section---->|<----hole---->|<----section---->| > > +--------+--------+--------------+--------+--------+ > > | bank 0 | unused | | bank 1 | unused | > > +--------+--------+--------------+--------+--------+ > > > > the memory map corresponding to the "unused" areas is freed, but the generic > > pfn_valid() will still return 1 there. > > But is not free_unused_memmap() return early when CONFIG_SPARSEMEM_VMEMMAP > is enabled, which is the only option now on arm64. Then how can memmap have > holes (from unused areas) anymore ? Am I missing something here. Ah, you are right, I missed this detail myself :) With CONFIG_SPARSEMEM_VMEMMAP as the only memory model for arm64, we can simply rid of arm64::pfn_valid() without any changes to the generic version. > > So we either should stop freeing unused memory map on arm64, or keep > > arm64::pfn_valid() or implement something along the lines of this patch. > > > > I personally don't think that the memory savings from freeing the unused > > memory map worth the pain of maintenance and bugs happening here and there. > > -- Sincerely yours, Mike. _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel