作者热爱异步Rust，但指出其在微控制器等资源受限环境中存在显著的二进制膨胀问题，未能实现承诺的零成本抽象。虽然桌面和服务器上影响较小，但作者希望从根本上解决编译器层面的异步膨胀问题，已提交项目目标并寻求资助支持。这是该主题系列文章的第二部分。

标题：异步Rust仍停留在MVP阶段——Tweede golf博客

内容概述：

作者深入探讨了异步Rust在编译器层面的优化空间，指出当前实现存在二进制体积膨胀问题，尤其在资源受限的嵌入式设备上更为明显。文章通过分析生成Future的底层机制，提出了四项关键优化方案，并展示了初步测试效果。

核心问题： 1. 二进制膨胀：异步代码生成的State Machine导致体积激增，嵌入式场景下尤为突出（如bar函数MIR从23行膨胀至360行）。 2. 冗余状态机：即使无await的异步函数（如foo）仍生成包含3种状态的状态机，而理想情况应直接返回Poll::Ready。 3. 低效错误处理：Returned状态默认panic而非返回Pending，增加了5%的二进制开销。

优化方案： - 状态机简化：无await函数应跳过状态机生成（实测节省0.2%体积） - 非panic处理：Returned状态改返回Pending（节省2-5%体积，性能提升3%） - Future内联：对单次await调用实施内联优化 - 状态合并：消除重复状态（如process_command案例可减少34% MIR行数）

技术细节： - 通过修改coroutine_resume阶段的MIR生成实现优化 - LLVM难以完全优化复杂的嵌套Future结构 - 当前架构限制了对Future属性的跨模块查询

进展与支持： 作者已提交项目目标提案，并开源实验性修改（见文末链接）。现寻求约3万欧元的资金支持以推进完整优化工作。

延伸阅读： - 首篇分析文章探讨应用层优化 - PR#135527涉及Future大小优化

（注：删减了LLVM汇编分析等过于技术细节的内容，保留核心问题与解决方案框架）

以下是评论内容的总结，平衡呈现不同观点并保留关键引用：

正面评价

1. 肯定文章深度：认为文章深入探讨了优化问题，希望项目成功

   • "Great article! Love these types of deep dives into optimizations" (评论1)
   • "I like this article already because it took me to the goals of Rust for 2026" (评论9)

2. 欣赏Rust的社区参与：赞赏Rust从零开始的发展过程

   • "I really enjoy witnessing the development of a language from ground up with so much community feedback" (评论9)

对Async Rust的批评

1. 设计问题：认为Async设计存在根本缺陷，不如线程模型

   • "Async seems like an underbaked idea across the board... It’s a worse scheduling and process model than 1970" (评论2)
   • "They simply missed the mark with async. Swing and a miss" (评论6)

2. 生态依赖Tokio：批评生态过度依赖Tokio运行时

   • "It seems crazy to me how much the whole ecosystem depends on tokio" (评论11)

3. 代码重复问题：Async/同步代码需要重复实现

   • "I have to duplicate every function that I want to support both asynchronous and blocking APIs" (评论5)

其他观点

1. 标题夸张：认为文章标题过于戏剧化

   • "Overly dramatic title for the content" (评论1)
   • "Agree with the other commenters that the title is a bit too dramatic" (评论11)

2. 与其他语言对比：提及Zig避免函数染色（function coloring）的方法更优

   • "I like it more how Zig is approaching async with the new IO. It avoids function coloring" (评论8)

3. 示例过于简单：质疑博客中的例子是否具有代表性

   • "Examples in the blog seem too simple make any conclusions" (评论7)

4. 开发模式问题：对Rust目标依赖众筹模式的担忧

   • "My only gripe is that a lot of it is feeling a bit kick-starter-y" (评论9)

关键争议点集中在Async Rust的设计合理性、生态健康性以及与其他语言方案的对比上，同时部分评论对技术深度和社区发展持肯定态度。