| // SPDX-License-Identifier: GPL-2.0 | |
| //! RCU support. | |
| //! | |
| //! C header: [`include/linux/rcupdate.h`](srctree/include/linux/rcupdate.h) | |
| use crate::{bindings, types::NotThreadSafe}; | |
| /// Evidence that the RCU read side lock is held on the current thread/CPU. | |
| /// | |
| /// The type is explicitly not `Send` because this property is per-thread/CPU. | |
| /// | |
| /// # Invariants | |
| /// | |
| /// The RCU read side lock is actually held while instances of this guard exist. | |
| pub struct Guard(NotThreadSafe); | |
| impl Guard { | |
| /// Acquires the RCU read side lock and returns a guard. | |
| #[inline] | |
| pub fn new() -> Self { | |
| // SAFETY: An FFI call with no additional requirements. | |
| unsafe { bindings::rcu_read_lock() }; | |
| // INVARIANT: The RCU read side lock was just acquired above. | |
| Self(NotThreadSafe) | |
| } | |
| /// Explicitly releases the RCU read side lock. | |
| #[inline] | |
| pub fn unlock(self) {} | |
| } | |
| impl Default for Guard { | |
| #[inline] | |
| fn default() -> Self { | |
| Self::new() | |
| } | |
| } | |
| impl Drop for Guard { | |
| #[inline] | |
| fn drop(&mut self) { | |
| // SAFETY: By the type invariants, the RCU read side is locked, so it is ok to unlock it. | |
| unsafe { bindings::rcu_read_unlock() }; | |
| } | |
| } | |
| /// Acquires the RCU read side lock. | |
| #[inline] | |
| pub fn read_lock() -> Guard { | |
| Guard::new() | |
| } |