[GIT PULL] [PATCH 00/24] Rust synchronization changes for v7.3
From: Boqun Feng
Date: Fri Jul 31 2026 - 16:30:50 EST
Hi Peter,
Please pull this Rust synchronization changes for v7.3 into tip.
The major changes are the introduction of preempt_count backed interrupt
disabling level tracking, i.e. the local_interrupt_{enable, disable}(),
along with the user (the Rust SpinLockIrq). This should unblock a few
drivers in Rust. For other changes, please refer the following change
log.
The following changes since commit 5e601ab3615c86be7c4068ce992f94654693a032:
futex: Optimise the size check get_futex_key() (2026-07-29 13:17:52 +0200)
are available in the Git repository at:
git://git.kernel.org/pub/scm/linux/kernel/git/boqun/linux.git tags/rust-sync.20260731a
for you to fetch changes up to 93ff5657a5f1d0d8577b58e66bc116a1e0f38a87:
rust: revocable: Use LKMM atomics instead of Rust atomics (2026-07-30 13:38:53 -0700)
----------------------------------------------------------------
Rust synchronization changes for v7.3:
* Safe SpinLockIrq
- Introduce refcounted interrupt disabling and corresponding spinlock
primitives, which tracks the interrupt disabling "level" in
preempt_count, as a result, this set of primitives can automatically
restore the interrupt disabling status when the outermost critical
section exits.
- Based on the above, a SpinLockIrq is introduced on the Rust side,
the guard of which will automatically restore the interrupt
disabling status when dropped. This avoid playing unsafe games when
using irq disabled spinlocks.
* Add synchronize_rcu() safe abstraction.
* Generic memory barrier: this extends our Rust barrier primitives to
include more barriers for DMA as well.
* Replace the atomic usage in Revocable with LKMM atomics.
-----BEGIN PGP SIGNATURE-----
iQFhBAABCABLFiEEj5IosQTPz8XU1wRHSXnow7UH+rgFAmptA2MbFIAAAAAABAAO
bWFudTIsMi41KzEuMTIsMCwzERxib3F1bkBrZXJuZWwub3JnAAoJEEl56MO1B/q4
UBAH/108a8dCkDaK3MUuS0SeuqY57EPwLCTE/k4gJK35XlF0fCpEPfFtqfEs6xkG
E0rMhSx3bDmtfccEo16LOkmbcrSx3NSsc9KlSRiYRywptT+CRld5FPqmJqDd2nCh
mYYUsNppEXFd4rUiGfKAcVeLHD+PCio0/ElNN7X3TCfQgtWUuDp4pcB23m9t6ste
Re4idhKoTmqeKTX3N8AuQ0QMsr1FNNLu0ESpUv1n6/DrEB1g8XevF1J2PKYr9fxt
aahCMk2qQF3vDCi4Ydh9o9AWqSkinU2yIW64ZBWRC2S7QBVRIrPAEtX4V/n7d/n+
2irbb1ZuVu5zFD0/CyNkgyQM/og=
=DzLT
-----END PGP SIGNATURE-----
Regards,
Boqun
----------------------------------------------------------------
Boqun Feng (10):
preempt: Introduce HARDIRQ_DISABLE_BITS
preempt: Introduce __preempt_count_{sub, add}_return()
irq & spin_lock: Add counted interrupt disabling/enabling
locking: Switch to _irq_{disable,enable}() variants in cleanup guards
sched: Remove the unused preempt_offset parameter of __cant_sleep()
sched: Avoid signed comparison of preempt_count() in __cant_migrate()
preempt: Introduce HAS_SEPARATE_PREEMPT_RESCHED_BITS
arm64: sched/preempt: Enable HAS_SEPARATE_PREEMPT_RESCHED_BITS
irq: Optimize reschedule check in local_interrupt_enable()
rust: helper: Add spin_{un,}lock_irq_{enable,disable}() helpers
Gary Guo (3):
rust: sync: Add helpers for mb, dma_mb and friends
rust: sync: Add generic memory barriers
rust: revocable: Use LKMM atomics instead of Rust atomics
Heiko Carstens (1):
s390/preempt: Enable HAS_SEPARATE_PREEMPT_RESCHED_BITS
Joel Fernandes (1):
preempt: Track NMI nesting to separate per-CPU counter
Lyude Paul (6):
openrisc: Include <linux/cpumask.h> in smp.h
irq: Add KUnit test for refcounted interrupt enable/disable
rust: Introduce interrupt module
rust: sync: use super::* in spinlock.rs
rust: sync: Add SpinLockIrq
rust: sync: Introduce SpinLockIrq::lock_with() and friends
Philipp Stanner (3):
rust: sync: Add abstraction for synchronize_rcu()
rust: revocable: Use safe synchronize_rcu() abstraction
rust: sync: Use safe synchronize_rcu() abstraction in poll
arch/arm64/Kconfig | 1 +
arch/arm64/include/asm/preempt.h | 18 ++
arch/openrisc/include/asm/smp.h | 2 +
arch/s390/Kconfig | 1 +
arch/s390/include/asm/lowcore.h | 13 +-
arch/s390/include/asm/preempt.h | 49 ++--
arch/x86/Kconfig | 1 +
arch/x86/include/asm/preempt.h | 61 +++--
arch/x86/kernel/cpu/common.c | 2 +-
include/asm-generic/preempt.h | 14 ++
include/linux/hardirq.h | 41 ++-
include/linux/interrupt_rc.h | 76 ++++++
include/linux/kernel.h | 4 +-
include/linux/preempt.h | 35 ++-
include/linux/spinlock.h | 35 ++-
include/linux/spinlock_api_smp.h | 41 +++
include/linux/spinlock_api_up.h | 16 ++
include/linux/spinlock_rt.h | 18 ++
kernel/Kconfig.preempt | 4 +
kernel/irq/Makefile | 1 +
kernel/irq/refcount_interrupt_test.c | 109 ++++++++
kernel/locking/spinlock.c | 29 +++
kernel/sched/core.c | 18 +-
kernel/softirq.c | 22 +-
lib/locking-selftest.c | 2 +-
rust/helpers/barrier.c | 30 +++
rust/helpers/helpers.c | 1 +
rust/helpers/interrupt.c | 18 ++
rust/helpers/spinlock.c | 15 ++
rust/helpers/sync.c | 5 +
rust/kernel/interrupt.rs | 89 +++++++
rust/kernel/lib.rs | 1 +
rust/kernel/revocable.rs | 28 ++-
rust/kernel/sync.rs | 9 +-
rust/kernel/sync/atomic/ordering.rs | 2 +-
rust/kernel/sync/barrier.rs | 127 +++++++---
rust/kernel/sync/lock/global.rs | 3 +
rust/kernel/sync/lock/spinlock.rs | 331 ++++++++++++++++++++++++-
rust/kernel/sync/poll.rs | 10 +-
rust/kernel/sync/rcu.rs | 16 ++
tools/testing/selftests/bpf/bpf_experimental.h | 7 +-
41 files changed, 1184 insertions(+), 121 deletions(-)
create mode 100644 include/linux/interrupt_rc.h
create mode 100644 kernel/irq/refcount_interrupt_test.c
create mode 100644 rust/helpers/interrupt.c
create mode 100644 rust/kernel/interrupt.rs