Skip to main content

Home/ Arquitectura?/ Group items tagged system-verification

Rss Feed Group items tagged

Pablo Lalloni

jepsen-io/jepsen: A framework for distributed systems verification, with fault injection - 0 views

  •  
    "Breaking distributed systems so you don't have to. 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. See jepsen.io for examples of the sorts of analyses you can carry out with Jepsen."
1 - 1 of 1
Showing 20 items per page