~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/rust/kernel/sync/lock/mutex.rs

Version: ~ [ linux-6.12-rc7 ] ~ [ linux-6.11.7 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.60 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.116 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.171 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.229 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.285 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.323 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.12 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

  1 // SPDX-License-Identifier: GPL-2.0
  2 
  3 //! A kernel mutex.
  4 //!
  5 //! This module allows Rust code to use the kernel's `struct mutex`.
  6 
  7 /// Creates a [`Mutex`] initialiser with the given name and a newly-created lock class.
  8 ///
  9 /// It uses the name if one is given, otherwise it generates one based on the file name and line
 10 /// number.
 11 #[macro_export]
 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!())
 16     };
 17 }
 18 pub use new_mutex;
 19 
 20 /// A mutual exclusion primitive.
 21 ///
 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.
 25 ///
 26 /// Since it may block, [`Mutex`] needs to be used with care in atomic contexts.
 27 ///
 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.
 30 ///
 31 /// # Examples
 32 ///
 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.
 35 ///
 36 /// ```
 37 /// use kernel::sync::{new_mutex, Mutex};
 38 ///
 39 /// struct Inner {
 40 ///     a: u32,
 41 ///     b: u32,
 42 /// }
 43 ///
 44 /// #[pin_data]
 45 /// struct Example {
 46 ///     c: u32,
 47 ///     #[pin]
 48 ///     d: Mutex<Inner>,
 49 /// }
 50 ///
 51 /// impl Example {
 52 ///     fn new() -> impl PinInit<Self> {
 53 ///         pin_init!(Self {
 54 ///             c: 10,
 55 ///             d <- new_mutex!(Inner { a: 20, b: 30 }),
 56 ///         })
 57 ///     }
 58 /// }
 59 ///
 60 /// // Allocate a boxed `Example`.
 61 /// let e = Box::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>(())
 66 /// ```
 67 ///
 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:
 70 ///
 71 /// ```
 72 /// use kernel::sync::Mutex;
 73 ///
 74 /// struct Example {
 75 ///     a: u32,
 76 ///     b: u32,
 77 /// }
 78 ///
 79 /// fn example(m: &Mutex<Example>) {
 80 ///     let mut guard = m.lock();
 81 ///     guard.a += 10;
 82 ///     guard.b += 20;
 83 /// }
 84 /// ```
 85 ///
 86 /// [`struct mutex`]: srctree/include/linux/mutex.h
 87 pub type Mutex<T> = super::Lock<T, MutexBackend>;
 88 
 89 /// A kernel `struct mutex` lock backend.
 90 pub struct MutexBackend;
 91 
 92 // SAFETY: The underlying kernel `struct mutex` object ensures mutual exclusion.
 93 unsafe impl super::Backend for MutexBackend {
 94     type State = bindings::mutex;
 95     type GuardState = ();
 96 
 97     unsafe fn init(
 98         ptr: *mut Self::State,
 99         name: *const core::ffi::c_char,
100         key: *mut bindings::lock_class_key,
101     ) {
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) }
105     }
106 
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) };
111     }
112 
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) };
117     }
118 }

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php