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 475A0C5479D for ; Wed, 11 Jan 2023 21:51:52 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id C20238E0003; Wed, 11 Jan 2023 16:51:51 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id BA88E8E0001; Wed, 11 Jan 2023 16:51:51 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id A49A28E0003; Wed, 11 Jan 2023 16:51:51 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0016.hostedemail.com [216.40.44.16]) by kanga.kvack.org (Postfix) with ESMTP id 96C6B8E0001 for ; Wed, 11 Jan 2023 16:51:51 -0500 (EST) Received: from smtpin18.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay05.hostedemail.com (Postfix) with ESMTP id 7401640BB7 for ; Wed, 11 Jan 2023 21:51:51 +0000 (UTC) X-FDA: 80343866022.18.0A42E13 Received: from ams.source.kernel.org (ams.source.kernel.org [145.40.68.75]) by imf29.hostedemail.com (Postfix) with ESMTP id BF006120013 for ; Wed, 11 Jan 2023 21:51:48 +0000 (UTC) Authentication-Results: imf29.hostedemail.com; dkim=pass header.d=linux-foundation.org header.s=korg header.b=SrwvmvHr; dmarc=none; spf=pass (imf29.hostedemail.com: domain of akpm@linux-foundation.org designates 145.40.68.75 as permitted sender) smtp.mailfrom=akpm@linux-foundation.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1673473909; 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=tbkNPJGdx31McX/q85iirCxjoHCq9SrsEnWj4GgljMc=; b=liHVV3Cd5V0WBepyyS936+zUDG2MywZSjWDNQ2+illJGo37w9BBkLR/nseS0FrvPA3LbUi DvBiL3vzJC8qc+dfh+DBKanCPoRaJSuhZwKrpG5vCblt9jubZGcDRVgski9IN+uM1JSgKm HldlHzYyjKmfd/9NA1liHdGIHwXYciw= ARC-Authentication-Results: i=1; imf29.hostedemail.com; dkim=pass header.d=linux-foundation.org header.s=korg header.b=SrwvmvHr; dmarc=none; spf=pass (imf29.hostedemail.com: domain of akpm@linux-foundation.org designates 145.40.68.75 as permitted sender) smtp.mailfrom=akpm@linux-foundation.org ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1673473909; a=rsa-sha256; cv=none; b=FRUEsGto6EAU1lLRIzHDJ5fFbzoo48UGxr+4honQVALRwKRiIA000uXYTFxBWZMoZ0uwOc z71KNqCc+rcytvDckJpW5iDEUJRMRFRK7Tq3NeK/BzOF3ERvzbiR1z9/g4/t3nFDgyHPGV 0xbf0PbcqgVECYKKcndhBMt7UrExTs0= Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ams.source.kernel.org (Postfix) with ESMTPS id A372FB81D73; Wed, 11 Jan 2023 21:51:46 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 3698DC433F0; Wed, 11 Jan 2023 21:51:45 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=linux-foundation.org; s=korg; t=1673473905; bh=+OfZtfTdE74E7blmuwAGQ+f3T0X1sTkTFqYAYP7v5i4=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=SrwvmvHrm0EBhfIXjoDykaRMSRRF/SysDM/qJ42+ux+XFHp6m0aPPdTV8D1wMpTOM K6Ah/sNM4guX1bQasSao3FG/a296nhmzj/bvXYbIP/sSB+Cs47USLhclRQLF3Wm3pX dJBYHn+cl+nu526OqClft4oTu4C9dQb2nCzB0pmg= Date: Wed, 11 Jan 2023 13:51:44 -0800 From: Andrew Morton To: Baolin Wang Cc: Matthew Wilcox , linux-mm@kvack.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH 1/5] mm: compaction: Remove redundant VM_BUG_ON() in compact_zone() Message-Id: <20230111135144.5be220426ef4c0cae0a3429d@linux-foundation.org> In-Reply-To: <3c7c722d-e8d0-f52b-e0ea-7994bd6b55bb@linux.alibaba.com> References: <740a2396d9b98154dba76e326cba5e798b640ead.1673342761.git.baolin.wang@linux.alibaba.com> <20230110152532.8b2d34bf04d7b8e9a4e39130@linux-foundation.org> <3c7c722d-e8d0-f52b-e0ea-7994bd6b55bb@linux.alibaba.com> X-Mailer: Sylpheed 3.8.0beta1 (GTK+ 2.24.33; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Rspamd-Queue-Id: BF006120013 X-Rspamd-Server: rspam09 X-Rspam-User: X-Stat-Signature: poasmkunauxrexed8dzwpxpx9bxohuc5 X-HE-Tag: 1673473908-28851 X-HE-Meta: U2FsdGVkX19q+mwXudmAo4lsIc6oNmB0RW4azJhxEKzgGdfb4a0N9wuSTuIDxk1y6bZn8lSCmR8cBTH+LUIutPbBFIyXcMUxeQmVWBVjAroyWSxLAaPH9vcFj3LzEAjkjlvcIPvIJM+jI4T5JtDtou0tJgNU4XxBrM5UCAVY40USlFQTDCGOzzOL28poHRAgZQLzmBfuzhtmhlMKboZCzltimZUBPh+RE1eWvht0WZQ9tF1pm01531FTgf5AG4pia8YYUUwuGBEHUHsSofL1c57HkEzgzv6KlpPo2huSFz6l8k85UtzFw5WgnkIrAbXCKX26AiBlvxeYZaZlcizv3m1PIsA/82dnxCxy3TSfoeuhfaLC7vWDvwGcIopYuvFyDKjM58Krm/9TjaYXgfNOkzpg9tCIGDtXWkdwy74tagfVBFy5uLAl3ieJDdqqTIb1vCCOJHJPB/RvUkRQBR7uZSsRGd2M/SvurYEnWEfNJdFvCU04/6Z/p7tC/ya+WIhGWWlvh0UWHuCPDLl5YTvDMbtNk2fLSFJKrX4iFhQ6ySCByl6eL9DqWv/umxsQYtWrdkMk0G+iSZiScjeWthQB7CGctCVCliyEimF690Lj21koVCUDw6d1p4qpUrZJiFpbegjwjK1PqU9ppwiUrA/bqNzGgwKkUbnumE30kZMCg8+XSuDRZ0LozYXVIZEpyhya2Z61fchKrIC0BGBXKhxvrgGhi2vmihAqWqmbY0HLE1XEM38twZpRl4VqWRSVhQuyH9r60pV8VithvYc1lLV/83+c12mmC/QftUZaWPOPJI5zEAyzFXRHTmuUKHE09AUgVWrdpo2GvFf/U1QbEZw9Ag5bn5HWQr4p5kdH2G8Lv/0GueAh1n4BzQil4sX//b8iDo6KkaC/k7UAlxrj5dcdouLB7ZWNJTVOnf+sVIHTg2jDJ+a4+tV6i8WYhBZ6/5R0u5czPfUSbI5091U14yM V0fZQ6Sv AlNuCP+wJU59PIlRIUqC8PfcHHaAxJQTC4SUZ15VAqgc0aoLOEmHO3jSI7pu5E281ZprwbJd+/P+jNdP7usenZIrWXAJ/VNpbYDl/EmM1Qe82NjRnr+Z8fAuZHg== 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 Wed, 11 Jan 2023 14:40:20 +0800 Baolin Wang wrote: > > > On 1/11/2023 7:37 AM, Matthew Wilcox wrote: > > On Tue, Jan 10, 2023 at 03:25:32PM -0800, Andrew Morton wrote: > >> On Tue, 10 Jan 2023 13:37:57 +0000 Matthew Wilcox wrote: > >> > >>> On Tue, Jan 10, 2023 at 09:36:18PM +0800, Baolin Wang wrote: > >>>> The compaction_suitable() will never return values other than COMPACT_SUCCESS, > >>>> COMPACT_SKIPPED and COMPACT_CONTINUE, so after validation of COMPACT_SUCCESS > >>>> and COMPACT_SKIPPED, we will never hit other unexpected case. Thus remove > >>>> the redundant VM_BUG_ON() validation for the return values of compaction_suitable(). > >>> > >>> I don't understand why we'd remove this check. > >> > >> Well, just from code inspection it serves no purpose. > >> > >> Such an assertion might be useful during early code development, but I > >> think we can consider compaction_suitable() to adequately debugged by > >> now? > > > > What if compaction_suitable() is modified to return another value? > > Then this will be an expected value which should be handled by caller, > and IMO we can not make such assumption for future to keep this > unhelpful check. One way of looking at this: if the assertion wasn't there and someone sent a patch which added it, would we merge the patch? "[patch] add check for compaction_suitable() return value" "why" "it might be wrong" "it isn't" "but we might make it wrong later" "the same can be said of every function in the kernel" And if we wouldn't merge a hypothetical patch which adds some code, we shouldn't retain that code, no?