pbailis / cassandra-pbs
Old Probabilistically Bounded Staleness (PBS) analysis for Cassandra (see http://www.bailis.org/blog/using-pbs-in-cassandra-1.2.0/)
☆30Updated 12 years ago
Alternatives and similar repositories for cassandra-pbs
Users that are interested in cassandra-pbs are comparing it to the libraries listed below
Sorting:
- A distributed execution engine for cloud computing☆83Updated 13 years ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆86Updated 8 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- ☆11Updated 6 months ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- Embeddable multi-Paxos For The JVM☆75Updated 4 months ago
- File-system fault injection framework for distributed storage systems☆66Updated 6 years ago
- ☆17Updated 14 years ago
- Prototype implementation of Service-Level Fault Injection Testing in Python.☆70Updated 2 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- Replication of CRDTs☆37Updated 4 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Server Wide Clocks for Distributed Eventually Consistent Systems☆48Updated 8 years ago
- Azure Cosmos TLA+ specifications☆22Updated 3 months ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆25Updated 5 years ago
- A diagnostic tool for Riak installations, to find common errors asap☆57Updated 2 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆21Updated 5 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- Paxos protocol variants framework☆26Updated 7 years ago
- A Distributed Key-Value Store for FAWN☆77Updated 14 years ago
- Network Programming with Relational and Procedural Abstractions (NERPA)☆32Updated 2 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages☆53Updated 13 years ago
- Moments Sketch Code☆40Updated 6 years ago
- reimplementing scalog from scratch☆30Updated 4 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago