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:
- framework for evaluating (planet-scale) consensus protocols☆128Updated last year
- Rust CASPaxos implementation☆66Updated 4 years ago
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆141Updated 5 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 4 years ago
- Viewstamped Replication for Rust☆70Updated 2 years ago
- (getting to be a) hard to kill scalable linearizabe store☆79Updated 9 years ago
- A collection of state machine replication protocols☆119Updated 2 years ago
- Inject USDT probes into rust code☆48Updated 5 years ago
- Implementation of Adaptive Radix Tree in Rust☆43Updated 5 years ago
- Model-based testing tool☆61Updated 6 months ago
- raw bindings for git://git.kernel.dk/liburing☆16Updated 5 years ago
- Adaptive Radix Tree in Rust☆67Updated 7 years ago
- High-throughput columnar serialization in Rust☆182Updated this week
- hybrid logical clock for Rust☆21Updated 9 years ago
- A library for logging and propagating Zipkin trace information in Rust☆57Updated 8 months ago
- A Swiss Army knife for read-write quorum systems☆84Updated 4 years ago
- Write Ahead Logging for Rust☆25Updated 9 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 5 years ago
- The Waterloo Consistency Analyzer☆15Updated 4 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆71Updated 4 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- Concurrent skip list☆24Updated 6 years ago
- A Rust implementation of HyParView algorithm☆30Updated 6 years ago
- Embeddable multi-Paxos For The JVM☆76Updated 9 months ago
- Elias-Fano encoding implementation in Rust☆32Updated 6 years ago
- Epoch-based garbage collection☆81Updated 6 years ago
- Implementation of PageRank in timely dataflow☆73Updated 6 years ago
- Gossip protocol written in Rust☆62Updated 10 years ago