rystsov / simdistsysLinks
Simulated playground for distributed algorithms
☆14Updated 5 years ago
Alternatives and similar repositories for simdistsys
Users that are interested in simdistsys are comparing it to the libraries listed below
Sorting:
- (getting to be a) hard to kill scalable linearizabe store☆79Updated 9 years ago
- framework for evaluating (planet-scale) consensus protocols☆130Updated last year
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆142Updated 5 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 4 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- CASPaxos: Replicated State Machines without logs☆104Updated 7 years ago
- Model-based testing tool☆62Updated 10 months ago
- Rust CASPaxos implementation☆66Updated 5 years ago
- hybrid logical clock for Rust☆21Updated 10 years ago
- The Materialize SQL parser☆30Updated 6 years ago
- High-throughput columnar serialization in Rust☆187Updated last month
- Implementation of Adaptive Radix Tree in Rust☆44Updated 5 years ago
- Epoch-based garbage collection☆81Updated 7 years ago
- Viewstamped Replication for Rust☆72Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Updated last year
- Inject USDT probes into rust code☆48Updated 6 years ago
- Concurrent skip list☆24Updated 7 years ago
- ☆49Updated 7 months ago
- CLOCK-Pro cache replacement algorithm for Rust☆27Updated last year
- Adaptive Radix Tree in Rust☆67Updated 7 years ago
- raw bindings for git://git.kernel.dk/liburing☆16Updated 5 years ago
- Gossip protocol written in Rust☆62Updated 11 years ago
- A library for logging and propagating Zipkin trace information in Rust☆57Updated 11 months ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 7 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆36Updated 5 years ago
- A Swiss Army knife for read-write quorum systems☆85Updated 4 years ago
- An experimental columnar arena☆43Updated last year
- Pillars for Transactional Systems and Data Grids☆133Updated last year
- io_uring proof of concept in rust, integrated with tokio timers/executor (but not the reactor ofc)☆46Updated 6 years ago
- The Waterloo Consistency Analyzer☆15Updated 5 years ago