psu-csl / replicated-store
☆21Updated 4 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 for Raft and variants☆62Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Viewstamped Replication for Rust☆67Updated last year
- ☆26Updated 2 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆126Updated last year
- (Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.☆22Updated 11 months ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆28Updated 2 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A distributed transactional key-value storage engine in Rust, with horizontal scalability, strong consistency, and high availability.☆26Updated last year
- HelixDB is a time-series oriented Key-Value store written in Rust.☆21Updated 2 months ago
- framework for evaluating (planet-scale) consensus protocols☆127Updated last year
- The labs of Raft consensus algorithm based on MadSim.☆116Updated last month
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆55Updated 5 months ago
- A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.☆104Updated 6 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- scan-resistant concurrent lazy LRU☆58Updated last year
- ☆12Updated 5 years ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆33Updated 2 years ago
- A Pure Rust Implementation of Egalitarian Paxos☆49Updated 5 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- An operation-log based approach for data replication.☆62Updated last year
- FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems☆29Updated 4 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Systems performance telemetry☆75Updated this week
- A toy memory store with great performance☆34Updated 2 years ago
- ☆135Updated 2 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- A rust implementation of lock free cuckoo hashmap☆67Updated last month
- A playground to experiment with Raft proposal pipeline optimization☆17Updated 2 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Updated 5 years ago