[PATCH v2 0/5] In-place module initialisation

From: Wedson Almeida Filho
Date: Thu Mar 28 2024 - 15:58:25 EST


From: Wedson Almeida Filho <walmeida@xxxxxxxxxxxxx>

Introduce `InPlaceModule`, which allows modules to be initialised
inplace, as opposed to the current state where modules must return an
instance which is moved to its final memory location.

This allows us to have modules whose state hold objects that must be
initialised inplace like locks. It also allows us to implement
registrations (e.g., driver registration) inplace and have them similar
to their C counterparts where no new allocations are needed.

This is built on top of the allocation APIs because the sample module is
a modified version of rust_minimal, which would be incompatible with the
allocation API series because it uses vectors.

---

Changes in v2:

- Rebased to latest rust-next
- Split off adding `Send` requirement to `Module` into a separate patch
- Prefixed all `core` and `kernel` references with `::` in
`module!` macro-generated code.
- Calling `__pinned_init` with explicit full path.
- Add `Mutex` to `rust_inplace` sample.
- Added `Send` implementation for `Registration` in net/phy.
- Link to v1: https://lore.kernel.org/rust-for-linux/20240327032337.188938-1-wedsonaf@xxxxxxxxx/T/#t

---
Wedson Almeida Filho (5):
rust: phy: implement `Send` for `Registration`
rust: kernel: require `Send` for `Module` implementations
rust: module: prefix all module paths with `::`
rust: introduce `InPlaceModule`
samples: rust: add in-place initialisation sample

rust/kernel/lib.rs | 25 +++++++++++++++++++-
rust/kernel/net/phy.rs | 4 ++++
rust/macros/module.rs | 36 ++++++++++++-----------------
samples/rust/Kconfig | 11 +++++++++
samples/rust/Makefile | 1 +
samples/rust/rust_inplace.rs | 44 ++++++++++++++++++++++++++++++++++++
6 files changed, 99 insertions(+), 22 deletions(-)
create mode 100644 samples/rust/rust_inplace.rs


base-commit: 453275c66aa4d87c73c5152140b3573ab2435bb7
--
2.34.1