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
- Failure inducer framework☆191Updated 7 years ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆492Updated 6 years ago
- Verifies the linearizability of experimentally accessible histories.☆400Updated last month
- ScyllaDB fault injection filesystem☆249Updated 3 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- An implementation of LDFI☆126Updated 6 years ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆312Updated 3 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆185Updated 8 years ago
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 4 years ago
- Paxos Made Moderately Complex☆173Updated 5 months ago
- The Firmament cluster scheduling platform☆412Updated 3 years ago
- Distributed database benchmark tester☆287Updated last year
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- epaxos☆99Updated 9 years ago
- Paxos protocol framework☆556Updated last year
- TLA+ specification for the Raft consensus algorithm☆480Updated 4 months ago
- A cluster consistency platform☆643Updated last week
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆87Updated 2 years ago
- Formal models of core Elasticsearch algorithms☆207Updated 5 years ago
- ☆617Updated 3 years ago
- Intel:Mesosphere oversubscription technologies for Apache Mesos☆69Updated 8 years ago
- Kompics - A message-passing component model for building distributed systems☆65Updated 2 years ago
- Personal reading list/reference re: TLA+☆88Updated 6 years ago
- An implementation of the Raft distributed consensus protocol.☆172Updated 9 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆329Updated 6 years ago
- **No Longer Maintained** Official RAMCloud repo☆493Updated 5 years ago
- A tool for measuring memcached server performance☆242Updated 5 years ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- A fork of LevelDB intended to meet the needs of HyperDex while remaining compatible with LevelDB.☆459Updated 8 years ago