xref: /openbmc/linux/rust/kernel/sync/lock/spinlock.rs (revision c900529f3d9161bfde5cca0754f83b4d3c3e0220)
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