ya-ming / irsdp
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
- Presentations, meetups and talks about Databend☆73Updated 2 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆171Updated 5 years ago
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆117Updated last month
- ☆75Updated 2 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆52Updated 7 months ago
- Raft is gaining popularity in distributed systems as a simple and powerful consensus algorithm.☆36Updated 6 years ago
- ☆32Updated 7 years ago
- ☆37Updated 4 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 6 years ago
- ☆77Updated 10 years ago
- ☆129Updated 2 years ago
- stream processing reading list☆68Updated last year
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- gossip based membership management and failure detection☆9Updated 2 months ago
- Tool to tune TiKV with ML method☆64Updated 4 years ago
- Distributed Message Queue based on Raft☆35Updated 2 years ago
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆29Updated 7 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Updated 4 years ago
- Peloton Design Docs☆27Updated 6 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆194Updated 6 years ago
- continuously update cloud database papers☆79Updated 10 months ago
- ☆31Updated 8 months ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- VectorDB is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆69Updated 3 years ago
- Course assignments☆10Updated 7 years ago
- Distributed File System server implemented using RAFT Algorithm.☆16Updated 5 years ago
- 基于LevelDB的改进☆29Updated 5 years ago
- This is a distributed kv project to demonstrate how to use matrixcube☆17Updated 2 years ago
- This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).☆31Updated 11 years ago