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 Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id BE019C433F5 for ; Wed, 16 Feb 2022 13:05:48 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 1AFED6B0074; Wed, 16 Feb 2022 08:05:48 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 1396E6B0078; Wed, 16 Feb 2022 08:05:48 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id F1BAB6B007B; Wed, 16 Feb 2022 08:05:47 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0098.hostedemail.com [216.40.44.98]) by kanga.kvack.org (Postfix) with ESMTP id DED9D6B0074 for ; Wed, 16 Feb 2022 08:05:47 -0500 (EST) Received: from smtpin27.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay02.hostedemail.com (Postfix) with ESMTP id 92DDE93D7F for ; Wed, 16 Feb 2022 13:05:47 +0000 (UTC) X-FDA: 79148665134.27.B3DAA17 Received: from outbound-smtp35.blacknight.com (outbound-smtp35.blacknight.com [46.22.139.218]) by imf13.hostedemail.com (Postfix) with ESMTP id D9C742000C for ; Wed, 16 Feb 2022 13:05:46 +0000 (UTC) Received: from mail.blacknight.com (pemlinmail05.blacknight.ie [81.17.254.26]) by outbound-smtp35.blacknight.com (Postfix) with ESMTPS id 4CA2E2043 for ; Wed, 16 Feb 2022 13:05:45 +0000 (GMT) Received: (qmail 28902 invoked from network); 16 Feb 2022 13:05:45 -0000 Received: from unknown (HELO techsingularity.net) (mgorman@techsingularity.net@[84.203.17.223]) by 81.17.254.9 with ESMTPSA (AES256-SHA encrypted, authenticated); 16 Feb 2022 13:05:44 -0000 Date: Wed, 16 Feb 2022 13:05:43 +0000 From: Mel Gorman To: Vlastimil Babka Cc: Andrew Morton , Aaron Lu , Dave Hansen , Michal Hocko , Jesper Dangaard Brouer , LKML , Linux-MM Subject: Re: [PATCH 2/5] mm/page_alloc: Track range of active PCP lists during bulk free Message-ID: <20220216130542.GT3366@techsingularity.net> References: <20220215145111.27082-1-mgorman@techsingularity.net> <20220215145111.27082-3-mgorman@techsingularity.net> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.10.1 (2018-07-13) X-Rspamd-Server: rspam09 X-Rspamd-Queue-Id: D9C742000C X-Rspam-User: Authentication-Results: imf13.hostedemail.com; dkim=none; spf=pass (imf13.hostedemail.com: domain of mgorman@techsingularity.net designates 46.22.139.218 as permitted sender) smtp.mailfrom=mgorman@techsingularity.net; dmarc=none X-Stat-Signature: p9ajmam7eksiy4e8xps1ffx8urzi6q7w X-HE-Tag: 1645016746-261520 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On Wed, Feb 16, 2022 at 01:02:01PM +0100, Vlastimil Babka wrote: > On 2/15/22 15:51, Mel Gorman wrote: > > free_pcppages_bulk() frees pages in a round-robin fashion. Originally, > > this was dealing only with migratetypes but storing high-order pages > > means that there can be many more empty lists that are uselessly > > checked. Track the minimum and maximum active pindex to reduce the > > search space. > > > > Signed-off-by: Mel Gorman > > --- > > mm/page_alloc.c | 13 +++++++++++-- > > 1 file changed, 11 insertions(+), 2 deletions(-) > > > > diff --git a/mm/page_alloc.c b/mm/page_alloc.c > > index 08de32cfd9bb..c5110fdeb115 100644 > > --- a/mm/page_alloc.c > > +++ b/mm/page_alloc.c > > @@ -1450,6 +1450,8 @@ static void free_pcppages_bulk(struct zone *zone, int count, > > struct per_cpu_pages *pcp) > > { > > int pindex = 0; > > + int min_pindex = 0; > > + int max_pindex = NR_PCP_LISTS - 1; > > int batch_free = 0; > > int nr_freed = 0; > > unsigned int order; > > @@ -1478,10 +1480,17 @@ static void free_pcppages_bulk(struct zone *zone, int count, > > if (++pindex == NR_PCP_LISTS) > > Hmm, so in the very first iteration at this point pindex is already 1. This > looks odd even before the patch, as order 0 MIGRATE_UNMOVABLE list is only > processed after all the higher orders? > Yes and this was the behaviour before and after. I don't recall why. It might have been to preserve UNMOVABLE pages but after the series is finished, the reasoning is weak. I'll add a specific check. > > pindex = 0; > > Also shouldn't this wrap-around check also use min_index/max_index instead > of NR_PCP_LISTS and 0? > Yes, it should and it's a rebasing error from an earlier prototype that I missed. I'll fix it. > > list = &pcp->lists[pindex]; > > - } while (list_empty(list)); > > + if (!list_empty(list)) > > + break; > > + > > + if (pindex == max_pindex) > > + max_pindex--; > > + if (pindex == min_pindex) > > So with pindex 1 and min_pindex == 0 this will not trigger until > (eventually) the first pindex wrap around, which seems suboptimal. But I can > see the later patches change things substantially anyway so it may be moot... > It could potentially be more optimal but at the cost of complexity which I wanted to avoid in this path as much as possible. Initialising min_pindex == pindex could result in an infinite loop if the lower lists need to be cleared. -- Mel Gorman SUSE Labs