cocagne / multi-paxos-example
Example multi-paxos application for those learning Paxos & multi-paxos
☆91Updated 5 years ago
Alternatives and similar repositories for multi-paxos-example:
Users that are interested in multi-paxos-example are comparing it to the libraries listed below
- NOPaxos consensus protocol☆134Updated 4 years ago
- Paxos Made Moderately Complex☆173Updated 6 months ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆113Updated last year
- Plain Paxos Implementations in Python & Java☆589Updated 3 years ago
- ☆617Updated 3 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 4 months ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 7 years ago
- Read- and latency-optimized log structured merge tree☆174Updated 12 years ago
- Masstree -- lockless cache-aware trie of B+ trees [experimental]☆99Updated 6 years ago
- ☆50Updated 11 months ago
- ☆143Updated last year
- Paxos implemented as a set of composable classes☆42Updated 9 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- This is an implementation of a log structure merge tree.☆59Updated 7 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Updated 8 years ago
- ☆294Updated 8 months ago
- MICA: A Fast In-memory Key-Value Store (see isca2015 branch for the ISCA2015 version)☆206Updated 9 years ago
- Simple implementation of Paxos protocol in Python☆76Updated 13 years ago
- Experiments in partially ordered SMR.☆47Updated 3 years ago
- Code for "SILK: Preventing Latency Spikes in Log-Structured Merge Key-Value Stores" published in USENIX ATC 19☆89Updated last year
- A collection of state machine replication protocols☆118Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm☆481Updated 5 months ago
- Redis adapted to use Persistent Memory☆57Updated 3 years ago
- Source code for our OSDI 2016 paper☆111Updated 6 years ago
- Peloton Design Docs☆27Updated 6 years ago
- ☆285Updated 2 years ago
- A in-memory storage manager, that can do versioning and fast scans☆50Updated 8 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆88Updated 2 years ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 5 years ago