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
- A distributed execution engine for cloud computing☆82Updated 12 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 3 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A Distributed Key-Value Store for FAWN☆76Updated 14 years ago
- Paxos protocol variants framework☆27Updated 6 years ago
- Embeddable multi-Paxos For The JVM☆75Updated last month
- Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages☆52Updated 13 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- Azure Cosmos TLA+ specifications☆21Updated last week
- TLA+ specifications for Raft and variants☆61Updated 2 years ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆24Updated 5 years ago
- A Logical Clock for Static and Dynamic Systems☆159Updated 6 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- Epidemic Broadcast Trees☆194Updated 7 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- ActorDB main source☆46Updated 2 years ago
- File-system fault injection framework for distributed storage systems☆63Updated 6 years ago
- reimplementing scalog from scratch☆31Updated 4 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 5 years ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- A runtime implementation of data-parallel actors.☆38Updated 2 years ago
- ☆11Updated 3 months ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- Repository for Berkeley's class on Programming the Cloud☆60Updated 4 years ago
- Sapphire source code☆9Updated 7 years ago
- Concurrent TreeMap w/ efficient support for clone() and consistent iteration☆149Updated 12 years ago
- Prototype of FPaxos, built upon LibPaxos3☆49Updated 4 years ago