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

Posted to commits@cassandra.apache.org by "C. Scott Andreas (Jira)" <ji...@apache.org> on 2023/09/25 15:49:00 UTC

[jira] [Updated] (CASSANDRA-18874) Add Jepsen's Elle to Accord and Paxos validation

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

C. Scott Andreas updated CASSANDRA-18874:
-----------------------------------------
    Summary: Add Jepsen's Elle to Accord and Paxos validation  (was: Add Jepson's Elle to Accord and Paxos validation)

> Add Jepsen's Elle to Accord and Paxos validation
> ------------------------------------------------
>
>                 Key: CASSANDRA-18874
>                 URL: https://issues.apache.org/jira/browse/CASSANDRA-18874
>             Project: Cassandra
>          Issue Type: Improvement
>          Components: Accord, Feature/Lightweight Transactions
>            Reporter: David Capwell
>            Assignee: David Capwell
>            Priority: Normal
>              Labels: pull-request-available
>             Fix For: 5.x
>
>
> Paxos and Accord both use a custom validator to make sure we offer Strict Serializability, but to increase confidence we should use external validators as well, such as Jepson’s Elle.



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

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