aphyr / partitions-postLinks
A blog post on network partitions in practice
☆181Updated 11 years ago
Alternatives and similar repositories for partitions-post
Users that are interested in partitions-post are comparing it to the libraries listed below
Sorting:
- Accompanying Repository for The Verification of a Distributed System Talk☆189Updated 8 years ago
- Failure inducer framework☆190Updated 7 years ago
- ScyllaDB fault injection filesystem☆251Updated 4 years ago
- Verifies the linearizability of experimentally accessible histories.☆410Updated 6 months ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆495Updated 7 years ago
- Paxos Made Moderately Complex☆188Updated last year
- ☆624Updated 4 years ago
- The Firmament cluster scheduling platform☆412Updated 4 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆89Updated 2 years ago
- An implementation of LDFI☆128Updated 6 years ago
- **No Longer Maintained** Official RAMCloud repo☆498Updated 5 years ago
- A cluster consistency platform☆658Updated last week
- Formal models of core Elasticsearch algorithms☆210Updated 7 months ago
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆333Updated 7 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆324Updated 3 years ago
- epaxos☆101Updated 9 years ago
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 4 years ago
- Quantcast File System☆647Updated 3 weeks ago
- Consus is a geo-replicated transactional key-value store.☆225Updated 7 years ago
- TLA+ specification for the Raft consensus algorithm☆495Updated 7 months ago
- The accompanying repository for The ScalingStatefulServices talk☆127Updated 9 years ago
- Paxos protocol framework☆555Updated last year
- Sparrow scheduling platform (U.C. Berkeley).☆329Updated 5 years ago
- Distributed database benchmark tester☆289Updated last year
- A tool for benchmarking RPC services☆469Updated 2 years ago
- A fork of LevelDB intended to meet the needs of HyperDex while remaining compatible with LevelDB.☆463Updated 9 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- Readings in distributed systems☆416Updated 10 years ago