[PATCH v8 0/9] LKMM atomics in Rust

Boqun Feng posted 9 patches 2 months, 2 weeks ago
MAINTAINERS                               |    4 +-
rust/helpers/atomic.c                     | 1040 +++++++++++++++++++++
rust/helpers/barrier.c                    |   18 +
rust/helpers/helpers.c                    |    2 +
rust/kernel/sync.rs                       |    2 +
rust/kernel/sync/atomic.rs                |  553 +++++++++++
rust/kernel/sync/atomic/internal.rs       |  265 ++++++
rust/kernel/sync/atomic/ordering.rs       |  104 +++
rust/kernel/sync/atomic/predefine.rs      |  170 ++++
rust/kernel/sync/barrier.rs               |   61 ++
scripts/atomic/gen-atomics.sh             |    1 +
scripts/atomic/gen-rust-atomic-helpers.sh |   67 ++
12 files changed, 2286 insertions(+), 1 deletion(-)
create mode 100644 rust/helpers/atomic.c
create mode 100644 rust/helpers/barrier.c
create mode 100644 rust/kernel/sync/atomic.rs
create mode 100644 rust/kernel/sync/atomic/internal.rs
create mode 100644 rust/kernel/sync/atomic/ordering.rs
create mode 100644 rust/kernel/sync/atomic/predefine.rs
create mode 100644 rust/kernel/sync/barrier.rs
create mode 100755 scripts/atomic/gen-rust-atomic-helpers.sh
[PATCH v8 0/9] LKMM atomics in Rust
Posted by Boqun Feng 2 months, 2 weeks ago
Hi all,

This is the v8 of LKMM atomics in Rust, you can find the previous
versions at:

v7: https://lore.kernel.org/rust-for-linux/20250714053656.66712-1-boqun.feng@gmail.com/
v6: https://lore.kernel.org/rust-for-linux/20250710060052.11955-1-boqun.feng@gmail.com/
v5: https://lore.kernel.org/rust-for-linux/20250618164934.19817-1-boqun.feng@gmail.com/
v4: https://lore.kernel.org/rust-for-linux/20250609224615.27061-1-boqun.feng@gmail.com/
v3: https://lore.kernel.org/rust-for-linux/20250421164221.1121805-1-boqun.feng@gmail.com/
v2: https://lore.kernel.org/rust-for-linux/20241101060237.1185533-1-boqun.feng@gmail.com/
v1: https://lore.kernel.org/rust-for-linux/20240612223025.1158537-1-boqun.feng@gmail.com/
wip: https://lore.kernel.org/rust-for-linux/20240322233838.868874-1-boqun.feng@gmail.com/

Changes since v7:

- A lot of trait renaming per the suggestion of Benno.
- Add new internal type `AtomicRepr<T>` to make Atomc*Ops function safe.
- Rename atomic/ops.rs => atomic/internal.rs per the suggestion of
  Benno.
- Move `Atomic<T>`, `AtomicType` and `AtomicAdd` into atomic.rs.
- Remove atomic/generic.rs and move `impl AtomciType for {i,u}{32, 64,
  size}` blocks and the tests into a new atomic/predefine.rs file.
- Make `internal` not public, except that `AtomicImpl` is public.
- Other minor documentation improvememt.

Regards,
Boqun

Boqun Feng (9):
  rust: Introduce atomic API helpers
  rust: sync: Add basic atomic operation mapping framework
  rust: sync: atomic: Add ordering annotation types
  rust: sync: atomic: Add generic atomics
  rust: sync: atomic: Add atomic {cmp,}xchg operations
  rust: sync: atomic: Add the framework of arithmetic operations
  rust: sync: atomic: Add Atomic<u{32,64}>
  rust: sync: atomic: Add Atomic<{usize,isize}>
  rust: sync: Add memory barriers

 MAINTAINERS                               |    4 +-
 rust/helpers/atomic.c                     | 1040 +++++++++++++++++++++
 rust/helpers/barrier.c                    |   18 +
 rust/helpers/helpers.c                    |    2 +
 rust/kernel/sync.rs                       |    2 +
 rust/kernel/sync/atomic.rs                |  553 +++++++++++
 rust/kernel/sync/atomic/internal.rs       |  265 ++++++
 rust/kernel/sync/atomic/ordering.rs       |  104 +++
 rust/kernel/sync/atomic/predefine.rs      |  170 ++++
 rust/kernel/sync/barrier.rs               |   61 ++
 scripts/atomic/gen-atomics.sh             |    1 +
 scripts/atomic/gen-rust-atomic-helpers.sh |   67 ++
 12 files changed, 2286 insertions(+), 1 deletion(-)
 create mode 100644 rust/helpers/atomic.c
 create mode 100644 rust/helpers/barrier.c
 create mode 100644 rust/kernel/sync/atomic.rs
 create mode 100644 rust/kernel/sync/atomic/internal.rs
 create mode 100644 rust/kernel/sync/atomic/ordering.rs
 create mode 100644 rust/kernel/sync/atomic/predefine.rs
 create mode 100644 rust/kernel/sync/barrier.rs
 create mode 100755 scripts/atomic/gen-rust-atomic-helpers.sh

-- 
2.39.5 (Apple Git-154)