2022-12-28 06:03:40 +00:00
|
|
|
// SPDX-License-Identifier: GPL-2.0
|
|
|
|
|
|
|
|
//! Synchronisation primitives.
|
|
|
|
//!
|
|
|
|
//! This module contains the kernel APIs related to synchronisation that have been ported or
|
|
|
|
//! wrapped for usage by Rust code in the kernel.
|
|
|
|
|
2023-04-11 02:45:31 -03:00
|
|
|
use crate::types::Opaque;
|
|
|
|
|
2022-12-28 06:03:40 +00:00
|
|
|
mod arc;
|
2023-03-26 00:57:38 -03:00
|
|
|
mod condvar;
|
2023-04-11 02:45:32 -03:00
|
|
|
pub mod lock;
|
2023-04-11 02:45:43 -03:00
|
|
|
mod locked_by;
|
rust: file: add abstraction for `poll_table`
The existing `CondVar` abstraction is a wrapper around
`wait_queue_head`, but it does not support all use-cases of the C
`wait_queue_head` type. To be specific, a `CondVar` cannot be registered
with a `struct poll_table`. This limitation has the advantage that you
do not need to call `synchronize_rcu` when destroying a `CondVar`.
However, we need the ability to register a `poll_table` with a
`wait_queue_head` in Rust Binder. To enable this, introduce a type
called `PollCondVar`, which is like `CondVar` except that you can
register a `poll_table`. We also introduce `PollTable`, which is a safe
wrapper around `poll_table` that is intended to be used with
`PollCondVar`.
The destructor of `PollCondVar` unconditionally calls `synchronize_rcu`
to ensure that the removal of epoll waiters has fully completed before
the `wait_queue_head` is destroyed.
That said, `synchronize_rcu` is rather expensive and is not needed in
all cases: If we have never registered a `poll_table` with the
`wait_queue_head`, then we don't need to call `synchronize_rcu`. (And
this is a common case in Binder - not all processes use Binder with
epoll.) The current implementation does not account for this, but if we
find that it is necessary to improve this, a future patch could store a
boolean next to the `wait_queue_head` to keep track of whether a
`poll_table` has ever been registered.
Reviewed-by: Benno Lossin <benno.lossin@proton.me>
Reviewed-by: Martin Rodriguez Reboredo <yakoyoku@gmail.com>
Reviewed-by: Trevor Gross <tmgross@umich.edu>
Signed-off-by: Alice Ryhl <aliceryhl@google.com>
Link: https://lore.kernel.org/r/20240915-alice-file-v10-8-88484f7a3dcf@google.com
Signed-off-by: Christian Brauner <brauner@kernel.org>
2024-09-15 14:31:34 +00:00
|
|
|
pub mod poll;
|
2022-12-28 06:03:40 +00:00
|
|
|
|
2022-12-28 06:03:45 +00:00
|
|
|
pub use arc::{Arc, ArcBorrow, UniqueArc};
|
2024-01-29 14:58:37 +00:00
|
|
|
pub use condvar::{new_condvar, CondVar, CondVarTimeoutResult};
|
2024-10-23 13:23:18 +00:00
|
|
|
pub use lock::global::{global_lock, GlobalGuard, GlobalLock, GlobalLockBackend, GlobalLockedBy};
|
2024-01-29 14:58:37 +00:00
|
|
|
pub use lock::mutex::{new_mutex, Mutex};
|
|
|
|
pub use lock::spinlock::{new_spinlock, SpinLock};
|
2023-04-11 02:45:43 -03:00
|
|
|
pub use locked_by::LockedBy;
|
2023-04-11 02:45:31 -03:00
|
|
|
|
|
|
|
/// Represents a lockdep class. It's a wrapper around C's `lock_class_key`.
|
|
|
|
#[repr(transparent)]
|
|
|
|
pub struct LockClassKey(Opaque<bindings::lock_class_key>);
|
|
|
|
|
|
|
|
// SAFETY: `bindings::lock_class_key` is designed to be used concurrently from multiple threads and
|
|
|
|
// provides its own synchronization.
|
|
|
|
unsafe impl Sync for LockClassKey {}
|
|
|
|
|
|
|
|
impl LockClassKey {
|
|
|
|
/// Creates a new lock class key.
|
|
|
|
pub const fn new() -> Self {
|
|
|
|
Self(Opaque::uninit())
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn as_ptr(&self) -> *mut bindings::lock_class_key {
|
|
|
|
self.0.get()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-04-01 23:23:01 +02:00
|
|
|
impl Default for LockClassKey {
|
|
|
|
fn default() -> Self {
|
|
|
|
Self::new()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-04-11 02:45:31 -03:00
|
|
|
/// Defines a new static lock class and returns a pointer to it.
|
|
|
|
#[doc(hidden)]
|
|
|
|
#[macro_export]
|
|
|
|
macro_rules! static_lock_class {
|
|
|
|
() => {{
|
|
|
|
static CLASS: $crate::sync::LockClassKey = $crate::sync::LockClassKey::new();
|
|
|
|
&CLASS
|
|
|
|
}};
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the given string, if one is provided, otherwise generates one based on the source code
|
|
|
|
/// location.
|
|
|
|
#[doc(hidden)]
|
|
|
|
#[macro_export]
|
|
|
|
macro_rules! optional_name {
|
|
|
|
() => {
|
|
|
|
$crate::c_str!(::core::concat!(::core::file!(), ":", ::core::line!()))
|
|
|
|
};
|
|
|
|
($name:literal) => {
|
|
|
|
$crate::c_str!($name)
|
|
|
|
};
|
|
|
|
}
|