Abe Ratnofsky created CASSANDRA-21014:
-----------------------------------------
Summary: Add fuzz testing for read monotonicity properties
Key: CASSANDRA-21014
URL: https://issues.apache.org/jira/browse/CASSANDRA-21014
Project: Apache Cassandra
Issue Type: Improvement
Components: Test/fuzz
Reporter: Abe Ratnofsky
Mutation tracking is intended to provide read monotonicity, and we’ve found and
addressed several potential monotonicity violations in the design phase. We
should introduce a read monotonicity test harness that helps us maintain this
guarantee.
Right now the AST fuzz tests run commands in serial and validate complete
visibility of reads and writes. A concurrent version that only validates read
monotonicity could enable more aggressive failures, like breaking quorum
availability. Modeling read monotonicity is simpler than complete read-write
visibility, because we only need to track the latest value for each key read,
and ensure that subsequent reads do not see an older value.
We could exercise partial repair (via --force) and failed writes with message
filters (org.apache.cassandra.distributed.impl.AbstractCluster#filters).
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
