2019年底Rust
正式支持 async/await语法,完成了Rust
协程的最后一块拼图,从而异步代码可以用一种类似于Go
的简洁方式来书写。然而对于程序员来讲,还是很有必要理解async/await
的实现原理。
简单地说,async
语法生成一个实现 Future
对象。如下async
函数:
async fn foo() -> {
...
}
async
关键字,将函数的原型修改为返回一个Future trait object
。然后将执行的结果包装在一个新的future
中返回,大致相当于:
fn foo() -> impl Future<Output = ()> {
async { ... }
}
更重要的是async
代码块会实现一个匿名的 Future trait object
,包裹一个 Generator
。也就是一个实现了 Future
的 Generator
。Generator
实际上是一个状态机,配合.await
当每次async
代码块中任何返回 Poll::Pending
则即调用generator yeild
,让出执行权,一旦恢复执行,generator resume
继续执行剩余流程。以下是这个状态机Future
的代码:
pub const fn from_generator<T>(gen: T) -> impl Future<Output = T::Return>
where
T: Generator<ResumeTy, Yield = ()>,
{
struct GenFuture<T: Generator<ResumeTy, Yield = ()>>(T);
impl<T: Generator<ResumeTy, Yield = ()>> !Unpin for GenFuture<T> {}
impl<T: Generator<ResumeTy, Yield = ()>> Future for GenFuture<T> {
type Output = T::Return;
fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> {
let gen = unsafe { Pin::map_unchecked_mut(self, |s| &mut s.0) };
match gen.resume(ResumeTy(NonNull::from(cx).cast::<Context<'static>>())) {
GeneratorState::Yielded(()) => Poll::Pending, // 当代码无法继续执行,让出控制权,返回 Pending,等待唤醒
GeneratorState::Complete(x) => Poll::Ready(x), // 执行完毕
}
}
}
GenFuture(gen)
}
可以看到这个特别的Future
是通过Generator
来运行的。每一次gen.resume()
会顺序执行async block
中代码直到遇到yield
。async block
中的.await
语句在无法立即完成时会调用yield
交出控制权等待下一次resume
。而当所有代码执行完,也就是状态机进入Complete
,async block
返回Poll::Ready
,代表Future
执行完毕。
每一个await
本身就像一个执行器,在循环中查询Future
的状态。如果返回Pending
,则 yield
,否则退出循环,结束当前Future
。代码逻辑大致如下:
loop {
match some_future.poll() {
Pending => yi��ֱ��׳,��������eld,
Ready(x) => break
}
}
为了更好地理解async/await
的原理,我们来看一个简单例子:
async fn foo() {
do_something_1();
some_future.await;
do_something_2();
}
使用async
修饰的异步函数foo
被改写为一个Generator
状态机驱动的Future
,其内部有一个some_future.await
,中间穿插do_something_x()
等其他操作。当执行foo().await
时,首先完成do_something_1()
,然后执行some_future.await
,若some_future
返回Pending
,这个Pending
被转换为yield
,因此顶层foo()
暂时也返回Pending
,待下次唤醒后,foo()
调用resume()
继续轮询some_future
,若some_future
返回Ready
,表示some_future.await
完毕,则foo()
开始执行do_something_2()
。这里的关键点在于,因为状态机的控制,所以当foo()
再次被唤醒时,不会重复执行do_something_1()
,而是会从上次yield
的的地方继续执行some_future.await
,相当于完成了一次任务切换,这也是无栈协程的工作方式。
async/await
通过一个状态机来控制代码的流程,配合Executor
完成协程的切换。在此之后,书写异步代码不需要手动写Future
及其poll
方法,特别是异步逻辑的状态机也是由async
自动生成,大大简化程序员的工作。虽然async/await
出现的时间不长,目前纯粹使用async/await
书写的代码还不是主流,但可以乐观地期待,今后更多的项目会使用这个新语法。