#data loss

Jepsen 发布对 ParticleDB 1.1.4 的审计，结论是该版本存在严重的正确性与持久性故障，建议用户停止继续部署并尽快迁移到其他数据库。报告称，这个自称 PostgreSQL 兼容的数据库在几乎各项测量中都出现事务异常，包括已提交写入丢失、内部一致性违例、G1a（Aborted Read）、G1b（Intermediate Read）和 P4（Lost Update）；在追加负载中，成功追加的值会从后续读取中消失。报告共列出 96 个问题，涵盖崩溃、死锁、数据丢失、无法删除的半可见行、WHERE 4 = 5、被删除的表以扭曲形式重新出现、列混淆以及字符串变成整数等。ParticleDB 官网曾宣称通过 TLA+ 形式化证明，但 Jepsen 表示合作期间没有可用的 TLA+ 规范，因此无法确认究竟证明了什么属性，也无法确认这些属性是否针对实际构建出的 ParticleDB。