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 6 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆211Updated 7 years ago
- ☆130Updated 2 years ago
- Naive and Basic impl of a kv-storage based on paxos; for https://blog.openacid.com/algo/paxos/☆243Updated 2 years ago
- Raft中文版☆79Updated 2 years ago
- Presentations, meetups and talks about Databend☆73Updated 3 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- ☆76Updated 3 years ago
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆122Updated 8 months ago
- an implementation of raft in Go☆159Updated 4 years ago
- raft variant with topology order logs☆27Updated 4 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 6 years ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆141Updated 4 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Updated last year
- ☆38Updated 5 years ago
- A simple implementation of the Google File System in golang☆162Updated 8 years ago
- A consensus that unifies paxos, raft, 2pc, etc.☆148Updated 2 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago
- ☆77Updated 11 years ago
- A curated list of awesome distributed systems books, papers, resources and shiny things.☆958Updated 3 years ago
- A go implementation of the Paxos algorithm☆346Updated 7 years ago
- TuringCell: Run Linux over Paxos/Raft☆77Updated 5 years ago
- LSM tree based key-value database☆31Updated last year
- Implement the Paxos Algorithm☆18Updated 9 years ago
- ☆304Updated last year
- ☆60Updated 10 years ago
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- 2018年春季课程学习资料汇总☆310Updated 7 years ago
- 6.824: Distributed Systems (Spring 2017). A course which present abstractions and implementation techniques for engineering distributed …☆214Updated 6 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆94Updated 6 years ago