tokio 基本上是 rust 异步编程中是最重要的库.
它融合了线程和协程的概念, 对外提供了 task 的概念.
首先, 它会启动和管理一个线程池, worker threads, 线程的数目基本上与 CPU 的核数相对应.
其次, rust 的语法 async await, 是会创建实现 Future 的状态机, 即通俗说的创建 future . 不同的 Runtime 系统来处理这些 future
再次, tokio 是一种 Runtime 实现, tokio 会将这些 future 包装成 task, 放入到 tokio 内部的调度器序列.
然后, tokio 的 worker 线程会轮询这些 task.
那么有个问题: 这些 task 是协程吗?
基本上也是协程的范畴, 但不是传统的协程, 与 go 的基于栈的协程机制不同, 这个是基于状态机的.
- 每个 task 没有独立的栈
- 不会抢占, 也是合作式调度, 只有在一个 task 主动调用 await 的时候, 才会让出执行权.
- 上面这一点, 就满足
协程单词中的协的概念, 即协作/合作式调度.
或者说, async await 本身就是协程的概念, 而 tokio 只是一种具体的实现.
worker 的工作内容:
- poll Tasks
- 处理 IO 事件
- 驱动异步执行