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]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 63BBAE9A03B for ; Tue, 17 Feb 2026 23:10:24 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id A7BE56B0088; Tue, 17 Feb 2026 18:10:23 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id A29BA6B0089; Tue, 17 Feb 2026 18:10:23 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 8FD6B6B008A; Tue, 17 Feb 2026 18:10:23 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0013.hostedemail.com [216.40.44.13]) by kanga.kvack.org (Postfix) with ESMTP id 793BC6B0088 for ; Tue, 17 Feb 2026 18:10:23 -0500 (EST) Received: from smtpin30.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay09.hostedemail.com (Postfix) with ESMTP id E05C58B5E8 for ; Tue, 17 Feb 2026 23:10:22 +0000 (UTC) X-FDA: 84455494284.30.548B764 Received: from CWXP265CU009.outbound.protection.outlook.com (mail-ukwestazon11021095.outbound.protection.outlook.com [52.101.100.95]) by imf28.hostedemail.com (Postfix) with ESMTP id 10355C000F for ; Tue, 17 Feb 2026 23:10:19 +0000 (UTC) Authentication-Results: imf28.hostedemail.com; dkim=pass header.d=garyguo.net header.s=selector1 header.b=zdT7Tbja; spf=pass (imf28.hostedemail.com: domain of gary@garyguo.net designates 52.101.100.95 as permitted sender) smtp.mailfrom=gary@garyguo.net; dmarc=pass (policy=none) header.from=garyguo.net; arc=pass ("microsoft.com:s=arcselector10001:i=1") ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1771369820; 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=Ohfp26LYU7w6E4Nr2mL0oPm6XVCM5ZCmOdJW/FeZGQk=; b=qvXiUP6vRy2cxJ2hKe/Bq+sACu2/x+XLvDXK1TAanRZXKIV0sdLTZ2zUbF398fmVw2pLVu CNh0f73WzE+h0kePzbkWvwIfoJOHFVKXLCiS3dDMByCBsv7uj2ukfkYOKsk+DHiNnqthUz ecsjxtCFkmCKnWgztED22BJuO5gymb0= ARC-Authentication-Results: i=2; imf28.hostedemail.com; dkim=pass header.d=garyguo.net header.s=selector1 header.b=zdT7Tbja; spf=pass (imf28.hostedemail.com: domain of gary@garyguo.net designates 52.101.100.95 as permitted sender) smtp.mailfrom=gary@garyguo.net; dmarc=pass (policy=none) header.from=garyguo.net; arc=pass ("microsoft.com:s=arcselector10001:i=1") ARC-Seal: i=2; s=arc-20220608; d=hostedemail.com; t=1771369820; a=rsa-sha256; cv=pass; b=uE+HsnauDafCOzEeV5EL/KjFpSpe7cPFe6F+eW5HApXK65yXiFCaSQEB9XCazGWd5S9dNF oPT/VCZif6u91ZE1wigSYFYZYpVAdK2+lEzBHTdIgKHlLrZZmj++cgz8j0FPKZAQesP/SH /AOZQc8MX7YIxqEyno/UGZT1KZTOUu0= ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=Td5TLQYBfN1tl//5fv4fqOBV/RHA4vqA15/LtWfE5RZ239w2AslAQi7IY9A1DMBjfKstBNSXw0O9FpYQj2F7SYQdSBHGfHaQ5sv1VAekpQln3wy2SZDotyHm60XB2qSbOkSItU1VXc4gNwbK9w1BAjZSwNSFpi0pNhakDX8AFAFczRNy3jAqYmd4VsrSmnnvvnc7q/9upW07h2PbhIJkmmkJyAFM6UoEky5zmp4G91+bLFrNP7S+bh0kQhvNBWeKNDYxxXnDqu6TkmxJP6ltxz5GUc8/nlOVk2RN1YmudpZmgMu7UW1Q46BbjGbYShmdQxHLGLjc9Bo57scuizgTWA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Ohfp26LYU7w6E4Nr2mL0oPm6XVCM5ZCmOdJW/FeZGQk=; b=xzTqUcvtfhxJ30qoZq5/IkTYCuTgtfF7SD3gPm4mgdSikVwlBcTbCKN8tgOC2WtaPYXHInBCI8B7QIs8UzQ10eh6Xc95Wi/fJ0k6bQY9Lx2vQz2/y8Ltdc65V+SV+mqyThMq4IxstGE6SPGUT3968d6qlJooyizIGAqnTMjcMOqeWOOXP8CH+qe4UmaTg2881Z2hbOEg4rXOtwkSh91su5jo09vk9XRvZSzXgFRLyQZbehUEXQ35kMgCh+4hJUg+DM5vjjhU0zaAQQlKzI+kooh5R2X8DCloulEzGaBdMdTARUGoA59KauoP50mE9r3poxpERLfCtNpGlEf751nBkw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=garyguo.net; dmarc=pass action=none header.from=garyguo.net; dkim=pass header.d=garyguo.net; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=garyguo.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Ohfp26LYU7w6E4Nr2mL0oPm6XVCM5ZCmOdJW/FeZGQk=; b=zdT7Tbjag8A56r2nmwgJmKI+NYMJc4l6JAK6saK5RRTSsq2TXu6lhso48naO+0Fti3LIDiEkQoI4rvsKe10hW90RmYT/bdmfZVwRZV/1YUAmwfKKt63oblAaXRjz2YiXByDwUx9+3j1qRsf9sP9vdwtJ7PYU5nE6SPipeYsCaVk= Received: from LOVP265MB8871.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:488::16) by LO4P265MB3472.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:1ac::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9611.16; Tue, 17 Feb 2026 23:10:16 +0000 Received: from LOVP265MB8871.GBRP265.PROD.OUTLOOK.COM ([fe80::1c3:ceba:21b4:9986]) by LOVP265MB8871.GBRP265.PROD.OUTLOOK.COM ([fe80::1c3:ceba:21b4:9986%5]) with mapi id 15.20.9632.010; Tue, 17 Feb 2026 23:10:16 +0000 Date: Tue, 17 Feb 2026 23:10:15 +0000 From: Gary Guo To: Alice Ryhl Cc: Andreas Hindborg , Lorenzo Stoakes , "Liam R. Howlett" , Miguel Ojeda , Boqun Feng , =?UTF-8?Q?Bj=C3=B6rn_Roy_Baron?= , Benno Lossin , Trevor Gross , Danilo Krummrich , Will Deacon , Peter Zijlstra , Mark Rutland , linux-mm@kvack.org, rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH v3] rust: page: add byte-wise atomic memory copy methods In-Reply-To: References: <20260213-page-volatile-io-v3-1-d60487b04d40@kernel.org> Message-ID: <67aea464d25c8cafb3113eea62c8221b@garyguo.net> X-Sender: gary@garyguo.net Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-ClientProxiedBy: LO4P123CA0558.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:33b::14) To LOVP265MB8871.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:488::16) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: LOVP265MB8871:EE_|LO4P265MB3472:EE_ X-MS-Office365-Filtering-Correlation-Id: 7aaff4d4-dcb7-4bb8-760f-08de6e79b63e X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|10070799003|1800799024|376014|366016|7416014; X-Microsoft-Antispam-Message-Info: =?us-ascii?Q?6M1ywZ5iT+xK8XA6Hz7rKKo1UogbhO6eoCHEqb5/mIGIzaSkHwHK65ntOBfx?= =?us-ascii?Q?Dh/Kn+ia4h/h2HmKRWcoK8L2j6tTdwNzwEJpvZdsiQovNnC3AmVHzwuJ88sA?= =?us-ascii?Q?luUUzUV5A78YCh21OWsQ8BQYAJGnlmQxm9q9m+yCn0oH2MDRavldBUNOUBRi?= =?us-ascii?Q?TF/XXM3gFHSt2XdZ17YbWycaF98RGw+w9z5JV+8ySxBlELEyIiUvp782vlWy?= =?us-ascii?Q?9sbE35ZymOH/8FR0NL6f5ELJWxhHO/UOU3bOszREML3YDte/z0sKrGev3vv4?= =?us-ascii?Q?IGPFMgLFBW/2jRBQCJ/OI63Jb+3+lGJg3xj33ZX+oq76F+3VJTRt+0kaBSTW?= =?us-ascii?Q?90FZaFIZq5DP3sfV5RzVoIUfTHLFz/Epy52Hka0ZSa7ZBOCUj/YZs8qyM6my?= =?us-ascii?Q?jFcICsG5FM2PdtuKb1JTMsQxMmKMBdQboNsZhave9S+w9ghFi+lIjskrosum?= =?us-ascii?Q?Nmx3lN+9XSFRhjZu4IgwqmtMF3KOV//ivYrnDnVOL/o4+aqFn7teQ1MoZwWw?= =?us-ascii?Q?52IgxC3da4w7Ymo3ngLKC6Yg5PLVMTq+eGPatLBgA5MXxJ+Y+YBpDKRSjR//?= =?us-ascii?Q?u1fit8uKOrm4E90qilx1ArlJ+ltJTv+8of55MCVPgMSM6ffyYR/ggio8pKxu?= =?us-ascii?Q?tUyP362E3BVK1gCKbvWipxrIV1jsWsdWu3JRgTycGhfpqGK79XY0OFeQwsj0?= =?us-ascii?Q?UVWN+RW4v0yIpw7up8W+xAhJOV69ao0hl71TZ9iqXqVH8o6z6pJD65chi1ra?= =?us-ascii?Q?E8qVoOYpWvr0c7S0zLgKmmx0mrkO7/rlp2mksOYyTPBgLGJcUo3FwFG71U3/?= =?us-ascii?Q?axrxV2Uca86XcC2b+hSQqNfjnOcSJeiHqMVPrlqVvo2GPdFse29jfKa+N6Q7?= =?us-ascii?Q?b1+k8nAcYJ/GAfagCkmENZYuYCwsyCW6XhnnktN9Pj6XSVf+TEq0HBr7qesh?= =?us-ascii?Q?82NBRU1VakryYWa9QCafGxH6KTGVhHhzuLDgSQxzJJahpqNz2VMiVoaJTSCB?= =?us-ascii?Q?yLqKQOOHvWKLEDPNxW/k3wl8KW43og2fgvohGHvncjrXQBON49FARftnQgEU?= =?us-ascii?Q?x+Qsue4w9ZGYdgMoYOhso0euIcKX1AVNDh0dKFdCGurXMZlZHjce+VOPXaI0?= =?us-ascii?Q?z4QDFBGd0xsl5tX/ysKeXj4FwM5l8oYnKfbSlZ8+Zdk9c91FFfuJc9Ngzpwo?= =?us-ascii?Q?166QmoUd4MRhxu1+r0b3GWvccneQob5CRLhPKOMJqM8GvtXxGZ6boSuyTOmS?= =?us-ascii?Q?atKVr5S6yzdkEn/9RBjzze0CoylJqoEq/PIHgy/xByEHmxv7V09Zg5Imk9EP?= =?us-ascii?Q?vxd8bCJiVDx2Fb1HJOAT1ndfK9SuJRX9qq7G4uX1MkZ+95mM+Q5NoQ1R3U1f?= =?us-ascii?Q?g6xvmFMwRitq9GuybUDjy/GisLb0Tdui2XKUKWDWFKUs07sCSD5BienArJYv?= =?us-ascii?Q?0hkFfFpjSKmRuzV2svGLREzK3AvJyXf0sMcQTLEtoGsQae6ZtoTsp/l8Eunu?= =?us-ascii?Q?V4bxI0IBhbCInWmP2kohvxCkOd9RJlXMCVIN4ojrjkIVSy45acWrd/YyJMPb?= =?us-ascii?Q?uJZRvWJR6kcSmEkvtQ4=3D?= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LOVP265MB8871.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230040)(10070799003)(1800799024)(376014)(366016)(7416014);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?Opao/MkDXM4yoPy+TLuAYQxbKtpe8CzqJv9uSUjkTI8bik3xy1nfkd4/Veeq?= =?us-ascii?Q?xpNgPypJ6IxW+n27i9vlGoJr1FDhLts8Uwg6Xl/cIvg3+UM3IA+HDJyNC1SD?= =?us-ascii?Q?r75tWj9TLIpCRFulpWbRUrYYKNuqjI9eohwTGK8emUnYBm6PspdXKX4B75yp?= =?us-ascii?Q?vCxACnxNRzT2KvhERyMwiwTEx/CYoZ/ep4fhysF0SztZQp2qP5/Q3bqduH4h?= =?us-ascii?Q?4QqCDVae9tm3gXhnBKogJ9JlHirTpl+OyzGQrb2aoK+G4eQz6WFxi1/NgFjV?= =?us-ascii?Q?DVhdpHb93uME8BRkNg+27gJtRhzIqpEfQdGFIJdWUoCery7IKFl648hJI4ot?= =?us-ascii?Q?rynMHCx933ErCpLb3YTdh/f88xSkAFBmTpOgx6n7MXhXUrVGuTdx5pzsvSmk?= =?us-ascii?Q?pBpYXfzs7m+YnSE7w4uRlG/qdAffjoEfj5GdKvQmfelC6ykPAnT8gKW4kc6D?= =?us-ascii?Q?eQSAeu6obb5D2KyCawPEMgpCSclBtsM/SVTnasuSwt9I3S8eBjNK2+erFfVf?= =?us-ascii?Q?haSb81llA7PTBjVJBSvwx0kuIaS5fnRmsvdJGSrGHSsDi8mQ6ukacvPafBhE?= =?us-ascii?Q?/Wb8w7A7sHNYHVfAKwgPV8rnMAUhHKs562FMWrlf3NFjm8wF3DAoCo7kcB5K?= =?us-ascii?Q?+mURWlII8Zi7UBZyan0GbYFE7a522iRnHtPbgxDgzc/vXW43lBihCQ0pCfSH?= =?us-ascii?Q?bRru6r7om/wjAPIOmk5VIBdY6soFp1agJLEQ2GWe58Z/4sB7PwFx3CuCyDp6?= =?us-ascii?Q?NEWyj90rnpo+Hui8QcN2a+5c+TRh9iUoOicdakrvX+WJXiU+k9QhKcNShD2D?= =?us-ascii?Q?4q8ZX2eNJWS8cJ19j4zC8P8PP5EYU75+sV3dlp8Alinhd7JNKXWgrhulcq5e?= =?us-ascii?Q?IQdCBVZZqfJI8YHzG/sZS7Tq4mJY1aci8wlSDyRhVCG346Qbjfff5xSoDlza?= =?us-ascii?Q?Yc6SRyuXitsi/bwledX+pAgjaAoMir51+ARud58gztosuQKb7tPPHHTTLJqS?= =?us-ascii?Q?iEKokN2o4QCUwPOjE/KYQU2rvzZe+WgAcZqpmH9OrmFTS76fgUU5nglPVo8z?= =?us-ascii?Q?NpAXgZNfv2KMNCVO1zcuXZ1meS1fOhKDUBOVaYs6ZSV0zRLVsPk2GLrjhpiZ?= =?us-ascii?Q?lqnXILA7kLP2P0y8vRUv9zXyUCu7NyUmi6b32gJ71mZiY1NOIVQ5G9S/Cu5a?= =?us-ascii?Q?VQESaupn+ABHs9R7CSfbmpTheDZVMreWzEq6asi/QpKNDwFVwCuPBzmekXuc?= =?us-ascii?Q?fRTKcRkOPLgUCpSLJyUUBKzvqBn3kTUON2j2hCVfXMrZuqfTWpedkWHKli8V?= =?us-ascii?Q?QbNEJhyAybr6ZI899JY71DdGkf0+dFMhulBW4njChMfTGrqVV4BMzrVZZj0+?= =?us-ascii?Q?ZxZeM8W/il2yINnuI2qL9SF61fi4zg3aRACIoFUk8geCRFa6mgct889p/pq4?= =?us-ascii?Q?es6WeHaIDLMAlAF5YVPtLqN/kXwoPnBYfOcrB48V5ieLwQJV89bP7jxNL+4Y?= =?us-ascii?Q?VQC8FHidKN0ghdwq1bMj1oqw8+CvkFm2DVCYmaoJqWMIcS6Fr6CP6iB6A+hS?= =?us-ascii?Q?3+EJteW7EGGY+7rEhjvSHduyEFvUdAUx/O3n1O0G0GbCNUoX6jAek7d5mFM7?= =?us-ascii?Q?bd/Sbq3i1iZGZ61TjuQxCJF70tSP+ejrDLX0sCrbBuYWBmgPmplihmgocRC2?= =?us-ascii?Q?C5+05gUVCeH+Pr4JQ2y32sq7cuU3cOogaMAERcMNo3rWoddypVsEglZ5WwKv?= =?us-ascii?Q?Q9F4cyufBw=3D=3D?= X-OriginatorOrg: garyguo.net X-MS-Exchange-CrossTenant-Network-Message-Id: 7aaff4d4-dcb7-4bb8-760f-08de6e79b63e X-MS-Exchange-CrossTenant-AuthSource: LOVP265MB8871.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Feb 2026 23:10:16.1720 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: bbc898ad-b10f-4e10-8552-d9377b823d45 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: lqKNrJsWk+FvkBdLl92Riyca/C/R0SHnga6sjqfzWVnsQhY3aB/f/z2MlD7a6avImS1FBYVmde2WInkWK/hxbQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO4P265MB3472 X-Stat-Signature: f8911hgogkxzax7ff3uy8fueip9899am X-Rspamd-Server: rspam11 X-Rspam-User: X-Rspamd-Queue-Id: 10355C000F X-HE-Tag: 1771369819-906504 X-HE-Meta: U2FsdGVkX18Q3UJy+q21VOY+cP2bHfdzYP5XZa/lGFXBgkpF7+DFFlz1FexY8IoKkyEeRyx7JYBt20RZD1PvoPiRz3X5NOhHRmgSxvZ6P/PZBhMiu0peEkXK8d4kgeSdTeUSakdnQ5DeN7pdxUQwKIxo0qqp80eE1/eZ4A5nMe/s2aOdgRvdwJg1FJ/vNyItw1mnLlqqfuktFcVs3mDLhDBLlYZ/NZ8LM8dCbhRZQQICQNM86PvcePxVZA434LhmcoRvnAxnIGX1sHbwIOky15bx9uFemkd86iQIKC9JNgePYmm4lClETkWASDM/QtfBBqNTjBWGLExSmZt9kGbq7R2DMwN9gWgbGHYohPE3zRrzlsdf3lcFJ50Nvc7sZHBAAio3PE+xFG548nNKmFRZjjI7w1JAg4vY3oFyxVNp4ms9dsDYxFcr0Ukxlm8kBrll4nB9MOxW0CK1du7536/qlvZBDk0yNNaH+4qPj7LzSnPeYb9gHAnOGV/CQHaPUNVN84yKGdyARxWdv1h7lCST+pl2J3sMaQnaihQ4huruhStmv5pK17gucnFJMi/ymkrZLzRM3b/7NhG0i7bKFsA7TcuJPVWennWmMrM5/hVSAMV8v73nZmEIYgJ6a3HdOcNz8SIePYnAAh2U7Ta7Y2YbdFkVEj9h3ZOMGO7xzgMB/ticXY2IgRMu+60AxkXefJVm0HhdTQIpXXZHFoxCcHSGH3lqe5Sb6NesUk62u1IC1Rr+Hf7xkNhVJ/zz10p8EkDB0p0icx0SW6DYN3BRK36unRWYQ6NRWtPm7E3wNvzaMiPBWSMPaexg7/qVoEPrxDlYCDEY4VmygLNeY9DnhSrWFuPMn0RGmXT9ypNwQLSZnZ1sZerNAtzxCEsrqYY0MLvBh48JzQpZ+oRKMDp58Ih68/Gr9tR26HSE5Rh0/MjyRLo0egePdle0ttb9pYBv0TDs6BeRDPYC2aHsBmJUvGX 5XaqOumP nyCR5h9VaCHn1Q6gIPkYJGhUpWu7jpP3zVylq/aTq/1sB0dQmaefgctRvMcalJb99CjAjzF7+f/9oCFSLAtR/Z3A3QmJpSTVe3WOjFrJgDmEu5Py/pnZFk9CcO1/VCZQdg8K5+uJAZ31afZIIQHdAVlqpXbbePwLM3YDgTAqyywfElS1hkLXXBwkfF2leGxPTRio4rFPgNfwIInTjSeFBujxfG8Kth7Qw6Ko7skN8Gagu+a36B6Tb6+FbvCQmxcuK3kNU+zhRbql8rfJc6nfxxkBPZWUHzy8HD5/ibc4t95KixCy8ET9oZTm7Q6JlmKvxJOYcr7ghUTBjiA964BEpOWup1UvFCW+goY+BFRwMXA6idHRzghzFCP3Gl2mmI+oJDSy66su3OBVAEvPxuXTMcrpuqCdf6YLcn2HSvEHahwXkbieDK5fikAjbJZQW+hpgRXaW/eixW38UKgj9sIpoa+ajfwf+NJQkhl9j/T7YQQNV86IMZo/RbDdkp2veXPRNCQDJ 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: List-Subscribe: List-Unsubscribe: On 2026-02-17 12:03, Alice Ryhl wrote: > On Fri, Feb 13, 2026 at 07:42:53AM +0100, Andreas Hindborg wrote: >> When copying data from buffers that are mapped to user space, it is >> impossible to guarantee absence of concurrent memory operations on >> those >> buffers. Copying data to/from `Page` from/to these buffers would be >> undefined behavior if no special considerations are made. >> >> Add methods on `Page` to read and write the contents using byte-wise >> atomic >> operations. >> >> Also improve clarity by specifying additional requirements on >> `read_raw`/`write_raw` methods regarding concurrent operations on >> involved >> buffers. >> >> Signed-off-by: Andreas Hindborg > >> +/// Copy `len` bytes from `src` to `dst` using byte-wise atomic >> operations. >> +/// >> +/// This copy operation is volatile. >> +/// >> +/// # Safety >> +/// >> +/// Callers must ensure that: >> +/// >> +/// - `src` is valid for reads for `len` bytes for the duration of >> the call. >> +/// - `dst` is valid for writes for `len` bytes for the duration of >> the call. >> +/// - For the duration of the call, other accesses to the areas >> described by `src`, `dst` and `len`, >> +/// must not cause data races (defined by [`LKMM`]) against atomic >> operations executed by this >> +/// function. Note that if all other accesses are atomic, then this >> safety requirement is >> +/// trivially fulfilled. >> +/// >> +/// [`LKMM`]: srctree/tools/memory-model >> +pub unsafe fn atomic_per_byte_memcpy(src: *const u8, dst: *mut u8, >> len: usize) { >> + // SAFETY: By the safety requirements of this function, the >> following operation will not: >> + // - Trap. >> + // - Invalidate any reference invariants. >> + // - Race with any operation by the Rust AM, as >> `bindings::memcpy` is a byte-wise atomic >> + // operation and all operations by the Rust AM to the involved >> memory areas use byte-wise >> + // atomic semantics. >> + unsafe { >> + bindings::memcpy( >> + dst.cast::(), >> + src.cast::(), >> + len, > > Are we sure that LLVM will not say "memcpy is a special function name, > I > know what it means" and optimize this like a non-atomic memcpy? This "treating special symbol name as intrinsics" logic is done in Clang, and won't be performed once lower to LLVM IR, so Rust is immune to that (even when LTO'ed together with Clang generated IR). So calling to bindings is fine. > > I think we should consider using the > > std::intrinsics::volatile_copy_nonoverlapping_memory > > intrinsic until Rust stabilizes a built-in atomic per-byte memcpy. Yes > I > know the intrinsic is unstable, but we should at least ask the Rust > folks about it. They are plausibly ok with this particular usage. If we have this in stable, I think it's sufficient for LKMM. However for Rust/C11 MM says that volatile ops are not atomic and use them for concurrency is UB. I recall in last Rust all hands the vibe at discussion is that it's desirable to define volatile as being byte-wise atomic, so if that actually happens, this would indeed be what we want (but I think semantics w.r.t. mixed-size atomics need to be figured out first). Best, Gary > > Alice