[
https://issues.apache.org/jira/browse/CASSANDRA-20862?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Dmitry Konstantinov updated CASSANDRA-20862:
--------------------------------------------
Discovered By: Fuzz Test
Since Version: 5.x
> Test failure:
> org.apache.cassandra.simulator.test.ShortAccordSimulationTest.simulationTest
> on seed 0xca7dc33660ae3b8a
> ---------------------------------------------------------------------------------------------------------------------
>
> Key: CASSANDRA-20862
> URL: https://issues.apache.org/jira/browse/CASSANDRA-20862
> Project: Apache Cassandra
> Issue Type: Bug
> Reporter: Dmitry Konstantinov
> Priority: Normal
> Attachments: ShortAccordSimulationTest.out
>
>
> https://ci-cassandra.apache.org/job/Cassandra-trunk/2250/testReport/junit/org.apache.cassandra.simulator.test/ShortAccordSimulationTest/Tests___simulator_dtest_jdk11___simulationTest__jdk11_x86_64/
> {code}
> java.lang.RuntimeException: Simulation failed with exit code: 1
> at
> org.apache.cassandra.simulator.SimulatorUtils.executeWithExceptionThrowing(SimulatorUtils.java:110)
> at
> org.apache.cassandra.simulator.paxos.AccordSimulationRunner.executeWithExceptionThrowing(AccordSimulationRunner.java:104)
> at
> org.apache.cassandra.simulator.test.ShortAccordSimulationTest.simulationTest(ShortAccordSimulationTest.java:97)
> at
> java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
> at
> java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
> at
> java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
> Caused by: org.apache.cassandra.simulator.SimulationException: Failed on seed
> 0xca7dc33660ae3b8a
> Caused by: java.lang.AssertionError: History violations detected
> at
> org.apache.cassandra.simulator.paxos.PaxosSimulation.logAndThrow(PaxosSimulation.java:341)
> at
> org.apache.cassandra.simulator.paxos.PaxosSimulation.isDone(PaxosSimulation.java:304)
> at
> org.apache.cassandra.simulator.paxos.PaxosSimulation$2.hasNext(PaxosSimulation.java:275)
> at
> org.apache.cassandra.simulator.paxos.PaxosSimulation.run(PaxosSimulation.java:250)
> at
> org.apache.cassandra.simulator.paxos.AbstractPairOfSequencesPaxosSimulation.run(AbstractPairOfSequencesPaxosSimulation.java:301)
> at
> org.apache.cassandra.simulator.paxos.PairOfSequencesAccordSimulation.run(PairOfSequencesAccordSimulation.java:64)
> at
> org.apache.cassandra.simulator.SimulationRunner$Run.run(SimulationRunner.java:414)
> at
> org.apache.cassandra.simulator.paxos.AccordSimulationRunner$Run.run(AccordSimulationRunner.java:63)
> at
> org.apache.cassandra.simulator.paxos.AccordSimulationRunner$Run.run(AccordSimulationRunner.java:54)
> at
> org.apache.cassandra.simulator.SimulationRunner$BasicCommand.run(SimulationRunner.java:394)
> at
> org.apache.cassandra.simulator.paxos.AccordSimulationRunner$Run.run(AccordSimulationRunner.java:54)
> at
> org.apache.cassandra.simulator.SimulationRunner$BasicCommand.run(SimulationRunner.java:359)
> at
> org.apache.cassandra.simulator.paxos.AccordSimulationRunner$Run.run(AccordSimulationRunner.java:54)
> at picocli.CommandLine.executeUserObject(CommandLine.java:2045)
> at picocli.CommandLine.access$1500(CommandLine.java:148)
> at
> picocli.CommandLine$RunLast.executeUserObjectOfLastSubcommandWithSameParent(CommandLine.java:2469)
> at picocli.CommandLine$RunLast.handle(CommandLine.java:2461)
> at picocli.CommandLine$RunLast.handle(CommandLine.java:2423)
> at
> picocli.CommandLine$AbstractParseResultHandler.execute(CommandLine.java:2277)
> at picocli.CommandLine$RunLast.execute(CommandLine.java:2425)
> at
> org.apache.cassandra.simulator.SimulatorUtils.lambda$prepareRunner$11(SimulatorUtils.java:92)
> at picocli.CommandLine.execute(CommandLine.java:2174)
> at
> org.apache.cassandra.simulator.SimulatorUtils.executeWithExceptionThrowing(SimulatorUtils.java:105)
> at
> org.apache.cassandra.simulator.paxos.AccordSimulationRunner.executeWithExceptionThrowing(AccordSimulationRunner.java:104)
> at
> org.apache.cassandra.simulator.test.ShortAccordSimulationTest.simulationTest(ShortAccordSimulationTest.java:97)
> at
> java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
> at
> java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
> at
> java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
> Suppressed: org.apache.cassandra.simulator.paxos.HistoryViolation:
> Unknown write step on key 0 with value 341 is reachable from its
> happens-before relations
> at
> accord.verify.StrictSerializabilityVerifier$Step.receiveUnknownStepPredecessor(StrictSerializabilityVerifier.java:451)
> at
> accord.verify.StrictSerializabilityVerifier$Step.receiveKnowledgePhasedPredecessors(StrictSerializabilityVerifier.java:443)
> at
> accord.verify.StrictSerializabilityVerifier$Step.receiveUnknownStepPredecessor(StrictSerializabilityVerifier.java:459)
> at
> accord.verify.StrictSerializabilityVerifier$Step.receiveKnowledgePhasedPredecessors(StrictSerializabilityVerifier.java:438)
> at
> accord.verify.StrictSerializabilityVerifier$FutureWrites.receiveKnowledgePhasedPredecessors(StrictSerializabilityVerifier.java:536)
> at
> accord.verify.StrictSerializabilityVerifier$Register.propagateToDirectSuccessor(StrictSerializabilityVerifier.java:702)
> at
> accord.verify.StrictSerializabilityVerifier$Register.onChange(StrictSerializabilityVerifier.java:732)
> at
> accord.verify.StrictSerializabilityVerifier$UnknownStepHolder.run(StrictSerializabilityVerifier.java:214)
> at
> accord.verify.StrictSerializabilityVerifier$Register.onChange(StrictSerializabilityVerifier.java:738)
> at
> accord.verify.StrictSerializabilityVerifier$UnknownStepHolder.discoveredStepIndex(StrictSerializabilityVerifier.java:197)
> at
> accord.verify.StrictSerializabilityVerifier$FutureWrites.newSequence(StrictSerializabilityVerifier.java:510)
> at
> accord.verify.StrictSerializabilityVerifier$Register.updateSequence(StrictSerializabilityVerifier.java:635)
> at
> accord.verify.StrictSerializabilityVerifier.apply(StrictSerializabilityVerifier.java:870)
> at
> org.apache.cassandra.simulator.paxos.StrictSerializabilityValidator$1.lambda$close$0(StrictSerializabilityValidator.java:66)
> at
> org.apache.cassandra.simulator.paxos.StrictSerializabilityValidator.convertHistoryViolation(StrictSerializabilityValidator.java:89)
> at
> org.apache.cassandra.simulator.paxos.StrictSerializabilityValidator$1.close(StrictSerializabilityValidator.java:66)
> at
> org.apache.cassandra.simulator.paxos.PairOfSequencesAccordSimulation$ReadWriteOperation.verify(PairOfSequencesAccordSimulation.java:232)
> at
> org.apache.cassandra.simulator.paxos.PaxosSimulation$Operation.accept(PaxosSimulation.java:161)
> at
> org.apache.cassandra.simulator.paxos.PairOfSequencesAccordSimulation$ReadWriteOperation.accept(PairOfSequencesAccordSimulation.java:185)
> at
> org.apache.cassandra.simulator.paxos.PaxosSimulation$Operation.accept(PaxosSimulation.java:109)
> at
> org.apache.cassandra.simulator.systems.SimulatedActionCallable$1.run(SimulatedActionCallable.java:47)
> at
> org.apache.cassandra.simulator.systems.InterceptingExecutor$InterceptingPooledExecutor$WaitingThread.lambda$new$1(InterceptingExecutor.java:284)
> at
> io.netty.util.concurrent.FastThreadLocalRunnable.run(FastThreadLocalRunnable.java:30)
> at java.base/java.lang.Thread.run(Thread.java:829)
> Suppressed: java.lang.NullPointerException
> at
> org.apache.cassandra.simulator.paxos.PaxosTopologyChangeVerifier.afterInternal(PaxosTopologyChangeVerifier.java:67)
> at
> org.apache.cassandra.simulator.paxos.PaxosTopologyChangeVerifier.after(PaxosTopologyChangeVerifier.java:61)
> at
> org.apache.cassandra.simulator.cluster.OnClusterChangeTopology.accept(OnClusterChangeTopology.java:69)
> at
> org.apache.cassandra.simulator.cluster.OnClusterChangeTopology.accept(OnClusterChangeTopology.java:32)
> at
> org.apache.cassandra.simulator.ActionListener$3.transitivelyAfter(ActionListener.java:90)
> at
> org.apache.cassandra.simulator.utils.CompactLists.safeForEach(CompactLists.java:116)
> at
> org.apache.cassandra.simulator.Action.transitivelyFinished(Action.java:771)
> at
> org.apache.cassandra.simulator.Action.transitivelyFinished(Action.java:760)
> at
> org.apache.cassandra.simulator.Action.finishedSelf(Action.java:746)
> at
> org.apache.cassandra.simulator.Action.invalidate(Action.java:549)
> at
> org.apache.cassandra.simulator.Action.invalidate(Action.java:523)
> at
> org.apache.cassandra.simulator.utils.SafeCollections.safeForEach(SafeCollections.java:35)
> at
> org.apache.cassandra.simulator.ActionSchedule.close(ActionSchedule.java:454)
> at
> org.apache.cassandra.simulator.paxos.PaxosSimulation$2.close(PaxosSimulation.java:294)
> at
> org.apache.cassandra.simulator.paxos.PaxosSimulation.run(PaxosSimulation.java:247)
> {code}
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscr...@cassandra.apache.org
For additional commands, e-mail: commits-h...@cassandra.apache.org
