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=-20.0 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, INCLUDES_CR_TRAILER,INCLUDES_PATCH,MAILING_LIST_MULTI,NICE_REPLY_A, SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 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 B4EC5C433EF for ; Mon, 6 Sep 2021 12:11:18 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 5C5D060C3E for ; Mon, 6 Sep 2021 12:11:18 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.4.1 mail.kernel.org 5C5D060C3E Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=redhat.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=kvack.org Received: by kanga.kvack.org (Postfix) id EE6986B0072; Mon, 6 Sep 2021 08:11:17 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id E96666B0073; Mon, 6 Sep 2021 08:11:17 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id D1ADE900002; Mon, 6 Sep 2021 08:11:17 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0074.hostedemail.com [216.40.44.74]) by kanga.kvack.org (Postfix) with ESMTP id C23B36B0072 for ; Mon, 6 Sep 2021 08:11:17 -0400 (EDT) Received: from smtpin23.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay03.hostedemail.com (Postfix) with ESMTP id 82F5F8249980 for ; Mon, 6 Sep 2021 12:11:17 +0000 (UTC) X-FDA: 78557033394.23.05C8747 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by imf19.hostedemail.com (Postfix) with ESMTP id 28138B0000BA for ; Mon, 6 Sep 2021 12:11:17 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1630930276; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=C/0cBLFiznJ6Fvq3kXjYhjOOMH40oHjozjc2X00+//g=; b=XF1XvtGeuetbO9jdyKjRkDBxQMDfyyabOB9IssYpZuDaXquFT1uNimRM/Mlxc7rzNEDRRJ m9h1uI0WBx2pjHT/CP8GeZanZrP7W4zJ4XJAryzHfaV9pau5whECrTMWJFFZHtKeRJqtP1 yvy49eZ/mTZYXdqpGmpL4kqBYBZXEi8= Received: from mail-wr1-f69.google.com (mail-wr1-f69.google.com [209.85.221.69]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-160-Qy1zmM7dPtKus80RAfZSMg-1; Mon, 06 Sep 2021 08:11:15 -0400 X-MC-Unique: Qy1zmM7dPtKus80RAfZSMg-1 Received: by mail-wr1-f69.google.com with SMTP id z16-20020adfdf90000000b00159083b5966so1140345wrl.23 for ; Mon, 06 Sep 2021 05:11:15 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:from:to:cc:references:organization :message-id:date:user-agent:mime-version:in-reply-to :content-language:content-transfer-encoding; bh=C/0cBLFiznJ6Fvq3kXjYhjOOMH40oHjozjc2X00+//g=; b=UgXLRca2ztha569mWQEyHwkEOEQpV1gsbHLaXTyNNNESyjNYiBC2fjfEKMJhqLMAT8 gDOqviqTNDINN0xi5cJBoaNqewAsPs5Of8m0QZDol1rjcjX16AixfzLxwgPWlq9532D6 Fk+2Js3ehv8pGLvSL/T+1DqhLIDGTc/kjnR1X8ELsTDIK7zexxQjrLg/SfyTa8aEiyjG GOw+s2luD0RaOHoFVlVkhaBJcg9RqrU3Uqmoa7by6t60KaLVTF+ndv0esUea1JHoqhJ1 joPb0juK+2LwFF3dL4SPeR9nZRGRqci1e5c1TB+Q5bQnhS42Ty5k4wyfgEd723i0gs4S UcSQ== X-Gm-Message-State: AOAM533hs4ih/yU/rc7h3q7P2HDhZz8H6QfCIJsQ6CxXgJzT74mPhrMB mf5COPQo2nidkpkNJLbCW/zjM5PpdpssVxM8CwgQ819hKMiDu5BiBpjbh+mHs3DwzdPNaLCddHh nUrKE4LEsDTI= X-Received: by 2002:a05:600c:898:: with SMTP id l24mr10951976wmp.90.1630930274565; Mon, 06 Sep 2021 05:11:14 -0700 (PDT) X-Google-Smtp-Source: ABdhPJwfgI+rbNP4kbdReXP9uYukFckJDkLN9KYAWm+fMHx9wqmCPrtIt37vru3RhAYnpwKpU+3Q1Q== X-Received: by 2002:a05:600c:898:: with SMTP id l24mr10951958wmp.90.1630930274409; Mon, 06 Sep 2021 05:11:14 -0700 (PDT) Received: from [192.168.3.132] (p5b0c6323.dip0.t-ipconnect.de. [91.12.99.35]) by smtp.gmail.com with ESMTPSA id a10sm7117098wmj.44.2021.09.06.05.11.13 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 06 Sep 2021 05:11:14 -0700 (PDT) Subject: Re: [PATCH] mm/page_isolation: don't putback unisolated page From: David Hildenbrand To: Miaohe Lin , akpm@linux-foundation.org Cc: vbabka@suse.cz, iamjoonsoo.kim@lge.com, linux-mm@kvack.org, linux-kernel@vger.kernel.org References: <20210904091839.20270-1-linmiaohe@huawei.com> <3b36529f-ab97-ddfe-0407-66f0cd1fd38d@redhat.com> Organization: Red Hat Message-ID: <2d06db75-5c26-8fe2-6883-ac99056a9894@redhat.com> Date: Mon, 6 Sep 2021 14:11:13 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 MIME-Version: 1.0 In-Reply-To: <3b36529f-ab97-ddfe-0407-66f0cd1fd38d@redhat.com> X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit Authentication-Results: imf19.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b=XF1XvtGe; spf=none (imf19.hostedemail.com: domain of david@redhat.com has no SPF policy when checking 170.10.133.124) smtp.mailfrom=david@redhat.com; dmarc=pass (policy=none) header.from=redhat.com X-Stat-Signature: npyxd8zh1511rapmef6q61r9mppomidz X-Rspamd-Queue-Id: 28138B0000BA X-Rspamd-Server: rspam04 X-HE-Tag: 1630930277-534198 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 06.09.21 14:02, David Hildenbrand wrote: > On 04.09.21 11:18, Miaohe Lin wrote: >> If __isolate_free_page() failed, due to zone watermark check, the page is >> still on the free list. But this page will be put back to free list again >> via __putback_isolated_page() now. This may trigger page->flags checks in >> __free_one_page() if PageReported is set. Or we will corrupt the free list >> because list_add() will be called for pages already on another list. >> >> Fixes: 3c605096d315 ("mm/page_alloc: restrict max order of merging on isolated pageblock") >> Signed-off-by: Miaohe Lin >> --- >> mm/page_isolation.c | 6 ++---- >> 1 file changed, 2 insertions(+), 4 deletions(-) >> >> diff --git a/mm/page_isolation.c b/mm/page_isolation.c >> index 9bb562d5d194..7d70d772525c 100644 >> --- a/mm/page_isolation.c >> +++ b/mm/page_isolation.c >> @@ -93,10 +93,8 @@ static void unset_migratetype_isolate(struct page *page, unsigned migratetype) >> buddy_pfn = __find_buddy_pfn(pfn, order); >> buddy = page + (buddy_pfn - pfn); >> >> - if (!is_migrate_isolate_page(buddy)) { >> - __isolate_free_page(page, order); >> - isolated_page = true; >> - } >> + if (!is_migrate_isolate_page(buddy)) >> + isolated_page = !!__isolate_free_page(page, order); >> } >> } >> >> > > Thanks! > > Reviewed-by: David Hildenbrand > To make the confusion perfect (sorry) :D I tripple-checked: In unset_migratetype_isolate() we check that is_migrate_isolate_page(page) holds, otherwise we return. We call __isolate_free_page() only for such pages. __isolate_free_page() won't perform watermark checks on is_migrate_isolate(). Consequently, __isolate_free_page() should never fail when called from unset_migratetype_isolate() If that's correct then we could instead maybe add a VM_BUG_ON() and a comment why this can't fail. Makes sense or am I missing something? -- Thanks, David / dhildenb