[−][src]Struct futures_util::task::AtomicWaker
A synchronization primitive for task wakeup.
Sometimes the task interested in a given event will change over time.
An AtomicWaker
can coordinate concurrent notifications with the consumer
potentially "updating" the underlying task to wake up. This is useful in
scenarios where a computation completes in another thread and wants to
notify the consumer, but the consumer is in the process of being migrated to
a new logical task.
Consumers should call register
before checking the result of a computation
and producers should call wake
after producing the computation (this
differs from the usual thread::park
pattern). It is also permitted for
wake
to be called before register
. This results in a no-op.
A single AtomicWaker
may be reused for any number of calls to register
or
wake
.
AtomicWaker
does not provide any memory ordering guarantees, as such the
user should use caution and use other synchronization primitives to guard
the result of the underlying computation.
Methods
impl AtomicWaker
[src]
pub fn new() -> AtomicWaker
[src]
Create an AtomicWaker
.
pub fn register(&self, waker: &Waker)
[src]
Registers the waker to be notified on calls to wake
.
The new task will take place of any previous tasks that were registered
by previous calls to register
. Any calls to wake
that happen after
a call to register
(as defined by the memory ordering rules), will
notify the register
caller's task and deregister the waker from future
notifications. Because of this, callers should ensure register
gets
invoked with a new Waker
each time they require a wakeup.
It is safe to call register
with multiple other threads concurrently
calling wake
. This will result in the register
caller's current
task being notified once.
This function is safe to call concurrently, but this is generally a bad
idea. Concurrent calls to register
will attempt to register different
tasks to be notified. One of the callers will win and have its task set,
but there is no guarantee as to which caller will succeed.
Examples
Here is how register
is used when implementing a flag.
#![feature(futures_api)] use futures::future::Future; use futures::task::{Context, Poll, AtomicWaker}; use std::sync::atomic::AtomicBool; use std::sync::atomic::Ordering::SeqCst; use std::pin::Pin; struct Flag { waker: AtomicWaker, set: AtomicBool, } impl Future for Flag { type Output = (); fn poll(mut self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<()> { // Register **before** checking `set` to avoid a race condition // that would result in lost notifications. self.waker.register(cx.waker()); if self.set.load(SeqCst) { Poll::Ready(()) } else { Poll::Pending } } }
pub fn wake(&self)
[src]
Calls wake
on the last Waker
passed to register
.
If register
has not been called yet, then this does nothing.
pub fn take(&self) -> Option<Waker>
[src]
Returns the last Waker
passed to register
, so that the user can wake it.
Sometimes, just waking the AtomicWaker is not fine grained enough. This allows the user to take the waker and then wake it separately, rather than performing both steps in one atomic action.
If a waker has not been registered, this returns None
.
Trait Implementations
impl Debug for AtomicWaker
[src]
impl Sync for AtomicWaker
[src]
impl Default for AtomicWaker
[src]
fn default() -> AtomicWaker
[src]
impl Send for AtomicWaker
[src]
Blanket Implementations
impl<T> From for T
[src]
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
ⓘImportant traits for &'_ mut Ifn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,