imdea-software / swiftpaxosLinks
Prototype implementation of SwiftPaxos (NSDI 2024)
☆21Updated 2 months ago
Alternatives and similar repositories for swiftpaxos
Users that are interested in swiftpaxos are comparing it to the libraries listed below
Sorting:
- The labs of Raft consensus algorithm based on MadSim.☆127Updated 11 months ago
- Async positioned I/O with io_uring.☆44Updated 4 years ago
- Concurrent ART (adaptive radix tree)☆178Updated 4 months ago
- Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index☆87Updated last year
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Updated last year
- [Archive] An experimental cloud-native distributed KV engine for OLTP workload.☆72Updated 3 years ago
- A rust implementation of lock free cuckoo hashmap☆69Updated last year
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆86Updated 3 years ago
- Fast and efficient file system metadata through LSM-tree☆30Updated 3 years ago
- A minimal implementation of tikv/pd in Rust.☆65Updated 4 years ago
- A yaml-based SQL planner test framework☆27Updated last year
- YCSB in Rust (WIP)☆19Updated 4 years ago
- 15-721 Spring 2024 - Cache #1☆12Updated last year
- Resources for the transaction SIG☆62Updated 3 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆145Updated 2 years ago
- A port for rocksdb☆103Updated 3 years ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆30Updated 3 years ago
- The repo for SOSP23 paper: FIFO queues are all you need for cache evictions☆136Updated last year
- ☆24Updated 4 years ago
- Yet another thread pool in rust for both callbacks or futures.☆141Updated last year
- A simple sql server code by rust☆65Updated 4 years ago
- Cache server :)☆32Updated 2 years ago
- build a simple key value store based on LSM tree like rocksdb/leveldb☆41Updated 5 years ago
- TPCH benchmark tool for databend☆11Updated 3 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆173Updated last year
- LSM based key-value store in rust, design for cloud☆87Updated 3 years ago
- A Toy Query Engine & SQL interface☆67Updated 3 years ago
- A memcomparable serialization format.☆24Updated 2 years ago
- Shared Unit Raft☆83Updated last year
- ☆53Updated 2 years ago