otrack / on-epaxos-correctness
On the correctness of Egalitarian Paxos
☆15Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for on-epaxos-correctness
- A rust implementation of lock free cuckoo hashmap☆67Updated 2 years ago
- YCSB in Rust (WIP)☆19Updated 3 years ago
- Concurrent ART (adaptive radix tree)☆127Updated this week
- 🍋: A General Lock following paper "Optimistic Lock Coupling: A Scalable and Efficient General-Purpose Synchronization Method"☆28Updated 3 years ago
- A memcomparable serialization format.☆22Updated last year
- Framework for simulating distributed applications☆96Updated 4 years ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆29Updated 2 years ago
- An efficient runtime for asynchronous applications in Rust.☆43Updated 2 years ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆73Updated last year
- Async positioned I/O with io_uring.☆41Updated 3 years ago
- Rust bindings for SPDK☆12Updated 4 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆37Updated 2 months ago
- An operation-log based approach for data replication.☆62Updated last year
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- A procedural macro for defining nom combinators in simple DSL☆43Updated last month
- Experiments in partially ordered SMR.☆46Updated 3 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- Rust futures on spdk☆33Updated 5 years ago
- A Pure Rust Implementation of Egalitarian Paxos☆48Updated 4 years ago
- The labs of Raft consensus algorithm based on MadSim.☆108Updated last year
- A FoundationDB style deterministic testing framework for async/await Rust☆31Updated 4 years ago
- Implementation of Adaptive Radix Tree in Rust☆42Updated 4 years ago
- SQL Fuzz Testing Utilities☆27Updated 10 months ago
- A simple sql server code by rust☆64Updated 3 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆11Updated last year
- framework for evaluating (planet-scale) consensus protocols☆126Updated 8 months ago
- A concurrent LRU cache.☆23Updated 3 years ago
- Pretty printing library for SQL☆24Updated last year
- A minimal implementation of tikv/pd in Rust.☆64Updated 3 years ago
- Paxos implementation in Rust☆74Updated last week