Rust异步浅谈

前提

  这篇文章主要描述了Rust中异步的原理，Rust异步也是在最近的版本中(1.39)中才稳定下来。希望可以通过这边文章在提高自己认知的情况下，也可以给读者带来一些解惑。(来自于本人被Rust异步毒打的一些经验之谈).

  阅读这篇文章需要对操作系统，IO多路复用，以及一些数据结构有一定的概念。

Future

  Future 字面的意思就是未来发生的事情，在程序中则代表了一系列暂时没有结果的运算子，Future需要程序主动去poll(轮询)才能获取到最终的结果，每一次轮询的结果可能是Ready或者Pending。

  当Ready的时候，证明当前Future已完成，代码逻辑可以向下执行；当Pending的时候，代表当前Future并未执行完成，代码不能向下执行，看到这里就要问了，那什么时候才能向下执行呢，这里的关键在于Runtime中的Executor需要不停的去执行Future的poll操作，直至Future返回Ready可以向下执行为止。等等，熟悉Linux的同学可能要说了，怎么感觉和Epoll模型是非常的相似呢，没错，这确实非常相像(但是依然有些许不同，Future可以避免空的轮询)，看样子优秀的设计在哪里都可以看到类似的身影。为了实现Rust声称的高性能与零开销抽象，这里做了一些优化，下面一一讲述。

Future结构

pub enum Poll<T> {
    Ready(T),
    Pending,
}

pub trait Future {
    type Output;

    fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output>;
}

Future的定义非常简单，Output代表了Future返回的值的类型，而poll方法是执行Future的关键，poll方法可以返回一个Poll类型，Poll类型是一个Enum，包装了Ready和Pending两种状态。

Runtime

Runtime 由两部分组成，Executor和Reactor。

Executor为执行器，没有任何阻塞的等待，循环执行一系列就绪的Future，当Future返回pending的时候，会将Future转移到Reactor上等待进一步的唤醒。

Reactor为反应器(唤醒器)，轮询并唤醒挂在的事件，并执行对应的wake方法，通常来说，wake会将Future的状态变更为就绪，同时将Future放到Executor的队列中等待执行。

执行流程

下面的序列图大概简单的描绘了Future在Executor和Reactor之间来回转移的流程与状态变化。