正在刊行长文 · Essay
2026-09-27所有内容
随机比特 · Random Bits

DHH 用大模型把 Rust 手撕成汇编:性能狂飙 17 倍背后的工程倒退

2026-09-27AI Engineering / Systemsrbits.uk
DHH 用大模型把 Rust 手撕成汇编:性能狂飙 17 倍背后的工程倒退

在高性能系统编程的世界里,榨干硬件的每一个时钟周期向来是极客追求的圣杯。近期开源社区掀起了一场激烈的论战,知名开源项目作者公开展示了使用大模型完成的一项激进实验。原本用高级语言编写的屏幕保护渲染引擎,在人工智能的一次性指令转译下,被整体替换为数千行底层的机器汇编代码。基准测试中的吞吐数字瞬间跃升了十七倍,引来无数围观者的惊叹。

然而在工业级软件工程的标尺之下,这种依靠大模型跳过高级语言抽象的做法,绝非代表未来的技术突破。表面上单机基准测试跑出了惊艳的数据,背后付出的代价却是软件工程数十年来建立起来的确定性防御体系全盘崩塌。

局部执行速度无法弥补系统抽象崩塌

高级编程语言的诞生,本质上是为了让人类大脑能够在合理的认知负载内构建大型可靠软件。

高级语言提供的强类型系统、模块封装与所有权借用机制,使得跨团队协作和复杂业务逻辑的推演成为可能。开发者在高级语言中定义清晰的接口边界,而将针对特定芯片架构的指令调度与寄存器分配,托付给背后由严格数学理论支撑的工业级编译器。当工程师依靠概率大模型直接生成整盘的裸机器码时,这些宝贵的语义信息瞬间被完全抹平。

机器生成的汇编代码缺乏人类可维护的上下文结构。数千行由寄存器操作和跳转指令构成的扁平文本,既无法进行常规的代码审查,也彻底切断了跨硬件平台的迁移路径。原本高级语言可以一键交叉编译到移动端或异构服务器芯片上,一旦退化为特定指令集的手写汇编,系统在面对新架构时便立刻沦为无法运行的死代码。

更为严峻的隐患潜藏在运行期安全之中。现代高级语言编译器能够在构建阶段严格拦截未初始化内存、野指针和数据竞争等致命隐患。手写汇编彻底绕过了这些前置的安全断言,将所有的未定义行为无声地推迟到生产运行环境。微基准测试里的速度提升,是以牺牲整个系统的可维护性与稳定性为沉重代价换来的。

抹平抽象层换来的局部跑分暴涨,本质上是将确定性防御推向了不可测的深渊。

严谨编译器防线保障长期演进质量

追求极致性能与维护严谨工程之间,并不存在不可调和的矛盾。

研发范式 抽象分层状态 内存安全保障 异构硬件迁移成本 自动化测试完备度
原生高级语言 语义清晰且模块正交 编译期强类型借用检查 极低(跨目标架构重编) 极高(原生支持单测与打桩)
手工定向内联 仅核心热点定点优化 核心边界严密包裹校验 中等(局部平台条件编译) 很高(局部隔离验证方便)
传统手写汇编 缺乏结构化模块边界 完全依赖人工细致核验 极高(多架构需全量重写) 差(调试与打桩极其昂贵)
概率模型转译 彻底丢失工程类型系统 静态分析防御全部失效 极高(跨平台指令无法兼容) 极差(黑盒指令难以独立断言)

成熟的系统调优讲究精准解耦与正交组合。在实际工程中,真正制约系统吞吐的往往只是极少数循环内部的关键指令。工业级的优化方法是保持系统整体的高级抽象不变,仅在最核心的微小热点处引入定量的向量化指令探针。上层业务依然享受完备的单元测试、接口隔离与静态类型推导,底层的计算内核则通过受控的独立模块释放硬件潜能。

当异常行为发生时,高级语言能够配合编译器在构建流程的最前端立刻拉响警报并提前终止编译,绝不让带病的代码溜进执行阶段。这种基于确定性边界的工程防线,正是大型软件能够经受数十年演进检验的基石。依靠大模型大水漫灌式地用汇编推翻高级语言,无异于拆掉大厦的钢筋混凝土框架去换取局部墙面的轻薄。

工程系统的长期生命力来自清晰的模块组合,绝非不可维护的非确定性机器码。

大模型真正的力量在于辅助开发者理清复杂的架构约束,而不是怂恿我们放弃经过时间洗礼的工程常识。唯有守住抽象层的严谨防线,算力的高峰才能稳健攀登。

随机比特公众号二维码
公众号 · 随机比特
从 AI 工具热闹里拆工程真相

写边界、控制面、上下文、成本与安全。