caspaxos
caspaxos copied to clipboard
Jepsen-lite testing
I think we can get away with some kind of basic virtual network layer + chaos testing + linearizability checking, run from the standard go test suite.
https://medium.com/@siddontang/use-chaos-to-test-the-distributed-system-linearizability-4e0e778dfc7d
Nice. This is IMO a candidate for #10 rather than #9; I have no specific interest in Jepsen itself, merely a tool of its capability.