Skip to content
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`
BennoLossin 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
Why does this cuase NULL pointer dereference?
  • Loading branch information
matthewtgilbride committed Jul 5, 2023
commit 90ddba239bf3b8ba333b2708ddceb03cf2a87edc
154 changes: 54 additions & 100 deletions rust/kernel/xarray.rs
Original file line number Diff line number Diff line change
Expand Up @@ -129,85 +129,24 @@ impl<'a, T: ForeignOwnable> Drop for Reservation<'a, T> {
/// rudimentary read/write operations.
///
/// ```
/// use kernel::xarray::{XArray, flags::LOCK_IRQ};
/// use core::{
/// borrow::Borrow,
/// ops::Deref
/// };
/// use kernel::{
/// sync::Arc,
/// xarray::{XArray, flags::LOCK_IRQ}
/// };
///
/// let xarr: Box<XArray<Box<usize>>> = Box::try_new(XArray::new(LOCK_IRQ))?;
/// let xarr: Pin<Box<XArray<Box<usize>>>> = Box::into_pin(xarr);
/// let xarr: Pin<&XArray<Box<usize>>> = xarr.as_ref();
/// let xarr: Box<XArray<Arc<usize>>> = Box::try_new(XArray::new(LOCK_IRQ))?;
/// let xarr: Pin<Box<XArray<Arc<usize>>>> = Box::into_pin(xarr);
/// let xarr: Pin<&XArray<Arc<usize>>> = xarr.as_ref();
///
/// assert!(xarr.get(0).is_none());
///
/// xarr.set(0, Box::try_new(0)?);
/// assert_eq!(xarr.get(0).unwrap().borrow(), &0);
///
/// // `replace` is like `set`, but returns the old value.
/// let old = xarr.replace(0, Box::try_new(1)?)?.unwrap();
/// assert_eq!(old.as_ref(), &0);
/// assert_eq!(xarr.get(0).unwrap().borrow(), &1);
///
/// // `replace` returns `None` if there was no previous value.
/// assert!(xarr.replace(1, Box::try_new(1)?)?.is_none());
/// assert_eq!(xarr.get(1).unwrap().borrow(), &1);
///
/// // Similarly, `remove` returns the old value, or `None` if it didn't exist.
/// assert_eq!(xarr.remove(0).unwrap().as_ref(), &1);
/// assert!(xarr.get(0).is_none());
/// assert!(xarr.remove(0).is_none());
///
/// // `find` returns the index/value pair matching the index, the next larger
/// // index/value pair if it doesn't exist, or `None` of no larger index exists.
/// let (found_index, found_value) = xarr.find(1).unwrap();
/// assert_eq!(found_index, 1);
/// assert_eq!(found_value.borrow(), &1);
/// let (found_index, found_value) = xarr.find(0).unwrap();
/// assert_eq!(found_index, 1);
/// assert_eq!(found_value.borrow(), &1);
/// assert!(xarr.find(2).is_none());
///
/// # Ok::<(), Error>(())
/// ```
///
/// In this example, we create a new `XArray` and demonstrate
/// how to mutably access values.
///
/// ```
/// use kernel::xarray::{XArray, flags::LOCK_IRQ};
///
/// let xarr: Box<XArray<Box<usize>>> = Box::try_new(XArray::new(LOCK_IRQ))?;
/// let mut xarr: Pin<Box<XArray<Box<usize>>>> = Box::into_pin(xarr);
///
/// // Create scopes so that references can be dropped
/// // in order to take a new, mutable/immutable ones afterwards.
/// {
/// let xarr = xarr.as_ref();
/// assert!(xarr.get(1).is_none());
/// xarr.set(1, Box::try_new(1)?);
/// assert_eq!(xarr.get(1).unwrap().borrow(), &1);
/// }
///
/// {
/// let xarr = xarr.as_mut();
/// let mut value = xarr.get_mutable(1).unwrap().borrow_mut();
/// *(value.as_mut()) = 2;
/// }
///
/// {
/// let xarr = xarr.as_ref();
/// assert_eq!(xarr.get(1).unwrap().borrow(), &2);
/// }
///
/// // `find_mut` can equivalently be used for mutation.
/// {
/// let xarr = xarr.as_mut();
/// let (index, mut value_guard) = xarr.find_mut(0).unwrap();
/// assert_eq!(index, 1);
/// *(value_guard.borrow_mut().as_mut()) = 3;
/// }
///
/// {
/// let xarr = xarr.as_ref();
/// assert_eq!(xarr.get(1).unwrap().borrow(), &3);
/// }
/// xarr.set(0, Arc::try_new(0)?);
/// let wut_null_pointer_deref = xarr.get(0).unwrap();
/// assert_eq!(wut_null_pointer_deref.as_ref(), &0);
///
/// # Ok::<(), Error>(())
/// ```
Expand Down Expand Up @@ -276,49 +215,64 @@ impl<T: ForeignOwnable> XArray<T> {
Ok(())
}

/// Looks up and returns a reference to an entry in the array, returning a `ValueGuard` if it
/// exists.
/// Looks up a reference to an entry in the array, cloning it
/// and returning the cloned value to the user.
///
/// This guard blocks all other actions on the `XArray`. Callers are expected to drop the
/// `ValueGuard` eagerly to avoid blocking other users, such as by taking a clone of the value.
pub fn get(self: Pin<&Self>, index: usize) -> Option<ValueGuard<'_, T>> {
pub fn get(self: Pin<&Self>, index: u64) -> Option<T>
where
T: Clone,
{
// 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()) });
let p = unsafe { bindings::xa_load(self.xa.get(), index) } as *const T;

let t = NonNull::new(p as *mut T).map(|p| unsafe { p.as_ref() }).cloned();

// SAFETY: `self.xa` is always valid by the type invariant.
let p = unsafe { bindings::xa_load(self.xa.get(), index.try_into().ok()?) };
unsafe { bindings::xa_unlock(self.xa.get()) };

NonNull::new(p as *mut T).map(|p| {
guard.dismiss();
ValueGuard(p, self)
})
t
}

/// Looks up and returns a *mutable* reference to an entry in the array, returning a `ValueGuardMut` if it
/// exists.
/// Looks up and a reference to an entry in the array, calling the user
/// provided function on the resulting `Option<&T>` to return a value
/// computed from the reference. Use this function if you need shared
/// access to a `&T` that is not `Clone`.
///
/// This guard blocks all other actions on the `XArray`. Callers are expected to drop the
/// `ValueGuardMut` eagerly to avoid blocking other users, such as by taking a clone of the value.
pub fn get_mutable(self: Pin<&mut Self>, index: usize) -> Option<ValueGuardMut<'_, T>> {
pub fn get_shared<F, R>(self: Pin<&mut Self>, index: u64, f: F) -> R
where
F: FnOnce(Option<&T>) -> R,
{
// 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()) });
let p = unsafe { bindings::xa_load(self.xa.get(), index) };
let t: Option<&T> = unsafe { NonNull::new(p as *mut T).map(|p| p.as_ref()) };
let r = f(t);

// SAFETY: `self.xa` is always valid by the type invariant.
let p = unsafe { bindings::xa_load(self.xa.get(), index.try_into().ok()?) };
unsafe { bindings::xa_unlock(self.xa.get()) };

match NonNull::new(p as *mut T) {
Some(p) => {
guard.dismiss();
Some(ValueGuardMut(p, self))
}
None => None,
}
r
}

/// Looks up and returns a *mutable* reference to an entry in the array.
pub fn get_mutable(self: Pin<&mut Self>, index: u64) -> Option<&mut 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 p = unsafe { bindings::xa_load(self.xa.get(), index) };

let t = NonNull::new(p as *mut T).map(|mut p| unsafe { p.as_mut() });

// SAFETY: `self.xa` is always valid by the type invariant.
unsafe { bindings::xa_unlock(self.xa.get()) };

t
}

/// Looks up and returns a reference to an entry in the array, returning `(index, ValueGuard)`
Expand Down