Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 06ede35

Browse files
committed
Add Wake trait for safe construction of Wakers.
Currently, constructing a waker requires calling the unsafe `Waker::from_raw` API. This API requires the user to manually construct a vtable for the waker themself - which is both cumbersome and very error prone. This API would provide an ergonomic, straightforward and guaranteed memory-safe way of constructing a waker. It has been our longstanding intention that the `Waker` type essentially function as an `Arc<dyn Wake>`, with a `Wake` trait as defined here. Two considerations prevented the original API from being shipped as simply an `Arc<dyn Wake>`: - We want to support futures on embedded systems, which may not have an allocator, and in optimized executors for which this API may not be best-suited. Therefore, we have always explicitly supported the maximally-flexible (but also memory-unsafe) `RawWaker` API, and `Waker` has always lived in libcore. - Because `Waker` lives in libcore and `Arc` lives in liballoc, it has not been feasible to provide a constructor for `Waker` from `Arc<dyn Wake>`. Therefore, the Wake trait was left out of the initial version of the task waker API. However, as Rust 1.41, it is possible under the more flexible orphan rules to implement `From<Arc<W>> for Waker where W: Wake` in liballoc. Therefore, we can now define this constructor even though `Waker` lives in libcore. This PR adds these APIs: - A `Wake` trait, which contains two methods - A required method `wake`, which is called by `Waker::wake` - A provided method `wake_by_ref`, which is called by `Waker::wake_by_ref` and which implementors can override if they can optimize this use case. - An implementation of `From<Arc<W>> for Waker where W: Wake + Send + Sync + 'static` - A similar implementation of `From<Arc<W>> for RawWaker`.
1 parent 5aa8f19 commit 06ede35

File tree

3 files changed

+97
-0
lines changed

3 files changed

+97
-0
lines changed

src/liballoc/lib.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -161,6 +161,7 @@ pub mod str;
161161
pub mod string;
162162
#[cfg(target_has_atomic = "ptr")]
163163
pub mod sync;
164+
pub mod task;
164165
#[cfg(test)]
165166
mod tests;
166167
pub mod vec;

src/liballoc/task.rs

Lines changed: 91 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,91 @@
1+
#![unstable(feature = "wake_trait", issue = "0")]
2+
//! Types and Traits for working with asynchronous tasks.
3+
use core::mem;
4+
use core::task::{Waker, RawWaker, RawWakerVTable};
5+
6+
use crate::sync::Arc;
7+
8+
/// The implementation of waking a task on an executor.
9+
///
10+
/// This trait can be used to create a [`Waker`]. An executor can define an
11+
/// implementation of this trait, and use that to construct a Waker to pass
12+
/// to the tasks that are executed on that executor.
13+
///
14+
/// This trait is a memory-safe and ergonomic alternative to constructing a
15+
/// [`RawWaker`]. It supports the common executor design in which the data
16+
/// used to wake up a task is stored in an [`Arc`]. Some executors (especially
17+
/// those for embedded systems) cannot use this API, which is way [`RawWaker`]
18+
/// exists as an alternative for those systems.
19+
#[unstable(feature = "wake_trait", issue = "0")]
20+
pub trait Wake {
21+
/// Wake this task.
22+
#[unstable(feature = "wake_trait", issue = "0")]
23+
fn wake(self: Arc<Self>);
24+
25+
/// Wake this task without consuming the waker.
26+
///
27+
/// If an executor supports a cheaper way to wake without consuming the
28+
/// waker, it should override this method. By default, it clones the
29+
/// [`Arc`] and calls `wake` on the clone.
30+
#[unstable(feature = "wake_trait", issue = "0")]
31+
fn wake_by_ref(self: &Arc<Self>) {
32+
self.clone().wake();
33+
}
34+
}
35+
36+
#[unstable(feature = "wake_trait", issue = "0")]
37+
impl<W: Wake + Send + Sync + 'static> From<Arc<W>> for Waker {
38+
fn from(waker: Arc<W>) -> Waker {
39+
unsafe {
40+
Waker::from_raw(raw_waker(waker))
41+
}
42+
}
43+
}
44+
45+
#[unstable(feature = "wake_trait", issue = "0")]
46+
impl<W: Wake + Send + Sync + 'static> From<Arc<W>> for RawWaker {
47+
fn from(waker: Arc<W>) -> RawWaker {
48+
raw_waker(waker)
49+
}
50+
}
51+
52+
// NB: This private function for constructing a RawWaker is used, rather than
53+
// inlining this into the `From<Arc<W>> for RawWaker` impl, to ensure that
54+
// the safety of `From<Arc<W>> for Waker` does not depend on the correct
55+
// trait dispatch - instead both impls call this function directly and
56+
// explicitly.
57+
#[inline(always)]
58+
fn raw_waker<W: Wake + Send + Sync + 'static>(waker: Arc<W>) -> RawWaker {
59+
60+
// Increment the reference count of the arc to clone it.
61+
unsafe fn clone_waker<W: Wake + Send + Sync + 'static>(waker: *const ()) -> RawWaker {
62+
let waker: Arc<W> = Arc::from_raw(waker as *const W);
63+
mem::forget(waker.clone());
64+
raw_waker(waker)
65+
}
66+
67+
// Wake by value, moving the Arc into the Wake::wake function
68+
unsafe fn wake<W: Wake + Send + Sync + 'static>(waker: *const ()) {
69+
let waker: Arc<W> = Arc::from_raw(waker as *const W);
70+
Wake::wake(waker);
71+
}
72+
73+
// Wake by reference, forgetting the Arc to avoid decrementing the reference count
74+
unsafe fn wake_by_ref<W: Wake + Send + Sync + 'static>(waker: *const ()) {
75+
let waker: Arc<W> = Arc::from_raw(waker as *const W);
76+
Wake::wake_by_ref(&waker);
77+
mem::forget(waker);
78+
}
79+
80+
// Decrement the reference count of the Arc on drop
81+
unsafe fn drop_waker<W: Wake + Send + Sync + 'static>(waker: *const ()) {
82+
mem::drop(Arc::from_raw(waker as *const W));
83+
}
84+
85+
RawWaker::new(Arc::into_raw(waker) as *const (), &RawWakerVTable::new(
86+
clone_waker::<W>,
87+
wake::<W>,
88+
wake_by_ref::<W>,
89+
drop_waker::<W>,
90+
))
91+
}

src/libstd/lib.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -463,9 +463,14 @@ pub mod time;
463463
#[stable(feature = "futures_api", since = "1.36.0")]
464464
pub mod task {
465465
//! Types and Traits for working with asynchronous tasks.
466+
466467
#[doc(inline)]
467468
#[stable(feature = "futures_api", since = "1.36.0")]
468469
pub use core::task::*;
470+
471+
#[doc(inline)]
472+
#[unstable(feature = "wake_trait", issue = "0")]
473+
pub use alloc::task::*;
469474
}
470475

471476
#[stable(feature = "futures_api", since = "1.36.0")]

0 commit comments

Comments
 (0)