From nobody Sun Feb 8 05:07:44 2026 Received: from mail-qk1-f195.google.com (mail-qk1-f195.google.com [209.85.222.195]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id A550043E48E for ; Tue, 20 Jan 2026 14:05:24 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.222.195 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1768917927; cv=none; b=KvmmqFaGGb1g14JcNkP+sDulAI3NC8heuwrhCP09f3Ov7TC3U09o8oT8JEjfX8Hu/sBsuAY1iXNlYEIfIuNbDSrC7hVzSypgRhd7pvHkMxZ2zl/JUG9K8dxpesg92XCeaiqiJcoZDObbchmoiTKOjWIgT+LqujM+sSv5nZu5eNc= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1768917927; c=relaxed/simple; bh=lKY1eJ8/q2YuwAvqzjqDdSke3x4ANRWo9Ml+P+k2QDw=; h=From:To:Cc:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=tI9heZMILDPIBZ9F+GJf0iC2utNZ6big7A1LvIYwkylsiwbN7Oe97Mp8HiVjGN0p58G0bfACdTVp8AoGPuq30riQRsGnZsncHmi+H3U+XQd5xaG9fzKRo41yA04e5g0pD2VGfGxqae60LQZ9enehSoTpsOD0tPxyz9q9h80DjYw= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=FioJT63G; arc=none smtp.client-ip=209.85.222.195 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="FioJT63G" Received: by mail-qk1-f195.google.com with SMTP id af79cd13be357-8c5265d06c3so634173085a.1 for ; Tue, 20 Jan 2026 06:05:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1768917923; x=1769522723; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:feedback-id:from:to:cc:subject :date:message-id:reply-to; bh=oGl+JawNZxbkW6YBThH+A9Q3ruFvPDTeQ6pPsaxwQ2U=; b=FioJT63GjGrH9PRXnpoZyRnZbXhQfbjyCSpUbHUNJzlLVjyk8jHr1jCJKLLswLmzso zbbaJNgAmKfKej283dhIgyxm13kwlJjl4wLXcqI0A0weOqg3mj0rB8fhqpzSSLorump3 AB9ovQfNf8Zbz3i86xqx5l6kWWWPf0gSao+1n+nPpDbnV5f7mRpiPjR9FqUcJ+5wOLaM uJx/WFr/ubI/Ts7mLvYOa7oGw9Z2zEsoSw52kMcm/zln8ShYrTPEsmheukA9rnaNNWBQ wxH/4KyQinZOeRJ3Mj2VQv66lhZOryl1Cl3p0hQeHjathrxmr8f1lLXNNc2qxx7s+BI9 3Czw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1768917923; x=1769522723; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:feedback-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=oGl+JawNZxbkW6YBThH+A9Q3ruFvPDTeQ6pPsaxwQ2U=; b=sNDTW7Dxspw15T38I/9wDCN5t4NDzeIyTfxUyuuk0CcjPh5lJMa2TDtaBZSYGueEAd 2k2CBkTcKfMDAIhe4UIBFWL6J4umKGOwId85wdiJQPS5luhq7dqC1f6XgnRrZR8iKX5m pQBC6/dCWvmwOGzktdLl4DZLrI3ShEsKB3ypmVVrySZ2yy2XBWpCyxec9EECqnTtmeQE cssJiUCXB0FvynXgXgt59NEVYbv5JMSa45WfoXfq8PtGsyJhE83TWX5RpcS+i5hAcLlZ 4vTl9UX0YV8r2Qq9DpKGPZn/OnuTyz2OJigv2Z+AWu5chXN0BSvRgIOW8qaqkEk6O/vA OW+A== X-Forwarded-Encrypted: i=1; AJvYcCXSPzYM3a4yiTtzA+HuBpmc6iLmWEibQfr0MVel+8gZ+ewBSo++8Ziq2Ms7GqROdbB7xxyPWA/f6S3lXo0=@vger.kernel.org X-Gm-Message-State: AOJu0Ywg0ov0GLkjy9sagSB20xxMSR3xyJ8tW+reMxZCIpNbZI1ZnR66 CntJ1gSRvq6igXOvGsDe58ObuK8wxTh4s4P8lYblcK2Tjp2fbgA2W3xM X-Gm-Gg: AY/fxX4wxEVx689wsM+uc0iyH//p0GQUFOIse79GKFSaGxIaOe8qo2tZCG9ZoqYGajp UoEjpiaep9Gu1n0oekDnfZfr3yoZdU93WmVMjIFxK9M2fVZFpJ5OKN9fXF/JDvrYtxagcFrvNmG avWzosRHsH4+BNc9C/d9HVkglgZbfXMYaWlbQ3go/M/kMKDfKFXAnoOZQfwxrX22Rv2fNRUi5e5 7peCr2/QKEHn+kRT99zodXfIAguSGyn5AB1id4oEcj5q1XOmJcr/WbqRiwS48zDQJF06KK+dYi3 /M7HYTSnKBweAw4Dm6WtxSaeQ3RAxJMIZ3sHuRbO0I05t0nobQEJuzxjYyC51UyxsgoGA0FGDYD 2jeCo2Hj3d738BF7cwGX2f7nBnhr0hQrGC9Il19cW+5II/RZko65XkM0hSp8/deSy8QRTNs69EO rxdAyHy9kEjH+p+/v/ZdYgczHhIzHiApaM/RUorRVAQRel7HdtdWYOfWNfFausr3EOKlFZTJbDv JsWZ6Tc75xwrNg= X-Received: by 2002:a05:620a:199e:b0:8b2:eb79:d37d with SMTP id af79cd13be357-8c6a645ca97mr1691655185a.4.1768917919581; Tue, 20 Jan 2026 06:05:19 -0800 (PST) Received: from fauth-a1-smtp.messagingengine.com (fauth-a1-smtp.messagingengine.com. [103.168.172.200]) by smtp.gmail.com with ESMTPSA id af79cd13be357-8c6af506829sm813177485a.37.2026.01.20.06.05.17 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 20 Jan 2026 06:05:18 -0800 (PST) Received: from phl-compute-01.internal (phl-compute-01.internal [10.202.2.41]) by mailfauth.phl.internal (Postfix) with ESMTP id 4BD42F40068; Tue, 20 Jan 2026 09:05:17 -0500 (EST) Received: from phl-frontend-03 ([10.202.2.162]) by phl-compute-01.internal (MEProxy); Tue, 20 Jan 2026 09:05:17 -0500 X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefgedrtddtgddugedtiedtucetufdoteggodetrf dotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfurfetoffkrfgpnffqhgenuceu rghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujf gurhephffvvefufffkofgjfhgggfestdekredtredttdenucfhrhhomhepuehoqhhunhcu hfgvnhhguceosghoqhhunhdrfhgvnhhgsehgmhgrihhlrdgtohhmqeenucggtffrrghtth gvrhhnpeegleejiedthedvheeggfejveefjeejkefgveffieeujefhueeigfegueehgeeg gfenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpegsoh hquhhnodhmvghsmhhtphgruhhthhhpvghrshhonhgrlhhithihqdeiledvgeehtdeigedq udejjeekheehhedvqdgsohhquhhnrdhfvghngheppehgmhgrihhlrdgtohhmsehfihigmh gvrdhnrghmvgdpnhgspghrtghpthhtohepvdekpdhmohguvgepshhmthhpohhuthdprhgt phhtthhopehruhhsthdqfhhorhdqlhhinhhugiesvhhgvghrrdhkvghrnhgvlhdrohhrgh dprhgtphhtthhopehlihhnuhigqdhkvghrnhgvlhesvhhgvghrrdhkvghrnhgvlhdrohhr ghdprhgtphhtthhopehrtghusehvghgvrhdrkhgvrhhnvghlrdhorhhgpdhrtghpthhtoh epohhjvggurgeskhgvrhhnvghlrdhorhhgpdhrtghpthhtohepsghoqhhunhdrfhgvnhhg sehgmhgrihhlrdgtohhmpdhrtghpthhtohepghgrrhihsehgrghrhihguhhordhnvghtpd hrtghpthhtohepsghjohhrnhefpghghhesphhrohhtohhnmhgrihhlrdgtohhmpdhrtghp thhtoheplhhoshhsihhnsehkvghrnhgvlhdrohhrghdprhgtphhtthhopegrrdhhihhnug gsohhrgheskhgvrhhnvghlrdhorhhg X-ME-Proxy: Feedback-ID: iad51458e:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Tue, 20 Jan 2026 09:05:16 -0500 (EST) From: Boqun Feng To: rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org, rcu@vger.kernel.org Cc: Miguel Ojeda , Boqun Feng , Gary Guo , =?UTF-8?q?Bj=C3=B6rn=20Roy=20Baron?= , Benno Lossin , Andreas Hindborg , Alice Ryhl , Trevor Gross , Danilo Krummrich , Will Deacon , Peter Zijlstra , Mark Rutland , "Paul E. McKenney" , Frederic Weisbecker , Neeraj Upadhyay , Joel Fernandes , Josh Triplett , Uladzislau Rezki , Steven Rostedt , Mathieu Desnoyers , Lai Jiangshan , Zqiang , FUJITA Tomonori , Dirk Behme , Dirk Behme Subject: [PATCH v2 1/2] rust: sync: atomic: Clarify the need of CONFIG_ARCH_SUPPORTS_ATOMIC_RMW Date: Tue, 20 Jan 2026 22:05:02 +0800 Message-ID: <20260120140503.62804-2-boqun.feng@gmail.com> X-Mailer: git-send-email 2.51.0 In-Reply-To: <20260120140503.62804-1-boqun.feng@gmail.com> References: <20260120140503.62804-1-boqun.feng@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Currently, since all the architectures that support Rust all have CONFIG_ARCH_SUPPORTS_ATOMIC_RMW selected, the helpers of atomic load/store on i8 and i16 relies on CONFIG_ARCH_SUPPORTS_ATOMIC_RMW=3Dy. It's generally fine since most of architectures support that. The plan for CONFIG_ARCH_SUPPORTS_ATOMIC_RMW=3Dn architectures is adding their (probably lock-based) atomic load/store for i8 and i16 as their atomic_{read,set}() and atomic64_{read,set}() counterpart when they plans to support Rust. Hence use a statis_assert!() to check this and remind the future us the need of the helpers. This is more clear than the #[cfg] on impl blocks of i8 and i16. Suggested-by: Dirk Behme Suggested-by: Benno Lossin Signed-off-by: Boqun Feng Reviewed-by: Gary Guo --- rust/kernel/sync/atomic/internal.rs | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/rust/kernel/sync/atomic/internal.rs b/rust/kernel/sync/atomic/= internal.rs index 0dac58bca2b3..ef516bcb02ee 100644 --- a/rust/kernel/sync/atomic/internal.rs +++ b/rust/kernel/sync/atomic/internal.rs @@ -37,16 +37,23 @@ pub trait AtomicImpl: Sized + Send + Copy + private::Se= aled { type Delta; } =20 -// The current helpers of load/store uses `{WRITE,READ}_ONCE()` hence the = atomicity is only -// guaranteed against read-modify-write operations if the architecture sup= ports native atomic RmW. -#[cfg(CONFIG_ARCH_SUPPORTS_ATOMIC_RMW)] +// The current helpers of load/store of atomic `i8` and `i16` use `{WRITE,= READ}_ONCE()` hence the +// atomicity is only guaranteed against read-modify-write operations if th= e architecture supports +// native atomic RmW. +// +// In the future when a CONFIG_ARCH_SUPPORTS_ATOMIC_RMW=3Dn architecture p= lans to support Rust, the +// load/store helpers that guarantee atomicity against RmW operations (usu= ally via a lock) need to +// be added. +crate::static_assert!( + cfg!(CONFIG_ARCH_SUPPORTS_ATOMIC_RMW), + "The current implementation of atomic i8/i16/ptr relies on the archite= cure being \ + ARCH_SUPPORTS_ATOMIC_RMW" +); + impl AtomicImpl for i8 { type Delta =3D Self; } =20 -// The current helpers of load/store uses `{WRITE,READ}_ONCE()` hence the = atomicity is only -// guaranteed against read-modify-write operations if the architecture sup= ports native atomic RmW. -#[cfg(CONFIG_ARCH_SUPPORTS_ATOMIC_RMW)] impl AtomicImpl for i16 { type Delta =3D Self; } --=20 2.51.0