Pierre Sutra created CASSANDRA-18365:
----------------------------------------
Summary: Correctness issue
Key: CASSANDRA-18365
URL: https://issues.apache.org/jira/browse/CASSANDRA-18365
Project: Cassandra
Issue Type: Bug
Components: Accord
Reporter: Pierre Sutra
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]
