Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Tue, 4 Jul 2023 09:38:19 -0700
From:   Andrew Morton <akpm@linux-foundation.org>
To:     Miaohe Lin <linmiaohe@huawei.com>
Cc:     Matthew Wilcox <willy@infradead.org>, <linux-mm@kvack.org>,
        <linux-kernel@vger.kernel.org>
Subject: Re: [PATCH] mm: page_alloc: avoid false page outside zone error
 info
Message-Id: <20230704093819.48443ca7789043a640c8a07a@linux-foundation.org>
In-Reply-To: <feb41501-163a-58d6-1996-8d6ebc9d800e@huawei.com>
References: <20230704111823.940331-1-linmiaohe@huawei.com>
        <ZKQM2lg7524dIAQl@casper.infradead.org>
        <feb41501-163a-58d6-1996-8d6ebc9d800e@huawei.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Precedence: bulk

On Tue, 4 Jul 2023 20:36:00 +0800 Miaohe Lin <linmiaohe@huawei.com> wrote:

> On 2023/7/4 20:13, Matthew Wilcox wrote:
> > On Tue, Jul 04, 2023 at 07:18:23PM +0800, Miaohe Lin wrote:
> >> @@ -470,6 +470,8 @@ static int page_outside_zone_boundaries(struct zone *zone, struct page *page)
> >>  		sp = zone->spanned_pages;
> >>  		if (!zone_spans_pfn(zone, pfn))
> >>  			ret = 1;
> >> +		else
> >> +			ret = 0;
> > 
> > Surely 'ret = zone_spans_pfn(zone, pfn);' ?
> 
> Do you mean 'ret = !zone_spans_pfn(zone, pfn);'?  This format looks fine to me.
> 
> > 
> > Also, did you spot this by inspection or do you have a test-case or bug
> > report?  Should this have a Fixes: tag?
> 
> This is from code inspection. The race window should be really small thus hard to trigger
> in real world. And yes, it seems Fixes tag is a really ancient commit:
> 
> 	Fixes: bdc8cb984576 ("[PATCH] memory hotplug locking: zone span seqlock")
> 

Thanks.  I updated the changelog:

: If pfn is outside zone boundaries in the first round, ret will be set to
: 1.  But if pfn is changed to inside the zone boundaries in zone span
: seqretry path, ret is still set to 1 leading to false page outside zone
: error info.
: 
: This is from code inspection.  The race window should be really small thus
: hard to trigger in real world.
: 
: Link: https://lkml.kernel.org/r/20230704111823.940331-1-linmiaohe@huawei.com
: Fixes: bdc8cb984576 ("[PATCH] memory hotplug locking: zone span seqlock")

and I made the change suggested by Matthew:

--- a/mm/page_alloc.c~mm-page_alloc-avoid-false-page-outside-zone-error-info-fix
+++ a/mm/page_alloc.c
@@ -468,10 +468,7 @@ static int page_outside_zone_boundaries(
 		seq = zone_span_seqbegin(zone);
 		start_pfn = zone->zone_start_pfn;
 		sp = zone->spanned_pages;
-		if (!zone_spans_pfn(zone, pfn))
-			ret = 1;
-		else
-			ret = 0;
+		ret = !zone_spans_pfn(zone, pfn);
 	} while (zone_span_seqretry(zone, seq));
 
 	if (ret)
_