mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-26 03:59:55 +00:00
Box future outputs before passing them to async_task
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
parent
7577a2be32
commit
48f9bc972a
2 changed files with 111 additions and 44 deletions
|
@ -1,6 +1,6 @@
|
||||||
use crate::{
|
use crate::{
|
||||||
elements::ElementBox,
|
elements::ElementBox,
|
||||||
executor,
|
executor::{self, Task},
|
||||||
keymap::{self, Keystroke},
|
keymap::{self, Keystroke},
|
||||||
platform::{self, CursorStyle, Platform, PromptLevel, WindowOptions},
|
platform::{self, CursorStyle, Platform, PromptLevel, WindowOptions},
|
||||||
presenter::Presenter,
|
presenter::Presenter,
|
||||||
|
@ -8,7 +8,6 @@ use crate::{
|
||||||
AssetCache, AssetSource, ClipboardItem, FontCache, PathPromptOptions, TextLayoutCache,
|
AssetCache, AssetSource, ClipboardItem, FontCache, PathPromptOptions, TextLayoutCache,
|
||||||
};
|
};
|
||||||
use anyhow::{anyhow, Result};
|
use anyhow::{anyhow, Result};
|
||||||
use async_task::Task;
|
|
||||||
use keymap::MatchResult;
|
use keymap::MatchResult;
|
||||||
use parking_lot::Mutex;
|
use parking_lot::Mutex;
|
||||||
use platform::Event;
|
use platform::Event;
|
||||||
|
|
|
@ -1,12 +1,12 @@
|
||||||
use anyhow::{anyhow, Result};
|
use anyhow::{anyhow, Result};
|
||||||
use async_task::Runnable;
|
use async_task::Runnable;
|
||||||
pub use async_task::Task;
|
|
||||||
use backtrace::{Backtrace, BacktraceFmt, BytesOrWideString};
|
use backtrace::{Backtrace, BacktraceFmt, BytesOrWideString};
|
||||||
use parking_lot::Mutex;
|
use parking_lot::Mutex;
|
||||||
use postage::{barrier, prelude::Stream as _};
|
use postage::{barrier, prelude::Stream as _};
|
||||||
use rand::prelude::*;
|
use rand::prelude::*;
|
||||||
use smol::{channel, prelude::*, Executor, Timer};
|
use smol::{channel, prelude::*, Executor, Timer};
|
||||||
use std::{
|
use std::{
|
||||||
|
any::Any,
|
||||||
fmt::{self, Debug},
|
fmt::{self, Debug},
|
||||||
marker::PhantomData,
|
marker::PhantomData,
|
||||||
mem,
|
mem,
|
||||||
|
@ -42,6 +42,24 @@ pub enum Background {
|
||||||
},
|
},
|
||||||
}
|
}
|
||||||
|
|
||||||
|
type AnyLocalFuture = Pin<Box<dyn 'static + Future<Output = Box<dyn Any + 'static>>>>;
|
||||||
|
type AnyFuture = Pin<Box<dyn 'static + Send + Future<Output = Box<dyn Any + Send + 'static>>>>;
|
||||||
|
type AnyTask = async_task::Task<Box<dyn Any + Send + 'static>>;
|
||||||
|
type AnyLocalTask = async_task::Task<Box<dyn Any + 'static>>;
|
||||||
|
|
||||||
|
pub enum Task<T> {
|
||||||
|
Local {
|
||||||
|
any_task: AnyLocalTask,
|
||||||
|
result_type: PhantomData<T>,
|
||||||
|
},
|
||||||
|
Send {
|
||||||
|
any_task: AnyTask,
|
||||||
|
result_type: PhantomData<T>,
|
||||||
|
},
|
||||||
|
}
|
||||||
|
|
||||||
|
unsafe impl<T: Send> Send for Task<T> {}
|
||||||
|
|
||||||
struct DeterministicState {
|
struct DeterministicState {
|
||||||
rng: StdRng,
|
rng: StdRng,
|
||||||
seed: u64,
|
seed: u64,
|
||||||
|
@ -77,10 +95,7 @@ impl Deterministic {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn spawn_from_foreground<T>(&self, future: Pin<Box<dyn Future<Output = T>>>) -> Task<T>
|
fn spawn_from_foreground(&self, future: AnyLocalFuture) -> AnyLocalTask {
|
||||||
where
|
|
||||||
T: 'static,
|
|
||||||
{
|
|
||||||
let backtrace = Backtrace::new_unresolved();
|
let backtrace = Backtrace::new_unresolved();
|
||||||
let scheduled_once = AtomicBool::new(false);
|
let scheduled_once = AtomicBool::new(false);
|
||||||
let state = self.state.clone();
|
let state = self.state.clone();
|
||||||
|
@ -99,10 +114,7 @@ impl Deterministic {
|
||||||
task
|
task
|
||||||
}
|
}
|
||||||
|
|
||||||
fn spawn<T>(&self, future: Pin<Box<dyn Send + Future<Output = T>>>) -> Task<T>
|
fn spawn(&self, future: AnyFuture) -> AnyTask {
|
||||||
where
|
|
||||||
T: 'static + Send,
|
|
||||||
{
|
|
||||||
let backtrace = Backtrace::new_unresolved();
|
let backtrace = Backtrace::new_unresolved();
|
||||||
let state = self.state.clone();
|
let state = self.state.clone();
|
||||||
let unparker = self.parker.lock().unparker();
|
let unparker = self.parker.lock().unparker();
|
||||||
|
@ -117,10 +129,7 @@ impl Deterministic {
|
||||||
task
|
task
|
||||||
}
|
}
|
||||||
|
|
||||||
fn run<T>(&self, mut future: Pin<Box<dyn Future<Output = T>>>) -> T
|
fn run(&self, mut future: AnyLocalFuture) -> Box<dyn Any> {
|
||||||
where
|
|
||||||
T: 'static,
|
|
||||||
{
|
|
||||||
let woken = Arc::new(AtomicBool::new(false));
|
let woken = Arc::new(AtomicBool::new(false));
|
||||||
loop {
|
loop {
|
||||||
if let Some(result) = self.run_internal(woken.clone(), &mut future) {
|
if let Some(result) = self.run_internal(woken.clone(), &mut future) {
|
||||||
|
@ -138,18 +147,15 @@ impl Deterministic {
|
||||||
|
|
||||||
fn run_until_parked(&self) {
|
fn run_until_parked(&self) {
|
||||||
let woken = Arc::new(AtomicBool::new(false));
|
let woken = Arc::new(AtomicBool::new(false));
|
||||||
let mut future = std::future::pending::<()>().boxed_local();
|
let mut future = any_local_future(std::future::pending::<()>());
|
||||||
self.run_internal(woken, &mut future);
|
self.run_internal(woken, &mut future);
|
||||||
}
|
}
|
||||||
|
|
||||||
fn run_internal<T>(
|
fn run_internal(
|
||||||
&self,
|
&self,
|
||||||
woken: Arc<AtomicBool>,
|
woken: Arc<AtomicBool>,
|
||||||
future: &mut Pin<Box<dyn Future<Output = T>>>,
|
future: &mut AnyLocalFuture,
|
||||||
) -> Option<T>
|
) -> Option<Box<dyn Any>> {
|
||||||
where
|
|
||||||
T: 'static,
|
|
||||||
{
|
|
||||||
let unparker = self.parker.lock().unparker();
|
let unparker = self.parker.lock().unparker();
|
||||||
let waker = waker_fn(move || {
|
let waker = waker_fn(move || {
|
||||||
woken.store(true, SeqCst);
|
woken.store(true, SeqCst);
|
||||||
|
@ -203,13 +209,7 @@ impl Deterministic {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn block_on<F, T>(&self, future: F) -> Option<T>
|
fn block_on(&self, future: &mut AnyLocalFuture) -> Option<Box<dyn Any>> {
|
||||||
where
|
|
||||||
T: 'static,
|
|
||||||
F: Future<Output = T>,
|
|
||||||
{
|
|
||||||
smol::pin!(future);
|
|
||||||
|
|
||||||
let unparker = self.parker.lock().unparker();
|
let unparker = self.parker.lock().unparker();
|
||||||
let waker = waker_fn(move || {
|
let waker = waker_fn(move || {
|
||||||
unparker.unpark();
|
unparker.unpark();
|
||||||
|
@ -394,8 +394,9 @@ impl Foreground {
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn spawn<T: 'static>(&self, future: impl Future<Output = T> + 'static) -> Task<T> {
|
pub fn spawn<T: 'static>(&self, future: impl Future<Output = T> + 'static) -> Task<T> {
|
||||||
let future = future.boxed_local();
|
let future = any_local_future(future);
|
||||||
match self {
|
let any_task = match self {
|
||||||
|
Self::Deterministic(executor) => executor.spawn_from_foreground(future),
|
||||||
Self::Platform { dispatcher, .. } => {
|
Self::Platform { dispatcher, .. } => {
|
||||||
let dispatcher = dispatcher.clone();
|
let dispatcher = dispatcher.clone();
|
||||||
let schedule = move |runnable: Runnable| dispatcher.run_on_main_thread(runnable);
|
let schedule = move |runnable: Runnable| dispatcher.run_on_main_thread(runnable);
|
||||||
|
@ -404,17 +405,18 @@ impl Foreground {
|
||||||
task
|
task
|
||||||
}
|
}
|
||||||
Self::Test(executor) => executor.spawn(future),
|
Self::Test(executor) => executor.spawn(future),
|
||||||
Self::Deterministic(executor) => executor.spawn_from_foreground(future),
|
};
|
||||||
}
|
Task::local(any_task)
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn run<T: 'static>(&self, future: impl 'static + Future<Output = T>) -> T {
|
pub fn run<T: 'static>(&self, future: impl 'static + Future<Output = T>) -> T {
|
||||||
let future = future.boxed_local();
|
let future = any_local_future(future);
|
||||||
match self {
|
let any_value = match self {
|
||||||
|
Self::Deterministic(executor) => executor.run(future),
|
||||||
Self::Platform { .. } => panic!("you can't call run on a platform foreground executor"),
|
Self::Platform { .. } => panic!("you can't call run on a platform foreground executor"),
|
||||||
Self::Test(executor) => smol::block_on(executor.run(future)),
|
Self::Test(executor) => smol::block_on(executor.run(future)),
|
||||||
Self::Deterministic(executor) => executor.run(future),
|
};
|
||||||
}
|
*any_value.downcast().unwrap()
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn forbid_parking(&self) {
|
pub fn forbid_parking(&self) {
|
||||||
|
@ -500,33 +502,34 @@ impl Background {
|
||||||
T: 'static + Send,
|
T: 'static + Send,
|
||||||
F: Send + Future<Output = T> + 'static,
|
F: Send + Future<Output = T> + 'static,
|
||||||
{
|
{
|
||||||
let future = future.boxed();
|
let future = any_future(future);
|
||||||
match self {
|
let any_task = match self {
|
||||||
Self::Production { executor, .. } => executor.spawn(future),
|
Self::Production { executor, .. } => executor.spawn(future),
|
||||||
Self::Deterministic(executor) => executor.spawn(future),
|
Self::Deterministic(executor) => executor.spawn(future),
|
||||||
}
|
};
|
||||||
|
Task::send(any_task)
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn block_with_timeout<F, T>(
|
pub fn block_with_timeout<F, T>(
|
||||||
&self,
|
&self,
|
||||||
timeout: Duration,
|
timeout: Duration,
|
||||||
future: F,
|
future: F,
|
||||||
) -> Result<T, Pin<Box<dyn Future<Output = T>>>>
|
) -> Result<T, impl Future<Output = T>>
|
||||||
where
|
where
|
||||||
T: 'static,
|
T: 'static,
|
||||||
F: 'static + Unpin + Future<Output = T>,
|
F: 'static + Unpin + Future<Output = T>,
|
||||||
{
|
{
|
||||||
let mut future = future.boxed_local();
|
let mut future = any_local_future(future);
|
||||||
if !timeout.is_zero() {
|
if !timeout.is_zero() {
|
||||||
let output = match self {
|
let output = match self {
|
||||||
Self::Production { .. } => smol::block_on(util::timeout(timeout, &mut future)).ok(),
|
Self::Production { .. } => smol::block_on(util::timeout(timeout, &mut future)).ok(),
|
||||||
Self::Deterministic(executor) => executor.block_on(&mut future),
|
Self::Deterministic(executor) => executor.block_on(&mut future),
|
||||||
};
|
};
|
||||||
if let Some(output) = output {
|
if let Some(output) = output {
|
||||||
return Ok(output);
|
return Ok(*output.downcast().unwrap());
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
Err(future)
|
Err(async { *future.await.downcast().unwrap() })
|
||||||
}
|
}
|
||||||
|
|
||||||
pub async fn scoped<'scope, F>(&self, scheduler: F)
|
pub async fn scoped<'scope, F>(&self, scheduler: F)
|
||||||
|
@ -576,3 +579,68 @@ pub fn deterministic(seed: u64) -> (Rc<Foreground>, Arc<Background>) {
|
||||||
Arc::new(Background::Deterministic(executor)),
|
Arc::new(Background::Deterministic(executor)),
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl<T> Task<T> {
|
||||||
|
fn local(any_task: AnyLocalTask) -> Self {
|
||||||
|
Self::Local {
|
||||||
|
any_task,
|
||||||
|
result_type: PhantomData,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn detach(self) {
|
||||||
|
match self {
|
||||||
|
Task::Local { any_task, .. } => any_task.detach(),
|
||||||
|
Task::Send { any_task, .. } => any_task.detach(),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T: Send> Task<T> {
|
||||||
|
fn send(any_task: AnyTask) -> Self {
|
||||||
|
Self::Send {
|
||||||
|
any_task,
|
||||||
|
result_type: PhantomData,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T: fmt::Debug> fmt::Debug for Task<T> {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
match self {
|
||||||
|
Task::Local { any_task, .. } => any_task.fmt(f),
|
||||||
|
Task::Send { any_task, .. } => any_task.fmt(f),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T: 'static> Future for Task<T> {
|
||||||
|
type Output = T;
|
||||||
|
|
||||||
|
fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> {
|
||||||
|
match unsafe { self.get_unchecked_mut() } {
|
||||||
|
Task::Local { any_task, .. } => {
|
||||||
|
any_task.poll(cx).map(|value| *value.downcast().unwrap())
|
||||||
|
}
|
||||||
|
Task::Send { any_task, .. } => {
|
||||||
|
any_task.poll(cx).map(|value| *value.downcast().unwrap())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn any_future<T, F>(future: F) -> AnyFuture
|
||||||
|
where
|
||||||
|
T: 'static + Send,
|
||||||
|
F: Future<Output = T> + Send + 'static,
|
||||||
|
{
|
||||||
|
async { Box::new(future.await) as Box<dyn Any + Send> }.boxed()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn any_local_future<T, F>(future: F) -> AnyLocalFuture
|
||||||
|
where
|
||||||
|
T: 'static,
|
||||||
|
F: Future<Output = T> + 'static,
|
||||||
|
{
|
||||||
|
async { Box::new(future.await) as Box<dyn Any> }.boxed_local()
|
||||||
|
}
|
||||||
|
|
Loading…
Reference in a new issue