Jepsen 以对分布式数据库进行故障注入与一致性检验而闻名。