ya-ming / irsdp
Implemented the algorithms of the book Introduction to Reliable and Secure Distributed Programming
☆12Updated 3 years ago
Alternatives and similar repositories for irsdp:
Users that are interested in irsdp are comparing it to the libraries listed below
- Personal reading list/reference re: TLA+☆87Updated 6 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆189Updated 6 years ago
- Tool to tune TiKV with ML method☆65Updated 4 years ago
- Fast Database engine in Go.☆16Updated 5 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 4 months ago
- ☆127Updated last year
- ☆13Updated 8 months ago
- Presentations, meetups and talks about Databend☆73Updated 2 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 5 years ago
- ☆75Updated 2 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 5 years ago
- ☆22Updated last year
- TuringCell: Run Linux over Paxos/Raft☆77Updated 4 years ago
- MIT's 6.824: Distributed systems course (2017)☆56Updated 7 years ago
- continuously update cloud database papers☆81Updated 7 months ago
- db_bench log parser☆17Updated last year
- Peloton Design Docs☆27Updated 6 years ago
- Raft is gaining popularity in distributed systems as a simple and powerful consensus algorithm.☆36Updated 5 years ago
- A consensus that unifies paxos, raft, 2pc, etc.☆147Updated last year
- ☆37Updated 4 years ago
- Distributed File System server implemented using RAFT Algorithm.☆16Updated 5 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 10 years ago
- LSM tree based key-value database☆30Updated 10 months ago
- an implementation of raft in Go☆159Updated 3 years ago
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆30Updated 7 years ago