2020-6-12 21:57PostgreSQL是一种广为人知的关系数据库系统。我们使用Jepsen的新事务隔离检查器Elle评估PostgreSQL，发现在单个PostgreSQL实例上使用可序列化隔离执行的事务实际上是不可序列化的。在正常操作下，事务偶尔会出现G2项：涉及一组事务的异常情况，这些事务(粗略地说)相互无法观察到彼此的写入。此外......
2020-5-16 1:43MongoDB是一个分布式文档数据库，它声称提供“当今任何可用的数据库中最强大的数据一致性、正确性和安全性保证”，具有“完整的ACID事务”。Jepsen评估了MongoDB版本4.2.6，发现即使在读写关注度最高的情况下，它也无法保持快照隔离。相反，Jepsen观察到读取偏差、循环信息流、重复写入和内部一致性违规。......
2020-5-2 18:4Dgraph是一个分布式图形数据库，它使用RAFT进行每个分片的复制，并使用自定义事务协议进行快照隔离的跨分片事务。Dgraph解决了我们2018年报告1.0.2版中的所有问题，并要求进行简短的后续行动。我们在版本1.1.1中发现了五个安全问题-其中一些是Dgraph已经知道的-包括观察到瞬时空值的读取、逻辑状态损坏......