Jepsen 给 ParticleDB 做体检：96 个问题，最强隔离级别仍丢写
来源：jepsen.io — 2026-10-31
📋 概述
Jepsen 用半年时间测了 ParticleDB 1.1.4 到 1.1.18.11.rc-22 共 96 个问题，从崩溃、死锁、丢数据这类平常错误，到删不掉的部分不可见行、被删掉的表以变形姿态归来、字符串悄悄变成整数这类怪状。多数问题不需要任何故障注入，单个服务器加单个客户端就能复现。到 rc-22 时只剩十个未解决，但默认 occ 模式仍在正常运行中丢已提交写，serializable 模式下还出现了 Lost Update。
🔑 核心要点
- 96 个问题里既有崩溃、死锁、丢数据，也有 WHERE 4 = 5、删不掉的行、删掉的表变形归来、字符串变整数这类怪异行为。
- 大部分问题不需要故障注入：单服务器、单客户端、正常操作就能打出来。
- 默认的 occ 事务模式在正常运行时持续丢失已提交的写，这不是边缘场景。
- 切到最强的 serializable 隔离级别，仍出现内部异常与 Lost Update。
- 官网宣传的“形式化证明”在实际合作中拿不到 TLA+ 规约，也没能被验证。
💡 金句
We tested versions 1.1.4 through 1.1.18.11.rc-22 and found that ParticleDB’s claims of “Full ACID” were somewhat premature.
👍 0
👎 0
← 返回 Lobsters 首页