[
https://issues.apache.org/jira/browse/CASSANDRA-17093?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Benedict Elliott Smith updated CASSANDRA-17093:
-----------------------------------------------
Resolution: Fixed
Status: Resolved (was: Triage Needed)
> CEP-15: (Accord) Strict Serializability Verification
> ----------------------------------------------------
>
> Key: CASSANDRA-17093
> URL: https://issues.apache.org/jira/browse/CASSANDRA-17093
> Project: Cassandra
> Issue Type: New Feature
> Components: Accord
> Reporter: Benedict Elliott Smith
> Assignee: Benedict Elliott Smith
> Priority: Normal
>
> 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.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
