lalithsuresh / rapid
Rapid is a scalable distributed membership service
☆132Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rapid
- Harry for Apache Cassandra®☆54Updated 3 months ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A collection of state machine replication protocols☆118Updated last year
- Embeddable multi-Paxos For The JVM☆74Updated 8 months ago
- A port of Akka's Phi Accrual Failure Detector☆53Updated last year
- DDSketch: A Fast and Fully-Mergeable Quantile Sketch with Relative-Error Guarantees.☆113Updated 5 months ago
- ☆26Updated 2 years ago
- TLA+ specification of the Kafka replication protocol☆86Updated 4 years ago
- framework for evaluating (planet-scale) consensus protocols☆126Updated 8 months ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆101Updated 8 months ago
- Experiments in partially ordered SMR.☆46Updated 3 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- सूचि - Toolkit to build Distributed Data Systems☆53Updated last year
- TLA+ specifications for Kafka related algorithms☆52Updated last month
- Concurrent TreeMap w/ efficient support for clone() and consistent iteration☆148Updated 12 years ago
- NOPaxos consensus protocol☆133Updated 4 years ago
- Single-threaded off-heap object store☆44Updated last year
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆311Updated 2 years ago
- Paxos protocol framework☆552Updated 10 months ago
- Accord library for Apache Cassandra®☆63Updated this week
- Persistent Adaptive Radix Trees in Java☆79Updated 4 years ago
- This repository provides Scotty, a framework for efficient window aggregations for out-of-order Stream Processing.☆75Updated last year
- Networking and buffer APIs and implementations for use in Copycat and Atomix☆52Updated 7 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆165Updated 7 months ago
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 4 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- Waltz is a quorum-based distributed write-ahead log for replicating transactions☆412Updated last year