10⁹ Operations: Large Histories with Jepsen

from blog Aphyr: Posts, | ↗ original
Jepsen is a library for writing tests of concurrent systems: everything from single-node data structures to distributed databases and queues. A key part of this process is recording a history of operations performed during the test. Jepsen checkers analyze a history to find consistency anomalies and to compute performance metrics. Traditionally...