Dmitry Konstantinov created CASSANDRA-20862:
-----------------------------------------------

             Summary: 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
         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: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to