Jepsen 9: A Fsyncing Feeling
This video is also available in the GOTO Play video app! Download it to enjoy offline access to our conference videos while on the move.
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.