This is an automated email from the ASF dual-hosted git repository.
ifesdjeen pushed a change to branch trunk
in repository https://gitbox.apache.org/repos/asf/cassandra-harry.git.
from 42b4fd0 Removed dangling reference to the harry-runner module.
new 1c7fbc6 Numerious minor improvements while preparing for fuzz-testing
4.0 in earnest:
new 5fa48c2 Improvements: * Timestamp tie resolution * Test validating
behavior during upgrades (mixed version clusters) * Improve recent partition
validator * Add number of queries per partition * Make it easier run jobs
from a local machine * Make string postfixes more random by avoiding reusing
nibbles * Improve weight distributions * Allow clustering keys with less
entropy than 8 bytes Notable bugfixes: * Fix a problem with generation of
non-eq bounds following reverse [...]
The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
harry-core/pom.xml | 2 +-
harry-core/src/harry/core/Configuration.java | 491 +++++++++++-----
.../sut/NoOpSut.java => core/MetricReporter.java} | 39 +-
harry-core/src/harry/core/Run.java | 64 +-
.../src/harry/corruptor/AddExtraRowCorruptor.java | 4 +-
.../src/harry/corruptor/ChangeValueCorruptor.java | 6 +-
.../src/harry/corruptor/HideValueCorruptor.java | 31 +-
.../harry/corruptor/QueryResponseCorruptor.java | 26 +-
harry-core/src/harry/corruptor/RowCorruptor.java | 8 +-
.../src/harry/corruptor/ShowValueCorruptor.java | 2 +-
harry-core/src/harry/data/ResultSetRow.java | 33 +-
harry-core/src/harry/ddl/ColumnSpec.java | 61 +-
harry-core/src/harry/ddl/SchemaGenerators.java | 177 ++++--
harry-core/src/harry/ddl/SchemaSpec.java | 94 ++-
harry-core/src/harry/generators/Bijections.java | 14 +-
.../src/harry/generators/DataGenerators.java | 41 +-
harry-core/src/harry/generators/PCGFastPure.java | 2 +-
harry-core/src/harry/generators/RngUtils.java | 46 ++
.../src/harry/generators/StringBijection.java | 26 +-
harry-core/src/harry/generators/Surjections.java | 8 +-
.../src/harry/model/DescriptorSelectorBuilder.java | 22 +-
harry-core/src/harry/model/ExhaustiveChecker.java | 647 ---------------------
harry-core/src/harry/model/Model.java | 40 +-
.../{DoNothingModel.java => NoOpChecker.java} | 17 +-
harry-core/src/harry/model/OpSelectors.java | 294 +++++++---
harry-core/src/harry/model/QuiescentChecker.java | 174 ++++--
harry-core/src/harry/model/SelectHelper.java | 35 +-
.../harry/model/StatelessVisibleRowsChecker.java | 124 ----
harry-core/src/harry/model/VisibleRowsChecker.java | 248 --------
harry-core/src/harry/model/sut/PrintlnSut.java | 9 +-
.../src/harry/model/sut/SystemUnderTest.java | 51 +-
.../src/harry/operations/CompiledStatement.java | 29 +-
harry-core/src/harry/operations/DeleteHelper.java | 80 ++-
harry-core/src/harry/operations/Relation.java | 20 +-
harry-core/src/harry/operations/WriteHelper.java | 16 +
harry-core/src/harry/reconciler/Reconciler.java | 377 +++++++++---
.../src/harry/runner/AbstractPartitionVisitor.java | 17 +-
.../src/harry/runner/AllPartitionsValidator.java | 137 +++++
.../harry/runner/CorruptingPartitionVisitor.java | 93 +++
.../src/harry/runner/DataTracker.java | 33 +-
.../DefaultDataTracker.java} | 35 +-
.../runner/DefaultPartitionVisitorFactory.java | 198 -------
harry-core/src/harry/runner/DefaultRowVisitor.java | 68 ---
harry-core/src/harry/runner/HarryRunner.java | 96 ++-
.../src/harry/runner/LoggingPartitionVisitor.java | 79 +++
.../src/harry/runner/MutatingPartitionVisitor.java | 144 +++++
.../src/harry/runner/MutatingRowVisitor.java | 101 ++++
.../runner/{RowVisitor.java => Operation.java} | 29 +-
.../runner/ParallelRecentPartitionValidator.java | 170 ++++++
harry-core/src/harry/runner/ParallelValidator.java | 112 ++++
harry-core/src/harry/runner/PartitionVisitor.java | 11 +-
harry-core/src/harry/runner/Query.java | 8 +-
.../{QuerySelector.java => QueryGenerator.java} | 133 +++--
.../src/harry/runner/RecentPartitionValidator.java | 136 +++++
harry-core/src/harry/runner/Runner.java | 199 ++++---
harry-core/src/harry/runner/Sampler.java | 110 ++++
.../src/harry/runner/SinglePartitionValidator.java | 62 ++
harry-core/src/harry/runner/Validator.java | 119 ----
harry-core/src/harry/util/BitSet.java | 56 +-
harry-core/src/harry/util/Ranges.java | 25 +-
.../test/harry/generators/RandomGeneratorTest.java | 59 +-
.../test/harry/generators/SurjectionsTest.java | 4 +-
harry-core/test/harry/model/OpSelectorsTest.java | 225 +++++--
harry-core/test/harry/operations/RelationTest.java | 216 +++----
.../model/sut/external/ExternalClusterSut.java | 24 +-
.../harry/runner/external/HarryRunnerExternal.java | 8 +-
.../src/harry/model/sut}/ExternalClusterSut.java | 88 +--
.../src/harry/model/sut/InJvmSut.java | 116 +---
.../src/harry/model/sut/InJvmSutBase.java | 282 +++++++++
.../src/harry/model/sut/MixedVersionInJvmSut.java | 138 +++++
.../runner/FaultInjectingPartitionVisitor.java | 95 +++
.../src/harry/runner/QueryingNoOpChecker.java | 65 +++
.../harry/runner/RepairingLocalStateValidator.java | 137 +++++
harry-integration/src/harry/runner/Reproduce.java | 61 +-
.../src/harry/runner/TrivialShrinker.java | 232 ++++++++
.../test/harry/ddl/SchemaGenTest.java | 4 +-
.../generators/DataGeneratorsIntegrationTest.java | 63 ++
.../model/ExhaustiveCheckerIntegrationTest.java | 256 --------
.../harry/model/ExhaustiveCheckerUnitTest.java | 161 -----
.../test/harry/model/IntegrationTestBase.java | 54 +-
harry-integration/test/harry/model/MockSchema.java | 9 +-
harry-integration/test/harry/model/ModelTest.java | 147 -----
.../test/harry/model/ModelTestBase.java | 133 +++++
.../harry/model/QuerySelectorNegativeTest.java | 52 +-
.../test/harry/model/QuerySelectorTest.java | 77 ++-
.../model/QuiescentCheckerIntegrationTest.java | 158 ++---
.../test/harry/op/RowVisitorTest.java | 55 +-
pom.xml | 27 +-
88 files changed, 5142 insertions(+), 3333 deletions(-)
rename harry-core/src/harry/{model/sut/NoOpSut.java =>
core/MetricReporter.java} (56%)
delete mode 100644 harry-core/src/harry/model/ExhaustiveChecker.java
rename harry-core/src/harry/model/{DoNothingModel.java => NoOpChecker.java}
(72%)
delete mode 100644 harry-core/src/harry/model/StatelessVisibleRowsChecker.java
delete mode 100644 harry-core/src/harry/model/VisibleRowsChecker.java
create mode 100644 harry-core/src/harry/runner/AllPartitionsValidator.java
create mode 100644 harry-core/src/harry/runner/CorruptingPartitionVisitor.java
rename harry-integration/src/harry/runner/HarryRunnerJvm.java =>
harry-core/src/harry/runner/DataTracker.java (55%)
rename harry-core/src/harry/{model/DataTracker.java =>
runner/DefaultDataTracker.java} (83%)
delete mode 100644
harry-core/src/harry/runner/DefaultPartitionVisitorFactory.java
delete mode 100644 harry-core/src/harry/runner/DefaultRowVisitor.java
create mode 100644 harry-core/src/harry/runner/LoggingPartitionVisitor.java
create mode 100644 harry-core/src/harry/runner/MutatingPartitionVisitor.java
create mode 100644 harry-core/src/harry/runner/MutatingRowVisitor.java
rename harry-core/src/harry/runner/{RowVisitor.java => Operation.java} (67%)
create mode 100644
harry-core/src/harry/runner/ParallelRecentPartitionValidator.java
create mode 100644 harry-core/src/harry/runner/ParallelValidator.java
rename harry-core/src/harry/runner/{QuerySelector.java => QueryGenerator.java}
(74%)
create mode 100644 harry-core/src/harry/runner/RecentPartitionValidator.java
create mode 100644 harry-core/src/harry/runner/Sampler.java
create mode 100644 harry-core/src/harry/runner/SinglePartitionValidator.java
delete mode 100644 harry-core/src/harry/runner/Validator.java
copy {harry-integration-external/src/harry/model/sut/external =>
harry-integration/src/harry/model/sut}/ExternalClusterSut.java (67%)
create mode 100644 harry-integration/src/harry/model/sut/InJvmSutBase.java
create mode 100644
harry-integration/src/harry/model/sut/MixedVersionInJvmSut.java
create mode 100644
harry-integration/src/harry/runner/FaultInjectingPartitionVisitor.java
create mode 100644 harry-integration/src/harry/runner/QueryingNoOpChecker.java
create mode 100644
harry-integration/src/harry/runner/RepairingLocalStateValidator.java
create mode 100644 harry-integration/src/harry/runner/TrivialShrinker.java
create mode 100644
harry-integration/test/harry/generators/DataGeneratorsIntegrationTest.java
delete mode 100644
harry-integration/test/harry/model/ExhaustiveCheckerIntegrationTest.java
delete mode 100644
harry-integration/test/harry/model/ExhaustiveCheckerUnitTest.java
delete mode 100644 harry-integration/test/harry/model/ModelTest.java
create mode 100644 harry-integration/test/harry/model/ModelTestBase.java
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
