1 // SPDX-License-Identifier: GPL-2.0
5 //! This module allows Rust code to use the kernel's `struct mutex`.
7 /// Creates a [`Mutex`] initialiser with the given name and a newly-created lock class.
9 /// It uses the name if one is given, otherwise it generates one based on the file name and line
12 macro_rules! new_mutex {
13 ($inner:expr $(, $name:literal)? $(,)?) => {
14 $crate::sync::Mutex::new(
15 $inner, $crate::optional_name!($($name)?), $crate::static_lock_class!())
20 /// A mutual exclusion primitive.
22 /// Exposes the kernel's [`struct mutex`]. When multiple threads attempt to lock the same mutex,
23 /// only one at a time is allowed to progress, the others will block (sleep) until the mutex is
24 /// unlocked, at which point another thread will be allowed to wake up and make progress.
26 /// Since it may block, [`Mutex`] needs to be used with care in atomic contexts.
28 /// Instances of [`Mutex`] need a lock class and to be pinned. The recommended way to create such
29 /// instances is with the [`pin_init`](crate::pin_init) and [`new_mutex`] macros.
33 /// The following example shows how to declare, allocate and initialise a struct (`Example`) that
34 /// contains an inner struct (`Inner`) that is protected by a mutex.
37 /// use kernel::sync::{new_mutex, Mutex};
52 /// fn new() -> impl PinInit<Self> {
55 /// d <- new_mutex!(Inner { a: 20, b: 30 }),
60 /// // Allocate a boxed `Example`.
61 /// let e = KBox::pin_init(Example::new(), GFP_KERNEL)?;
62 /// assert_eq!(e.c, 10);
63 /// assert_eq!(e.d.lock().a, 20);
64 /// assert_eq!(e.d.lock().b, 30);
65 /// # Ok::<(), Error>(())
68 /// The following example shows how to use interior mutability to modify the contents of a struct
69 /// protected by a mutex despite only having a shared reference:
72 /// use kernel::sync::Mutex;
79 /// fn example(m: &Mutex<Example>) {
80 /// let mut guard = m.lock();
86 /// [`struct mutex`]: srctree/include/linux/mutex.h
87 pub type Mutex<T> = super::Lock<T, MutexBackend>;
89 /// A kernel `struct mutex` lock backend.
90 pub struct MutexBackend;
92 // SAFETY: The underlying kernel `struct mutex` object ensures mutual exclusion.
93 unsafe impl super::Backend for MutexBackend {
94 type State = bindings::mutex;
98 ptr: *mut Self::State,
99 name: *const crate::ffi::c_char,
100 key: *mut bindings::lock_class_key,
102 // SAFETY: The safety requirements ensure that `ptr` is valid for writes, and `name` and
103 // `key` are valid for read indefinitely.
104 unsafe { bindings::__mutex_init(ptr, name, key) }
107 unsafe fn lock(ptr: *mut Self::State) -> Self::GuardState {
108 // SAFETY: The safety requirements of this function ensure that `ptr` points to valid
109 // memory, and that it has been initialised before.
110 unsafe { bindings::mutex_lock(ptr) };
113 unsafe fn unlock(ptr: *mut Self::State, _guard_state: &Self::GuardState) {
114 // SAFETY: The safety requirements of this function ensure that `ptr` is valid and that the
115 // caller is the owner of the mutex.
116 unsafe { bindings::mutex_unlock(ptr) };
119 unsafe fn try_lock(ptr: *mut Self::State) -> Option<Self::GuardState> {
120 // SAFETY: The `ptr` pointer is guaranteed to be valid and initialized before use.
121 let result = unsafe { bindings::mutex_trylock(ptr) };