1c6d917a4SWedson Almeida Filho // SPDX-License-Identifier: GPL-2.0 2c6d917a4SWedson Almeida Filho 3c6d917a4SWedson Almeida Filho //! A kernel spinlock. 4c6d917a4SWedson Almeida Filho //! 5c6d917a4SWedson Almeida Filho //! This module allows Rust code to use the kernel's `spinlock_t`. 6c6d917a4SWedson Almeida Filho 7c6d917a4SWedson Almeida Filho use crate::bindings; 8c6d917a4SWedson Almeida Filho 9c6d917a4SWedson Almeida Filho /// Creates a [`SpinLock`] initialiser with the given name and a newly-created lock class. 10c6d917a4SWedson Almeida Filho /// 11c6d917a4SWedson Almeida Filho /// It uses the name if one is given, otherwise it generates one based on the file name and line 12c6d917a4SWedson Almeida Filho /// number. 13c6d917a4SWedson Almeida Filho #[macro_export] 14c6d917a4SWedson Almeida Filho macro_rules! new_spinlock { 15c6d917a4SWedson Almeida Filho ($inner:expr $(, $name:literal)? $(,)?) => { 16c6d917a4SWedson Almeida Filho $crate::sync::SpinLock::new( 17c6d917a4SWedson Almeida Filho $inner, $crate::optional_name!($($name)?), $crate::static_lock_class!()) 18c6d917a4SWedson Almeida Filho }; 19c6d917a4SWedson Almeida Filho } 20c6d917a4SWedson Almeida Filho 21c6d917a4SWedson Almeida Filho /// A spinlock. 22c6d917a4SWedson Almeida Filho /// 23c6d917a4SWedson Almeida Filho /// Exposes the kernel's [`spinlock_t`]. When multiple CPUs attempt to lock the same spinlock, only 24c6d917a4SWedson Almeida Filho /// one at a time is allowed to progress, the others will block (spinning) until the spinlock is 25c6d917a4SWedson Almeida Filho /// unlocked, at which point another CPU will be allowed to make progress. 26c6d917a4SWedson Almeida Filho /// 27c6d917a4SWedson Almeida Filho /// Instances of [`SpinLock`] need a lock class and to be pinned. The recommended way to create such 28c6d917a4SWedson Almeida Filho /// instances is with the [`pin_init`](crate::pin_init) and [`new_spinlock`] macros. 29c6d917a4SWedson Almeida Filho /// 30c6d917a4SWedson Almeida Filho /// # Examples 31c6d917a4SWedson Almeida Filho /// 32c6d917a4SWedson Almeida Filho /// The following example shows how to declare, allocate and initialise a struct (`Example`) that 33c6d917a4SWedson Almeida Filho /// contains an inner struct (`Inner`) that is protected by a spinlock. 34c6d917a4SWedson Almeida Filho /// 35c6d917a4SWedson Almeida Filho /// ``` 36c6d917a4SWedson Almeida Filho /// use kernel::{init::InPlaceInit, init::PinInit, new_spinlock, pin_init, sync::SpinLock}; 37c6d917a4SWedson Almeida Filho /// 38c6d917a4SWedson Almeida Filho /// struct Inner { 39c6d917a4SWedson Almeida Filho /// a: u32, 40c6d917a4SWedson Almeida Filho /// b: u32, 41c6d917a4SWedson Almeida Filho /// } 42c6d917a4SWedson Almeida Filho /// 43c6d917a4SWedson Almeida Filho /// #[pin_data] 44c6d917a4SWedson Almeida Filho /// struct Example { 45c6d917a4SWedson Almeida Filho /// c: u32, 46c6d917a4SWedson Almeida Filho /// #[pin] 47c6d917a4SWedson Almeida Filho /// d: SpinLock<Inner>, 48c6d917a4SWedson Almeida Filho /// } 49c6d917a4SWedson Almeida Filho /// 50c6d917a4SWedson Almeida Filho /// impl Example { 51c6d917a4SWedson Almeida Filho /// fn new() -> impl PinInit<Self> { 52c6d917a4SWedson Almeida Filho /// pin_init!(Self { 53c6d917a4SWedson Almeida Filho /// c: 10, 54c6d917a4SWedson Almeida Filho /// d <- new_spinlock!(Inner { a: 20, b: 30 }), 55c6d917a4SWedson Almeida Filho /// }) 56c6d917a4SWedson Almeida Filho /// } 57c6d917a4SWedson Almeida Filho /// } 58c6d917a4SWedson Almeida Filho /// 59c6d917a4SWedson Almeida Filho /// // Allocate a boxed `Example`. 60c6d917a4SWedson Almeida Filho /// let e = Box::pin_init(Example::new())?; 61c6d917a4SWedson Almeida Filho /// assert_eq!(e.c, 10); 62c6d917a4SWedson Almeida Filho /// assert_eq!(e.d.lock().a, 20); 63c6d917a4SWedson Almeida Filho /// assert_eq!(e.d.lock().b, 30); 64*bfa7dff0SMiguel Ojeda /// # Ok::<(), Error>(()) 65c6d917a4SWedson Almeida Filho /// ``` 66c6d917a4SWedson Almeida Filho /// 67c6d917a4SWedson Almeida Filho /// The following example shows how to use interior mutability to modify the contents of a struct 68c6d917a4SWedson Almeida Filho /// protected by a spinlock despite only having a shared reference: 69c6d917a4SWedson Almeida Filho /// 70c6d917a4SWedson Almeida Filho /// ``` 71c6d917a4SWedson Almeida Filho /// use kernel::sync::SpinLock; 72c6d917a4SWedson Almeida Filho /// 73c6d917a4SWedson Almeida Filho /// struct Example { 74c6d917a4SWedson Almeida Filho /// a: u32, 75c6d917a4SWedson Almeida Filho /// b: u32, 76c6d917a4SWedson Almeida Filho /// } 77c6d917a4SWedson Almeida Filho /// 78c6d917a4SWedson Almeida Filho /// fn example(m: &SpinLock<Example>) { 79c6d917a4SWedson Almeida Filho /// let mut guard = m.lock(); 80c6d917a4SWedson Almeida Filho /// guard.a += 10; 81c6d917a4SWedson Almeida Filho /// guard.b += 20; 82c6d917a4SWedson Almeida Filho /// } 83c6d917a4SWedson Almeida Filho /// ``` 84c6d917a4SWedson Almeida Filho /// 85c6d917a4SWedson Almeida Filho /// [`spinlock_t`]: ../../../../include/linux/spinlock.h 86c6d917a4SWedson Almeida Filho pub type SpinLock<T> = super::Lock<T, SpinLockBackend>; 87c6d917a4SWedson Almeida Filho 88c6d917a4SWedson Almeida Filho /// A kernel `spinlock_t` lock backend. 89c6d917a4SWedson Almeida Filho pub struct SpinLockBackend; 90c6d917a4SWedson Almeida Filho 91e32cca32SWedson Almeida Filho // SAFETY: The underlying kernel `spinlock_t` object ensures mutual exclusion. `relock` uses the 92e32cca32SWedson Almeida Filho // default implementation that always calls the same locking method. 93c6d917a4SWedson Almeida Filho unsafe impl super::Backend for SpinLockBackend { 94c6d917a4SWedson Almeida Filho type State = bindings::spinlock_t; 95c6d917a4SWedson Almeida Filho type GuardState = (); 96c6d917a4SWedson Almeida Filho init( ptr: *mut Self::State, name: *const core::ffi::c_char, key: *mut bindings::lock_class_key, )97c6d917a4SWedson Almeida Filho unsafe fn init( 98c6d917a4SWedson Almeida Filho ptr: *mut Self::State, 99c6d917a4SWedson Almeida Filho name: *const core::ffi::c_char, 100c6d917a4SWedson Almeida Filho key: *mut bindings::lock_class_key, 101c6d917a4SWedson Almeida Filho ) { 102c6d917a4SWedson Almeida Filho // SAFETY: The safety requirements ensure that `ptr` is valid for writes, and `name` and 103c6d917a4SWedson Almeida Filho // `key` are valid for read indefinitely. 104c6d917a4SWedson Almeida Filho unsafe { bindings::__spin_lock_init(ptr, name, key) } 105c6d917a4SWedson Almeida Filho } 106c6d917a4SWedson Almeida Filho lock(ptr: *mut Self::State) -> Self::GuardState107c6d917a4SWedson Almeida Filho unsafe fn lock(ptr: *mut Self::State) -> Self::GuardState { 108c6d917a4SWedson Almeida Filho // SAFETY: The safety requirements of this function ensure that `ptr` points to valid 109c6d917a4SWedson Almeida Filho // memory, and that it has been initialised before. 110c6d917a4SWedson Almeida Filho unsafe { bindings::spin_lock(ptr) } 111c6d917a4SWedson Almeida Filho } 112c6d917a4SWedson Almeida Filho unlock(ptr: *mut Self::State, _guard_state: &Self::GuardState)113c6d917a4SWedson Almeida Filho unsafe fn unlock(ptr: *mut Self::State, _guard_state: &Self::GuardState) { 114c6d917a4SWedson Almeida Filho // SAFETY: The safety requirements of this function ensure that `ptr` is valid and that the 115c6d917a4SWedson Almeida Filho // caller is the owner of the mutex. 116c6d917a4SWedson Almeida Filho unsafe { bindings::spin_unlock(ptr) } 117c6d917a4SWedson Almeida Filho } 118c6d917a4SWedson Almeida Filho } 119