garudareiga / cmu-440
CMU 15-440/640 Distributed Systems
☆15Updated 10 years ago
Alternatives and similar repositories for cmu-440:
Users that are interested in cmu-440 are comparing it to the libraries listed below
- ☆43Updated 3 years ago
- levi-db is a fast database engine☆36Updated 6 years ago
- mit-6.824-2012☆42Updated 9 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
- ☆32Updated 7 years ago
- Paxos algorithm demo,from mit 6.824 lab 3☆25Updated 8 years ago
- Fast In-memory Transaction Processing using RDMA and HTM☆57Updated 9 years ago
- Implement the Paxos Algorithm☆17Updated 8 years ago
- Distributed Systems☆35Updated 7 years ago
- Spring 2014. Stanford CS346 project. A mini relational database with query optimization☆165Updated 10 years ago
- Implementation for MIT 6.824 Distributed System☆14Updated 10 years ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆141Updated 3 years ago
- Project 0: Implementing a multi-client echo server☆61Updated 11 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- record paper reading notes☆42Updated 2 years ago
- 基于LevelDB的改进☆29Updated 5 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 8 years ago
- Distributed In-Memory Index 分布式内存索引☆330Updated 6 years ago
- Code for "SILK: Preventing Latency Spikes in Log-Structured Merge Key-Value Stores" published in USENIX ATC 19☆90Updated last year
- Nova-LSM is a component-based design of the LSM-tree using fast and high bandwidth networks such as RDMA.☆52Updated 3 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- C++ header only multi-paxos library.☆40Updated 2 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
- A key-value store implemented as a Log-Structured Merge Tree in C++☆71Updated 7 years ago
- Project 2: Tribbler☆35Updated 10 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- MIT 6.824 2016☆156Updated 6 years ago
- Computer System Design: labs /YFS☆13Updated 9 years ago
- A Chinese version of MIT 6.824 (Distributed System)☆69Updated 5 years ago