gterzian / understand-paxos
What makes Paxos tick?
☆11Updated last week
Alternatives and similar repositories for understand-paxos:
Users that are interested in understand-paxos are comparing it to the libraries listed below
- ☆27Updated 4 years ago
- ☆19Updated 2 years ago
- Adaptive Radix Trie implementation for fixed-length keys☆53Updated last year
- Framework for simulating distributed applications☆100Updated 5 years ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆33Updated 2 years ago
- An experimental columnar arena☆43Updated 5 months ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- Set theory applied on sorted and deduplicated slices.☆45Updated 2 years ago
- A reader-writer lock that provides extremely fast read access without starving writers☆78Updated last year
- A benchmarking harness for concurrent key-value collections☆118Updated 2 years ago
- Large object allocator for Rust☆14Updated last week
- A lock-free, append-only atomic pool.☆66Updated 2 years ago
- Propositional logic with types in Rust☆62Updated last year
- Model-based testing tool☆56Updated last month
- super simple in-memory blocking LSM for constant-size keys and values☆69Updated 2 months ago
- Session Type EDSL for Rust☆102Updated 2 years ago
- A FoundationDB style deterministic testing framework for async/await Rust☆32Updated 4 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- bytes::BufMut implementation to count buffer size☆22Updated last month
- ☆20Updated 3 years ago
- A rust implementation of lock free cuckoo hashmap☆68Updated 2 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- A plugin for Criterion.rs to measure Linux perf events.☆42Updated last year
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆33Updated 11 months ago
- high-efficiency concurrent reclamation☆35Updated 7 months ago
- ☆20Updated 3 years ago
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆140Updated 4 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆39Updated 4 months ago
- madsim-inspired determinism for turmoil-based simulation tests☆41Updated 3 weeks ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 8 months ago