CMU-440-F16 / p3
Implement the Paxos Algorithm
☆17Updated 8 years ago
Alternatives and similar repositories for p3:
Users that are interested in p3 are comparing it to the libraries listed below
- ☆9Updated 8 years ago
- Implementing a Distributed Bitcoin Miner☆19Updated 7 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 7 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 4 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆36Updated 6 years ago
- ☆32Updated 7 years ago
- levi-db is a fast database engine☆36Updated 6 years ago
- Paxos algorithm demo,from mit 6.824 lab 3☆25Updated 8 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 4 months ago
- JOS: Operating Systems Engineering. 6.828 teaches the fundamentals of engineering operating systems with a learning by doing method.☆27Updated 6 years ago
- ☆43Updated 3 years ago
- The project folder of the 15-445 Introduction to Database system☆45Updated 6 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- A key-value store implemented as a Log-Structured Merge Tree in C++☆71Updated 7 years ago
- Kudu源码分析笔记☆22Updated 5 years ago
- 文档数据库mongodb kv存储引擎wiredtiger源码详细分析注释☆67Updated last week
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆141Updated 3 years ago
- A website providing info for self-learners who want to explore the world of operating systems. The website template is from https://githu…☆50Updated 3 years ago
- 2016 MIT-6.824: Distributed System☆17Updated 7 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆16Updated 6 years ago
- ☆78Updated 10 years ago
- MIT 6.824 - Distributed Systems - Spring 2015☆11Updated 8 years ago
- ☆37Updated 4 years ago
- mit-6.824-2012☆42Updated 9 years ago
- 基于LevelDB的改进☆29Updated 5 years ago
- LSM tree based key-value database☆30Updated 10 months ago
- A network framework☆9Updated 6 years ago
- Implementation for MIT 6.824 Distributed System☆14Updated 10 years ago
- Spring 2014. Stanford CS346 project. A mini relational database with query optimization☆165Updated 10 years ago
- innodb分析版本☆78Updated 9 years ago