[
https://issues.apache.org/jira/browse/CASSANDRA-18365?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Benedict Elliott Smith reassigned CASSANDRA-18365:
--------------------------------------------------
Assignee: Benedict Elliott Smith
> CEP-15: Accord Protocol Correctness issue
> -----------------------------------------
>
> Key: CASSANDRA-18365
> URL: https://issues.apache.org/jira/browse/CASSANDRA-18365
> Project: Apache Cassandra
> Issue Type: Bug
> Components: Accord
> Reporter: Pierre Sutra
> Assignee: Benedict Elliott Smith
> Priority: Normal
> Labels: pull-request-available
> Fix For: 5.x
>
> Attachments: bug.pdf
>
> Time Spent: 20m
> Remaining Estimate: 0h
>
> 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-unsubscr...@cassandra.apache.org
For additional commands, e-mail: commits-h...@cassandra.apache.org
