jepsen-io / knossos
Verifies the linearizability of experimentally accessible histories.
☆398Updated last year
Related projects ⓘ
Alternatives and complementary repositories for knossos
- ☆612Updated 3 years ago
- ScyllaDB fault injection filesystem☆247Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆465Updated last month
- Paxos Made Moderately Complex☆172Updated 3 months ago
- A cluster consistency platform☆640Updated this week
- ☆50Updated 6 years ago
- Black-box transactional safety checker based on cycle detection☆641Updated last month
- Paxos protocol framework☆550Updated 10 months ago
- ☆176Updated 6 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆310Updated 2 years ago
- **No Longer Maintained** Official RAMCloud repo☆489Updated 5 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆328Updated 6 years ago
- ☆293Updated 5 months ago
- Offline serializability verification, in Clojure☆68Updated 7 years ago
- TAPIR distributed transactional storage system☆423Updated 4 years ago
- Beta release of Masstree.☆431Updated last year
- NOPaxos consensus protocol☆133Updated 3 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- CASPaxos: Replicated State Machines without logs☆96Updated 6 years ago
- A fast linearizability checker written in Go 🔎☆926Updated 5 months ago
- Consus is a geo-replicated transactional key-value store.☆226Updated 6 years ago
- PerconaFT is a high-performance, transactional key-value store☆560Updated 7 months ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- The PebblesDB write-optimized key-value store (SOSP 17)☆506Updated 6 months ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆493Updated 6 years ago
- Convergent Replicated Data Types☆651Updated 8 years ago
- A fast key/value store that is efficient for high-volume random access reads and writes.☆355Updated 7 years ago
- Logical Clocks for Eventually Consistent Systems☆351Updated 6 years ago
- TLA+ specification of the Kafka replication protocol☆86Updated 4 years ago
- Speculative Paxos replication protocol☆132Updated 8 years ago