Jepsen IV: Hope Springs Eternal
summary
Jepsen is a fault-injection test harness that runs randomized reads/writes under network partitions (iptables, tc) and process pauses to check formal models like linearizability. Results show concrete failures: Riak loses up to 50% of writes under partitions, Kafka 0.8 drops messages on ISR loss, Cassandra loses updates when clocks skew, MongoDB 2.6.7/3.0 exposes dirty reads and stale reads on single-document ops, Elasticsearch has a 90s re‑election window that causes data loss, and Aerospike drops updates with only two replicas.
AI-written summary · about
chapters (11)
- 0:00Start
- 0:19Kyle Kingsbury
- 1:44The Hierarchy of Abstraction
- 7:16Linearize Ability
- 9:08Serializability
- 22:23Transaction System
- 26:15Problem with Majority Rights
- 29:21Linearize Ability Violation
- 34:09Hard Coded Timeout
- 43:39Ttl Based Resolution
- 51:14Failure Modes
