2.7 Future 和异步编程基础：从 Promise 到 Rust Future，理解异步的本质

2.7 Future 和异步编程基础：从 Promise 到 Rust Future，理解异步的本质

引言：同步的局限与异步的兴起

到目前为止，我们讨论的并发都是基于多线程的。无论是共享内存还是消息传递，我们都是在创建操作系统线程来并行执行任务。这种模型非常强大，但也存在局限：

• 资源开销：每个线程都需要一个独立的栈空间（通常是几 MB），并消耗操作系统资源。我们无法创建成千上万个线程。
• 上下文切换成本：线程间的切换需要操作系统的介入，这是一个相对昂贵的操作。
• I/O 阻塞问题：在网络编程中，一个线程发起一个网络请求后，它通常会阻塞（block）并等待响应。在这段等待时间里，这个线程什么也做不了，CPU 资源被浪费了。

想象一个需要同时处理 10,000 个网络连接的服务器。如果为每个连接都创建一个线程，系统资源将很快被耗尽。我们需要一种更轻量级的方式来处理大量并发的、大部分时间都在等待 I/O 的任务。这就是异步编程（Asynchronous Programming）的用武之地。

本章，我们将回到异步编程的本源，理解其核心概念——Future，并将其与你可能熟悉的 JavaScript Promise 进行对比，为你进入 Rust 的