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/03/24 17:50:00 UTC

[jira] [Updated] (CASSANDRA-18365) CEP-15: Accord Protocol Correctness issue

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

C. Scott Andreas updated CASSANDRA-18365:
-----------------------------------------
    Summary: CEP-15: Accord Protocol Correctness issue  (was: Correctness issue)

> CEP-15: Accord Protocol Correctness issue
> -----------------------------------------
>
>                 Key: CASSANDRA-18365
>                 URL: https://issues.apache.org/jira/browse/CASSANDRA-18365
>             Project: Cassandra
>          Issue Type: Bug
>          Components: Accord
>            Reporter: Pierre Sutra
>            Priority: Normal
>         Attachments: bug.pdf
>
>
> There is a bug in the Accord protocol which might break linearizability, even in the single partition case.
> The file in attachment details this issue following the pseudo-code in the white paper describing Accord [1]. If the Java implementation follows this pseudo-code, it should be subject to the very same problem.
> This bug was found by Fedor Ryabinin,  Alexey Gotsman and Pierre Sutra.
> [1] https://cwiki.apache.org/confluence/display/CASSANDRA/CEP-15%3A+General+Purpose+Transactions?preview=/188744725/188744736/Accord.pdf



--
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