Henry Garner · 2026-02-11

从规范到压力测试：周末与Claude共建BFT分布式系统

摘要

JUXT公司CTO Henry Garner在周末与Claude合作，仅通过行为规范语言Allium描述需求，在未手动编写一行实现代码的情况下，50分钟内生成了4749行Kotlin代码和103个通过测试。该系统实现了强一致性、拜占庭容错和崩溃恢复，最终达到数千RPS和sub-100ms尾延迟。这一实验证明了AI智能体在复杂系统构建中的巨大潜力。

内容框架与概述

文章首先介绍了项目的宏大目标：构建一个具有拜占庭容错能力、支持强一致性并能在任意崩溃后恢复的分布式事件溯源系统。作者选择使用自研的Allium行为规范语言来描述系统需求，该语言介于TLA+和结构化散文之间，包含规则、指导和已解决问题三种核心构造。

接下来详细阐述了系统架构和设计过程。通过与Claude的对话式协作，作者在短短几小时内完成了架构设计，系统被分解为六大核心组件：负责Kafka消费的Usher、执行事件评估的Arbiter、实现BFT共识的Clerk、管理实体缓存的Registrar、处理持久化的Ledger以及保证幂等性的Warden。

最后部分展示了开发成果和经验总结。在未逐行审查代码的情况下，项目在首个周末后达到了数千RPS的吞吐量，尾延迟控制在100毫秒以下，测试场景成功暴露了分布式系统中的细微Bug并得以修复。作者认为，这种人机协作模式中，人类的价值在于设计意图的表达和优先级决策，而非代码编写。