#jepsen
Jepsen: Scylla 4.2-rc3(jepsen.io)
2020-12-24 21:41Scylla是仿照Apache Cassandra的分布式数据库。我们评估了Scylla 4.2-rc3的社区版本，发现LWT和正常操作均未达到要求的保证：LWT在健康集群中表现出裂脑，非LWT操作未如要求的那样被隔离。裂脑问题已在4.2中修复，Scyla的文档不再声称非LWT操作是隔离的。此外，在成员资格更改（部分......
Jepsen: PostgreSQL 12.3(jepsen.io)
2020-6-12 21:57PostgreSQL是一种广为人知的关系数据库系统。我们使用Jepsen的新事务隔离检查器Elle评估PostgreSQL，发现在单个PostgreSQL实例上使用可序列化隔离执行的事务实际上是不可序列化的。在正常操作下，事务偶尔会出现G2项：涉及一组事务的异常情况，这些事务(粗略地说)相互无法观察到彼此的写入。此外......
2020-6-5 3:36
软件的强大程度取决于编写它的工程师。这篇文章献给所有在编写和调试系统方面付出了不懈努力的工程师，他们使系统稳定可靠，可供他人使用。
那一年是2018年。当时是晚上9点。我早上8点开始了我的一天。这种特殊的杰普森测试是不可饶恕的。我不明白为什么这个杰普森测试会继续失败。就在前一天，这项测试已经通过了16次中的16次。
......
Jepsen: MongoDB 4.2.6(jepsen.io)
2020-5-16 1:43MongoDB是一个分布式文档数据库，它声称提供“当今任何可用的数据库中最强大的数据一致性、正确性和安全性保证”，具有“完整的ACID事务”。Jepsen评估了MongoDB版本4.2.6，发现即使在读写关注度最高的情况下，它也无法保持快照隔离。相反，Jepsen观察到读取偏差、循环信息流、重复写入和内部一致性违规。......
Jepsen: Dgraph 1.1.1(jepsen.io)
2020-5-2 18:4Dgraph是一个分布式图形数据库，它使用RAFT进行每个分片的复制，并使用自定义事务协议进行快照隔离的跨分片事务。Dgraph解决了我们2018年报告1.0.2版中的所有问题，并要求进行简短的后续行动。我们在版本1.1.1中发现了五个安全问题-其中一些是Dgraph已经知道的-包括观察到瞬时空值的读取、逻辑状态损坏......