cockroachdb / cockroachdb/cockroach
storeliveness: randomized testing
Open
A-kv-replication
A-leader-leases
C-enhancement
T-kv
- Dominant language
- Go
- Stars
- 32.5k
- Forks
- 4.1k
- PR merge metrics
- PR metrics pending
Description
A randomized testing framework, similar to kvnemesis, can be really useful for asserting the main store liveness correctness guarantees: Support interval disjointness and Support durability (see [TLA+ spec](https://github.com/cockroachdb/cockroach/blob/master/docs/tla-plus/StoreLiveness/StoreLiveness.tla)).
Jira issue: CRDB-41999
Contributor guide
Assessment
This issue has not been assessed yet.