Jepsen

概述

Jepsen 是 Kyle Kingsbury（网名 Aphyr）用 Clojure 编写的分布式系统验证框架，通过在真实集群上注入网络分区、时钟偏移、进程崩溃等故障，同时施加并发读写负载，再用一致性检查器（如 Knossos、Elle）分析操作历史是否违反系统宣称的一致性模型。

影响

Jepsen 系列测试报告以"打脸"著称：多个知名数据库（包括早期的 MongoDB、Elasticsearch、Redis 集群方案等）被公开验出丢数据或违反线性一致的缺陷，推动厂商修复并促使行业更严谨地陈述一致性保证。如今许多数据库厂商（etcd、TiDB、CockroachDB 等）主动委托或自行运行 Jepsen 测试作为质量背书。

意义

它把"一致性声明可被实验证伪"变成行业惯例，是分布式系统工程文化的重要推动者。