Displaying 1 to 5 from 5 results

Jepsen - A framework for distributed systems verification, with fault injection

  •    Clojure

Jepsen is a Clojure library. A test is a Clojure program which uses the Jepsen library to set up a distributed system, run a bunch of operations against that system, and verify that the history of those operations makes sense. Jepsen has been used to verify everything from eventually-consistent commutative databases to linearizable coordination systems to distributed task schedulers. It can also generate graphs of performance and availability, helping you characterize how a system responds to different faults.

chaos - A test framework for linearizability check with Go

  •    Go

Chaos is used to check the distributed system linearizability.Chaos is inspired by jepsen and uses porcupine as its linearizability checker.

porcupine - A fast linearizability checker written in Go 🔎

  •    Go

Porcupine is a fast linearizability checker for testing the correctness of distributed systems. It takes a sequential specification as executable Go code, along with a concurrent history, and it determines whether the history is linearizable with respect to the sequential specification.Porcupine implements the algorithm described in Faster linearizability checking via P-compositionality, an optimization of the algorithm described in Testing for Linearizability.

fast-jepsen - Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time

  •    Clojure

I was playing with an idea from the "Testing shared memories" paper and created this proof of concept. It's a checker for Jepsen validating linearizability of key/value storages supporting CAS in O(n). Jepsen is a tool for testing consistency guarantees of distributed systems. It performs operations, injects faults, collects history and then tries to see if the history is linearizable.




chaos - A test framework for linearizability check with Go

  •    Go

Chaos is used to check the distributed system linearizability. Chaos is inspired by jepsen and uses porcupine as its linearizability checker.