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 B9C11ECAAD8 for ; Wed, 14 Sep 2022 01:47:37 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 26A0D6B0074; Tue, 13 Sep 2022 21:47:37 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 219446B0075; Tue, 13 Sep 2022 21:47:37 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 06CEA8D0001; Tue, 13 Sep 2022 21:47:37 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0017.hostedemail.com [216.40.44.17]) by kanga.kvack.org (Postfix) with ESMTP id EB58C6B0074 for ; Tue, 13 Sep 2022 21:47:36 -0400 (EDT) Received: from smtpin06.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay06.hostedemail.com (Postfix) with ESMTP id BEC70AAF04 for ; Wed, 14 Sep 2022 01:47:36 +0000 (UTC) X-FDA: 79909004112.06.3B62010 Received: from mail-qt1-f179.google.com (mail-qt1-f179.google.com [209.85.160.179]) by imf15.hostedemail.com (Postfix) with ESMTP id 6DDA2A009E for ; Wed, 14 Sep 2022 01:47:36 +0000 (UTC) Received: by mail-qt1-f179.google.com with SMTP id f26so7666854qto.11 for ; Tue, 13 Sep 2022 18:47:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date; bh=lv2EW+YacMZIkto1FE/PYwGOrvQSc+gb1r7/5hGU0G0=; b=TlZ3UcwrCRVJ9pCoGwD1LClQHtJn3rO/rK+G/QPpv7Iu450TbP3yyF/PpJ4KoZNrhQ MmL6onngYB0QP2mJdhcNTmGqWKUOPLACrE9O5OtB6dSh2aJdstveTWv4gNubvVWpg8vw PayjyN6ouB+jZ2nwTv0I7xI9lIH9sP7IVvKi69tNQPm52gxCKiHC7d+jvEcV/O8SUEoF QpwR0VU+gqSP1sAKgmFxOt0GVo2jLbkMDJ8sUY5mET0nvSGhlbC7R7yCmSKPDpvsOJWa Be9JG32+StkF8qKPF4YcvzoSKp7S7iFh33nCmYmj/9JhsWnJP629KJ2nHlFm8+ITecAs 6l5Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date; bh=lv2EW+YacMZIkto1FE/PYwGOrvQSc+gb1r7/5hGU0G0=; b=TN8HX6RCxCiDjPrKgNTrqIsfZgm3aat2u63TfIRFcy9hsmTsIGEBCLgO5VCd2Qr3Nz fIZWh51uwwgMvNN+JydQhXomMgobUEZ+xFN5D0GUROWWm9h/SMkj8UHSxRgLsCyqo1pE LZE1Pkn7dmzgOUeinieRhuWIBqXigyDSX03ATN7jhK+DZwPXxoO9StwxNTwTBPuuqIiQ tjEERDXlTsMPgaGX8j/LFIs1ea8BTIylsetna3XS7yG9GnPSaDytSpcx2iKRJLMQjcd2 lATl/HyTU+wSNEWIt4s2mYaPk66Mo85os2jQPUDfO19xzsOiDeiJgb2gQRNMctAUPoiR ocYw== X-Gm-Message-State: ACgBeo3BCjANm9gPcKIwRwf0lX91bvTjOMsbZZxxppP2aCQ96GT/EBSl DhLZgdGtRnXeTWSEKN5IEaM= X-Google-Smtp-Source: AA6agR5/ARbK8GmDsBpbL8RdUGd5l6J49PKHvveP4jC/Fqd9EbN3SJJibX+VppUHEHcbs2H34KZRHQ== X-Received: by 2002:a05:622a:38a:b0:344:aac4:780e with SMTP id j10-20020a05622a038a00b00344aac4780emr31539539qtx.151.1663120055623; Tue, 13 Sep 2022 18:47:35 -0700 (PDT) Received: from [10.69.40.226] ([192.19.223.252]) by smtp.gmail.com with ESMTPSA id m12-20020ac866cc000000b0035bbc29b3c9sm713967qtp.60.2022.09.13.18.47.31 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 13 Sep 2022 18:47:34 -0700 (PDT) Message-ID: <6b465dd1-f5b1-cb6c-cee0-5461b66f6031@gmail.com> Date: Tue, 13 Sep 2022 18:47:30 -0700 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.1.2 Subject: Re: [PATCH 01/21] mm/page_isolation: protect cma from isolate_single_pageblock Content-Language: en-US To: Zi Yan Cc: Andrew Morton , Jonathan Corbet , Rob Herring , Krzysztof Kozlowski , Frank Rowand , Mike Kravetz , Muchun Song , Mike Rapoport , Christoph Hellwig , Marek Szyprowski , Robin Murphy , Borislav Petkov , "Paul E. McKenney" , Neeraj Upadhyay , Randy Dunlap , Damien Le Moal , Florian Fainelli , David Hildenbrand , Oscar Salvador , Hari Bathini , Kees Cook , - , KOSAKI Motohiro , Mel Gorman , linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, devicetree@vger.kernel.org, linux-mm@kvack.org, iommu@lists.linux.dev References: <20220913195508.3511038-1-opendmb@gmail.com> <20220913195508.3511038-2-opendmb@gmail.com> <36E322BF-F052-4A8B-9FA5-4E0AA84E4AAF@nvidia.com> <71D040CB-0E26-4CD3-9121-54D740F24594@nvidia.com> From: Doug Berger In-Reply-To: <71D040CB-0E26-4CD3-9121-54D740F24594@nvidia.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit ARC-Authentication-Results: i=1; imf15.hostedemail.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=TlZ3Ucwr; spf=pass (imf15.hostedemail.com: domain of opendmb@gmail.com designates 209.85.160.179 as permitted sender) smtp.mailfrom=opendmb@gmail.com; dmarc=pass (policy=none) header.from=gmail.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1663120056; a=rsa-sha256; cv=none; b=iKgZLW9+NYa284ibEr9emDloPfkFWgpr6GexE4r74OJ2dzbHK8zkQboaQcUSPe948V6CjZ adA9USxZAhV6qUcoKhUkMmv1sk1WjQuC9dxAtM04akYAXY0+IK9Vj4YrmxH5AAIqMPxXzs JcjpZT4Ke+U+39kRv1qkmvPQH8kdrX0= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1663120056; h=from:from:sender: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:dkim-signature; bh=lv2EW+YacMZIkto1FE/PYwGOrvQSc+gb1r7/5hGU0G0=; b=0NCmRC9ufCRxPdQxRxCR2ILh8kWHjy9+p5rihZOJVQc0iwIIYfCHUw5vs9H6Qg62UEbQHl ErrdCSVVXLmQpISsjM0MyPQlcClEoVvO/170yrrBpLeC73YLkMb+Gg6GKxWz02lqn6geQS YyK54PUDrmBND5noV0Ia3QO5SoS/9AM= X-Rspam-User: X-Stat-Signature: m36jtu1qk8hmu7yupetxjnuyk83ihx1c X-Rspamd-Queue-Id: 6DDA2A009E X-Rspamd-Server: rspam05 Authentication-Results: imf15.hostedemail.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=TlZ3Ucwr; spf=pass (imf15.hostedemail.com: domain of opendmb@gmail.com designates 209.85.160.179 as permitted sender) smtp.mailfrom=opendmb@gmail.com; dmarc=pass (policy=none) header.from=gmail.com X-HE-Tag: 1663120056-470636 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 9/13/2022 6:09 PM, Zi Yan wrote: > On 13 Sep 2022, at 20:59, Doug Berger wrote: > >> On 9/13/2022 5:02 PM, Zi Yan wrote: >>> On 13 Sep 2022, at 15:54, Doug Berger wrote: >>> >>>> The function set_migratetype_isolate() has special handling for >>>> pageblocks of MIGRATE_CMA type that protects them from being >>>> isolated for MIGRATE_MOVABLE requests. >>>> >>>> Since isolate_single_pageblock() doesn't receive the migratetype >>>> argument of start_isolate_page_range() it used the migratetype >>>> of the pageblock instead of the requested migratetype which >>>> defeats this MIGRATE_CMA check. >>>> >>>> This allows an attempt to create a gigantic page within a CMA >>>> region to change the migratetype of the first and last pageblocks >>>> from MIGRATE_CMA to MIGRATE_MOVABLE when they are restored after >>>> failure, which corrupts the CMA region. >>>> >>>> The calls to (un)set_migratetype_isolate() for the first and last >>>> pageblocks of the start_isolate_page_range() are moved back into >>>> that function to allow access to its migratetype argument and make >>>> it easier to see how all of the pageblocks in the range are >>>> isolated. >>>> >>>> Fixes: b2c9e2fbba32 ("mm: make alloc_contig_range work at pageblock granularity") >>>> Signed-off-by: Doug Berger >>>> --- >>>> mm/page_isolation.c | 75 +++++++++++++++++++++------------------------ >>>> 1 file changed, 35 insertions(+), 40 deletions(-) >>> >>> Thanks for the fix. >> Thanks for the review. >> >>> >>> Why not just pass migratetype into isolate_single_pageblock() and use >>> it when set_migratetype_isolate() is used? That would have much >>> fewer changes. What is the reason of pulling skip isolation logic out? >> I found the skip_isolation logic confusing and thought that setting and restoring the migratetype within the same function and consolidating the error recovery paths also within that function was easier to understand and less prone to accidental breakage. >> >> In particular, setting MIGRATE_ISOLATE in isolate_single_pageblock() and having to remember to unset it in start_isolate_page_range() differently on different error paths was troublesome for me. > > Wouldn't this work as well? > > diff --git a/mm/page_isolation.c b/mm/page_isolation.c > index c1307d1bea81..a312cabd0d95 100644 > --- a/mm/page_isolation.c > +++ b/mm/page_isolation.c > @@ -288,6 +288,7 @@ __first_valid_page(unsigned long pfn, unsigned long nr_pages) > * @isolate_before: isolate the pageblock before the boundary_pfn > * @skip_isolation: the flag to skip the pageblock isolation in second > * isolate_single_pageblock() > + * @migratetype: Migrate type to set in error recovery. > * > * Free and in-use pages can be as big as MAX_ORDER and contain more than one > * pageblock. When not all pageblocks within a page are isolated at the same > @@ -302,9 +303,9 @@ __first_valid_page(unsigned long pfn, unsigned long nr_pages) > * the in-use page then splitting the free page. > */ > static int isolate_single_pageblock(unsigned long boundary_pfn, int flags, > - gfp_t gfp_flags, bool isolate_before, bool skip_isolation) > + gfp_t gfp_flags, bool isolate_before, bool skip_isolation, > + int migratetype) > { > - unsigned char saved_mt; > unsigned long start_pfn; > unsigned long isolate_pageblock; > unsigned long pfn; > @@ -328,12 +329,10 @@ static int isolate_single_pageblock(unsigned long boundary_pfn, int flags, > start_pfn = max(ALIGN_DOWN(isolate_pageblock, MAX_ORDER_NR_PAGES), > zone->zone_start_pfn); > > - saved_mt = get_pageblock_migratetype(pfn_to_page(isolate_pageblock)); > - > if (skip_isolation) > - VM_BUG_ON(!is_migrate_isolate(saved_mt)); > + VM_BUG_ON(!is_migrate_isolate(get_pageblock_migratetype(pfn_to_page(isolate_pageblock)))); > else { > - ret = set_migratetype_isolate(pfn_to_page(isolate_pageblock), saved_mt, flags, > + ret = set_migratetype_isolate(pfn_to_page(isolate_pageblock), migratetype, flags, > isolate_pageblock, isolate_pageblock + pageblock_nr_pages); > > if (ret) > @@ -475,7 +474,7 @@ static int isolate_single_pageblock(unsigned long boundary_pfn, int flags, > failed: > /* restore the original migratetype */ > if (!skip_isolation) > - unset_migratetype_isolate(pfn_to_page(isolate_pageblock), saved_mt); > + unset_migratetype_isolate(pfn_to_page(isolate_pageblock), migratetype); > return -EBUSY; > } > > @@ -537,7 +536,8 @@ int start_isolate_page_range(unsigned long start_pfn, unsigned long end_pfn, > bool skip_isolation = false; > > /* isolate [isolate_start, isolate_start + pageblock_nr_pages) pageblock */ > - ret = isolate_single_pageblock(isolate_start, flags, gfp_flags, false, skip_isolation); > + ret = isolate_single_pageblock(isolate_start, flags, gfp_flags, false, > + skip_isolation, migratetype); > if (ret) > return ret; > > @@ -545,7 +545,8 @@ int start_isolate_page_range(unsigned long start_pfn, unsigned long end_pfn, > skip_isolation = true; > > /* isolate [isolate_end - pageblock_nr_pages, isolate_end) pageblock */ > - ret = isolate_single_pageblock(isolate_end, flags, gfp_flags, true, skip_isolation); > + ret = isolate_single_pageblock(isolate_end, flags, gfp_flags, true, > + skip_isolation, migratetype); > if (ret) { > unset_migratetype_isolate(pfn_to_page(isolate_start), migratetype); > return ret; > I would expect this to work as well, but it is not my preference. >> >> It could certainly be done differently, but this was my preference. > > A smaller patch can make review easier, right? It certainly can. Especially when it is for code that you are familiar with ;). I am happy to have you submit a patch to fix this issue and submit it to stable for backporting. Fixing the issue is what's important to me. > >>> >>> Ultimately, I would like to make MIGRATE_ISOLATE a separate bit, >>> so that migratetype will not be overwritten during page isolation. >>> Then, set_migratetype_isolate() and start_isolate_page_range() >>> will not have migratetype to set in error recovery any more. >>> That is on my TODO. >>> >>>> >>>> diff --git a/mm/page_isolation.c b/mm/page_isolation.c >>>> index 9d73dc38e3d7..8e16aa22cb61 100644 >>>> --- a/mm/page_isolation.c >>>> +++ b/mm/page_isolation.c >>>> @@ -286,8 +286,6 @@ __first_valid_page(unsigned long pfn, unsigned long nr_pages) >>>> * @flags: isolation flags >>>> * @gfp_flags: GFP flags used for migrating pages >>>> * @isolate_before: isolate the pageblock before the boundary_pfn >>>> - * @skip_isolation: the flag to skip the pageblock isolation in second >>>> - * isolate_single_pageblock() >>>> * >>>> * Free and in-use pages can be as big as MAX_ORDER-1 and contain more than one >>>> * pageblock. When not all pageblocks within a page are isolated at the same >>>> @@ -302,9 +300,8 @@ __first_valid_page(unsigned long pfn, unsigned long nr_pages) >>>> * the in-use page then splitting the free page. >>>> */ >>>> static int isolate_single_pageblock(unsigned long boundary_pfn, int flags, >>>> - gfp_t gfp_flags, bool isolate_before, bool skip_isolation) >>>> + gfp_t gfp_flags, bool isolate_before) >>>> { >>>> - unsigned char saved_mt; >>>> unsigned long start_pfn; >>>> unsigned long isolate_pageblock; >>>> unsigned long pfn; >>>> @@ -328,18 +325,6 @@ static int isolate_single_pageblock(unsigned long boundary_pfn, int flags, >>>> start_pfn = max(ALIGN_DOWN(isolate_pageblock, MAX_ORDER_NR_PAGES), >>>> zone->zone_start_pfn); >>>> >>>> - saved_mt = get_pageblock_migratetype(pfn_to_page(isolate_pageblock)); >>>> - >>>> - if (skip_isolation) >>>> - VM_BUG_ON(!is_migrate_isolate(saved_mt)); >>>> - else { >>>> - ret = set_migratetype_isolate(pfn_to_page(isolate_pageblock), saved_mt, flags, >>>> - isolate_pageblock, isolate_pageblock + pageblock_nr_pages); >>>> - >>>> - if (ret) >>>> - return ret; >>>> - } >>>> - >>>> /* >>>> * Bail out early when the to-be-isolated pageblock does not form >>>> * a free or in-use page across boundary_pfn: >>>> @@ -428,7 +413,7 @@ static int isolate_single_pageblock(unsigned long boundary_pfn, int flags, >>>> ret = set_migratetype_isolate(page, page_mt, >>>> flags, head_pfn, head_pfn + nr_pages); >>>> if (ret) >>>> - goto failed; >>>> + return ret; >>>> } >>>> >>>> ret = __alloc_contig_migrate_range(&cc, head_pfn, >>>> @@ -443,7 +428,7 @@ static int isolate_single_pageblock(unsigned long boundary_pfn, int flags, >>>> unset_migratetype_isolate(page, page_mt); >>>> >>>> if (ret) >>>> - goto failed; >>>> + return -EBUSY; >>>> /* >>>> * reset pfn to the head of the free page, so >>>> * that the free page handling code above can split >>>> @@ -459,24 +444,19 @@ static int isolate_single_pageblock(unsigned long boundary_pfn, int flags, >>>> while (!PageBuddy(pfn_to_page(outer_pfn))) { >>>> /* stop if we cannot find the free page */ >>>> if (++order >= MAX_ORDER) >>>> - goto failed; >>>> + return -EBUSY; >>>> outer_pfn &= ~0UL << order; >>>> } >>>> pfn = outer_pfn; >>>> continue; >>>> } else >>>> #endif >>>> - goto failed; >>>> + return -EBUSY; >>>> } >>>> >>>> pfn++; >>>> } >>>> return 0; >>>> -failed: >>>> - /* restore the original migratetype */ >>>> - if (!skip_isolation) >>>> - unset_migratetype_isolate(pfn_to_page(isolate_pageblock), saved_mt); >>>> - return -EBUSY; >>>> } >>>> >>>> /** >>>> @@ -534,21 +514,30 @@ int start_isolate_page_range(unsigned long start_pfn, unsigned long end_pfn, >>>> unsigned long isolate_start = ALIGN_DOWN(start_pfn, pageblock_nr_pages); >>>> unsigned long isolate_end = ALIGN(end_pfn, pageblock_nr_pages); >>>> int ret; >>>> - bool skip_isolation = false; >>>> >>>> /* isolate [isolate_start, isolate_start + pageblock_nr_pages) pageblock */ >>>> - ret = isolate_single_pageblock(isolate_start, flags, gfp_flags, false, skip_isolation); >>>> + ret = set_migratetype_isolate(pfn_to_page(isolate_start), migratetype, >>>> + flags, isolate_start, isolate_start + pageblock_nr_pages); >>>> if (ret) >>>> return ret; >>>> - >>>> - if (isolate_start == isolate_end - pageblock_nr_pages) >>>> - skip_isolation = true; >>>> + ret = isolate_single_pageblock(isolate_start, flags, gfp_flags, false); >>>> + if (ret) >>>> + goto unset_start_block; >>>> >>>> /* isolate [isolate_end - pageblock_nr_pages, isolate_end) pageblock */ >>>> - ret = isolate_single_pageblock(isolate_end, flags, gfp_flags, true, skip_isolation); >>>> + pfn = isolate_end - pageblock_nr_pages; >>>> + if (isolate_start != pfn) { >>>> + ret = set_migratetype_isolate(pfn_to_page(pfn), migratetype, >>>> + flags, pfn, pfn + pageblock_nr_pages); >>>> + if (ret) >>>> + goto unset_start_block; >>>> + } >>>> + ret = isolate_single_pageblock(isolate_end, flags, gfp_flags, true); >>>> if (ret) { >>>> - unset_migratetype_isolate(pfn_to_page(isolate_start), migratetype); >>>> - return ret; >>>> + if (isolate_start != pfn) >>>> + goto unset_end_block; >>>> + else >>>> + goto unset_start_block; >>>> } >>>> >>>> /* skip isolated pageblocks at the beginning and end */ >>>> @@ -557,15 +546,21 @@ int start_isolate_page_range(unsigned long start_pfn, unsigned long end_pfn, >>>> pfn += pageblock_nr_pages) { >>>> page = __first_valid_page(pfn, pageblock_nr_pages); >>>> if (page && set_migratetype_isolate(page, migratetype, flags, >>>> - start_pfn, end_pfn)) { >>>> - undo_isolate_page_range(isolate_start, pfn, migratetype); >>>> - unset_migratetype_isolate( >>>> - pfn_to_page(isolate_end - pageblock_nr_pages), >>>> - migratetype); >>>> - return -EBUSY; >>>> - } >>>> + start_pfn, end_pfn)) >>>> + goto unset_isolated_blocks; >>>> } >>>> return 0; >>>> + >>>> +unset_isolated_blocks: >>>> + ret = -EBUSY; >>>> + undo_isolate_page_range(isolate_start + pageblock_nr_pages, pfn, >>>> + migratetype); >>>> +unset_end_block: >>>> + unset_migratetype_isolate(pfn_to_page(isolate_end - pageblock_nr_pages), >>>> + migratetype); >>>> +unset_start_block: >>>> + unset_migratetype_isolate(pfn_to_page(isolate_start), migratetype); >>>> + return ret; >>>> } >>>> >>>> /* >>>> -- >>>> 2.25.1 >>> >>> >>> -- >>> Best Regards, >>> Yan, Zi > > > -- > Best Regards, > Yan, Zi Thanks for your efforts to get alloc_contig_range to work at pageblock granularity! -Doug