AWS Hydro 团队寻求编译器拦截代码生成代理的失误

本月早些时候，AWS Hydro 团队开发了一种新方法，用于验证分布式系统在故障重发消息后仍能正常运行。Shadaj Laddad 形容相关代码提交量相当于五千行程序。Hydro 是一个开源的 Rust 框架，目前大部分代码由人类驱动的代理编写。由于组件协同工作，难以将代码拆分为小块审查。对于开发者依赖的工具而言，如此多的代码需要审查以捕捉错误。Laddad 表示团队花费大量时间思考此问题。他在圣何塞 AGNTCon 加 MCPCon 会议上表示，代码审查无法跟上代理编写代码的速度。代理让团队目标更高，但提交更快运行更久。功能在隔离下表现良好，混合后保证可能失效。不能仅信任测试，因为代理既写代码也写单元测试。Laddad 称代理不可预测，这既是创造力来源也是人类审查难点。他的解决方案是在代理信任区之外共享正确性检查，如编译器强制执行。Rust 借用检查器是例子，在代码运行前捕获竞态条件。Hydro 对分布式系统做类似处理，编译时捕获多种错误类型，让代理即时反馈失误。团队仍在探索代理可共享的领域特定护栏。寻找候选项时，团队研究历史项目中的重复模式。幂等性确保重试请求不运行两次，在设计审查中反复出现，团队询问能否成为通用护栏。Laddad 视此为旧梯子上的新台阶。C 语言让程序员免于汇编函数调用混乱，Java 免除内存分配负担，代理使下一层更紧迫。不过编译器有限制，AI 生成的 Rust 代码可能编译完美但仍错误。同一团队还构建了 Infinity，AWS 于十月二十三日宣布的开源代理运行时。它等待工具调用或 CI 作业时挂起代理而非持续运行。Laddad 引用基准测试显示单个树莓派上可支持七万五千个并发代理。Hydro 本身是早期版本，专为运行高吞吐量低延迟服务的团队设计，担心分布式系统错误。用户应预期存在粗糙边缘和学习曲线。收益是对改变系统的信心而不必担心数月后崩溃。Hydro 和 Infinity 作为开源项目发布，由 AWS 与加州大学伯克利分校联合构建。