[CASSANDRA-18874] Add Jepsen's Elle to Accord and Paxos validation

• Type: Improvement
• Status: Resolved
• Priority: Normal
• Resolution: Fixed
• Fix Version/s: 5.1
• Component/s: Accord, Feature/Lightweight Transactions
• Labels: pull-request-available
• Change Category: Quality Assurance
• Complexity: Low Hanging Fruit
• Platform: All

Source Control Link

https://github.com/apache/cassandra-accord/commit/11ced982a6e78810268677b4b6aeed90bc06e25b

Test and Documentation Plan

existing tests

• Assignee: David Capwell
• Reporter: David Capwell

Authors

David Capwell, Jaroslaw Kijanowski

Reviewers

Caleb Rackliffe

• Created: 21/Sep/23 22:00
• Updated: 07/Nov/23 18:16
• Resolved: 07/Nov/23 18:16

Description

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.

Issue Links

• links to: GH: Accord trunk
• links to: GitHub Pull Request #67