CMU-440-F16 / p3
Implement the Paxos Algorithm
☆18Updated 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 8 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- JOS: Operating Systems Engineering. 6.828 teaches the fundamentals of engineering operating systems with a learning by doing method.☆27Updated 7 years ago
- Implementation for MIT 6.824 Distributed System☆14Updated 10 years ago
- ☆77Updated 10 years ago
- The project folder of the 15-445 Introduction to Database system☆45Updated 6 years ago
- ☆32Updated 7 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 8 years ago
- mit-6.824-2012☆42Updated 9 years ago
- levi-db is a fast database engine☆36Updated 6 years ago
- Java Skeleton Code for 6.035☆8Updated 4 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆54Updated 7 months ago
- 基于LevelDB的改进☆29Updated 5 years ago
- Course info for 6.814/6.830 Fall 2018☆163Updated 4 years ago
- Assignment for cmu database systems course 15445☆7Updated 6 years ago
- 2016 MIT-6.824: Distributed System☆17Updated 7 years ago
- horoscope is an optimizer inspector for DBMS.☆36Updated 4 years ago
- Peloton Design Docs☆27Updated 6 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- Project 0: Implementing a multi-client echo server☆61Updated 11 years ago
- A simple implementation of the Google File System in golang☆160Updated 7 years ago
- Rapids团队 (https://github.com/CheYulin , https://github.com/shixuansun and https://github.com/WANG-lp), Engine Race (Key-Value Store on I…☆112Updated 6 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆171Updated 5 years ago
- MIT 6.824 2016☆156Updated 6 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆195Updated 6 years ago
- MIT 6.824 - Distributed Systems - Spring 2015☆11Updated 9 years ago
- A Chinese version of MIT 6.824 (Distributed System)☆69Updated 5 years ago