aphyr / partitions-post
A blog post on network partitions in practice
☆182Updated 10 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:
- Verifies the linearizability of experimentally accessible histories.☆402Updated 2 months ago
- Failure inducer framework☆190Updated 7 years ago
- ScyllaDB fault injection filesystem☆251Updated 4 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆89Updated 9 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆185Updated 8 years ago
- Formal models of core Elasticsearch algorithms☆209Updated 3 months ago
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆87Updated 2 years ago
- Distributed database benchmark tester☆288Updated last year
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 4 years ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆495Updated 6 years ago
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- Paxos Made Moderately Complex☆186Updated 9 months ago
- An implementation of the Raft distributed consensus protocol.☆172Updated 9 years ago
- epaxos☆100Updated 9 years ago
- The Firmament cluster scheduling platform☆412Updated 3 years ago
- ☆620Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆492Updated 2 months ago
- **No Longer Maintained** Official RAMCloud repo☆493Updated 5 years ago
- Gossip-based service discovery. Docker native, but supports static discovery, too.☆264Updated last year
- C network daemon for HyperLogLogs☆448Updated 4 years ago
- A quixotic quest to coordinate StatsD implementations☆142Updated 11 years ago
- Random, repeatable network fault injection☆102Updated 11 years ago
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- Intel:Mesosphere oversubscription technologies for Apache Mesos☆69Updated 9 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆332Updated 6 years ago
- Consus is a geo-replicated transactional key-value store.☆225Updated 6 years ago
- ZooKeeper Atomic Broadcast in Java☆54Updated 3 years ago
- Sparrow scheduling platform (U.C. Berkeley).☆320Updated 4 years ago
- A cluster consistency platform☆649Updated this week
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago