You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@cassandra.apache.org by "Benedict Elliott Smith (Jira)" <ji...@apache.org> on 2022/02/03 21:57:00 UTC

[jira] [Updated] (CASSANDRA-17093) CEP-15: (Accord) Strict Serializability Verification

     [ https://issues.apache.org/jira/browse/CASSANDRA-17093?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Benedict Elliott Smith updated CASSANDRA-17093:
-----------------------------------------------
        Parent:     (was: CASSANDRA-17090)
    Issue Type: New Feature  (was: Sub-task)

> 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.1#820001)

---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@cassandra.apache.org
For additional commands, e-mail: commits-help@cassandra.apache.org