ya-ming / irsdpLinks
Implemented the algorithms of the book Introduction to Reliable and Secure Distributed Programming
☆12Updated 4 years ago
Alternatives and similar repositories for irsdp
Users that are interested in irsdp are comparing it to the libraries listed below
Sorting:
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 5 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆199Updated 7 years ago
- Presentations, meetups and talks about Databend☆73Updated 3 years ago
- ☆129Updated 2 years ago
- TuringCell: Run Linux over Paxos/Raft☆77Updated 5 years ago
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆120Updated 2 months ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆142Updated 4 years ago
- Naive and Basic impl of a kv-storage based on paxos; for https://blog.openacid.com/algo/paxos/☆241Updated 2 years ago
- ☆59Updated 9 years ago
- ☆76Updated 3 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆92Updated 6 years ago
- ☆38Updated 4 years ago
- ☆77Updated 11 years ago
- gossip based membership management and failure detection☆9Updated 5 months ago
- Raft is gaining popularity in distributed systems as a simple and powerful consensus algorithm.☆36Updated 6 years ago
- 2016 MIT-6.824: Distributed System☆17Updated 7 years ago
- raft variant with topology order logs☆27Updated 4 years ago
- ☆48Updated 3 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 6 years ago
- LSM tree based key-value database☆30Updated last year
- an implementation of raft in Go☆159Updated 3 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- Peloton Design Docs☆27Updated 6 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆55Updated 10 months ago
- VectorSQL is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆295Updated 3 years ago
- project for learning distributed system(MIT 6.824)☆3Updated 7 years ago
- Course assignments☆10Updated 7 years ago
- 2018年春 季课程学习资料汇总☆310Updated 7 years ago
- Personal reading list/reference re: TLA+☆88Updated 7 years ago