Distributed systems often claim to save our data durably, to provide isolated transactions, to make writes visible to reads. Jepsen applies property-based testing to those databases to verify their correctness claims during common failure modes: network partitions, process crashes, and clock skew. The results may be surprising.
Discuss
Don’t have an account? Sign up now its fast and free.