github.com/cockroachdb/pebble@v1.1.2/internal/metamorphic/metaflags/meta_flags.go (about) 1 // Copyright 2023 The LevelDB-Go and Pebble Authors. All rights reserved. Use 2 // of this source code is governed by a BSD-style license that can be found in 3 // the LICENSE file. 4 5 // Package metaflags defines command-line flags for the metamorphic tests and 6 // provides functionality to construct the respective 7 // metamorphic.RunOptions/RunOnceOptions. 8 package metaflags 9 10 import ( 11 "flag" 12 "fmt" 13 "math" 14 "regexp" 15 16 "github.com/cockroachdb/pebble/internal/randvar" 17 "github.com/cockroachdb/pebble/metamorphic" 18 ) 19 20 // CommonFlags contains flags that apply to both metamorphic.Run and 21 // metamorphic.RunOnce/Compare. 22 type CommonFlags struct { 23 // Dir is the directory storing test state. See "dir" flag below. 24 Dir string 25 // Seed for generation of random operations. See "seed" flag below. 26 Seed uint64 27 // ErrorRate is the rate of injected filesystem errors. See "error-rate" flag 28 // below. 29 ErrorRate float64 30 // FailRE causes the test to fail if the output matches this regex. See "fail" 31 // flag below. 32 FailRE string 33 // Keep determines if the DB directory is kept on successful runs. See "keep" 34 // flag below. 35 Keep bool 36 // MaxThreads used by a single run. See "max-threads" flag below. 37 MaxThreads int 38 } 39 40 func initCommonFlags() *CommonFlags { 41 c := &CommonFlags{} 42 flag.StringVar(&c.Dir, "dir", "_meta", 43 "the directory storing test state") 44 45 flag.Uint64Var(&c.Seed, "seed", 0, 46 "a pseudorandom number generator seed") 47 48 // TODO: default error rate to a non-zero value. Currently, retrying is 49 // non-deterministic because of the Ierator.*WithLimit() methods since 50 // they may say that the Iterator is not valid, but be positioned at a 51 // certain key that can be returned in the future if the limit is changed. 52 // Since that key is hidden from clients of Iterator, the retryableIter 53 // using SeekGE will not necessarily position the Iterator that saw an 54 // injected error at the same place as an Iterator that did not see that 55 // error. 56 flag.Float64Var(&c.ErrorRate, "error-rate", 0.0, 57 "rate of errors injected into filesystem operations (0 ≤ r < 1)") 58 59 flag.StringVar(&c.FailRE, "fail", "", 60 "fail the test if the supplied regular expression matches the output") 61 62 flag.BoolVar(&c.Keep, "keep", false, 63 "keep the DB directory even on successful runs") 64 65 flag.IntVar(&c.MaxThreads, "max-threads", math.MaxInt, 66 "limit execution of a single run to the provided number of threads; must be ≥ 1") 67 68 return c 69 } 70 71 // RunOnceFlags contains flags that apply only to metamorphic.RunOnce/Compare. 72 type RunOnceFlags struct { 73 *CommonFlags 74 // RunDir applies to metamorphic.RunOnce and contains the specific 75 // configuration of the run. See "run-dir" flag below. 76 RunDir string 77 // Compare applies to metamorphic.Compare. See "compare" flag below. 78 Compare string 79 } 80 81 func initRunOnceFlags(c *CommonFlags) *RunOnceFlags { 82 ro := &RunOnceFlags{CommonFlags: c} 83 flag.StringVar(&ro.RunDir, "run-dir", "", 84 "the specific configuration to (re-)run (used for post-mortem debugging)") 85 86 flag.StringVar(&ro.Compare, "compare", "", 87 `comma separated list of options files to compare. The result of each run is compared with 88 the result of the run from the first options file in the list. Example, -compare 89 random-003,standard-000. The dir flag should have the directory containing these directories. 90 Example, -dir _meta/200610-203012.077`) 91 return ro 92 } 93 94 // RunFlags contains flags that apply only to metamorphic.Run. 95 type RunFlags struct { 96 *CommonFlags 97 // FS controls the type of filesystems to use. See "fs" flag below. 98 FS string 99 // TraceFile for execution tracing. See "trace-file" flag below. 100 TraceFile string 101 // Ops describes how the total number of operations is generated. See "ops" flags below. 102 Ops randvar.Flag 103 // InnerBinary is the binary to invoke for a single run. See "inner-binary" 104 // flag below. 105 InnerBinary string 106 // PreviousOps is the path to the ops file of a previous run. See the 107 // "previous-ops" flag below. 108 PreviousOps string 109 // InitialStatePath is the path to a database data directory from a previous 110 // run. See the "initial-state" flag below. 111 InitialStatePath string 112 // InitialStateDesc is a human-readable description of the initial database 113 // state. See "initial-state-desc" flag below. 114 InitialStateDesc string 115 } 116 117 func initRunFlags(c *CommonFlags) *RunFlags { 118 r := &RunFlags{CommonFlags: c} 119 flag.StringVar(&r.FS, "fs", "rand", 120 `force the tests to use either memory or disk-backed filesystems (valid: "mem", "disk", "rand")`) 121 122 flag.StringVar(&r.TraceFile, "trace-file", "", 123 "write an execution trace to `<run-dir>/file`") 124 125 if err := r.Ops.Set("uniform:5000-10000"); err != nil { 126 panic(err) 127 } 128 flag.Var(&r.Ops, "ops", "uniform:5000-10000") 129 130 flag.StringVar(&r.InnerBinary, "inner-binary", "", 131 `binary to run for each instance of the test (this same binary by default); cannot be used 132 with --run-dir or --compare`) 133 134 // The following options may be used for split-version metamorphic testing. 135 // To perform split-version testing, the client runs the metamorphic tests 136 // on an earlier Pebble SHA passing the `--keep` flag. The client then 137 // switches to the later Pebble SHA, setting the below options to point to 138 // the `ops` file and one of the previous run's data directories. 139 140 flag.StringVar(&r.PreviousOps, "previous-ops", "", 141 "path to an ops file, used to prepopulate the set of keys operations draw from") 142 143 flag.StringVar(&r.InitialStatePath, "initial-state", "", 144 "path to a database's data directory, used to prepopulate the test run's databases") 145 146 flag.StringVar(&r.InitialStateDesc, "initial-state-desc", "", 147 `a human-readable description of the initial database state. 148 If set this parameter is written to the OPTIONS to aid in 149 debugging. It's intended to describe the lineage of a 150 database's state, including sufficient information for 151 reproduction (eg, SHA, prng seed, etc).`) 152 return r 153 } 154 155 // InitRunOnceFlags initializes the flags that are used for a single run of the 156 // metamorphic test. 157 func InitRunOnceFlags() *RunOnceFlags { 158 return initRunOnceFlags(initCommonFlags()) 159 } 160 161 // InitAllFlags initializes all metamorphic test flags: those used for a 162 // single run, and those used for a "top level" run. 163 func InitAllFlags() (*RunOnceFlags, *RunFlags) { 164 c := initCommonFlags() 165 return initRunOnceFlags(c), initRunFlags(c) 166 } 167 168 // MakeRunOnceOptions constructs RunOnceOptions based on the flags. 169 func (ro *RunOnceFlags) MakeRunOnceOptions() []metamorphic.RunOnceOption { 170 onceOpts := []metamorphic.RunOnceOption{ 171 metamorphic.MaxThreads(ro.MaxThreads), 172 } 173 if ro.Keep { 174 onceOpts = append(onceOpts, metamorphic.KeepData{}) 175 } 176 if ro.FailRE != "" { 177 onceOpts = append(onceOpts, metamorphic.FailOnMatch{Regexp: regexp.MustCompile(ro.FailRE)}) 178 } 179 if ro.ErrorRate > 0 { 180 onceOpts = append(onceOpts, metamorphic.InjectErrorsRate(ro.ErrorRate)) 181 } 182 return onceOpts 183 } 184 185 // MakeRunOptions constructs RunOptions based on the flags. 186 func (r *RunFlags) MakeRunOptions() []metamorphic.RunOption { 187 opts := []metamorphic.RunOption{ 188 metamorphic.Seed(r.Seed), 189 metamorphic.OpCount(r.Ops.Static), 190 metamorphic.MaxThreads(r.MaxThreads), 191 } 192 if r.Keep { 193 opts = append(opts, metamorphic.KeepData{}) 194 } 195 if r.FailRE != "" { 196 opts = append(opts, metamorphic.FailOnMatch{Regexp: regexp.MustCompile(r.FailRE)}) 197 } 198 if r.ErrorRate > 0 { 199 opts = append(opts, metamorphic.InjectErrorsRate(r.ErrorRate)) 200 } 201 if r.TraceFile != "" { 202 opts = append(opts, metamorphic.RuntimeTrace(r.TraceFile)) 203 } 204 if r.PreviousOps != "" { 205 opts = append(opts, metamorphic.ExtendPreviousRun(r.PreviousOps, r.InitialStatePath, r.InitialStateDesc)) 206 } 207 208 // If the filesystem type was forced, all tests will use that value. 209 switch r.FS { 210 case "", "rand", "default": 211 // No-op. Use the generated value for the filesystem. 212 case "disk": 213 opts = append(opts, metamorphic.UseDisk) 214 case "mem": 215 opts = append(opts, metamorphic.UseInMemory) 216 default: 217 panic(fmt.Sprintf("unknown forced filesystem type: %q", r.FS)) 218 } 219 if r.InnerBinary != "" { 220 opts = append(opts, metamorphic.InnerBinary(r.InnerBinary)) 221 } 222 return opts 223 }