psu-csl / replicated-store
☆20Updated 3 months ago
Alternatives and similar repositories for replicated-store:
Users that are interested in replicated-store are comparing it to the libraries listed below
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- ☆26Updated 2 years ago
- TLA+ specifications for Raft and variants☆61Updated 2 years ago
- Viewstamped Replication for Rust☆65Updated last year
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆123Updated last year
- log for concurrent workloads, with support for atomic batches and in-order recovery☆33Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆103Updated 11 months ago
- framework for evaluating (planet-scale) consensus protocols☆128Updated 11 months ago
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago
- A playground to experiment with Raft proposal pipeline optimization☆17Updated 2 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.☆103Updated 5 months ago
- The labs of Raft consensus algorithm based on MadSim.☆113Updated last year
- FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems☆28Updated 4 years ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆28Updated 2 years ago
- A distributed transactional key-value storage engine in Rust, with horizontal scalability, strong consistency, and high availability.☆26Updated last year
- SQL Fuzz Testing Utilities☆29Updated last year
- This repository hosts the code used for the following paper: Claude Barthels, Ingo Müller, Konstantin Taranov, Torsten Hoefler, Gustavo A…☆10Updated 5 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- ☆12Updated 5 years ago
- (Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.☆21Updated 10 months ago
- ☆133Updated 2 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- Prototype implementation of SwiftPaxos (NSDI 2024)☆17Updated 9 months ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆43Updated last year
- A FoundationDB style deterministic testing framework for async/await Rust☆32Updated 4 years ago
- Adaptive Radix Tree in Rust☆64Updated 6 years ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆75Updated 2 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 3 years ago