CMU-440-F16 / p2
☆9Updated 8 years ago
Alternatives and similar repositories for p2:
Users that are interested in p2 are comparing it to the libraries listed below
- Implement the Paxos Algorithm☆17Updated 8 years ago
- Implementing a Distributed Bitcoin Miner☆19Updated 8 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆36Updated 6 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 7 years ago
- CMU 15-440/640 Distributed Systems☆15Updated 10 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 4 years ago
- A key-value store implemented as a Log-Structured Merge Tree in C++☆71Updated 7 years ago
- mit-6.824-2012☆42Updated 9 years ago
- ☆43Updated 3 years ago
- JOS: Operating Systems Engineering. 6.828 teaches the fundamentals of engineering operating systems with a learning by doing method.☆27Updated 6 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆43Updated last year
- levi-db is a fast database engine☆36Updated 6 years ago
- MIT's 6.824: Distributed systems course (2017)☆56Updated 7 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago
- A Raft based K-V database implemented with cpp.☆37Updated 5 years ago
- The project folder of the 15-445 Introduction to Database system☆45Updated 6 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 5 months ago
- ☆32Updated last year
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆16Updated 6 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- A comparison of skip lists written in Go☆53Updated 3 years ago
- A cache-efficiency weight balanced binary tree☆70Updated 10 years ago
- An implementation of Intel's concurrent B+Tree (Palm Tree)☆174Updated 8 years ago
- Implemet Key-Value store using BTree☆59Updated 5 years ago
- stream processing reading list☆68Updated last year
- ☆32Updated 7 years ago
- A simple implementation of the Google File System in golang☆159Updated 7 years ago
- Yet Another RAFT implementation☆126Updated 6 years ago
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb, as the storage layer …☆99Updated last year
- This is an implementation of a log structure merge tree.☆59Updated 7 years ago