rystsov

Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is isolated from the peers

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