Jepsen（分布式系统测试）

定义

Jepsen 是由 Kyle Kingsbury（网名 Aphyr）创建的分布式系统安全性测试框架与同名系列分析报告：在真实集群上对数据库并发施加读写负载，同时注入网络分区、时钟漂移、进程崩溃等故障,再用一致性检查器（如 Knossos、Elle）验证执行历史是否违反声称的一致性模型。

影响

自 2013 年的「Call Me Maybe」系列起，Jepsen 先后检验了 MongoDB、Elasticsearch、Cassandra、etcd、Kafka、CockroachDB、TiDB 等数十个系统，多次发现丢写、脏读、脑裂等违反厂商宣传的缺陷，迫使厂商修复缺陷并收敛营销话术，被视为分布式数据库领域的「打假」标杆，厂商也逐渐主动付费邀请测试并公开报告。

意义

Jepsen 把「一致性声明必须可验证」变成行业共识，推动了一致性模型术语的普及与形式化测试文化；其局限是测试昂贵且只能证伪、不能证明系统完全正确。