Re: [PATCH v3] rust: xarray: Add an abstraction for XArray

From: Gary Guo
Date: Tue Apr 04 2023 - 10:25:28 EST


On Mon, 03 Apr 2023 19:14:23 +0900
Asahi Lina <lina@xxxxxxxxxxxxx> wrote:

> The XArray is an abstract data type which behaves like a very large
> array of pointers. Add a Rust abstraction for this data type.
>
> The initial implementation uses explicit locking on get operations and
> returns a guard which blocks mutation, ensuring that the referenced
> object remains alive. To avoid excessive serialization, users are
> expected to use an inner type that can be efficiently cloned (such as
> Arc<T>), and eagerly clone and drop the guard to unblock other users
> after a lookup.
>
> Future variants may support using RCU instead to avoid mutex locking.
>
> This abstraction also 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: Asahi Lina <lina@xxxxxxxxxxxxx>
> ---
>
> Hi everyone!
>
> This abstraction is part of the set of dependencies for the drm/asahi
> Apple M1/M2 GPU driver.
>
> The branch at [1] contains the full series of patches rebased on
> upstream leading to the complete driver, for reference on how it is
> intended to be used.
>
> Thank you everyone who helped review this on GitHub [2]! I hope I didn't
> forget any CCs...
>
> Note that I dropped the convenience `Deref` impl for `Guard`, since I
> couldn't figure out how to do it safely. Suggestions welcome, or we can
> leave it for a future improvement ^^
>
> [1] https://github.com/AsahiLinux/linux/tree/gpu/rebase-20230224
> [2] https://github.com/Rust-for-Linux/linux/pull/952
>
> Changes in v3:
> - Updated to the error v2/v3 series API.
> - Renamed `err` to `ret` for consistency with the other instance.
> - Link to v2: https://lore.kernel.org/r/20230224-rust-xarray-v2-1-4eeb0134944c@xxxxxxxxxxxxx
> Changes in v2:
> - Added Pin requirement for all XArray operations, to close a
> soundness hole due to the lock in the XArray (locks are not safe to
> move while locked). Creation does not require pinning in place, since
> the lock cannot be acquired at that point.
> - Added safety note to Drop impl about why we don't need to do the lock
> unlock dance to ensure soundness in case of a dropped lock guard.
> - Downstream drm/asahi driver was also rebased on this version to prove
> it works (previously it was still on a pre-v1 version).
> - This still depends on the Error series (v1). v2 of that will need a
> trivial rename of Error::from_kernel_errno -> Error::from_errno. If
> this version of XArray ends up looking good, I'll send a trivial v4 of
> XArray with the rename, after sending the v2 of the Error series.
> - Link to v1: https://lore.kernel.org/r/20230224-rust-xarray-v1-1-80f0904ce5d3@xxxxxxxxxxxxx
> ---
> rust/bindings/bindings_helper.h | 17 +++
> rust/helpers.c | 37 +++++
> rust/kernel/lib.rs | 1 +
> rust/kernel/xarray.rs | 302 ++++++++++++++++++++++++++++++++++++++++
> 4 files changed, 357 insertions(+)
>
> diff --git a/rust/bindings/bindings_helper.h b/rust/bindings/bindings_helper.h
> index 75d85bd6c592..bd364f9e25fe 100644
> --- a/rust/bindings/bindings_helper.h
> +++ b/rust/bindings/bindings_helper.h
> @@ -8,7 +8,24 @@
>
> #include <linux/slab.h>
> #include <linux/refcount.h>
> +#include <linux/xarray.h>
>
> /* `bindgen` gets confused at certain things. */
> const gfp_t BINDINGS_GFP_KERNEL = GFP_KERNEL;
> const gfp_t BINDINGS___GFP_ZERO = __GFP_ZERO;
> +
> +const gfp_t BINDINGS_XA_FLAGS_LOCK_IRQ = XA_FLAGS_LOCK_IRQ;
> +const gfp_t BINDINGS_XA_FLAGS_LOCK_BH = XA_FLAGS_LOCK_BH;
> +const gfp_t BINDINGS_XA_FLAGS_TRACK_FREE = XA_FLAGS_TRACK_FREE;
> +const gfp_t BINDINGS_XA_FLAGS_ZERO_BUSY = XA_FLAGS_ZERO_BUSY;
> +const gfp_t BINDINGS_XA_FLAGS_ALLOC_WRAPPED = XA_FLAGS_ALLOC_WRAPPED;
> +const gfp_t BINDINGS_XA_FLAGS_ACCOUNT = XA_FLAGS_ACCOUNT;
> +const gfp_t BINDINGS_XA_FLAGS_ALLOC = XA_FLAGS_ALLOC;
> +const gfp_t BINDINGS_XA_FLAGS_ALLOC1 = XA_FLAGS_ALLOC1;
> +
> +const xa_mark_t BINDINGS_XA_MARK_0 = XA_MARK_0;
> +const xa_mark_t BINDINGS_XA_MARK_1 = XA_MARK_1;
> +const xa_mark_t BINDINGS_XA_MARK_2 = XA_MARK_2;
> +const xa_mark_t BINDINGS_XA_PRESENT = XA_PRESENT;
> +const xa_mark_t BINDINGS_XA_MARK_MAX = XA_MARK_MAX;
> +const xa_mark_t BINDINGS_XA_FREE_MARK = XA_FREE_MARK;
> diff --git a/rust/helpers.c b/rust/helpers.c
> index 04b9be46e887..21a8e086472f 100644
> --- a/rust/helpers.c
> +++ b/rust/helpers.c
> @@ -22,6 +22,7 @@
> #include <linux/build_bug.h>
> #include <linux/err.h>
> #include <linux/refcount.h>
> +#include <linux/xarray.h>
>
> __noreturn void rust_helper_BUG(void)
> {
> @@ -65,6 +66,42 @@ long rust_helper_PTR_ERR(__force const void *ptr)
> }
> EXPORT_SYMBOL_GPL(rust_helper_PTR_ERR);
>
> +void rust_helper_xa_init_flags(struct xarray *xa, gfp_t flags)
> +{
> + xa_init_flags(xa, flags);
> +}
> +EXPORT_SYMBOL_GPL(rust_helper_xa_init_flags);
> +
> +bool rust_helper_xa_empty(struct xarray *xa)
> +{
> + return xa_empty(xa);
> +}
> +EXPORT_SYMBOL_GPL(rust_helper_xa_empty);
> +
> +int rust_helper_xa_alloc(struct xarray *xa, u32 *id, void *entry, struct xa_limit limit, gfp_t gfp)
> +{
> + return xa_alloc(xa, id, entry, limit, gfp);
> +}
> +EXPORT_SYMBOL_GPL(rust_helper_xa_alloc);
> +
> +void rust_helper_xa_lock(struct xarray *xa)
> +{
> + xa_lock(xa);
> +}
> +EXPORT_SYMBOL_GPL(rust_helper_xa_lock);
> +
> +void rust_helper_xa_unlock(struct xarray *xa)
> +{
> + xa_unlock(xa);
> +}
> +EXPORT_SYMBOL_GPL(rust_helper_xa_unlock);
> +
> +int rust_helper_xa_err(void *entry)
> +{
> + return xa_err(entry);
> +}
> +EXPORT_SYMBOL_GPL(rust_helper_xa_err);
> +
> /*
> * We use `bindgen`'s `--size_t-is-usize` option to bind the C `size_t` type
> * as the Rust `usize` type, so we can use it in contexts where Rust
> diff --git a/rust/kernel/lib.rs b/rust/kernel/lib.rs
> index 223564f9f0cc..3eb0a18acd55 100644
> --- a/rust/kernel/lib.rs
> +++ b/rust/kernel/lib.rs
> @@ -38,6 +38,7 @@ pub mod std_vendor;
> pub mod str;
> pub mod sync;
> pub mod types;
> +pub mod xarray;
>
> #[doc(hidden)]
> pub use bindings;
> diff --git a/rust/kernel/xarray.rs b/rust/kernel/xarray.rs
> new file mode 100644
> index 000000000000..365a3288a787
> --- /dev/null
> +++ b/rust/kernel/xarray.rs
> @@ -0,0 +1,302 @@
> +// SPDX-License-Identifier: GPL-2.0
> +
> +//! XArray abstraction.
> +//!
> +//! C header: [`include/linux/xarray.h`](../../include/linux/xarray.h)
> +
> +use crate::{
> + bindings,
> + error::{Error, Result},
> + types::{ForeignOwnable, Opaque, ScopeGuard},
> +};
> +use core::{
> + marker::{PhantomData, PhantomPinned},
> + pin::Pin,
> + ptr::NonNull,
> +};
> +
> +/// Flags passed to `XArray::new` to configure the `XArray`.
> +type Flags = bindings::gfp_t;
> +
> +/// Flag values passed to `XArray::new` to configure the `XArray`.
> +pub mod flags {
> + /// Use IRQ-safe locking.
> + pub const LOCK_IRQ: super::Flags = bindings::BINDINGS_XA_FLAGS_LOCK_IRQ;
> + /// Use softirq-safe locking.
> + pub const LOCK_BH: super::Flags = bindings::BINDINGS_XA_FLAGS_LOCK_BH;
> + /// Track which entries are free (distinct from None).
> + pub const TRACK_FREE: super::Flags = bindings::BINDINGS_XA_FLAGS_TRACK_FREE;
> + /// Initialize array index 0 as busy.
> + pub const ZERO_BUSY: super::Flags = bindings::BINDINGS_XA_FLAGS_ZERO_BUSY;
> + /// Use GFP_ACCOUNT for internal memory allocations.
> + pub const ACCOUNT: super::Flags = bindings::BINDINGS_XA_FLAGS_ACCOUNT;
> + /// Create an allocating `XArray` starting at index 0.
> + pub const ALLOC: super::Flags = bindings::BINDINGS_XA_FLAGS_ALLOC;
> + /// Create an allocating `XArray` starting at index 1.
> + pub const ALLOC1: super::Flags = bindings::BINDINGS_XA_FLAGS_ALLOC1;
> +}
> +
> +/// Wrapper for a value owned by the `XArray` which holds the `XArray` lock until dropped.
> +pub struct Guard<'a, T: ForeignOwnable>(NonNull<T>, Pin<&'a XArray<T>>);
> +
> +impl<'a, T: ForeignOwnable> Guard<'a, T> {
> + /// Borrow the underlying value wrapped by the `Guard`.
> + ///
> + /// Returns a `T::Borrowed` type for the owned `ForeignOwnable` type.
> + pub fn borrow(&self) -> T::Borrowed<'_> {
> + // SAFETY: The value is owned by the `XArray`, the lifetime it is borrowed for must not
> + // outlive the `XArray` itself, nor the Guard that holds the lock ensuring the value
> + // remains in the `XArray`.
> + unsafe { T::borrow(self.0.as_ptr() as _) }
> + }
> +}
> +
> +impl<'a, T: ForeignOwnable> Drop for Guard<'a, T> {
> + fn drop(&mut self) {
> + // SAFETY: The XArray we have a reference to owns the C xarray object.
> + unsafe { bindings::xa_unlock(self.1.xa.get()) };
> + }
> +}
> +
> +/// 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
> +/// index space, and can be efficiently grown.
> +///
> +/// This structure is expected to often be used with an inner type that can either be efficiently
> +/// cloned, such as an `Arc<T>`.
> +pub struct XArray<T: ForeignOwnable> {
> + xa: Opaque<bindings::xarray>,
> + _p: PhantomData<T>,
> + _q: PhantomPinned,
> +}
> +
> +impl<T: ForeignOwnable> XArray<T> {
> + /// Creates a new `XArray` with the given flags.
> + pub fn new(flags: Flags) -> XArray<T> {
> + let xa = Opaque::uninit();
> +
> + // SAFETY: We have just created `xa`. This data structure does not require
> + // pinning.
> + unsafe { bindings::xa_init_flags(xa.get(), flags) };
> +
> + // INVARIANT: Initialize the `XArray` with a valid `xa`.
> + XArray {
> + xa,
> + _p: PhantomData,
> + _q: PhantomPinned,
> + }
> + }
> +
> + /// Replaces an entry with a new value, returning the old value (if any).
> + pub fn replace(self: Pin<&Self>, index: usize, value: T) -> Result<Option<T>> {
> + let new = value.into_foreign();
> + // SAFETY: `new` just came from into_foreign(), and we dismiss this guard if
> + // the xa_store operation succeeds and takes ownership of the pointer.
> + let guard = ScopeGuard::new(|| unsafe {
> + T::from_foreign(new);
> + });
> +
> + // SAFETY: `self.xa` is always valid by the type invariant, and we are storing
> + // a `T::into_foreign()` result which upholds the later invariants.
> + let old = unsafe {
> + bindings::xa_store(
> + self.xa.get(),
> + index.try_into()?,
> + new as *mut _,
> + bindings::GFP_KERNEL,
> + )
> + };

XArray's doc says the pointer must be 4-byte aligned, but I didn't see
any checks.

> +
> + let ret = unsafe { bindings::xa_err(old) };
> + if ret != 0 {
> + Err(Error::from_errno(ret))
> + } else if old.is_null() {
> + guard.dismiss();
> + Ok(None)
> + } else {
> + guard.dismiss();
> + // SAFETY: The old value must have been stored by either this function or
> + // `alloc_limits_opt`, both of which ensure non-NULL entries are valid
> + // ForeignOwnable pointers.
> + Ok(Some(unsafe { T::from_foreign(old) }))
> + }
> + }
> +
> + /// Replaces an entry with a new value, dropping the old value (if any).
> + pub fn set(self: Pin<&Self>, index: usize, value: T) -> Result {
> + self.replace(index, value)?;
> + Ok(())
> + }
> +
> + /// Looks up and returns a reference to an entry in the array, returning a `Guard` if it
> + /// exists.
> + ///
> + /// This guard blocks all other actions on the `XArray`. Callers are expected to drop the
> + /// `Guard` eagerly to avoid blocking other users, such as by taking a clone of the value.
> + pub fn get(self: Pin<&Self>, index: usize) -> Option<Guard<'_, T>> {
> + // SAFETY: `self.xa` is always valid by the type invariant.
> + unsafe { bindings::xa_lock(self.xa.get()) };
> +
> + // SAFETY: `self.xa` is always valid by the type invariant.
> + let guard = ScopeGuard::new(|| unsafe { bindings::xa_unlock(self.xa.get()) });
> +
> + // SAFETY: `self.xa` is always valid by the type invariant.
> + let p = unsafe { bindings::xa_load(self.xa.get(), index.try_into().ok()?) };
> +
> + NonNull::new(p as *mut T).map(|p| {
> + guard.dismiss();
> + Guard(p, self)
> + })
> + }
> +
> + /// Removes and returns an entry, returning it if it existed.
> + pub fn remove(self: Pin<&Self>, index: usize) -> Option<T> {
> + let p = unsafe { bindings::xa_erase(self.xa.get(), index.try_into().ok()?) };
> + if p.is_null() {
> + None
> + } else {
> + 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>> {
> + 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> {
> + fn drop(&mut self) {
> + // SAFETY: `self.xa` is valid by the type invariant, and as we have the only reference to
> + // the `XArray` we can safely iterate its contents and drop everything.
> + unsafe {
> + let mut index: core::ffi::c_ulong = 0;
> + let mut entry = bindings::xa_find(
> + self.xa.get(),
> + &mut index,
> + core::ffi::c_ulong::MAX,
> + bindings::BINDINGS_XA_PRESENT,
> + );
> + while !entry.is_null() {
> + T::from_foreign(entry);
> + entry = bindings::xa_find_after(
> + self.xa.get(),
> + &mut index,
> + core::ffi::c_ulong::MAX,
> + bindings::BINDINGS_XA_PRESENT,
> + );
> + }
> +
> + // Locked locks are not safe to drop. Normally we would want to try_lock()/unlock() here
> + // for safety or something similar, but in this case xa_destroy() is guaranteed to
> + // acquire the lock anyway. This will deadlock if a lock guard was improperly dropped,
> + // but that is not UB, so it's sufficient for soundness purposes.
> + bindings::xa_destroy(self.xa.get());
> + }
> + }
> +}
> +
> +// SAFETY: XArray is thread-safe and all mutation operations are internally locked.
> +unsafe impl<T: Send + ForeignOwnable> Send for XArray<T> {}
> +unsafe impl<T: Sync + ForeignOwnable> Sync for XArray<T> {}
>
> ---
> base-commit: 34abc9dde6a9083d2dc0a7791f5100d2eeb95bb3
> change-id: 20230224-rust-xarray-f503f9e5455e
>
> Thank you,
> ~~ Lina
>