Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:3 as permitted sender) client-ip=2620:137:e000::3:3;
Date:   Tue, 3 Oct 2023 13:58:12 -0400
From:   Gregory Price <gregory.price@memverge.com>
To:     Jonathan Cameron <Jonathan.Cameron@huawei.com>
Cc:     Gregory Price <gourry.memverge@gmail.com>,
        linux-mm@vger.kernel.org, linux-kernel@vger.kernel.org,
        linux-arch@vger.kernel.org, linux-api@vger.kernel.org,
        linux-cxl@vger.kernel.org, luto@kernel.org, tglx@linutronix.de,
        mingo@redhat.com, bp@alien8.de, dave.hansen@linux.intel.com,
        hpa@zytor.com, arnd@arndb.de, akpm@linux-foundation.org,
        x86@kernel.org
Subject: Re: [RFC v2 4/5] mm/migrate: Create move_phys_pages syscall
Message-ID: <ZRxWNFBdCAe9KIwj@memverge.com>
References: <20230919230909.530174-1-gregory.price@memverge.com>
 <20230919230909.530174-5-gregory.price@memverge.com>
 <20231002150746.00007516@Huawei.com>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20231002150746.00007516@Huawei.com>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?6mscAyz5jzEA3eaFFW/pEbNgmUrYaRjcH1/ea3e+fAymoW04vjnNpo4zW4Jb?=
 =?us-ascii?Q?Wo7BKAUyftZNo5jD+Qq+jK4zts7GRkPsd3ttZ2LhsytZwmUYDR5rWeQbndzu?=
 =?us-ascii?Q?C2D1n9tyMy9Nmj2Ww7ogVFLsNT8p4X3lFQBg/kfWpA6wjmNhziOLj/yIpFbc?=
 =?us-ascii?Q?Advyvb4kT6y2E7VdLmx8lGqXr0Sx4jdpEKYxoKtQXxY/7jiEBsK1/XP9Lay1?=
 =?us-ascii?Q?n8bfFEnwGpWqPyrL1F7y5lCcwrsrCIFt56qwv3OiVGNczuc9H6P46ql9S4rb?=
 =?us-ascii?Q?Gz0JNEQYTWtpzvVfSlQamsR7QaFQeL/EVaSCWQN7/2HoEx0XjEWkVe2qwwPL?=
 =?us-ascii?Q?5g/2gJQlln87bw99I/pX9YzTRAvRKCizHInn4XC34LCQ+eu5QAuQAH8qq3L+?=
 =?us-ascii?Q?6vywDlWd6JKU5e6y5Z7qTlLfzh/sYenQGJ0Q0axsHqKM6RKnfhPf3DNKnI32?=
 =?us-ascii?Q?8DLUotGwiar5s37kwREHKKutR4Jt4K1aewXtrBiLX4QYXnubG3T/r1Vu97Qw?=
 =?us-ascii?Q?rCIFEdBgPNa5Ed470p2ugXWjK2tWNG3t4lFtU4yhPCB909/1PPRPZQC26d07?=
 =?us-ascii?Q?zLcVIdx9ooYC5ZLQlcge+thNc+RJmq0FsuHo1+Bz8uMa3DRoTIfdhXJt9LJB?=
 =?us-ascii?Q?zjerR3Ja0l7Z/vO4vYDIYNAFHCe91oZ+4oLk+3cKGr/7kFK8axLqbM5uu8CK?=
 =?us-ascii?Q?afyVy2Fgvi0UHk+vftV1HOc/qYYs1BNUuYu40Wnujk6ycCxRN3cZjxHMbvAw?=
 =?us-ascii?Q?jEzzgxTYs6ySEsyn9pXO79lZgw/0mQyZ6cOPsV4IborviBwa9TFkKKbr7PWs?=
 =?us-ascii?Q?hQJr6iLXT3KZFz3fSBEKszd+QktwL/zWvINzSUc7QVKixamF0UyFR5J2N08K?=
 =?us-ascii?Q?JsY4JMsqbT/zjAf7oPwTAKaMy1278QGyw10O60q6FxYrt69yB192cc5R31bd?=
 =?us-ascii?Q?0o3BCslbqbn1+Ae/qxfx7vxbW77saCVbBNWEF62Q207CxcU/N4t9pfEIo0Ai?=
 =?us-ascii?Q?x0+AG1xtWHWv8vG4sP9olcyEZe6fF+LaRwNaf8U3nd9Re8BdPhSag6Z1qp+u?=
 =?us-ascii?Q?DZrnx6viZ7P0Wr6KUcUqlImTJHI97GOfvFA9L3KJHOop9qFvgCbLEhnq3Ska?=
 =?us-ascii?Q?0HTrLOzyvQsbGrPUtfLiGgcUMBiakdn7a9GQcglLaLRd8FnDGha0DhFOoMqz?=
 =?us-ascii?Q?ukSxD2U3SghGBl0tKxFdLD55zddWDq85kMwkoyk3wZKI05XgPiF1RZhWCiL8?=
 =?us-ascii?Q?TPvwJUBubsyKYE92FqcaC6L3xLA3I9IV6OPyY+L0gXgOkk08sFvFWeYpRC2i?=
 =?us-ascii?Q?crqAbtSurXIJXa4o4UsFs7zWXMKd2yEz0JgJkLTLGi3YVuIzfVpNvCffxe6s?=
 =?us-ascii?Q?UYzLzHqJa1JHjvn6dadXu91M9qljhqi6BQJAmez9Odff4SXgSaM9/RUAc/4c?=
 =?us-ascii?Q?yy2mvs5jYozhl+ZQ+CQDpiIupNsNknmQpRDspRRczUnWJ9Oqk+8xfBGBSx6C?=
 =?us-ascii?Q?xltg22zUfu9ck/0sWC4ijARaspY1ivtPBfJFDpKLbhApqM2bazijnM34wyCW?=
 =?us-ascii?Q?Qmt8IRA0KSpMFEjpJLGEfWgHwPxe97TTh4KPMl0oh34rtYta8Hx3IsDRmcW9?=
 =?us-ascii?Q?oA=3D=3D?=
X-OriginatorOrg: memverge.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 2c5b887f-507d-45fc-be2a-08dbc43a5437
X-MS-Exchange-CrossTenant-AuthSource: SJ0PR17MB5512.namprd17.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 03 Oct 2023 17:58:20.5766
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 5c90cb59-37e7-4c81-9c07-00473d5fb682
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: JnG6TzgTqLblkbecGnC6eEIKY4u0M0sdsKtPCAOPR47eUjJo2+BAGgqtGIPCD9/UOVsmXlBxrsjBy6zEQZ8lERvUU2i6FBKYeyvml2TdfVg=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SA1PR17MB5139
X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
	DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,
	SPF_HELO_NONE,SPF_PASS autolearn=unavailable autolearn_force=no
	version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lipwig.vger.email
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (lipwig.vger.email [0.0.0.0]); Tue, 03 Oct 2023 10:58:35 -0700 (PDT)

On Mon, Oct 02, 2023 at 03:07:46PM +0100, Jonathan Cameron wrote:
> On Tue, 19 Sep 2023 19:09:07 -0400
> Gregory Price <gourry.memverge@gmail.com> wrote:
> 
> > @@ -2181,6 +2290,10 @@ static int do_pages_move(struct mm_struct *mm, nodemask_t task_nodes,
> >  	int start, i;
> >  	int err = 0, err1;
> >  
> > +	/* This should never occur in regular operation */
> > +	if (!mm && nodes_weight(task_nodes) > 0)
> 
> You document below that task_nodes isn't used if !mm but it is used
> to indicate this condition...
> 

good point, and in fact the code below does ignore the contents of
nodes_weight if mm is null, so i can just drop this check.

> > +set_status:
> > +		*status = err;
> 
> Given you update it unconditionally this seems to wipe out earlier
> potential errors with the nid.
> 
> > +
> > +		pages++;
> > +		status++;
> > +	}
> > +}
> 

status is a list, the status++ increments the list pointer.

> > +	/*
> > +	 * When the mm argument to do_pages_move is null, the task_nodes
> > +	 * argument is ignored, so pass in an empty nodemask as a dummy.
> 
> If ignored, why bother clearing it?  Looks like you are using it as
> as signal rather than ignoring it. So not sure this comment is correct.
> 
> > +	 */
> > +	nodes_clear(dummy_nodes);

I'm a bit of a stickler around uninitialized memory, seemed better to
ensure the nodelist was empty to force errors associated with an empty
nodelist should future updates break do_pages_move to remove the
ignoring mechanism.

That said, I updated the function such that it does actually ignore it,
but I'll leave the here since there's no harm in clearing the nodemask
and leads to more predictable behavior.

Unless there is particularly strong feelings about this, then i'm fine
to remove it.