Keynote - Jepsen 7: Anna Concurrenina
summary
Generates randomized operations with Jepsen testing and injects network partitions, clock skew and process pauses to check invariants like linearizability and serializability. Finds MongoDB, Cassandra, Elasticsearch/Crate and RabbitMQ expose lost or dirty writes under partitions; VoltDB 6.3 shows stale, dirty and lost updates but VoltDB 6.4 fixes strict serializability; CockroachDB needed timestamp-cache and retry fixes and only guarantees serializability if clock sync within 250ms and leader leases hold. Tests drive concrete fixes and regressions.
AI-written summary · about
chapters (10)
- 0:00Jepsen introduction
- 3:57What Jepsen tests
- 8:08Early Jepsen findings
- 12:19VoltDB serializability issues
- 23:46CrateDB Elasticsearch flaws
- 31:13CockroachDB serializability
- 42:14Testing databases correctly
- 45:41Future of distributed testing
- 49:19Vendor reactions to Jepsen
- 52:33Q&A
