forked from torvalds/linux
-
Notifications
You must be signed in to change notification settings - Fork 453
Mutex/spinlock/condvar #990
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Draft
wedsonaf
wants to merge
10
commits into
Rust-for-Linux:rust-next
Choose a base branch
from
wedsonaf:mutex
base: rust-next
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
Changes from all commits
Commits
Show all changes
10 commits
Select commit
Hold shift + click to select a range
9c98dd7
rust: sync: introduce `Lock` and `Guard`
wedsonaf 540cbb2
rust: lock: introduce `Mutex`
wedsonaf 0af44c5
locking/spinlock: introduce spin_lock_init_with_key
wedsonaf c1c1904
rust: lock: introduce `SpinLock`
wedsonaf 39da92d
rust: introduce `ARef`
wedsonaf fdc7f4b
rust: add basic `Task`
wedsonaf 3aed051
rust: introduce `current`
wedsonaf fd9670c
rust: sync: introduce `LockedBy`
wedsonaf 21d4e1e
rust: lock: add `Guard::do_unlocked`
wedsonaf a03c1c1
rust: sync: introduce `CondVar`
wedsonaf File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,174 @@ | ||
// SPDX-License-Identifier: GPL-2.0 | ||
|
||
//! A condition variable. | ||
//! | ||
//! This module allows Rust code to use the kernel's [`struct wait_queue_head`] as a condition | ||
//! variable. | ||
|
||
use super::{lock::Backend, lock::Guard, LockClassKey}; | ||
use crate::{bindings, init::PinInit, pin_init, str::CStr, types::Opaque}; | ||
use core::marker::PhantomPinned; | ||
use macros::pin_data; | ||
|
||
/// Creates a [`CondVar`] initialiser with the given name and a newly-created lock class. | ||
#[macro_export] | ||
macro_rules! new_condvar { | ||
($($name:literal)?) => { | ||
$crate::sync::CondVar::new($crate::optional_name!($($name)?), $crate::static_lock_class!()) | ||
}; | ||
} | ||
|
||
/// A conditional variable. | ||
/// | ||
/// Exposes the kernel's [`struct wait_queue_head`] as a condition variable. It allows the caller to | ||
/// atomically release the given lock and go to sleep. It reacquires the lock when it wakes up. And | ||
/// it wakes up when notified by another thread (via [`CondVar::notify_one`] or | ||
/// [`CondVar::notify_all`]) or because the thread received a signal. It may also wake up | ||
/// spuriously. | ||
/// | ||
/// Instances of [`CondVar`] need a lock class and to be pinned. The recommended way to create such | ||
/// instances is with the [`pin_init`](crate::pin_init) and [`new_condvar`] macros. | ||
/// | ||
/// # Examples | ||
/// | ||
/// The following is an example of using a condvar with a mutex: | ||
/// | ||
/// ``` | ||
/// use kernel::sync::{CondVar, Mutex}; | ||
/// use kernel::{new_condvar, new_mutex}; | ||
/// | ||
/// #[pin_data] | ||
/// pub struct Example { | ||
/// #[pin] | ||
/// value: Mutex<u32>, | ||
/// | ||
/// #[pin] | ||
/// value_changed: CondVar, | ||
/// } | ||
/// | ||
/// /// Waits for `e.value` to become `v`. | ||
/// fn wait_for_value(e: &Example, v: u32) { | ||
/// let mut guard = e.value.lock(); | ||
/// while *guard != v { | ||
/// e.value_changed.wait_uninterruptible(&mut guard); | ||
/// } | ||
/// } | ||
/// | ||
/// /// Increments `e.value` and notifies all potential waiters. | ||
/// fn increment(e: &Example) { | ||
/// *e.value.lock() += 1; | ||
/// e.value_changed.notify_all(); | ||
/// } | ||
/// | ||
/// /// Allocates a new boxed `Example`. | ||
/// fn new_example() -> Result<Pin<Box<Example>>> { | ||
/// Box::pin_init(pin_init!(Example { | ||
/// value <- new_mutex!(0), | ||
/// value_changed <- new_condvar!(), | ||
/// })) | ||
/// } | ||
/// ``` | ||
/// | ||
/// [`struct wait_queue_head`]: ../../../include/linux/wait.h | ||
#[pin_data] | ||
pub struct CondVar { | ||
#[pin] | ||
pub(crate) wait_list: Opaque<bindings::wait_queue_head>, | ||
|
||
/// A condvar needs to be pinned because it contains a [`struct list_head`] that is | ||
/// self-referential, so it cannot be safely moved once it is initialised. | ||
#[pin] | ||
_pin: PhantomPinned, | ||
} | ||
|
||
// SAFETY: `CondVar` only uses a `struct wait_queue_head`, which is safe to use on any thread. | ||
#[allow(clippy::non_send_fields_in_send_ty)] | ||
unsafe impl Send for CondVar {} | ||
|
||
// SAFETY: `CondVar` only uses a `struct wait_queue_head`, which is safe to use on multiple threads | ||
// concurrently. | ||
unsafe impl Sync for CondVar {} | ||
|
||
impl CondVar { | ||
/// Constructs a new condvar initialiser. | ||
#[allow(clippy::new_ret_no_self)] | ||
pub fn new(name: &'static CStr, key: &'static LockClassKey) -> impl PinInit<Self> { | ||
pin_init!(Self { | ||
_pin: PhantomPinned, | ||
// SAFETY: `slot` is valid while the closure is called and both `name` and `key` have | ||
// static lifetimes so they live indefinitely. | ||
wait_list <- Opaque::ffi_init(|slot| unsafe { | ||
bindings::__init_waitqueue_head(slot, name.as_char_ptr(), key.as_ptr()) | ||
}), | ||
}) | ||
} | ||
|
||
fn wait_internal<T: ?Sized, B: Backend>(&self, wait_state: u32, guard: &mut Guard<'_, T, B>) { | ||
let wait = Opaque::<bindings::wait_queue_entry>::uninit(); | ||
|
||
// SAFETY: `wait` points to valid memory. | ||
unsafe { bindings::init_wait(wait.get()) }; | ||
wedsonaf marked this conversation as resolved.
Show resolved
Hide resolved
|
||
|
||
// SAFETY: Both `wait` and `wait_list` point to valid memory. | ||
unsafe { | ||
bindings::prepare_to_wait_exclusive(self.wait_list.get(), wait.get(), wait_state as _) | ||
}; | ||
wedsonaf marked this conversation as resolved.
Show resolved
Hide resolved
|
||
|
||
// SAFETY: No arguments, switches to another thread. | ||
guard.do_unlocked(|| unsafe { bindings::schedule() }); | ||
|
||
// SAFETY: Both `wait` and `wait_list` point to valid memory. | ||
unsafe { bindings::finish_wait(self.wait_list.get(), wait.get()) }; | ||
} | ||
|
||
/// Releases the lock and waits for a notification in interruptible mode. | ||
/// | ||
/// Atomically releases the given lock (whose ownership is proven by the guard) and puts the | ||
/// thread to sleep, reacquiring the lock on wake up. It wakes up when notified by | ||
/// [`CondVar::notify_one`] or [`CondVar::notify_all`], or when the thread receives a signal. | ||
/// It may also wake up spuriously. | ||
/// | ||
/// Returns whether there is a signal pending. | ||
#[must_use = "wait returns if a signal is pending, so the caller must check the return value"] | ||
pub fn wait<T: ?Sized, B: Backend>(&self, guard: &mut Guard<'_, T, B>) -> bool { | ||
self.wait_internal(bindings::TASK_INTERRUPTIBLE, guard); | ||
crate::current!().signal_pending() | ||
} | ||
|
||
/// Releases the lock and waits for a notification in uninterruptible mode. | ||
/// | ||
/// Similar to [`CondVar::wait`], except that the wait is not interruptible. That is, the | ||
/// thread won't wake up due to signals. It may, however, wake up supirously. | ||
pub fn wait_uninterruptible<T: ?Sized, B: Backend>(&self, guard: &mut Guard<'_, T, B>) { | ||
self.wait_internal(bindings::TASK_UNINTERRUPTIBLE, guard) | ||
} | ||
|
||
/// Calls the kernel function to notify the appropriate number of threads with the given flags. | ||
fn notify(&self, count: i32, flags: u32) { | ||
// SAFETY: `wait_list` points to valid memory. | ||
unsafe { | ||
bindings::__wake_up( | ||
self.wait_list.get(), | ||
bindings::TASK_NORMAL, | ||
count, | ||
flags as _, | ||
) | ||
}; | ||
} | ||
|
||
/// Wakes a single waiter up, if any. | ||
/// | ||
/// This is not 'sticky' in the sense that if no thread is waiting, the notification is lost | ||
/// completely (as opposed to automatically waking up the next waiter). | ||
pub fn notify_one(&self) { | ||
self.notify(1, 0); | ||
} | ||
|
||
/// Wakes all waiters up, if any. | ||
/// | ||
/// This is not 'sticky' in the sense that if no thread is waiting, the notification is lost | ||
/// completely (as opposed to automatically waking up the next waiter). | ||
pub fn notify_all(&self) { | ||
self.notify(0, 0); | ||
} | ||
} |
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.