william-cheung / mit-6.824-2015
MIT 6.824 - Distributed Systems - Spring 2015
☆15Updated 8 years ago
Alternatives and similar repositories for mit-6.824-2015:
Users that are interested in mit-6.824-2015 are comparing it to the libraries listed below
- Implementation for MIT 6.824 Distributed System☆14Updated 10 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- MIT 6.824 2016☆156Updated 6 years ago
- Implement the Paxos Algorithm☆17Updated 8 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago
- levi-db is a fast database engine☆36Updated 6 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- A Chinese version of MIT 6.824 (Distributed System)☆69Updated 5 years ago
- an implementation of raft in Go☆158Updated 3 years ago
- 基于LevelDB的改进☆29Updated 5 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- ☆17Updated 6 years ago
- Lock free 论文集合,若干无锁数据结构实现的经典论文,500多页☆50Updated 7 years ago
- ☆32Updated 7 years ago
- A distributed key-value store☆31Updated 7 years ago
- B+ Tree☆90Updated 2 years ago
- my labs answer for https://pdos.csail.mit.edu/6.828/2014/☆65Updated 9 years ago
- [WIP]TLA+教程中文翻译☆45Updated 6 years ago
- A framework for distributed systems verification, with fault injection☆46Updated 2 months ago
- An attempt to split the Raft library out of LogCabin☆37Updated 7 years ago
- mit-6.824-2012☆42Updated 9 years ago
- 6.824: Distributed Systems (Spring 2017). A course which present abstractions and implementation techniques for engineering distributed …☆214Updated 5 years ago
- Peloton Design Docs☆27Updated 6 years ago
- ☆18Updated 8 years ago
- Paxos algorithm demo,from mit 6.824 lab 3☆25Updated 8 years ago
- db_bench log parser☆18Updated last year
- MIT's 6.824: Distributed systems course (2017)☆56Updated 7 years ago
- a distributed storage engine☆87Updated 8 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