michaelzenz / jecci
Jepsen and Elle based Consistency Checking Interface
☆21Updated 2 years ago
Related projects: ⓘ
- ☆26Updated 2 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- go-sqlancer☆73Updated 4 years ago
- ☆20Updated 2 years ago
- fuzzing for config☆12Updated 4 years ago
- ☆12Updated 9 months ago
- DBMS Performance & Correctness Testing Framework☆30Updated 2 years ago
- TLA+ specifications for Raft and variants☆57Updated 2 years ago
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆14Updated 2 years ago
- A collection of state machine replication protocols☆118Updated last year
- TLA+ specifications related to Viewstamped Replication☆27Updated last year
- horoscope is an optimizer inspector for DBMS.☆36Updated 3 years ago
- ☆30Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆99Updated 6 months ago
- Experiments in partially ordered SMR.☆45Updated 3 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 6 months ago
- scripts for testing TiDB☆10Updated 6 months ago
- This is the iiBench benchmark (aka the Index Insertion Benchmark) implemented as a sysbench workload☆15Updated 2 years ago
- MongoDB Jepsen tests☆24Updated last year
- Megaphone: Latency-conscious state migration☆18Updated 4 years ago
- ☆11Updated this week
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆48Updated last year
- An automatic test pipeline for distributed systems.☆17Updated 3 years ago
- ☆11Updated 3 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated last year
- TLA+ specification of Fast Flexible Paxos☆17Updated 3 years ago
- TiKV community content☆43Updated last week
- ☆12Updated 4 years ago
- Peloton Design Docs☆27Updated 6 years ago