4 陷阱 on 编程那些事儿

4.1 阻塞执行器

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/async-pitfalls/blocking-executor.html

多数异步运行时只允许 I/O 任务并发运行。这意味着 CPU 阻塞任务会阻塞执行器，并阻止其他任务执行。简便的变通办法是尽可能使用异步等价方法。

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/async-pitfalls/pin.html

回想一下：async 函数或块会创建一个实现 Future 并包含所有局部变量的类型。其中一些变量可能持有指向其他局部变量的引用（指针）。为确保这些引用保持有效，该 future 绝不能被移动到不同的内存位置。

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/async-pitfalls/async-traits.html

Trait 中的异步方法在 1.75 版本中稳定。这需要支持在 trait 中使用返回位置的 impl Trait，因为 async fn 的脱糖包含 -> impl Future<Output = ...>。

不过，即便有原生支持，围绕 async fn 仍有特定陷阱：

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/async-pitfalls/cancellation.html

丢弃 future 意味着它再也不能被轮询。这称为取消（cancellation），可以发生在任意 await 点。需要小心确保即使 future 被取消，系统仍能正确工作。例如，不应死锁或丢失数据。