CMU-440-F16 / p3
Implement the Paxos Algorithm
☆17Updated 7 years ago
Related projects: ⓘ
- ☆9Updated 7 years ago
- Implementing a Distributed Bitcoin Miner☆19Updated 7 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 4 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
- ☆32Updated 7 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆88Updated 7 years ago
- The project folder of the 15-445 Introduction to Database system☆44Updated 6 years ago
- levi-db is a fast database engine☆36Updated 6 years ago
- ☆26Updated this week
- mit-6.824-2012☆42Updated 9 years ago
- A key-value store implemented as a Log-Structured Merge Tree in C++☆71Updated 7 years ago
- Paxos algorithm demo,from mit 6.824 lab 3☆25Updated 8 years ago
- ☆19Updated this week
- MIT 6.824 - Distributed Systems - Spring 2015☆15Updated 8 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- ☆18Updated this week
- Liso HTTP server for CMU-15441 course☆30Updated 7 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆24Updated 5 years ago
- ☆33Updated this week
- CMU 15-440/640 Distributed Systems☆15Updated 9 years ago
- 基于LevelDB的改进☆29Updated 5 years ago
- 2016 MIT-6.824: Distributed System☆17Updated 6 years ago
- A Chinese version of MIT 6.824 (Distributed System)☆68Updated 5 years ago
- MIT 6.824 2016☆154Updated 6 years ago
- ☆77Updated 10 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆48Updated last year
- Project 0: Implementing a multi-client echo server☆60Updated 10 years ago
- 文档数据库mongodb kv存储引擎wiredtiger源码详细分析注释☆62Updated 3 weeks ago
- ☆63Updated 2 years ago
- ☆43Updated 3 years ago