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 vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id B9F61C3A59D for ; Mon, 24 Oct 2022 06:41:41 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230265AbiJXGlj (ORCPT ); Mon, 24 Oct 2022 02:41:39 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:54962 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229649AbiJXGlh (ORCPT ); Mon, 24 Oct 2022 02:41:37 -0400 Received: from out30-133.freemail.mail.aliyun.com (out30-133.freemail.mail.aliyun.com [115.124.30.133]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 0B15F53024 for ; Sun, 23 Oct 2022 23:41:35 -0700 (PDT) X-Alimail-AntiSpam: AC=PASS;BC=-1|-1;BR=01201311R191e4;CH=green;DM=||false|;DS=||;FP=0|-1|-1|-1|0|-1|-1|-1;HT=ay29a033018046060;MF=baolin.wang@linux.alibaba.com;NM=1;PH=DS;RN=9;SR=0;TI=SMTPD_---0VStCPI._1666593690; Received: from 30.97.48.50(mailfrom:baolin.wang@linux.alibaba.com fp:SMTPD_---0VStCPI._1666593690) by smtp.aliyun-inc.com; Mon, 24 Oct 2022 14:41:32 +0800 Message-ID: <4fcb9065-0d0c-7bd3-d4f9-5830792cce60@linux.alibaba.com> Date: Mon, 24 Oct 2022 14:41:30 +0800 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.3.0 Subject: Re: [PATCH v2 1/2] mm: migrate: Fix return value if all subpages of THPs are migrated successfully To: Alistair Popple Cc: akpm@linux-foundation.org, david@redhat.com, ying.huang@intel.com, ziy@nvidia.com, shy828301@gmail.com, jingshan@linux.alibaba.com, linux-mm@kvack.org, linux-kernel@vger.kernel.org References: <87pmeiq6qc.fsf@nvidia.com> From: Baolin Wang In-Reply-To: <87pmeiq6qc.fsf@nvidia.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 10/24/2022 10:36 AM, Alistair Popple wrote: > > Baolin Wang writes: > >> When THP migration, if THPs are split and all subpages are migrated successfully >> , the migrate_pages() will still return the number of THP that were not migrated. >> That will confuse the callers of migrate_pages(), for example, which will make >> the longterm pinning failed though all pages are migrated successfully. >> >> Thus we should return 0 to indicate all pages are migrated in this case. >> >> Signed-off-by: Baolin Wang >> --- >> Changes from v1: >> - Fix the return value of migrate_pages() instead of fixing the >> callers' validation. >> --- >> mm/migrate.c | 7 +++++++ >> 1 file changed, 7 insertions(+) >> >> diff --git a/mm/migrate.c b/mm/migrate.c >> index 8e5eb6e..1da0dbc 100644 >> --- a/mm/migrate.c >> +++ b/mm/migrate.c >> @@ -1582,6 +1582,13 @@ int migrate_pages(struct list_head *from, new_page_t get_new_page, >> */ >> list_splice(&ret_pages, from); >> >> + /* >> + * Return 0 in case all subpages of fail-to-migrate THPs are >> + * migrated successfully. >> + */ >> + if (nr_thp_split && list_empty(from)) >> + rc = 0; > > Why do you need to check nr_thp_split? Wouldn't list_empty(from) == True Only in the case of THP split, we can meet this abnormal case. So if no THP split, just return the original 'rc' instead of validating the list, since the 'nr_thp_split' validation is cheaper than the list_empty() validation IMHO. > imply success? And if it doesn't imply success wouldn't it be possible > to end up with nr_thp_split && list_empty(from) whilst still having > pages that failed to migrate? > > The list management and return code logic from unmap_and_move() has > gotten pretty difficult to follow and could do with some rework IMHO. Yes, Huang Ying has sent a RFC patchset[1] doing some code refactor, which seems a good start. [1] https://lore.kernel.org/all/20220921060616.73086-1-ying.huang@intel.com/