Benedict Elliott Smith created CASSANDRA-17093:
--------------------------------------------------
Summary: Strict Serializability Verification
Key: CASSANDRA-17093
URL: https://issues.apache.org/jira/browse/CASSANDRA-17093
Project: Cassandra
Issue Type: Sub-task
Reporter: Benedict Elliott Smith
Assignee: Benedict Elliott Smith
The in-tree verifier combines a Serializability verifier and per-key
Linearizability verifier, but these combined do not demonstrate Strict
Serializability - the Serializability verifier needs to be modified to operate
directly on timestamps as well as the happens-before relations it uses
currently.
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
