henryr / toy_paxos
Simple implementation of Paxos protocol in Python
☆76Updated 13 years ago
Alternatives and similar repositories for toy_paxos:
Users that are interested in toy_paxos are comparing it to the libraries listed below
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 7 years ago
- ☆50Updated 11 months ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago
- ZooKeeper Atomic Broadcast in Java☆54Updated 2 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- Kosmos Distributed Filesystem☆29Updated 12 years ago
- Implement the Paxos Algorithm☆17Updated 8 years ago
- Implementation for MIT 6.824 Distributed System☆14Updated 10 years ago
- A key-value store implemented as a Log-Structured Merge Tree in C++☆71Updated 7 years ago
- ☆22Updated last year
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 7 years ago
- Code snippets for the workshop on concurrent data structure implementation.☆31Updated 11 years ago
- Read- and latency-optimized log structured merge tree☆174Updated 12 years ago
- Simple fault-tolerant distributed file system. 1. Utilize virtual ring style key-value store with 3 backups. 2. Automated failure detecti…☆17Updated 9 years ago
- Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed s…☆33Updated 6 years ago
- This is an implementation of a log structure merge tree.☆59Updated 7 years ago
- A cache-efficiency weight balanced binary tree☆70Updated 10 years ago
- Crush algorithm from Ceph (http://ceph.com/)☆9Updated 10 years ago
- A C++ Raft implementation, project moved☆24Updated 8 years ago
- A distributed key-value store☆31Updated 7 years ago
- A in-memory storage manager, that can do versioning and fast scans☆50Updated 8 years ago
- New IndexFS core☆24Updated 8 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆16Updated 6 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 5 months ago
- stream processing reading list☆68Updated last year
- A high-performance, concurrent hash table☆24Updated 11 years ago
- TuringCell: Run Linux over Paxos/Raft☆77Updated 4 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆113Updated last year