[
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: [email protected]
For additional commands, e-mail: [email protected]
