[CASSANDRA-19997] ShortPaxosSimulationTest failure on seed 0x23a7663eab53fc38

• Type: Bug
• Status: Resolved
• Priority: Normal
• Resolution: Fixed
• Fix Version/s: 5.x
• Component/s: Feature/Lightweight Transactions, Test/fuzz
• Bug Category: Correctness - Test Failure
• Severity: Normal
• Complexity: Challenging
• Discovered By: Fuzz Test
• Platform: All
• Since Version: NA

Source Control Link

https://github.com/apache/cassandra/commit/a9a83dc884621f0bfdf2c37be9e7e8fcf0081da1

Test and Documentation Plan

Existing test suites. I also ran the simulation test for several hours with many seeds, which highlighted another failing seed. 

• Assignee: Sam Tunnicliffe
• Reporter: Caleb Rackliffe

Authors

Sam Tunnicliffe

Reviewers

Marcus Eriksson

• Created: 11/Oct/24 16:14
• Updated: 22/Oct/24 08:56
• Resolved: 22/Oct/24 08:56

Description

This appears to reproduce locally w/ --seed 0x23a7663eab53fc38:

[junit-timeout] Testcase: simulationTest(org.apache.cassandra.simulator.test.ShortPaxosSimulationTest)-_jdk11:	Caused an ERROR
[junit-timeout] Failed on seed 0x23a7663eab53fc38
[junit-timeout] org.apache.cassandra.simulator.SimulationException: Failed on seed 0x23a7663eab53fc38
[junit-timeout] Caused by: java.lang.AssertionError: (from replicasForPrimaryKey) [1, 4, 5] != [3, 4, 5] (predicted)
[junit-timeout] 	at org.apache.cassandra.simulator.cluster.ClusterActions.validateReplicasForKeys(ClusterActions.java:274)
[junit-timeout] 	at org.apache.cassandra.simulator.cluster.OnClusterChangeTopology.lambda$before$0(OnClusterChangeTopology.java:62)
[junit-timeout] 	at org.apache.cassandra.simulator.systems.NonInterceptible.execute(NonInterceptible.java:58)
[junit-timeout] 	at org.apache.cassandra.simulator.cluster.OnClusterChangeTopology.before(OnClusterChangeTopology.java:61)
[junit-timeout] 	at org.apache.cassandra.simulator.cluster.OnClusterLeave.performSimple(OnClusterLeave.java:53)
[junit-timeout] 	at org.apache.cassandra.simulator.Action.performAndRegister(Action.java:468)
[junit-timeout] 	at org.apache.cassandra.simulator.Action.perform(Action.java:486)
[junit-timeout] 	at org.apache.cassandra.simulator.ActionSchedule.next(ActionSchedule.java:379)
[junit-timeout] 	at org.apache.cassandra.simulator.paxos.PaxosSimulation$2.next(PaxosSimulation.java:217)
[junit-timeout] 	at org.apache.cassandra.simulator.paxos.PaxosSimulation.run(PaxosSimulation.java:189)
[junit-timeout] 	at org.apache.cassandra.simulator.paxos.PairOfSequencesPaxosSimulation.run(PairOfSequencesPaxosSimulation.java:351)
[junit-timeout] 	at org.apache.cassandra.simulator.SimulationRunner$Run.run(SimulationRunner.java:363)
[junit-timeout] 	at org.apache.cassandra.simulator.SimulationRunner$BasicCommand.run(SimulationRunner.java:344)
[junit-timeout] 	at org.apache.cassandra.simulator.paxos.PaxosSimulationRunner$Run.run(PaxosSimulationRunner.java:34)
[junit-timeout] 	at org.apache.cassandra.simulator.paxos.PaxosSimulationRunner.main(PaxosSimulationRunner.java:148)
[junit-timeout] 	at org.apache.cassandra.simulator.test.ShortPaxosSimulationTest.simulationTest(ShortPaxosSimulationTest.java:101)
[junit-timeout] 	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[junit-timeout] 	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[junit-timeout] 	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)

Issue Links

• links to: Trunk PR