[CASSANDRA-16933] CEP-10: Simulator Paxos Compatibility (Phase 3)

• Type: Improvement
• Status: Resolved
• Priority: Normal
• Resolution: Fixed
• Fix Version/s: 4.1-alpha1, 4.1
• Component/s: Feature/Lightweight Transactions
• Change Category: Quality Assurance
• Complexity: Normal
• Platform: All
• Assignee: Benedict Elliott Smith
• Reporter: Benedict Elliott Smith

Authors

Benedict Elliott Smith

• Created: 08/Sep/21 17:54
• Updated: 27/May/22 19:25
• Resolved: 22/Nov/21 11:54

Description

This is a tracking ticket for improvements to present-day Paxos to support verification by the simulator

Issue Links

• is a child of: CASSANDRA-16921 CEP-10: Cluster and Code Simulations
• is a parent of: CASSANDRA-16934 Use Synchronized for Paxos Concurrency Control
• is a parent of: CASSANDRA-16935 Use paxos_variant to specify Paxos behaviour