]> git.lizzy.rs Git - rust.git/blob - library/core/src/task/wake.rs
Rollup merge of #89677 - maxwase:is-symlink-stabilization, r=joshtriplett
[rust.git] / library / core / src / task / wake.rs
1 #![stable(feature = "futures_api", since = "1.36.0")]
2
3 use crate::fmt;
4 use crate::marker::{PhantomData, Unpin};
5
6 /// A `RawWaker` allows the implementor of a task executor to create a [`Waker`]
7 /// which provides customized wakeup behavior.
8 ///
9 /// [vtable]: https://en.wikipedia.org/wiki/Virtual_method_table
10 ///
11 /// It consists of a data pointer and a [virtual function pointer table (vtable)][vtable]
12 /// that customizes the behavior of the `RawWaker`.
13 #[derive(PartialEq, Debug)]
14 #[stable(feature = "futures_api", since = "1.36.0")]
15 pub struct RawWaker {
16     /// A data pointer, which can be used to store arbitrary data as required
17     /// by the executor. This could be e.g. a type-erased pointer to an `Arc`
18     /// that is associated with the task.
19     /// The value of this field gets passed to all functions that are part of
20     /// the vtable as the first parameter.
21     data: *const (),
22     /// Virtual function pointer table that customizes the behavior of this waker.
23     vtable: &'static RawWakerVTable,
24 }
25
26 impl RawWaker {
27     /// Creates a new `RawWaker` from the provided `data` pointer and `vtable`.
28     ///
29     /// The `data` pointer can be used to store arbitrary data as required
30     /// by the executor. This could be e.g. a type-erased pointer to an `Arc`
31     /// that is associated with the task.
32     /// The value of this pointer will get passed to all functions that are part
33     /// of the `vtable` as the first parameter.
34     ///
35     /// The `vtable` customizes the behavior of a `Waker` which gets created
36     /// from a `RawWaker`. For each operation on the `Waker`, the associated
37     /// function in the `vtable` of the underlying `RawWaker` will be called.
38     #[inline]
39     #[rustc_promotable]
40     #[stable(feature = "futures_api", since = "1.36.0")]
41     #[rustc_const_stable(feature = "futures_api", since = "1.36.0")]
42     #[must_use]
43     pub const fn new(data: *const (), vtable: &'static RawWakerVTable) -> RawWaker {
44         RawWaker { data, vtable }
45     }
46 }
47
48 /// A virtual function pointer table (vtable) that specifies the behavior
49 /// of a [`RawWaker`].
50 ///
51 /// The pointer passed to all functions inside the vtable is the `data` pointer
52 /// from the enclosing [`RawWaker`] object.
53 ///
54 /// The functions inside this struct are only intended to be called on the `data`
55 /// pointer of a properly constructed [`RawWaker`] object from inside the
56 /// [`RawWaker`] implementation. Calling one of the contained functions using
57 /// any other `data` pointer will cause undefined behavior.
58 #[stable(feature = "futures_api", since = "1.36.0")]
59 #[derive(PartialEq, Copy, Clone, Debug)]
60 pub struct RawWakerVTable {
61     /// This function will be called when the [`RawWaker`] gets cloned, e.g. when
62     /// the [`Waker`] in which the [`RawWaker`] is stored gets cloned.
63     ///
64     /// The implementation of this function must retain all resources that are
65     /// required for this additional instance of a [`RawWaker`] and associated
66     /// task. Calling `wake` on the resulting [`RawWaker`] should result in a wakeup
67     /// of the same task that would have been awoken by the original [`RawWaker`].
68     clone: unsafe fn(*const ()) -> RawWaker,
69
70     /// This function will be called when `wake` is called on the [`Waker`].
71     /// It must wake up the task associated with this [`RawWaker`].
72     ///
73     /// The implementation of this function must make sure to release any
74     /// resources that are associated with this instance of a [`RawWaker`] and
75     /// associated task.
76     wake: unsafe fn(*const ()),
77
78     /// This function will be called when `wake_by_ref` is called on the [`Waker`].
79     /// It must wake up the task associated with this [`RawWaker`].
80     ///
81     /// This function is similar to `wake`, but must not consume the provided data
82     /// pointer.
83     wake_by_ref: unsafe fn(*const ()),
84
85     /// This function gets called when a [`RawWaker`] gets dropped.
86     ///
87     /// The implementation of this function must make sure to release any
88     /// resources that are associated with this instance of a [`RawWaker`] and
89     /// associated task.
90     drop: unsafe fn(*const ()),
91 }
92
93 impl RawWakerVTable {
94     /// Creates a new `RawWakerVTable` from the provided `clone`, `wake`,
95     /// `wake_by_ref`, and `drop` functions.
96     ///
97     /// # `clone`
98     ///
99     /// This function will be called when the [`RawWaker`] gets cloned, e.g. when
100     /// the [`Waker`] in which the [`RawWaker`] is stored gets cloned.
101     ///
102     /// The implementation of this function must retain all resources that are
103     /// required for this additional instance of a [`RawWaker`] and associated
104     /// task. Calling `wake` on the resulting [`RawWaker`] should result in a wakeup
105     /// of the same task that would have been awoken by the original [`RawWaker`].
106     ///
107     /// # `wake`
108     ///
109     /// This function will be called when `wake` is called on the [`Waker`].
110     /// It must wake up the task associated with this [`RawWaker`].
111     ///
112     /// The implementation of this function must make sure to release any
113     /// resources that are associated with this instance of a [`RawWaker`] and
114     /// associated task.
115     ///
116     /// # `wake_by_ref`
117     ///
118     /// This function will be called when `wake_by_ref` is called on the [`Waker`].
119     /// It must wake up the task associated with this [`RawWaker`].
120     ///
121     /// This function is similar to `wake`, but must not consume the provided data
122     /// pointer.
123     ///
124     /// # `drop`
125     ///
126     /// This function gets called when a [`RawWaker`] gets dropped.
127     ///
128     /// The implementation of this function must make sure to release any
129     /// resources that are associated with this instance of a [`RawWaker`] and
130     /// associated task.
131     #[rustc_promotable]
132     #[stable(feature = "futures_api", since = "1.36.0")]
133     #[rustc_const_stable(feature = "futures_api", since = "1.36.0")]
134     #[rustc_allow_const_fn_unstable(const_fn_fn_ptr_basics)]
135     pub const fn new(
136         clone: unsafe fn(*const ()) -> RawWaker,
137         wake: unsafe fn(*const ()),
138         wake_by_ref: unsafe fn(*const ()),
139         drop: unsafe fn(*const ()),
140     ) -> Self {
141         Self { clone, wake, wake_by_ref, drop }
142     }
143 }
144
145 /// The `Context` of an asynchronous task.
146 ///
147 /// Currently, `Context` only serves to provide access to a `&Waker`
148 /// which can be used to wake the current task.
149 #[stable(feature = "futures_api", since = "1.36.0")]
150 pub struct Context<'a> {
151     waker: &'a Waker,
152     // Ensure we future-proof against variance changes by forcing
153     // the lifetime to be invariant (argument-position lifetimes
154     // are contravariant while return-position lifetimes are
155     // covariant).
156     _marker: PhantomData<fn(&'a ()) -> &'a ()>,
157 }
158
159 impl<'a> Context<'a> {
160     /// Create a new `Context` from a `&Waker`.
161     #[stable(feature = "futures_api", since = "1.36.0")]
162     #[must_use]
163     #[inline]
164     pub fn from_waker(waker: &'a Waker) -> Self {
165         Context { waker, _marker: PhantomData }
166     }
167
168     /// Returns a reference to the `Waker` for the current task.
169     #[stable(feature = "futures_api", since = "1.36.0")]
170     #[inline]
171     pub fn waker(&self) -> &'a Waker {
172         &self.waker
173     }
174 }
175
176 #[stable(feature = "futures_api", since = "1.36.0")]
177 impl fmt::Debug for Context<'_> {
178     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
179         f.debug_struct("Context").field("waker", &self.waker).finish()
180     }
181 }
182
183 /// A `Waker` is a handle for waking up a task by notifying its executor that it
184 /// is ready to be run.
185 ///
186 /// This handle encapsulates a [`RawWaker`] instance, which defines the
187 /// executor-specific wakeup behavior.
188 ///
189 /// Implements [`Clone`], [`Send`], and [`Sync`].
190 #[repr(transparent)]
191 #[stable(feature = "futures_api", since = "1.36.0")]
192 pub struct Waker {
193     waker: RawWaker,
194 }
195
196 #[stable(feature = "futures_api", since = "1.36.0")]
197 impl Unpin for Waker {}
198 #[stable(feature = "futures_api", since = "1.36.0")]
199 unsafe impl Send for Waker {}
200 #[stable(feature = "futures_api", since = "1.36.0")]
201 unsafe impl Sync for Waker {}
202
203 impl Waker {
204     /// Wake up the task associated with this `Waker`.
205     #[inline]
206     #[stable(feature = "futures_api", since = "1.36.0")]
207     pub fn wake(self) {
208         // The actual wakeup call is delegated through a virtual function call
209         // to the implementation which is defined by the executor.
210         let wake = self.waker.vtable.wake;
211         let data = self.waker.data;
212
213         // Don't call `drop` -- the waker will be consumed by `wake`.
214         crate::mem::forget(self);
215
216         // SAFETY: This is safe because `Waker::from_raw` is the only way
217         // to initialize `wake` and `data` requiring the user to acknowledge
218         // that the contract of `RawWaker` is upheld.
219         unsafe { (wake)(data) };
220     }
221
222     /// Wake up the task associated with this `Waker` without consuming the `Waker`.
223     ///
224     /// This is similar to `wake`, but may be slightly less efficient in the case
225     /// where an owned `Waker` is available. This method should be preferred to
226     /// calling `waker.clone().wake()`.
227     #[inline]
228     #[stable(feature = "futures_api", since = "1.36.0")]
229     pub fn wake_by_ref(&self) {
230         // The actual wakeup call is delegated through a virtual function call
231         // to the implementation which is defined by the executor.
232
233         // SAFETY: see `wake`
234         unsafe { (self.waker.vtable.wake_by_ref)(self.waker.data) }
235     }
236
237     /// Returns `true` if this `Waker` and another `Waker` have awoken the same task.
238     ///
239     /// This function works on a best-effort basis, and may return false even
240     /// when the `Waker`s would awaken the same task. However, if this function
241     /// returns `true`, it is guaranteed that the `Waker`s will awaken the same task.
242     ///
243     /// This function is primarily used for optimization purposes.
244     #[inline]
245     #[stable(feature = "futures_api", since = "1.36.0")]
246     pub fn will_wake(&self, other: &Waker) -> bool {
247         self.waker == other.waker
248     }
249
250     /// Creates a new `Waker` from [`RawWaker`].
251     ///
252     /// The behavior of the returned `Waker` is undefined if the contract defined
253     /// in [`RawWaker`]'s and [`RawWakerVTable`]'s documentation is not upheld.
254     /// Therefore this method is unsafe.
255     #[inline]
256     #[must_use]
257     #[stable(feature = "futures_api", since = "1.36.0")]
258     pub unsafe fn from_raw(waker: RawWaker) -> Waker {
259         Waker { waker }
260     }
261 }
262
263 #[stable(feature = "futures_api", since = "1.36.0")]
264 impl Clone for Waker {
265     #[inline]
266     fn clone(&self) -> Self {
267         Waker {
268             // SAFETY: This is safe because `Waker::from_raw` is the only way
269             // to initialize `clone` and `data` requiring the user to acknowledge
270             // that the contract of [`RawWaker`] is upheld.
271             waker: unsafe { (self.waker.vtable.clone)(self.waker.data) },
272         }
273     }
274 }
275
276 #[stable(feature = "futures_api", since = "1.36.0")]
277 impl Drop for Waker {
278     #[inline]
279     fn drop(&mut self) {
280         // SAFETY: This is safe because `Waker::from_raw` is the only way
281         // to initialize `drop` and `data` requiring the user to acknowledge
282         // that the contract of `RawWaker` is upheld.
283         unsafe { (self.waker.vtable.drop)(self.waker.data) }
284     }
285 }
286
287 #[stable(feature = "futures_api", since = "1.36.0")]
288 impl fmt::Debug for Waker {
289     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
290         let vtable_ptr = self.waker.vtable as *const RawWakerVTable;
291         f.debug_struct("Waker")
292             .field("data", &self.waker.data)
293             .field("vtable", &vtable_ptr)
294             .finish()
295     }
296 }