Executor 与 Future、await 关系浅析

Executor 可以想象成 Future 的调度器吗是的非常准确。Executor执行器就是负责管理和轮询pollFuture 的调度系统。它维护一个就绪任务队列当一个 Future 返回 Poll::Pending 时它会注册一个唤醒器Waker然后当该 Future 就绪如 IO 完成时Waker 会通知 ExecutorExecutor 会将其重新放入队列并再次 poll。Executor 与 Future 的关系角色职责Future定义了异步计算的状态机有一个poll方法由 Executor 调用。它本身是惰性的不执行任何操作除非被 poll。Executor驱动 Future 运行的外部引擎。它负责1. 在合适的时机调用Future::poll2. 处理 Waker 通知 3. 管理任务的生命周期如多线程调度关系总结Future 是被动的“计算任务”Executor 是主动的“任务驱动器”。两者通过 Waker 进行协作。Executor 与await是否功能重合不重合它们处于完全不同的层次。概念层面作用await语法糖语言特性在.await点挂起当前任务将控制权交还给 Executor并等待 Future 完成。它不调度任务只负责“等待”。Executor运行时组件库提供实际调度和执行 Future管理线程池或事件循环驱动所有异步任务向前推进。类比Executor 是“发动机”Future 是“变速器”而await是“离合器”——它让发动机和变速器暂时分离但不负责驱动车辆。详细示例带计算过程的异步操作模拟“费时计算 网络请求”来展示这三者的协作。usetokio::time::{sleep,Duration};usestd::future::Future;usestd::pin::Pin;usestd::task::{Context,Poll};// 1. 定义一个自定义 Future模拟耗时计算structComputeFuture{count:u32,}implFutureforComputeFuture{typeOutputu32;fnpoll(mutself:PinmutSelf,cx:mutContext_)-PollSelf::Output{println!(poll: count {},self.count);ifself.count10{Poll::Ready(self.count)}else{self.count1;// 模拟异步等待注册一个定时器 Wakerletwakercx.waker().clone();tokio::spawn(asyncmove{sleep(Duration::from_millis(100)).await;waker.wake();// 通知 executor 再次 poll});Poll::Pending}}}// 2. 一个异步函数使用 awaitasyncfnasync_compute()-u32{letresultComputeFuture{count:0}.await;// 这里挂起等待完成result*2}// 3. 另一个异步函数模拟网络请求asyncfnfetch_data()-u32{sleep(Duration::from_millis(50)).await;// 模拟 IO42}#[tokio::main]// tokio 的 executor 在此asyncfnmain(){// 并发执行两个任务let(computed,fetched)tokio::join!(async_compute(),fetch_data());println!(computed: {}, fetched: {},computed,fetched);}执行流程#[tokio::main]创建了一个 Executor多线程工作窃取调度器。tokio::join!将两个 Future 提交给 ExecutorExecutor 开始轮询它们。当轮询async_compute()时内部ComputeFuture的poll被调用如果count 10它注册一个 Waker通过waker.wake()并返回Poll::Pending。此时await关键字将当前任务挂起控制权返回给 Executor。Executor 发现任务挂起就去轮询fetch_data()它同样可能挂起sleep。当定时器触发时Waker 被调用Executor 重新将ComputeFuture放入队列再次 poll直到count 10返回Poll::Ready。此时await得到结果继续执行result * 2。所有任务完成join!返回结果。三者分工示意伪代码Executor: while 有任务: 选择一个任务 调用 Future::poll(task) 如果返回 Poll::Pending: 保存任务等待 Waker 否则: 完成并返回结果 Future::poll: 执行一步计算 如果未完成: 注册 Waker 返回 Poll::Pending 否则: 返回 Poll::Ready(value) await: 调用 Future::poll 如果返回 Poll::Pending: 挂起当前 async 函数保存栈状态 将控制权交还给 Executor 否则: 获取值并继续执行总结概念角色是否驱动执行是否触发调度Future状态机否被动被 poll否Executor调度器是驱动 poll是管理任务队列await等待语法否只是挂起否只是让出控制权关键点await 并不调度任务它只是将控制权交还给 Executor让 Executor 去调度其他任务。真正的调度和并发执行完全由 Executor 负责。