haochenpan / rabia
Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
☆39Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rabia
- ☆18Updated 2 weeks ago
- ☆14Updated 4 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆39Updated 4 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- In memory TPC-C implementation. Used for a number of database research projects.☆37Updated 4 years ago
- ☆14Updated last year
- ☆45Updated last year
- ☆15Updated 3 years ago
- framework for evaluating (planet-scale) consensus protocols☆126Updated 8 months ago
- ☆27Updated 3 months ago
- The world's first wait-free KV store with generic durable linearizable transactions☆38Updated 2 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- ☆20Updated 3 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆80Updated 2 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 7 months ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 7 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 5 months ago
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- ☆27Updated 2 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 5 years ago
- reimplementing scalog from scratch☆30Updated 4 years ago
- ☆16Updated 4 months ago
- A low-latency, extensible, multi-tenant key-value store.☆54Updated 3 years ago
- An operation-log based approach for data replication.☆62Updated last year
- ☆37Updated 7 months ago
- RemixDB: A read- and write-optimized concurrent KV store. Fast point and range queries. Extremely low write-amplification.☆96Updated last year
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Updated 4 years ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆18Updated 2 years ago