Skip to content

Add XArray abstraction #1019

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 37 commits into
base: rust-dev
Choose a base branch
from
Draft
Changes from 1 commit
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
520a56a
rust: allocator: Prevents mis-aligned allocation
fbq Jun 13, 2023
3d8d9bc
rust: make `UnsafeCell` the outer type in `Opaque`
Darksonn Jun 14, 2023
7671527
rust: types: make `Opaque` be `!Unpin`
y86-dev Jun 30, 2023
0ad204c
kbuild: rust_is_available: remove -v option
masahir0y Jun 16, 2023
70a61eb
kbuild: rust_is_available: fix version check when CC has multiple arg…
ruscur Jun 16, 2023
a250bde
docs: rust: add paragraph about finding a suitable `libclang`
ojeda Jun 16, 2023
00383f7
kbuild: rust_is_available: print docs reference
ojeda Jun 16, 2023
8b2e73a
kbuild: rust_is_available: add check for `bindgen` invocation
ojeda Jun 16, 2023
eb9199d
kbuild: rust_is_available: check that environment variables are set
ojeda Jun 16, 2023
6bed841
kbuild: rust_is_available: fix confusion when a version appears in th…
ojeda Jun 16, 2023
600eb66
kbuild: rust_is_available: normalize version matching
ojeda Jun 16, 2023
6d4220b
kbuild: rust_is_available: handle failures calling `$RUSTC`/`$BINDGEN`
ojeda Jun 16, 2023
10452fc
kbuild: rust_is_available: check that output looks as expected
ojeda Jun 16, 2023
6a4e6dc
kbuild: rust_is_available: add test suite
ojeda Jun 16, 2023
f2f2787
rust: alloc: Add realloc and alloc_zeroed to the GlobalAlloc impl
fbq Jun 25, 2023
53dd54f
rust: bindgen: upgrade to 0.65.1
Shinyzenith Jun 12, 2023
02ddf5a
rust: init: make doctests compilable/testable
ojeda Jun 14, 2023
276f14d
rust: str: make doctests compilable/testable
ojeda Jun 14, 2023
c30db85
rust: sync: make doctests compilable/testable
ojeda Jun 14, 2023
4009de1
rust: types: make doctests compilable/testable
ojeda Jun 14, 2023
e9e95cd
rust: support running Rust documentation tests as KUnit ones
ojeda Jun 14, 2023
eff7a66
MAINTAINERS: add Rust KUnit files to the KUnit entry
ojeda Jun 14, 2023
72fbe4a
rust: macros: fix redefine const_name in `vtable`
cqs21 Jun 26, 2023
8e87a0d
rust: macros: add `paste!` proc macro
nbdd0121 Jun 28, 2023
7c6e564
arm64: rust: Enable Rust support for AArch64
JamieCunliffe Jun 6, 2023
522ba05
arm64: rust: Enable PAC support for Rust.
JamieCunliffe Jun 6, 2023
b1555e1
arm64: Restrict Rust support to little endian only.
JamieCunliffe Jun 6, 2023
19b33fc
rust: bindgen: update installation instructions
matthewtgilbride Jun 29, 2023
c1c510f
rust: xarray: Add an abstraction for XArray
asahilina Jun 27, 2023
91f4147
rust: xarray: add rudimentary doctest
matthewtgilbride Jun 27, 2023
6c19acb
rust: xarray: add `get_mutable` and `find_mut`
matthewtgilbride Jun 27, 2023
3016eac
rust: xarray: add reservation mechanism
asahilina Jun 27, 2023
90ddba2
Why does this cuase NULL pointer dereference?
matthewtgilbride Jul 2, 2023
702746d
Just me thrashing about - figuring out NPE
matthewtgilbride Jul 4, 2023
976067b
rust: delete `ForeignOwnable::borrow_mut`
Darksonn Jul 6, 2023
ac520c2
rust: add improved version of `ForeignOwnable::borrow_mut`
Darksonn Jul 10, 2023
642ff49
rust: xarray: figure out pin and get_scoped
matthewtgilbride Jul 17, 2023
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
rust: xarray: add reservation mechanism
Introduces a reservation mechanism, which can be
used by alloc-capable `XArrays` to reserve a free slot without immediately
filling it, and then do so at a later time. If the reservation is
dropped without being filled, the slot is freed again for other users,
which eliminates the need for explicit cleanup code.

Signed-off-by: Matt Gilbride <[email protected]>
  • Loading branch information
asahilina authored and matthewtgilbride committed Jul 5, 2023
commit 3016eacc3a77f927010396c0aad96980aaefa05a
105 changes: 105 additions & 0 deletions rust/kernel/xarray.rs
Original file line number Diff line number Diff line change
Expand Up @@ -80,6 +80,41 @@ impl<'a, T: ForeignOwnable> Drop for ValueGuardMut<'a, T> {
}
}

/// Represents a reserved slot in an `XArray`, which does not yet have a value but has an assigned
/// index and may not be allocated by any other user. If the Reservation is dropped without
/// being filled, the entry is marked as available again.
///
/// Users must ensure that reserved slots are not filled by other mechanisms, or otherwise their
/// contents may be dropped and replaced (which will print a warning).
pub struct Reservation<'a, T: ForeignOwnable>(Pin<&'a XArray<T>>, usize, PhantomData<T>);

impl<'a, T: ForeignOwnable> Reservation<'a, T> {
/// Stores a value into the reserved slot.
pub fn store(self, value: T) -> Result<usize> {
if self.0.replace(self.1, value)?.is_some() {
crate::pr_err!("XArray: Reservation stored but the entry already had data!\n");
// Consider it a success anyway, not much we can do
}
let index = self.1;
// The reservation is now fulfilled, so do not run our destructor.
core::mem::forget(self);
Ok(index)
}

/// Returns the index of this reservation.
pub fn index(&self) -> usize {
self.1
}
}

impl<'a, T: ForeignOwnable> Drop for Reservation<'a, T> {
fn drop(&mut self) {
if self.0.remove(self.1).is_some() {
crate::pr_err!("XArray: Reservation dropped but the entry was not empty!\n");
}
}
}

/// An array which efficiently maps sparse integer indices to owned objects.
///
/// This is similar to a `Vec<Option<T>>`, but more efficient when there are holes in the
Expand Down Expand Up @@ -372,6 +407,76 @@ impl<T: ForeignOwnable> XArray<T> {
Some(unsafe { T::from_foreign(p) })
}
}

/// Allocates a new index in the array, optionally storing a new value into it, with
/// configurable bounds for the index range to allocate from.
///
/// If `value` is `None`, then the index is reserved from further allocation but remains
/// free for storing a value into it.
fn alloc_limits_opt(self: Pin<&Self>, value: Option<T>, min: u32, max: u32) -> Result<usize> {
let new = value.map_or(core::ptr::null(), |a| a.into_foreign());
let mut id: u32 = 0;

// SAFETY: `self.xa` is always valid by the type invariant. If this succeeds, it
// takes ownership of the passed `T` (if any). If it fails, we must drop the
// `T` again.
let ret = unsafe {
bindings::xa_alloc(
self.xa.get(),
&mut id,
new as *mut _,
bindings::xa_limit { min, max },
bindings::GFP_KERNEL,
)
};

if ret < 0 {
// Make sure to drop the value we failed to store
if !new.is_null() {
// SAFETY: If `new` is not NULL, it came from the `ForeignOwnable` we got
// from the caller.
unsafe { T::from_foreign(new) };
}
Err(Error::from_errno(ret))
} else {
Ok(id as usize)
}
}

/// Allocates a new index in the array, storing a new value into it, with configurable
/// bounds for the index range to allocate from.
pub fn alloc_limits(self: Pin<&Self>, value: T, min: u32, max: u32) -> Result<usize> {
self.alloc_limits_opt(Some(value), min, max)
}

/// Allocates a new index in the array, storing a new value into it.
pub fn alloc(self: Pin<&Self>, value: T) -> Result<usize> {
self.alloc_limits(value, 0, u32::MAX)
}

/// Reserves a new index in the array within configurable bounds for the index.
///
/// Returns a `Reservation` object, which can then be used to store a value at this index or
/// otherwise free it for reuse.
pub fn reserve_limits(self: Pin<&Self>, min: u32, max: u32) -> Result<Reservation<'_, T>> {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

just unimportant bikeshedding: I would call this reserve_between and the other functions adjusted similarly. What do the others think?

Ok(Reservation(
self,
self.alloc_limits_opt(None, min, max)?,
PhantomData,
))
}

/// Reserves a new index in the array.
///
/// Returns a `Reservation` object, which can then be used to store a value at this index or
/// otherwise free it for reuse.
pub fn reserve(self: Pin<&Self>) -> Result<Reservation<'_, T>> {
Ok(Reservation(
self,
self.alloc_limits_opt(None, 0, u32::MAX)?,
PhantomData,
))
}
}

impl<T: ForeignOwnable> Drop for XArray<T> {
Expand Down