psu-csl / replicated-storeLinks
☆21Updated last week
Alternatives and similar repositories for replicated-store
Users that are interested in replicated-store are comparing it to the libraries listed below
Sorting:
- ☆26Updated 3 years ago
- framework for evaluating (planet-scale) consensus protocols☆127Updated last year
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆133Updated last year
- A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.☆104Updated 8 months ago
- Viewstamped Replication for Rust☆68Updated 2 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Embedded InnoDB based on v5.1☆32Updated last month
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- (Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.☆24Updated 3 weeks ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆46Updated 2 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆21Updated 2 years ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆28Updated 2 years ago
- Fast linearizability checker☆66Updated 9 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- ☆20Updated 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
- Key-Value Store for Non-Volatile Memories uDepot☆46Updated 3 years ago
- Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025 Best Paper Award)☆55Updated last month
- ☆137Updated 2 years ago
- ☆13Updated this week
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆25Updated last year
- ☆47Updated last year
- AnyBlob - A Universal Cloud Object Storage Download Manager Built For Cost-Throughput Optimal Analytics!☆130Updated this week
- SQL Fuzz Testing Utilities☆29Updated last year
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆61Updated 7 months ago
- A SQL query compiler written in Rust from scratch☆22Updated 8 months ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Updated 5 years ago
- FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems☆29Updated 4 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆90Updated 2 years ago