Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Message-ID: <832d2b34-d18d-dbc3-1836-2d3e3381afcc@oracle.com>
Date:   Fri, 14 Apr 2023 14:35:22 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.10.0
Subject: Re: [PATCH] mm/folio: Avoid special handling for order value 0 in
 folio_set_order
To:     Tarun Sahu <tsahu@linux.ibm.com>, linux-mm@kvack.org
Cc:     akpm@linux-foundation.org, muchun.song@linux.dev,
        mike.kravetz@oracle.com, aneesh.kumar@linux.ibm.com,
        willy@infradead.org, gerald.schaefer@linux.ibm.com,
        linux-kernel@vger.kernel.org, jaypatel@linux.ibm.com
References: <20230414194832.973194-1-tsahu@linux.ibm.com>
Content-Language: en-US
From:   Sidhartha Kumar <sidhartha.kumar@oracle.com>
In-Reply-To: <20230414194832.973194-1-tsahu@linux.ibm.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?Vnc4d3p1QjM3M1JKTVhJcjNwUXc0VDdSS2ZMZXpPU0pOMFQyNmhneVJoNWJX?=
 =?utf-8?B?L3oxUnYrRjdweUJ3K1daR0tJL3dWa1BCMWZ3Mlh4UVlsLzh6NURtNE5YT0s3?=
 =?utf-8?B?L2ErNEZwMlorZzEvdFZwK0l0aWpFVGp0ei9oYWVYMVpUWUxOTEpBTXI0M1Yr?=
 =?utf-8?B?VTNHKytlUXIraUVjRnJidTBvc1Z4U2x1aW14cWNHTTRBdTdqZWM1ZGt0TnFp?=
 =?utf-8?B?YnpnZHlTbE1yeGtWZi9wNVJnTURRQytYbXhWc3RtWTBQd21yemxrcVZBUVNl?=
 =?utf-8?B?NStYb2kyK0N1a3BTNU9RaCtJcEk5Qnl3OEZSQm1kNlVZcmFMSVFVbFpDaU5P?=
 =?utf-8?B?TW5zamZSVGM4bGZlOEpRWC96TWIzaG4rWmlsQ0oyRmZtdnprV2Y5NCsvL2hp?=
 =?utf-8?B?L2lEaUZMdDhld29sNjB0RHpFVzd3VFE4UWtOZWVjZEE0SERCRGFOc0w1Vjg0?=
 =?utf-8?B?bDY1TGthZUpZNitDRlBURDRXL1J6Sm53NXA1QTVhS25scjZHaGwyWEtKV0c2?=
 =?utf-8?B?eW5RTldBVU96ZjY1RlByMkhEWGtrdVZjTWtncjNyQTdMZWRLelRmWVlQL01X?=
 =?utf-8?B?TGw1SFZjVzNhZmhFYU1mMHBwbC9lZ0NzNzQ5VjNTWHZGeXJoVER6NGwzeXNO?=
 =?utf-8?B?Qm1MZ0RZSUUwdXNBdDlmdEMzazcyVFRqTTZhcWFNMlRpT0UzMFZPRDVUK3dw?=
 =?utf-8?B?Wk44akVFUFIxZERpc3ZaVzl2dkFEbGMwL1A2UTg0bG9kNjVlM0twTisxVTBR?=
 =?utf-8?B?NldMcCtrWDk4Y25OVTA4TkRjdXRLNXZSV2J6TWtnZVFrZk9TSGZMYyt3d3Uy?=
 =?utf-8?B?ckpLS0Y1UzJCMlVKM3dGV1NZSnJCTklqNWh5TWxRVzJLcEhzSi9oUnJ1emIy?=
 =?utf-8?B?clZHZkVtUzQ4SVRYak9ZeWMyL3A5bVh1SmdRcitwVzFEVTE1d3ZqZWVYWkZX?=
 =?utf-8?B?SFB0NWVRdU5GT1ErRlVtRytxMTg2WnUyTUllSWl5Y21tbytJREZ3OGRaeWYw?=
 =?utf-8?B?dHJLaFZkUjYzUGc3SVRiUjRQbElCdG9tNzBYdHkyN3VTZ1lsNDFWV25OUGtq?=
 =?utf-8?B?a2pHOVN6eFJkeFM2T3JVZjRuYUV4dXVGQzRxWjQrblJTQVZ2L2p5dGM4Rk51?=
 =?utf-8?B?RUJ5Z0NyS2IyWCtnYTc1TG50eGVhcWdyYm5KeEVkT0VuOGMwR2hrTXA3RjNN?=
 =?utf-8?B?UmpnbGNvTnpid1FtZ0l4NWsramNldlhqSzh1SjRLUFkxdlk3M3I4SUFmSGtZ?=
 =?utf-8?B?a1lWeEtaRzJvOHNmVkFhMWIyeWY4V3g1a3prMVI0ZWFnT0xoYVVadDJJWTJa?=
 =?utf-8?B?WmZUUHVJellQSlJZcUthZGZxZzdoejVzS1hSMkk0Q2VPRUF3R1BmRVRQNmE1?=
 =?utf-8?B?dzQ0MzFxZDBtdUdNRjh0TVgrVC9SZ043NGlWTzRBTnNqWk9WWGc3QWRMUGNy?=
 =?utf-8?B?UEZnU1RnUE9Eb0ordmUyb3ZhZU9yV2J2NjY1bGpPRVRNVXp3RDVsVlRlaFJC?=
 =?utf-8?B?WVVuT3JJdmp2V3pCK0RxcXd6b0M4TGxmUmF1bkdzM0JZNk5hNWdDdXBGVnN0?=
 =?utf-8?B?Q24zZEtMZmFkZ3h0MHR6MmxPcmVmSWV0RjlpaWwzMEZXTmt6ZVZneG9BZkZn?=
 =?utf-8?B?a0JNWHQyUWNCbFNQRmJWeGJWTFR1K21peHg1SU9wU2JxelBra0IvMFlLdm1F?=
 =?utf-8?B?VXR5eU90enR4cnFNd09KMllMdGxOS0ttcGFiRlpiWmtFNXgvL1NHU05CSzZl?=
 =?utf-8?B?QWZ5WmxiZzlUZmZxOUw0ZTNEdUNrekhnQm1SMEU3Yko3ajMxMlN1eFlLcjRt?=
 =?utf-8?B?dGt2YnAzQzFiejRyclB3dGlDLy9KMXptKzM4N1JlODQ2QWJOMWcxRk5kQUZp?=
 =?utf-8?B?SlVXRUE3aWg4aU5ucEhybkxuWlZVWnZ3YkFNTVBpanhRUkc4NFBIdXVZcE5u?=
 =?utf-8?B?N1ZOUjlhb3B1YzJGOFYrblo1K1F6cTM2QUlHWURDM3dSdXIvRkpxM09Mb2dN?=
 =?utf-8?B?bXliVTlhbDRxVnpzQXNBNy8yVU5jM2U0ZzcxdG5IektSUExvSFRER25XRTdE?=
 =?utf-8?B?dWdhSXhGRlpaWmtrTHZsS0p1QXYweldCTGkwN3RoVkd6WTVsVys1c01GOW1H?=
 =?utf-8?B?U3JOY0RnSlRFd0FZK2pHcTdCbFByK3N3WWtRSWF1L0tnR2cySnJUMUdaQUJR?=
 =?utf-8?Q?8vSOUtgyhp8ZRX93QSB9A2U=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?utf-8?B?bmx6citlSUlFRjVxamU5ZjJVNlh6aWZ5N0ZCV3NUbGQxYkZMK3ZabjRFOG9t?=
 =?utf-8?B?YkdTazFESVNOR25iN3RuUTg3VlRBeDdkK0RMZnVucklHUVpZOUQ2M1VIUmdm?=
 =?utf-8?B?M0VMc0dvMFVacTZCcEVXLzdObkRxZHRZR0JCaUdqNWRGeWxjS0pwOXZBOFVt?=
 =?utf-8?B?VXRYUWd2eUc2QzdwcU9ybStRenA3MXk5eUt0Q0Z1N2lMbmplalljUzN4bzZr?=
 =?utf-8?B?cEo1eUZEV3ZMWG4xZW5rMk5aRmcrRlV2QXMrZVFTYzFhMURrN1lsTy84U0NM?=
 =?utf-8?B?V0lCUWVPVzBEajZwSGhLU1VFRks3TWhCS1Fic2w3bUU1K2tLRndwQmJhT2Q0?=
 =?utf-8?B?OVdROVZ5eEZZQ3FybTBHZzJTaGpZTC9ueU1BeExBclVLaEZybjRqN2FRTjlX?=
 =?utf-8?B?ZE82aysrUGZJM1hCS20yNGdjbUdEZkhYNU1WMjZhVFVXaTZMc0Zzdk5sMyty?=
 =?utf-8?B?bXpPazluOXNIWUFBbWpzeVZhcVFld2hxNytxdzJEcllaa0VYVGpubTBCYnFk?=
 =?utf-8?B?WkhyTzJ4ZmZ2emNHdUhQY2xKY25ZR3NjWlBnTGN2Q01SYlFnSGsxM0hlZEVY?=
 =?utf-8?B?U1V3aDA0NUxlTGUzYklnT1BJUi9BZXdJWThpd1ovUmVBNXNQMStRTThBSXlV?=
 =?utf-8?B?UFZXUzRXaEJRSmVBaE1KbEViZHhNZjFSNjB0YThVdHByUUJzRU5kcHRuQ0lz?=
 =?utf-8?B?L3BkMHZJWmFHMVFDMHluNWpXYnJ0QVpPdlNiZ2ZIWlZMbU9wQUo5VlU4K3p2?=
 =?utf-8?B?N2xNTnpubnQzUmlXRUlrVzF6R2hOYytEM3U3QmVCUnlpN1crd3lKOEUyTEVu?=
 =?utf-8?B?RzhjSHNoTnUvZXdCQ2puM3lSNnJKTnpncm1KRk5ING5SZmNTTGRibmZJN1NB?=
 =?utf-8?B?NGpBekh3cFZhY1ZhREdlSG5BalhFUWJxT0FQa0tzTEVuQi9EOGJ1RGlUaWgr?=
 =?utf-8?B?QWNudnZyUkN3clBwUmdWOS8rU3FLcHltWHBJMlV4b3ZGUDVOQkRFR0txb1FH?=
 =?utf-8?B?QnFQSUt1WFpBc2dMclI1aklMRlVkcG44bTFLdkVidUxxSGgyc0pZY1dNVHQz?=
 =?utf-8?B?eEdSQ3Z0eWFpN2k3amtyNGxDWVNhQkQyRmxFeGd2RXpIZG1qVmRCRDFXb3VU?=
 =?utf-8?B?SEZjdWJ2MDVVTUFVd3kxYjFwM1NMTlRDMmV4T0wyUkpENTZLUDhhMU1ZSWIz?=
 =?utf-8?B?NStoZ29KczROYkRxMitaL0x0WTQyUzlLbE9RYldEc1VLdDM3enhBK096RGN1?=
 =?utf-8?Q?eEqwPBV6xSQQlv9?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 9f6a3e2d-2109-43a5-da34-08db3d302bf0
X-MS-Exchange-CrossTenant-AuthSource: CH0PR10MB5113.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Apr 2023 21:35:31.0010
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: 2v9ncg1o59j5ggrGpKAPaQZow2BBVDb6bQUiDGrwsIiQOv/II1HVEtbnHUSemOO8p1r/t9D9KiiirPe4HET3sj0jrfT1fyimH/MXZCAqq/0=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: IA1PR10MB5994
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.254,Aquarius:18.0.942,Hydra:6.0.573,FMLib:17.11.170.22
 definitions=2023-04-14_14,2023-04-14_01,2023-02-09_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 mlxscore=0
 malwarescore=0 suspectscore=0 bulkscore=0 spamscore=0 phishscore=0
 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2303200000 definitions=main-2304140189
X-Proofpoint-GUID: 2gBuybhriBYwsLKLtGX12EMLMZPxySxx
X-Proofpoint-ORIG-GUID: 2gBuybhriBYwsLKLtGX12EMLMZPxySxx
X-Spam-Status: No, score=-5.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,RCVD_IN_DNSWL_LOW,
        RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,T_SCC_BODY_TEXT_LINE
        autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 4/14/23 12:48 PM, Tarun Sahu wrote:
> folio_set_order(folio, 0); which is an abuse of folio_set_order as 0-order
> folio does not have any tail page to set order. folio->_folio_nr_pages is
> set to 0 for order 0 in folio_set_order. It is required because

In the previous discussion of this function, Mike mentioned having 
folio_set_order() be used for non-zero orders and adding a 
folio_clear_order() that is used to set order to 0. This could be done 
to reduce confusion.

> _folio_nr_pages overlapped with page->mapping and leaving it non zero
> caused "bad page" error while freeing gigantic hugepages. This was fixed in
> Commit ba9c1201beaa ("mm/hugetlb: clear compound_nr before freeing gigantic
> pages"). Also commit a01f43901cfb ("hugetlb: be sure to free demoted CMA
> pages to CMA") now explicitly clear page->mapping and hence we won't see
> the bad page error even if _folio_nr_pages remains unset. Also the order 0
> folios are not supposed to call folio_set_order, So now we can get rid of
> folio_set_order(folio, 0) from hugetlb code path to clear the confusion.
> 
> The patch also moves _folio_set_head and folio_set_order calls in
> __prep_compound_gigantic_folio() such that we avoid clearing them in the
> error path.
> 
> Testing: I have run LTP tests, which all passes. and also I have written
> the test in LTP which tests the bug caused by compound_nr and page->mapping
> overlapping.
> 
> https://lore.kernel.org/all/20230413090753.883953-1-tsahu@linux.ibm.com/
> 
> Running on older kernel ( < 5.10-rc7) with the above bug this fails while
> on newer kernel and, also with this patch it passes.
> 
> Signed-off-by: Tarun Sahu <tsahu@linux.ibm.com>
> ---
>   mm/hugetlb.c  | 9 +++------
>   mm/internal.h | 8 ++------
>   2 files changed, 5 insertions(+), 12 deletions(-)
> 
> diff --git a/mm/hugetlb.c b/mm/hugetlb.c
> index f16b25b1a6b9..e2540269c1dc 100644
> --- a/mm/hugetlb.c
> +++ b/mm/hugetlb.c
> @@ -1489,7 +1489,6 @@ static void __destroy_compound_gigantic_folio(struct folio *folio,
>   			set_page_refcounted(p);
>   	}
>   
> -	folio_set_order(folio, 0);
>   	__folio_clear_head(folio);
>   }
>   
> @@ -1951,9 +1950,6 @@ static bool __prep_compound_gigantic_folio(struct folio *folio,
>   	struct page *p;
>   
>   	__folio_clear_reserved(folio);
> -	__folio_set_head(folio);
> -	/* we rely on prep_new_hugetlb_folio to set the destructor */
> -	folio_set_order(folio, order);
>   	for (i = 0; i < nr_pages; i++) {
>   		p = folio_page(folio, i);
>   
> @@ -1999,6 +1995,9 @@ static bool __prep_compound_gigantic_folio(struct folio *folio,
>   		if (i != 0)
>   			set_compound_head(p, &folio->page);
>   	}

calling set_compound_head() for the tail page before the folio has the 
head flag set could seem misleading. At this point order is not set as 
well so it is not clear that the folio is a compound page folio.

> +	__folio_set_head(folio);
> +	/* we rely on prep_new_hugetlb_folio to set the destructor */
> +	folio_set_order(folio, order);
>   	atomic_set(&folio->_entire_mapcount, -1);
>   	atomic_set(&folio->_nr_pages_mapped, 0);
>   	atomic_set(&folio->_pincount, 0);
> @@ -2017,8 +2016,6 @@ static bool __prep_compound_gigantic_folio(struct folio *folio,
>   		p = folio_page(folio, j);
>   		__ClearPageReserved(p);
>   	}
> -	folio_set_order(folio, 0);
> -	__folio_clear_head(folio);
>   	return false;
>   }
>   
> diff --git a/mm/internal.h b/mm/internal.h
> index 18cda26b8a92..0d96a3bc1d58 100644
> --- a/mm/internal.h
> +++ b/mm/internal.h
> @@ -425,16 +425,12 @@ int split_free_page(struct page *free_page,
>    */
>   static inline void folio_set_order(struct folio *folio, unsigned int order)
>   {
> -	if (WARN_ON_ONCE(!folio_test_large(folio)))
> +	if (WARN_ON_ONCE(!order || !folio_test_large(folio)))
>   		return;
>   
>   	folio->_folio_order = order;
>   #ifdef CONFIG_64BIT
> -	/*
> -	 * When hugetlb dissolves a folio, we need to clear the tail
> -	 * page, rather than setting nr_pages to 1.
> -	 */
> -	folio->_folio_nr_pages = order ? 1U << order : 0;
> +	folio->_folio_nr_pages = 1U << order;
>   #endif
>   }
>