[CASSANDRA-19116] History Builder API 2.0

• Type: New Feature
• Status: Resolved
• Priority: Urgent
• Resolution: Fixed
• Fix Version/s: 5.1-alpha1
• Component/s: Test/fuzz
• Change Category: Quality Assurance
• Complexity: Challenging
• Platform: All

Source Control Link

https://github.com/apache/cassandra-harry/commits/trunk/

Test and Documentation Plan

Includes bunch of tests!

• Assignee: Alex Petrov
• Reporter: Alex Petrov

Authors

Alex Petrov

Reviewers

Abe Ratnofsky, Caleb Rackliffe

• Created: 29/Nov/23 16:44
• Updated: 07/Dec/23 12:43
• Resolved: 07/Dec/23 12:43

Description

Harry history Builder 2.0

• New History Builder API
• Add an ability to track LTS visiteb by partition in visited_lts static column
• Add a model checker that checks against a different Cluster instance (for example, flush vs no flush, local vs nonlocal, etc)
• Add an ability to issue LTSs out-of-order

Issue Links

• is blocked by: CASSANDRA-19117 Harry: Remove notion of Modification
• is depended upon by: CASSANDRA-18275 Harry model and in-JVM test for partition-restricted 2i queries
• links to: Harry Builder API 2.0