#simulator #kv #condition #race #backed #caspaxos #cas-paxos

caspaxos-kv

A simple simulator hardened KV store backed by caspaxos

4 releases

0.2.2 Oct 27, 2020
0.2.1 Aug 12, 2020
0.2.0 Aug 12, 2020
0.1.0 Aug 12, 2020

#179 in Simulation

Apache-2.0

60KB
1.5K SLoC

A Rust CASPaxos implementation exporting a simple KV interface.

Tested on top of a simulator that causes most race conditions to quickly surface.

Features:

  • get, set, del, cas

Dependencies

~7–16MB
~213K SLoC