otrack / on-epaxos-correctnessLinks
On the correctness of Egalitarian Paxos
☆19Updated 6 years ago
Alternatives and similar repositories for on-epaxos-correctness
Users that are interested in on-epaxos-correctness are comparing it to the libraries listed below
Sorting:
- Concurrent ART (adaptive radix tree)☆171Updated 2 weeks ago
- A memcomparable serialization format.☆24Updated 2 years ago
- A rust implementation of lock free cuckoo hashmap☆68Updated 8 months ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆28Updated 3 years ago
- A Pure Rust Implementation of Egalitarian Paxos☆49Updated 5 years ago
- Framework for simulating distributed applications☆104Updated 5 years ago
- Yet another thread pool in rust for both callbacks or futures.☆137Updated last year
- An efficient runtime for asynchronous applications in Rust.☆43Updated 2 years ago
- A FoundationDB style deterministic testing framework for async/await Rust☆32Updated 5 years ago
- Resources for the transaction SIG☆62Updated 3 years ago
- YCSB in Rust (WIP)☆19Updated 4 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Updated 2 years ago
- A minimal implementation of tikv/pd in Rust.☆65Updated 4 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆140Updated 2 years ago
- The labs of Raft consensus algorithm based on MadSim.☆125Updated 7 months ago
- A benchmarking harness for concurrent key-value collections☆119Updated 2 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆44Updated last month
- Adaptive Radix Tree in Rust☆67Updated 7 years ago
- Async positioned I/O with io_uring.☆44Updated 4 years ago
- framework for evaluating (planet-scale) consensus protocols☆128Updated last year
- Adaptive Radix Trie implementation for fixed-length keys☆54Updated 2 months ago
- Paxos implementation in Rust☆78Updated last week
- Rust bindings for SPDK☆19Updated 8 years ago
- An operation-log based approach for data replication.☆65Updated 2 years ago
- A Rust library for safely programming persistent memory☆74Updated last year
- SQL Fuzz Testing Utilities☆29Updated last year
- Implementation of Adaptive Radix Tree in Rust☆43Updated 5 years ago
- Rust futures on spdk☆33Updated 6 years ago
- TiKV community content☆43Updated this week
- Rust implementation of a fast, bounded, Zipf-distributed random number generator☆33Updated 8 months ago