Testing Distributed Systems

References

• Awesome Distributed Systems
• Testing of distributed systems
• An introduction to distributed systems

Safety of distributed databases, queues, consensus systems, etc.

• Generalized Isolation Level Definitions
• Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
• Knossos Research https://github.com/jepsen-io/knossos/tree/master/research
• Elle: Inferring Isolation Anomalies from Experimental Observations
• Linearizability versus Serializability
• A Critique of ANSI SQL Isolation Levels (notes)
• Testing for Linearizability - Gavin Lowe

Linearizability checkers

• C++ Linearizability checker
• Java WatCA
• Scala conver
• Clojure Knossos
• Clojure Elle
• Clojure fast-jepsen
• Line-up: a complete and automatic linearizability checker
• SPIN SPIN as a Linearizability Checker under Weak Memory Models