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=-5.8 required=3.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS autolearn=no 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 6184CC433E0 for ; Thu, 18 Feb 2021 15:04:15 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id 0948964EAF for ; Thu, 18 Feb 2021 15:04:13 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231955AbhBRPDp (ORCPT ); Thu, 18 Feb 2021 10:03:45 -0500 Received: from mx2.suse.de ([195.135.220.15]:35714 "EHLO mx2.suse.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S232119AbhBRMxq (ORCPT ); Thu, 18 Feb 2021 07:53:46 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.com; s=susede1; t=1613652765; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=my7Llvrq4fVu5U4ytT0HWufvyvA3sg6mSRU0ZcpXfMk=; b=lq1e6GlxqqQOwkGrgILpNZyyk4ZcCqyTqKsUuqrd4A7/PG+rF9zLpt2c8n2jE7yWA1TytV AnygHSvglydRiAV+fxNpBPVo5NcY8gqlbtUzLLu3CbgwTuLyn1mZLne0+1JkfWH4lLCpS4 Qemt6aycGuU9agUx4tklwXWiUrqpU5I= Received: from relay2.suse.de (unknown [195.135.221.27]) by mx2.suse.de (Postfix) with ESMTP id 26511AD78; Thu, 18 Feb 2021 12:52:45 +0000 (UTC) Date: Thu, 18 Feb 2021 13:52:38 +0100 From: Michal Hocko To: Oscar Salvador Cc: Andrew Morton , Mike Kravetz , David Hildenbrand , Muchun Song , linux-mm@kvack.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH 1/2] mm: Make alloc_contig_range handle free hugetlb pages Message-ID: References: <20210217100816.28860-1-osalvador@suse.de> <20210217100816.28860-2-osalvador@suse.de> <20210218100917.GA4842@localhost.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20210218100917.GA4842@localhost.localdomain> Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu 18-02-21 11:09:17, Oscar Salvador wrote: > On Wed, Feb 17, 2021 at 04:00:11PM +0100, Michal Hocko wrote: > > Is this really necessary? dissolve_free_huge_page will take care of this > > and the race windown you are covering is really tiny. > > Probably not, I was trying to shrink to race window as much as possible > but the call to dissolve_free_huge_page might be enough. > > > > + nid = page_to_nid(page); > > > + spin_unlock(&hugetlb_lock); > > > + > > > + /* > > > + * Before dissolving the page, we need to allocate a new one, > > > + * so the pool remains stable. > > > + */ > > > + new_page = alloc_fresh_huge_page(h, gfp_mask, nid, nmask, NULL); > > > > wrt. fallback to other zones, I haven't realized that the primary > > usecase is a form of memory offlining (from virt-mem). I am not yet sure > > what the proper behavior is in that case but if breaking hugetlb pools, > > similar to the normal hotplug operation, is viable then this needs a > > special mode. We do not want a random alloc_contig_range user to do the > > same. So for starter I would go with __GFP_THISNODE here. > > Ok, makes sense. > __GFP_THISNODE will not allow fallback to other node's zones. > Since we only allow the nid the page belongs to, nodemask should be > NULL, right? I would have to double check because hugetlb has a slightly different expectations from nodemask than the page allocator. The later translates that to all possible nodes but hugetlb API tries to dereference nodes. Maybe THIS node special cases it somewhere. > > > + if (!h) > > > + /* > > > + * The page might have been dissolved from under our feet. > > > + * If that is the case, return success as if we dissolved it > > > + * ourselves. > > > + */ > > > + return true; > > > > nit I would put the comment above the conditin for both cases. It reads > > more easily that way. At least without { }. > > Yes, makes sense. > > > Other than that I haven't noticed any surprises. > > I did. The 'put_page' call should be placed above, right after getting > the page. Otherwise, refcount == 1 and we will fail to dissolve the > new page if we need to (in case old page fails to be dissolved). > I already fixed that locally. I am not sure I follow. newly allocated pages is unreferenced unconditionally and the old page is not referenced by this path. -- Michal Hocko SUSE Labs