futures_concurrency/future/try_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 220 221 222 223 224 225 226 227 228 229 230
use super::TryJoin as TryJoinTrait;
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 all futures to complete successfully, or abort early on error.
///
/// This `struct` is created by the [`try_join`] method on the [`TryJoin`] trait. See
/// its documentation for more.
///
/// [`try_join`]: crate::future::TryJoin::try_join
/// [`TryJoin`]: crate::future::TryJoin
#[must_use = "futures do nothing unless you `.await` or poll them"]
#[pin_project(PinnedDrop)]
pub struct TryJoin<Fut, T, E, const N: usize>
where
Fut: Future<Output = Result<T, E>>,
{
/// 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<T, 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, T, E, const N: usize> TryJoin<Fut, T, E, N>
where
Fut: Future<Output = Result<T, E>>,
{
#[inline]
pub(crate) fn new(futures: [Fut; N]) -> Self {
Self {
consumed: false,
pending: N,
items: OutputArray::uninit(),
wakers: WakerArray::new(),
state: PollArray::new_pending(),
futures: FutureArray::new(futures),
}
}
}
impl<Fut, T, E, const N: usize> TryJoinTrait for [Fut; N]
where
Fut: IntoFuture<Output = Result<T, E>>,
{
type Output = [T; N];
type Error = E;
type Future = TryJoin<Fut::IntoFuture, T, E, N>;
fn try_join(self) -> Self::Future {
TryJoin::new(self.map(IntoFuture::into_future))
}
}
impl<Fut, T, E, const N: usize> fmt::Debug for TryJoin<Fut, T, E, N>
where
Fut: Future<Output = Result<T, E>> + fmt::Debug,
{
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
f.debug_list().entries(self.state.iter()).finish()
}
}
impl<Fut, T, E, const N: usize> Future for TryJoin<Fut, T, E, N>
where
Fut: Future<Output = Result<T, E>>,
{
type Output = Result<[T; N], E>;
#[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.pending -= 1;
// Check the value, short-circuit on error.
match value {
Ok(value) => {
this.items.write(i, value);
// SAFETY: We're marking the state as "ready", which
// means the future has been consumed, and data is
// now available to be consumed. The future will no
// longer be used after this point so it's safe to drop.
this.state[i].set_ready();
unsafe { ManuallyDrop::drop(fut.get_unchecked_mut()) };
}
Err(err) => {
// The future should no longer be polled after we're done here
*this.consumed = true;
// SAFETY: We're about to return the error value
// from the future, and drop the entire future.
// We're marking the future as consumed, and then
// proceeding to drop all other futures and
// initiatlized values in the destructor.
this.state[i].set_none();
unsafe { ManuallyDrop::drop(fut.get_unchecked_mut()) };
return Poll::Ready(Err(err));
}
}
}
// 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;
// SAFETY: we check 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.
debug_assert!(this.state.iter().all(|entry| entry.is_ready()));
this.state.set_all_none();
Poll::Ready(Ok(unsafe { this.items.take() }))
} else {
Poll::Pending
}
}
}
/// Drop the already initialized values on cancellation.
#[pinned_drop]
impl<Fut, T, E, const N: usize> PinnedDrop for TryJoin<Fut, T, E, N>
where
Fut: Future<Output = Result<T, E>>,
{
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 all_ok() {
futures_lite::future::block_on(async {
let res: Result<_, ()> = [future::ready(Ok("hello")), future::ready(Ok("world"))]
.try_join()
.await;
assert_eq!(res.unwrap(), ["hello", "world"]);
})
}
#[test]
fn empty() {
futures_lite::future::block_on(async {
let data: [future::Ready<Result<(), ()>>; 0] = [];
let res = data.try_join().await;
assert_eq!(res.unwrap(), []);
});
}
#[test]
fn one_err() {
futures_lite::future::block_on(async {
let res: Result<_, _> = [future::ready(Ok("hello")), future::ready(Err("oh no"))]
.try_join()
.await;
assert_eq!(res.unwrap_err(), "oh no");
});
}
}