futures_concurrency/future/join/array.rs
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219
use super::Join as JoinTrait;
use crate::utils::{FutureArray, OutputArray, PollArray, WakerArray};
use core::fmt;
use core::future::{Future, IntoFuture};
use core::mem::ManuallyDrop;
use core::ops::DerefMut;
use core::pin::Pin;
use core::task::{Context, Poll};
use pin_project::{pin_project, pinned_drop};
/// A future which waits for two similarly-typed futures to complete.
///
/// This `struct` is created by the [`join`] method on the [`Join`] trait. See
/// its documentation for more.
///
/// [`join`]: crate::future::Join::join
/// [`Join`]: crate::future::Join
#[must_use = "futures do nothing unless you `.await` or poll them"]
#[pin_project(PinnedDrop)]
pub struct Join<Fut, const N: usize>
where
Fut: Future,
{
/// A boolean which holds whether the future has completed
consumed: bool,
/// The number of futures which are currently still in-flight
pending: usize,
/// The output data, to be returned after the future completes
items: OutputArray<<Fut as Future>::Output, N>,
/// A structure holding the waker passed to the future, and the various
/// sub-wakers passed to the contained futures.
wakers: WakerArray<N>,
/// The individual poll state of each future.
state: PollArray<N>,
#[pin]
/// The array of futures passed to the structure.
futures: FutureArray<Fut, N>,
}
impl<Fut, const N: usize> Join<Fut, N>
where
Fut: Future,
{
#[inline]
pub(crate) fn new(futures: [Fut; N]) -> Self {
Join {
consumed: false,
pending: N,
items: OutputArray::uninit(),
wakers: WakerArray::new(),
state: PollArray::new_pending(),
futures: FutureArray::new(futures),
}
}
}
impl<Fut, const N: usize> JoinTrait for [Fut; N]
where
Fut: IntoFuture,
{
type Output = [Fut::Output; N];
type Future = Join<Fut::IntoFuture, N>;
#[inline]
fn join(self) -> Self::Future {
Join::new(self.map(IntoFuture::into_future))
}
}
impl<Fut, const N: usize> fmt::Debug for Join<Fut, N>
where
Fut: Future + fmt::Debug,
{
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
f.debug_list().entries(self.state.iter()).finish()
}
}
impl<Fut, const N: usize> Future for Join<Fut, N>
where
Fut: Future,
{
type Output = [Fut::Output; N];
#[inline]
fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> {
let this = self.project();
assert!(
!*this.consumed,
"Futures must not be polled after completing"
);
let mut readiness = this.wakers.readiness();
readiness.set_waker(cx.waker());
if *this.pending != 0 && !readiness.any_ready() {
// Nothing is ready yet
return Poll::Pending;
}
// Poll all ready futures
for (i, mut fut) in this.futures.iter().enumerate() {
if this.state[i].is_pending() && readiness.clear_ready(i) {
// unlock readiness so we don't deadlock when polling
#[allow(clippy::drop_non_drop)]
drop(readiness);
// Obtain the intermediate waker.
let mut cx = Context::from_waker(this.wakers.get(i).unwrap());
// Poll the future
// SAFETY: the future's state was "pending", so it's safe to poll
if let Poll::Ready(value) = unsafe {
fut.as_mut()
.map_unchecked_mut(|t| t.deref_mut())
.poll(&mut cx)
} {
this.items.write(i, value);
this.state[i].set_ready();
*this.pending -= 1;
// SAFETY: the future state has been changed to "ready" which
// means we'll no longer poll the future, so it's safe to drop
unsafe { ManuallyDrop::drop(fut.get_unchecked_mut()) };
}
// Lock readiness so we can use it again
readiness = this.wakers.readiness();
}
}
// Check whether we're all done now or need to keep going.
if *this.pending == 0 {
// Mark all data as "consumed" before we take it
*this.consumed = true;
for state in this.state.iter_mut() {
debug_assert!(
state.is_ready(),
"Future should have reached a `Ready` state"
);
state.set_none();
}
// SAFETY: we've checked with the state that all of our outputs have been
// filled, which means we're ready to take the data and assume it's initialized.
Poll::Ready(unsafe { this.items.take() })
} else {
Poll::Pending
}
}
}
/// Drop the already initialized values on cancellation.
#[pinned_drop]
impl<Fut, const N: usize> PinnedDrop for Join<Fut, N>
where
Fut: Future,
{
fn drop(self: Pin<&mut Self>) {
let mut this = self.project();
// Drop all initialized values.
for i in this.state.ready_indexes() {
// SAFETY: we've just filtered down to *only* the initialized values.
// We can assume they're initialized, and this is where we drop them.
unsafe { this.items.drop(i) };
}
// Drop all pending futures.
for i in this.state.pending_indexes() {
// SAFETY: we've just filtered down to *only* the pending futures,
// which have not yet been dropped.
unsafe { this.futures.as_mut().drop(i) };
}
}
}
#[cfg(test)]
mod test {
use super::*;
use core::future;
#[test]
fn smoke() {
futures_lite::future::block_on(async {
let fut = [future::ready("hello"), future::ready("world")].join();
assert_eq!(fut.await, ["hello", "world"]);
});
}
#[test]
fn empty() {
futures_lite::future::block_on(async {
let data: [future::Ready<()>; 0] = [];
let fut = data.join();
assert_eq!(fut.await, []);
});
}
#[test]
#[cfg(feature = "alloc")]
fn debug() {
use crate::utils::DummyWaker;
use alloc::format;
use alloc::sync::Arc;
use core::task::Context;
let mut fut = [future::ready("hello"), future::ready("world")].join();
assert_eq!(format!("{:?}", fut), "[Pending, Pending]");
let mut fut = Pin::new(&mut fut);
let waker = Arc::new(DummyWaker()).into();
let mut cx = Context::from_waker(&waker);
let _ = fut.as_mut().poll(&mut cx);
assert_eq!(format!("{:?}", fut), "[None, None]");
}
}