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.6 required=3.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,INCLUDES_PATCH,MAILING_LIST_MULTI,SPF_PASS,USER_AGENT_MUTT autolearn=ham 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 4E7D4C43387 for ; Thu, 20 Dec 2018 14:39:44 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 12D8D21852 for ; Thu, 20 Dec 2018 14:39:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1545316784; bh=Xewd2YtjwibjW4S36DJXonGOYp7YzJfxvVgYQB50fcg=; h=Date:From:To:Cc:Subject:References:In-Reply-To:List-ID:From; b=SkG+wGYOT+QxB3SL19esQyffclQZ3x0g3G/uUoFlnRwHXnw/GlNoCsbF5iFMmGjwh HdSZ2nnQcxA+tXciEBDFuHwwpS0eL+N53iXe4IDM/WqqSibn1+TM/nLgcUYdoNdi57 T5iOW/wRng9Muz8KyP0e6y7Si5Bo0eaQtl5mJRUk= Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2387680AbeLTOjn (ORCPT ); Thu, 20 Dec 2018 09:39:43 -0500 Received: from mx2.suse.de ([195.135.220.15]:49270 "EHLO mx1.suse.de" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1731493AbeLTOjm (ORCPT ); Thu, 20 Dec 2018 09:39:42 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx1.suse.de (Postfix) with ESMTP id B5760AF0D; Thu, 20 Dec 2018 14:39:40 +0000 (UTC) Date: Thu, 20 Dec 2018 15:39:39 +0100 From: Michal Hocko To: Oscar Salvador Cc: Wei Yang , akpm@linux-foundation.org, vbabka@suse.cz, pavel.tatashin@microsoft.com, rppt@linux.vnet.ibm.com, linux-mm@kvack.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH v2] mm, page_alloc: Fix has_unmovable_pages for HugePages Message-ID: <20181220143939.GA6210@dhcp22.suse.cz> References: <20181217225113.17864-1-osalvador@suse.de> <20181219142528.yx6ravdyzcqp5wtd@master> <20181219233914.2fxe26pih26ifvmt@d104.suse.de> <20181220091228.GB14234@dhcp22.suse.cz> <20181220124925.itwuuacgztpgsk7s@d104.suse.de> <20181220130606.GG9104@dhcp22.suse.cz> <20181220134132.6ynretwlndmyupml@d104.suse.de> <20181220142124.r34fnuv6b33luj5a@d104.suse.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20181220142124.r34fnuv6b33luj5a@d104.suse.de> User-Agent: Mutt/1.10.1 (2018-07-13) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu 20-12-18 15:21:27, Oscar Salvador wrote: > On Thu, Dec 20, 2018 at 02:41:32PM +0100, Oscar Salvador wrote: > > On Thu, Dec 20, 2018 at 02:06:06PM +0100, Michal Hocko wrote: > > > You did want iter += skip_pages - 1 here right? > > > > Bleh, yeah. > > I am taking vacation today so my brain has left me hours ago, sorry. > > Should be: > > > > diff --git a/mm/page_alloc.c b/mm/page_alloc.c > > index 4812287e56a0..0634fbdef078 100644 > > --- a/mm/page_alloc.c > > +++ b/mm/page_alloc.c > > @@ -8094,7 +8094,7 @@ bool has_unmovable_pages(struct zone *zone, struct page *page, int count, > > goto unmovable; > > > > skip_pages = (1 << compound_order(head)) - (page - head); > > - iter = round_up(iter + 1, skip_pages) - 1; > > + iter += skip_pages - 1; > > continue; > > } > > On a second thought, I think it should not really matter. > > AFAICS, we can have these scenarios: > > 1) the head page is the first page in the pabeblock > 2) first page in the pageblock is not a head but part of a hugepage > 3) the head is somewhere within the pageblock > > For cases 1) and 3), iter will just get the right value and we will > break the loop afterwards. > > In case 2), iter will be set to a value to skip over the remaining pages. > > I am assuming that hugepages are allocated and packed together. > > Note that I am not against the change, but I just wanted to see if there is > something I am missing. Yes, you are missing that this code should be as sane as possible ;) You are right that we are only processing one pageorder worth of pfns and that the page order is bound to HUGETLB_PAGE_ORDER _right_now_. But there is absolutely zero reason to hardcode that assumption into a simple loop, right? -- Michal Hocko SUSE Labs