haochenpan / rabia
Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
☆40Updated 2 years ago
Alternatives and similar repositories for rabia:
Users that are interested in rabia are comparing it to the libraries listed below
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago
- ☆14Updated 5 years ago
- reimplementing scalog from scratch☆31Updated 4 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 5 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆39Updated 4 years ago
- In memory TPC-C implementation. Used for a number of database research projects.☆38Updated 4 years ago
- ☆16Updated 3 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated last month
- ☆19Updated 3 months ago
- framework for evaluating (planet-scale) consensus protocols☆128Updated last year
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆45Updated last year
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆21Updated 5 months ago
- A low-latency, extensible, multi-tenant key-value store.☆55Updated 4 years ago
- ☆46Updated 2 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 8 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆72Updated last year
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆39Updated 2 years ago
- This is the code repository for QuePaxa project (formerly Raxos or QSCOD)☆33Updated last month
- 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
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆114Updated 2 years ago
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆21Updated last year
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆81Updated 2 years ago
- ☆29Updated 8 months ago
- Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache☆115Updated 4 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆88Updated 2 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆167Updated last year
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆45Updated 9 months ago
- ☆35Updated last year
- Lock-free Concurrent Level Hashing for Persistent Memory (USENIX ATC 2020)☆51Updated 4 years ago