Jepsen 9: A Fsyncing Feeling

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.