db_stress.cc 55.5 KB
Newer Older
1 2 3 4 5
//  Copyright (c) 2013, Facebook, Inc.  All rights reserved.
//  This source code is licensed under the BSD-style license found in the
//  LICENSE file in the root directory of this source tree. An additional grant
//  of patent rights can be found in the PATENTS file in the same directory.
//
6 7 8
// Copyright (c) 2011 The LevelDB Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file. See the AUTHORS file for names of contributors.
9
//
X
Xing Jin 已提交
10 11 12 13 14 15 16 17 18 19 20 21
// The test uses an array to compare against values written to the database.
// Keys written to the array are in 1:1 correspondence to the actual values in
// the database according to the formula in the function GenerateValue.

// Space is reserved in the array from 0 to FLAGS_max_key and values are
// randomly written/deleted/read from those positions. During verification we
// compare all the positions in the array. To shorten/elongate the running
// time, you could change the settings: FLAGS_max_key, FLAGS_ops_per_thread,
// (sometimes also FLAGS_threads).
//
// NOTE that if FLAGS_test_batches_snapshots is set, the test will have
// different behavior. See comment of the flag for details.
A
amayank 已提交
22

23 24 25
#include <sys/types.h>
#include <stdio.h>
#include <stdlib.h>
26
#include <gflags/gflags.h>
27 28
#include "db/db_impl.h"
#include "db/version_set.h"
I
Igor Canadi 已提交
29
#include "rocksdb/statistics.h"
30
#include "rocksdb/cache.h"
31
#include "utilities/utility_db.h"
32 33
#include "rocksdb/env.h"
#include "rocksdb/write_batch.h"
34 35
#include "rocksdb/slice.h"
#include "rocksdb/slice_transform.h"
36
#include "rocksdb/statistics.h"
37
#include "port/port.h"
38
#include "util/coding.h"
39 40 41 42 43
#include "util/crc32c.h"
#include "util/histogram.h"
#include "util/mutexlock.h"
#include "util/random.h"
#include "util/testutil.h"
44 45
#include "util/logging.h"
#include "utilities/ttl/db_ttl.h"
46
#include "hdfs/env_hdfs.h"
D
Deon Nicholas 已提交
47
#include "utilities/merge_operators.h"
48 49 50 51

static const long KB = 1024;


52 53
static bool ValidateUint32Range(const char* flagname, uint64_t value) {
  if (value > std::numeric_limits<uint32_t>::max()) {
K
kailiu 已提交
54 55 56 57
    fprintf(stderr,
            "Invalid value for --%s: %lu, overflow\n",
            flagname,
            (unsigned long)value);
58 59 60 61 62
    return false;
  }
  return true;
}
DEFINE_uint64(seed, 2341234, "Seed for PRNG");
I
Igor Canadi 已提交
63 64
static const bool FLAGS_seed_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_seed, &ValidateUint32Range);
65

I
Igor Canadi 已提交
66
DEFINE_int64(max_key, 1 * KB* KB,
67
             "Max number of key/values to place in database");
68

I
Igor Canadi 已提交
69 70
DEFINE_int32(column_families, 10, "Number of column families");

71 72 73 74 75 76 77 78 79 80 81
DEFINE_bool(test_batches_snapshots, false,
            "If set, the test uses MultiGet(), MultiPut() and MultiDelete()"
            " which read/write/delete multiple keys in a batch. In this mode,"
            " we do not verify db content by comparing the content with the "
            "pre-allocated array. Instead, we do partial verification inside"
            " MultiGet() by checking various values in a batch. Benefit of"
            " this mode:\n"
            "\t(a) No need to acquire mutexes during writes (less cache "
            "flushes in multi-core leading to speed up)\n"
            "\t(b) No long validation at the end (more speed up)\n"
            "\t(c) Test snapshot and atomicity of batch writes");
82

83
DEFINE_int32(threads, 32, "Number of concurrent threads to run.");
84

85 86 87 88
DEFINE_int32(ttl, -1,
             "Opens the db with this ttl value if this is not -1. "
             "Carefully specify a large value such that verifications on "
             "deleted values don't fail");
89

90 91
DEFINE_int32(value_size_mult, 8,
             "Size of value will be this number times rand_int(1,3) bytes");
92

93
DEFINE_bool(verify_before_write, false, "Verify before write");
94

95
DEFINE_bool(histogram, false, "Print histogram of operation timings");
96

97 98
DEFINE_bool(destroy_db_initially, true,
            "Destroys the database dir before start if this is true");
99

100
DEFINE_bool (verbose, false, "Verbose");
101

102 103
DEFINE_int32(write_buffer_size, rocksdb::Options().write_buffer_size,
             "Number of bytes to buffer in memtable before compacting");
104

105 106 107 108
DEFINE_int32(max_write_buffer_number,
             rocksdb::Options().max_write_buffer_number,
             "The number of in-memory memtables. "
             "Each memtable is of size FLAGS_write_buffer_size.");
109

110 111 112 113 114 115 116 117 118 119
DEFINE_int32(min_write_buffer_number_to_merge,
             rocksdb::Options().min_write_buffer_number_to_merge,
             "The minimum number of write buffers that will be merged together "
             "before writing to storage. This is cheap because it is an "
             "in-memory merge. If this feature is not enabled, then all these "
             "write buffers are flushed to L0 as separate files and this "
             "increases read amplification because a get request has to check "
             "in all of these files. Also, an in-memory merge may result in "
             "writing less data to storage if there are duplicate records in"
             " each of these individual write buffers.");
120

121 122 123
DEFINE_int32(open_files, rocksdb::Options().max_open_files,
             "Maximum number of files to keep open at the same time "
             "(use default if == 0)");
124

125 126 127 128
DEFINE_int64(compressed_cache_size, -1,
             "Number of bytes to use as a cache of compressed data."
             " Negative means use default settings.");

129
DEFINE_int32(compaction_style, rocksdb::Options().compaction_style, "");
130

131 132 133
DEFINE_int32(level0_file_num_compaction_trigger,
             rocksdb::Options().level0_file_num_compaction_trigger,
             "Level0 compaction start trigger");
134

135 136 137
DEFINE_int32(level0_slowdown_writes_trigger,
             rocksdb::Options().level0_slowdown_writes_trigger,
             "Number of files in level-0 that will slow down writes");
138

139 140 141
DEFINE_int32(level0_stop_writes_trigger,
             rocksdb::Options().level0_stop_writes_trigger,
             "Number of files in level-0 that will trigger put stop.");
142

143 144
DEFINE_int32(block_size, rocksdb::Options().block_size,
             "Number of bytes in a block.");
145

146 147 148 149
DEFINE_int32(max_background_compactions,
             rocksdb::Options().max_background_compactions,
             "The maximum number of concurrent background compactions "
             "that can occur in parallel.");
150

I
Igor Canadi 已提交
151 152 153 154
DEFINE_int32(max_background_flushes, rocksdb::Options().max_background_flushes,
             "The maximum number of concurrent background flushes "
             "that can occur in parallel.");

155 156
DEFINE_int32(universal_size_ratio, 0, "The ratio of file sizes that trigger"
             " compaction in universal style");
157

158 159
DEFINE_int32(universal_min_merge_width, 0, "The minimum number of files to "
             "compact in universal style compaction");
160

161 162
DEFINE_int32(universal_max_merge_width, 0, "The max number of files to compact"
             " in universal style compaction");
163

164 165
DEFINE_int32(universal_max_size_amplification_percent, 0,
             "The max size amplification for universal style compaction");
166

I
Igor Canadi 已提交
167 168 169 170 171
DEFINE_int32(clear_column_family_one_in, 1000000,
             "With a chance of 1/N, delete a column family and then recreate "
             "it again. If N == 0, never drop/create column families. "
             "When test_batches_snapshots is true, this flag has no effect");

172 173
DEFINE_int64(cache_size, 2 * KB * KB * KB,
             "Number of bytes to use as a cache of uncompressed data.");
174

175 176 177 178 179 180 181 182 183
static bool ValidateInt32Positive(const char* flagname, int32_t value) {
  if (value < 0) {
    fprintf(stderr, "Invalid value for --%s: %d, must be >=0\n",
            flagname, value);
    return false;
  }
  return true;
}
DEFINE_int32(reopen, 10, "Number of times database reopens");
I
Igor Canadi 已提交
184 185
static const bool FLAGS_reopen_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_reopen, &ValidateInt32Positive);
186

187 188
DEFINE_int32(bloom_bits, 10, "Bloom filter bits per key. "
             "Negative means use default settings.");
189

190
DEFINE_string(db, "", "Use the db with the following name.");
191

192 193
DEFINE_bool(verify_checksum, false,
            "Verify checksum for every block read from storage");
194

195 196
DEFINE_bool(mmap_read, rocksdb::EnvOptions().use_mmap_reads,
            "Allow reads to occur via mmap-ing files");
197

198 199 200
// Database statistics
static std::shared_ptr<rocksdb::Statistics> dbstats;
DEFINE_bool(statistics, false, "Create database statistics");
201

202
DEFINE_bool(sync, false, "Sync all writes to disk");
203

204 205
DEFINE_bool(disable_data_sync, false,
            "If true, do not wait until data is synced to disk.");
A
amayank 已提交
206

207
DEFINE_bool(use_fsync, false, "If true, issue fsync instead of fdatasync");
208

209 210 211
DEFINE_int32(kill_random_test, 0,
             "If non-zero, kill at various points in source code with "
             "probability 1/this");
I
Igor Canadi 已提交
212 213 214
static const bool FLAGS_kill_random_test_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_kill_random_test,
                                  &ValidateInt32Positive);
215
extern int rocksdb_kill_odds;
216

217
DEFINE_bool(disable_wal, false, "If true, do not write WAL for write.");
218

219 220
DEFINE_int32(target_file_size_base, 64 * KB,
             "Target level-1 file size for compaction");
221

222 223
DEFINE_int32(target_file_size_multiplier, 1,
             "A multiplier to compute targe level-N file size (N >= 2)");
224

225
DEFINE_uint64(max_bytes_for_level_base, 256 * KB, "Max bytes for level-1");
226

227 228
DEFINE_int32(max_bytes_for_level_multiplier, 2,
             "A multiplier to compute max bytes for level-N (N >= 2)");
229

230 231 232 233 234 235 236 237 238 239
static bool ValidateInt32Percent(const char* flagname, int32_t value) {
  if (value < 0 || value>100) {
    fprintf(stderr, "Invalid value for --%s: %d, 0<= pct <=100 \n",
            flagname, value);
    return false;
  }
  return true;
}
DEFINE_int32(readpercent, 10,
             "Ratio of reads to total workload (expressed as a percentage)");
I
Igor Canadi 已提交
240 241
static const bool FLAGS_readpercent_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_readpercent, &ValidateInt32Percent);
242 243 244 245

DEFINE_int32(prefixpercent, 20,
             "Ratio of prefix iterators to total workload (expressed as a"
             " percentage)");
I
Igor Canadi 已提交
246 247
static const bool FLAGS_prefixpercent_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_prefixpercent, &ValidateInt32Percent);
248 249 250

DEFINE_int32(writepercent, 45,
             " Ratio of deletes to total workload (expressed as a percentage)");
I
Igor Canadi 已提交
251 252
static const bool FLAGS_writepercent_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_writepercent, &ValidateInt32Percent);
253 254 255

DEFINE_int32(delpercent, 15,
             "Ratio of deletes to total workload (expressed as a percentage)");
I
Igor Canadi 已提交
256 257
static const bool FLAGS_delpercent_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_delpercent, &ValidateInt32Percent);
258 259 260

DEFINE_int32(iterpercent, 10, "Ratio of iterations to total workload"
             " (expressed as a percentage)");
I
Igor Canadi 已提交
261 262
static const bool FLAGS_iterpercent_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_iterpercent, &ValidateInt32Percent);
263 264

DEFINE_uint64(num_iterations, 10, "Number of iterations per MultiIterate run");
I
Igor Canadi 已提交
265 266
static const bool FLAGS_num_iterations_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_num_iterations, &ValidateUint32Range);
267 268 269 270 271 272 273 274 275 276 277 278 279 280 281

DEFINE_bool(disable_seek_compaction, false,
            "Option to disable compation triggered by read.");

enum rocksdb::CompressionType StringToCompressionType(const char* ctype) {
  assert(ctype);

  if (!strcasecmp(ctype, "none"))
    return rocksdb::kNoCompression;
  else if (!strcasecmp(ctype, "snappy"))
    return rocksdb::kSnappyCompression;
  else if (!strcasecmp(ctype, "zlib"))
    return rocksdb::kZlibCompression;
  else if (!strcasecmp(ctype, "bzip2"))
    return rocksdb::kBZip2Compression;
A
Albert Strasheim 已提交
282 283 284 285
  else if (!strcasecmp(ctype, "lz4"))
    return rocksdb::kLZ4Compression;
  else if (!strcasecmp(ctype, "lz4hc"))
    return rocksdb::kLZ4HCCompression;
286 287 288 289 290 291 292

  fprintf(stdout, "Cannot parse compression type '%s'\n", ctype);
  return rocksdb::kSnappyCompression; //default value
}
DEFINE_string(compression_type, "snappy",
              "Algorithm to use to compress the database");
static enum rocksdb::CompressionType FLAGS_compression_type_e =
293
    rocksdb::kSnappyCompression;
294

295
DEFINE_string(hdfs, "", "Name of hdfs environment");
296
// posix or hdfs environment
297
static rocksdb::Env* FLAGS_env = rocksdb::Env::Default();
298

I
Igor Canadi 已提交
299 300 301
DEFINE_uint64(ops_per_thread, 1200000, "Number of operations per thread.");
static const bool FLAGS_ops_per_thread_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_ops_per_thread, &ValidateUint32Range);
302

303
DEFINE_uint64(log2_keys_per_lock, 2, "Log2 of number of keys per lock");
I
Igor Canadi 已提交
304 305 306
static const bool FLAGS_log2_keys_per_lock_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_log2_keys_per_lock,
                                  &ValidateUint32Range);
307

308 309 310
DEFINE_int32(purge_redundant_percent, 50,
             "Percentage of times we want to purge redundant keys in memory "
             "before flushing");
I
Igor Canadi 已提交
311 312 313
static const bool FLAGS_purge_redundant_percent_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_purge_redundant_percent,
                                  &ValidateInt32Percent);
314

315 316
DEFINE_bool(filter_deletes, false, "On true, deletes use KeyMayExist to drop"
            " the delete if key not present");
317

J
Jim Paton 已提交
318 319
enum RepFactory {
  kSkipList,
I
Igor Canadi 已提交
320
  kHashSkipList,
J
Jim Paton 已提交
321 322
  kVectorRep
};
323 324 325 326 327 328
enum RepFactory StringToRepFactory(const char* ctype) {
  assert(ctype);

  if (!strcasecmp(ctype, "skip_list"))
    return kSkipList;
  else if (!strcasecmp(ctype, "prefix_hash"))
I
Igor Canadi 已提交
329
    return kHashSkipList;
330 331 332 333 334 335
  else if (!strcasecmp(ctype, "vector"))
    return kVectorRep;

  fprintf(stdout, "Cannot parse memreptable %s\n", ctype);
  return kSkipList;
}
J
Jim Paton 已提交
336
static enum RepFactory FLAGS_rep_factory;
337
DEFINE_string(memtablerep, "skip_list", "");
J
Jim Paton 已提交
338

339 340 341 342 343 344 345 346
static bool ValidatePrefixSize(const char* flagname, int32_t value) {
  if (value < 0 || value>=2000000000) {
    fprintf(stderr, "Invalid value for --%s: %d. 0<= PrefixSize <=2000000000\n",
            flagname, value);
    return false;
  }
  return true;
}
I
Igor Canadi 已提交
347
DEFINE_int32(prefix_size, 0, "Control the prefix size for HashSkipListRep");
I
Igor Canadi 已提交
348 349
static const bool FLAGS_prefix_size_dummy __attribute__((unused)) =
    google::RegisterFlagValidator(&FLAGS_prefix_size, &ValidatePrefixSize);
350 351 352

DEFINE_bool(use_merge, false, "On true, replaces all writes with a Merge "
            "that behaves like a Put");
J
Jim Paton 已提交
353

D
Deon Nicholas 已提交
354

355
namespace rocksdb {
356

357 358 359 360 361 362 363 364 365 366 367 368 369
// convert long to a big-endian slice key
static std::string Key(long val) {
  std::string little_endian_key;
  std::string big_endian_key;
  PutFixed64(&little_endian_key, val);
  assert(little_endian_key.size() == sizeof(val));
  big_endian_key.resize(sizeof(val));
  for (int i=0; i<(int)sizeof(val); i++) {
    big_endian_key[i] = little_endian_key[sizeof(val) - 1 - i];
  }
  return big_endian_key;
}

370 371 372 373 374 375 376 377 378
class StressTest;
namespace {

class Stats {
 private:
  double start_;
  double finish_;
  double seconds_;
  long done_;
379 380
  long gets_;
  long prefixes_;
381
  long writes_;
A
amayank 已提交
382
  long deletes_;
383
  long iterator_size_sums_;
384
  long founds_;
385
  long iterations_;
386
  long errors_;
387 388 389
  int next_report_;
  size_t bytes_;
  double last_op_finish_;
390
  HistogramImpl hist_;
391 392 393 394 395 396 397 398

 public:
  Stats() { }

  void Start() {
    next_report_ = 100;
    hist_.Clear();
    done_ = 0;
399 400
    gets_ = 0;
    prefixes_ = 0;
401
    writes_ = 0;
A
amayank 已提交
402
    deletes_ = 0;
403
    iterator_size_sums_ = 0;
404
    founds_ = 0;
405
    iterations_ = 0;
406
    errors_ = 0;
407 408 409 410 411 412 413 414 415 416
    bytes_ = 0;
    seconds_ = 0;
    start_ = FLAGS_env->NowMicros();
    last_op_finish_ = start_;
    finish_ = start_;
  }

  void Merge(const Stats& other) {
    hist_.Merge(other.hist_);
    done_ += other.done_;
417 418
    gets_ += other.gets_;
    prefixes_ += other.prefixes_;
419
    writes_ += other.writes_;
A
amayank 已提交
420
    deletes_ += other.deletes_;
421
    iterator_size_sums_ += other.iterator_size_sums_;
422
    founds_ += other.founds_;
423
    iterations_ += other.iterations_;
424
    errors_ += other.errors_;
425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441
    bytes_ += other.bytes_;
    seconds_ += other.seconds_;
    if (other.start_ < start_) start_ = other.start_;
    if (other.finish_ > finish_) finish_ = other.finish_;
  }

  void Stop() {
    finish_ = FLAGS_env->NowMicros();
    seconds_ = (finish_ - start_) * 1e-6;
  }

  void FinishedSingleOp() {
    if (FLAGS_histogram) {
      double now = FLAGS_env->NowMicros();
      double micros = now - last_op_finish_;
      hist_.Add(micros);
      if (micros > 20000) {
442
        fprintf(stdout, "long op: %.1f micros%30s\r", micros, "");
443 444 445 446 447 448 449 450 451 452 453 454 455
      }
      last_op_finish_ = now;
    }

    done_++;
    if (done_ >= next_report_) {
      if      (next_report_ < 1000)   next_report_ += 100;
      else if (next_report_ < 5000)   next_report_ += 500;
      else if (next_report_ < 10000)  next_report_ += 1000;
      else if (next_report_ < 50000)  next_report_ += 5000;
      else if (next_report_ < 100000) next_report_ += 10000;
      else if (next_report_ < 500000) next_report_ += 50000;
      else                            next_report_ += 100000;
456
      fprintf(stdout, "... finished %ld ops%30s\r", done_, "");
457 458 459
    }
  }

460 461 462 463 464
  void AddBytesForWrites(int nwrites, size_t nbytes) {
    writes_ += nwrites;
    bytes_ += nbytes;
  }

465 466 467
  void AddGets(int ngets, int nfounds) {
    founds_ += nfounds;
    gets_ += ngets;
468 469
  }

470 471 472 473 474
  void AddPrefixes(int nprefixes, int count) {
    prefixes_ += nprefixes;
    iterator_size_sums_ += count;
  }

475 476 477 478
  void AddIterations(int n) {
    iterations_ += n;
  }

479 480 481 482
  void AddDeletes(int n) {
    deletes_ += n;
  }

483 484
  void AddErrors(int n) {
    errors_ += n;
A
amayank 已提交
485 486
  }

487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503
  void Report(const char* name) {
    std::string extra;
    if (bytes_ < 1 || done_ < 1) {
      fprintf(stderr, "No writes or ops?\n");
      return;
    }

    double elapsed = (finish_ - start_) * 1e-6;
    double bytes_mb = bytes_ / 1048576.0;
    double rate = bytes_mb / elapsed;
    double throughput = (double)done_/elapsed;

    fprintf(stdout, "%-12s: ", name);
    fprintf(stdout, "%.3f micros/op %ld ops/sec\n",
            seconds_ * 1e6 / done_, (long)throughput);
    fprintf(stdout, "%-12s: Wrote %.2f MB (%.2f MB/sec) (%ld%% of %ld ops)\n",
            "", bytes_mb, rate, (100*writes_)/done_, done_);
504
    fprintf(stdout, "%-12s: Wrote %ld times\n", "", writes_);
A
amayank 已提交
505
    fprintf(stdout, "%-12s: Deleted %ld times\n", "", deletes_);
X
Xing Jin 已提交
506 507
    fprintf(stdout, "%-12s: %ld read and %ld found the key\n", "",
            gets_, founds_);
508 509 510
    fprintf(stdout, "%-12s: Prefix scanned %ld times\n", "", prefixes_);
    fprintf(stdout, "%-12s: Iterator size sum is %ld\n", "",
            iterator_size_sums_);
511
    fprintf(stdout, "%-12s: Iterated %ld times\n", "", iterations_);
512
    fprintf(stdout, "%-12s: Got errors %ld times\n", "", errors_);
513 514 515 516 517 518 519 520 521 522 523

    if (FLAGS_histogram) {
      fprintf(stdout, "Microseconds per op:\n%s\n", hist_.ToString().c_str());
    }
    fflush(stdout);
  }
};

// State shared by all concurrent executions of the same benchmark.
class SharedState {
 public:
524
  static const uint32_t SENTINEL;
525

526
  explicit SharedState(StressTest* stress_test) :
527 528 529 530 531 532 533
      cv_(&mu_),
      seed_(FLAGS_seed),
      max_key_(FLAGS_max_key),
      log2_keys_per_lock_(FLAGS_log2_keys_per_lock),
      num_threads_(FLAGS_threads),
      num_initialized_(0),
      num_populated_(0),
534
      vote_reopen_(0),
535 536 537 538
      num_done_(0),
      start_(false),
      start_verify_(false),
      stress_test_(stress_test) {
539 540 541 542
    if (FLAGS_test_batches_snapshots) {
      fprintf(stdout, "No lock creation because test_batches_snapshots set\n");
      return;
    }
I
Igor Canadi 已提交
543 544 545 546
    values_.resize(FLAGS_column_families);

    for (int i = 0; i < FLAGS_column_families; ++i) {
      values_[i] = std::vector<uint32_t>(max_key_, SENTINEL);
547
    }
548

549 550
    long num_locks = (max_key_ >> log2_keys_per_lock_);
    if (max_key_ & ((1 << log2_keys_per_lock_) - 1)) {
I
Igor Canadi 已提交
551 552 553 554 555 556
      num_locks++;
    }
    fprintf(stdout, "Creating %ld locks\n", num_locks * FLAGS_column_families);
    key_locks_.resize(FLAGS_column_families);
    for (int i = 0; i < FLAGS_column_families; ++i) {
      key_locks_[i] = std::vector<port::Mutex>(num_locks);
557 558 559
    }
  }

I
Igor Canadi 已提交
560
  ~SharedState() {}
561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585

  port::Mutex* GetMutex() {
    return &mu_;
  }

  port::CondVar* GetCondVar() {
    return &cv_;
  }

  StressTest* GetStressTest() const {
    return stress_test_;
  }

  long GetMaxKey() const {
    return max_key_;
  }

  uint32_t GetNumThreads() const {
    return num_threads_;
  }

  void IncInitialized() {
    num_initialized_++;
  }

A
amayank 已提交
586
  void IncOperated() {
587 588 589 590 591 592 593
    num_populated_++;
  }

  void IncDone() {
    num_done_++;
  }

594 595 596 597
  void IncVotedReopen() {
    vote_reopen_ = (vote_reopen_ + 1) % num_threads_;
  }

598 599 600 601
  bool AllInitialized() const {
    return num_initialized_ >= num_threads_;
  }

A
amayank 已提交
602
  bool AllOperated() const {
603 604 605 606 607 608 609
    return num_populated_ >= num_threads_;
  }

  bool AllDone() const {
    return num_done_ >= num_threads_;
  }

610 611 612 613
  bool AllVotedReopen() {
    return (vote_reopen_ == 0);
  }

614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629
  void SetStart() {
    start_ = true;
  }

  void SetStartVerify() {
    start_verify_ = true;
  }

  bool Started() const {
    return start_;
  }

  bool VerifyStarted() const {
    return start_verify_;
  }

I
Igor Canadi 已提交
630 631
  port::Mutex* GetMutexForKey(int cf, long key) {
    return &key_locks_[cf][key >> log2_keys_per_lock_];
632 633
  }

I
Igor Canadi 已提交
634 635 636 637
  void LockColumnFamily(int cf) {
    for (auto& mutex : key_locks_[cf]) {
      mutex.Lock();
    }
638 639
  }

I
Igor Canadi 已提交
640 641 642 643
  void UnlockColumnFamily(int cf) {
    for (auto& mutex : key_locks_[cf]) {
      mutex.Unlock();
    }
644 645
  }

I
Igor Canadi 已提交
646 647
  void ClearColumnFamily(int cf) {
    std::fill(values_[cf].begin(), values_[cf].end(), SENTINEL);
A
amayank 已提交
648 649
  }

I
Igor Canadi 已提交
650 651
  void Put(int cf, long key, uint32_t value_base) {
    values_[cf][key] = value_base;
652 653
  }

I
Igor Canadi 已提交
654 655 656 657 658 659
  uint32_t Get(int cf, long key) const { return values_[cf][key]; }

  void Delete(int cf, long key) { values_[cf][key] = SENTINEL; }

  uint32_t GetSeed() const { return seed_; }

660 661 662 663 664 665 666 667 668
 private:
  port::Mutex mu_;
  port::CondVar cv_;
  const uint32_t seed_;
  const long max_key_;
  const uint32_t log2_keys_per_lock_;
  const int num_threads_;
  long num_initialized_;
  long num_populated_;
669
  long vote_reopen_;
670 671 672 673 674
  long num_done_;
  bool start_;
  bool start_verify_;
  StressTest* stress_test_;

I
Igor Canadi 已提交
675 676
  std::vector<std::vector<uint32_t>> values_;
  std::vector<std::vector<port::Mutex>> key_locks_;
677 678
};

679 680
const uint32_t SharedState::SENTINEL = 0xffffffff;

681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700
// Per-thread state for concurrent executions of the same benchmark.
struct ThreadState {
  uint32_t tid; // 0..n-1
  Random rand;  // Has different seeds for different threads
  SharedState* shared;
  Stats stats;

  ThreadState(uint32_t index, SharedState *shared)
      : tid(index),
        rand(1000 + index + shared->GetSeed()),
        shared(shared) {
  }
};

}  // namespace

class StressTest {
 public:
  StressTest()
      : cache_(NewLRUCache(FLAGS_cache_size)),
I
Igor Canadi 已提交
701 702 703
        compressed_cache_(FLAGS_compressed_cache_size >= 0
                              ? NewLRUCache(FLAGS_compressed_cache_size)
                              : nullptr),
704
        filter_policy_(FLAGS_bloom_bits >= 0
I
Igor Canadi 已提交
705 706
                           ? NewBloomFilterPolicy(FLAGS_bloom_bits)
                           : nullptr),
707
        db_(nullptr),
I
Igor Canadi 已提交
708
        new_column_family_name_(0),
709
        num_times_reopened_(0) {
710 711 712 713 714
    if (FLAGS_destroy_db_initially) {
      std::vector<std::string> files;
      FLAGS_env->GetChildren(FLAGS_db, &files);
      for (unsigned int i = 0; i < files.size(); i++) {
        if (Slice(files[i]).starts_with("heap-")) {
715
          FLAGS_env->DeleteFile(FLAGS_db + "/" + files[i]);
716
        }
717
      }
718
      DestroyDB(FLAGS_db, Options());
719 720 721 722
    }
  }

  ~StressTest() {
I
Igor Canadi 已提交
723 724 725 726
    for (auto cf : column_families_) {
      delete cf;
    }
    column_families_.clear();
727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742
    delete db_;
    delete filter_policy_;
  }

  void Run() {
    PrintEnv();
    Open();
    SharedState shared(this);
    uint32_t n = shared.GetNumThreads();

    std::vector<ThreadState*> threads(n);
    for (uint32_t i = 0; i < n; i++) {
      threads[i] = new ThreadState(i, &shared);
      FLAGS_env->StartThread(ThreadBody, threads[i]);
    }
    // Each thread goes through the following states:
A
amayank 已提交
743 744
    // initializing -> wait for others to init -> read/populate/depopulate
    // wait for others to operate -> verify -> done
745 746 747 748 749 750 751

    {
      MutexLock l(shared.GetMutex());
      while (!shared.AllInitialized()) {
        shared.GetCondVar()->Wait();
      }

752 753 754
      double now = FLAGS_env->NowMicros();
      fprintf(stdout, "%s Starting database operations\n",
              FLAGS_env->TimeToString((uint64_t) now/1000000).c_str());
A
amayank 已提交
755

756 757
      shared.SetStart();
      shared.GetCondVar()->SignalAll();
A
amayank 已提交
758
      while (!shared.AllOperated()) {
759 760 761
        shared.GetCondVar()->Wait();
      }

762
      now = FLAGS_env->NowMicros();
763 764 765 766 767 768 769
      if (FLAGS_test_batches_snapshots) {
        fprintf(stdout, "%s Limited verification already done during gets\n",
                FLAGS_env->TimeToString((uint64_t) now/1000000).c_str());
      } else {
        fprintf(stdout, "%s Starting verification\n",
                FLAGS_env->TimeToString((uint64_t) now/1000000).c_str());
      }
770

771 772 773 774 775 776 777
      shared.SetStartVerify();
      shared.GetCondVar()->SignalAll();
      while (!shared.AllDone()) {
        shared.GetCondVar()->Wait();
      }
    }

778
    for (unsigned int i = 1; i < n; i++) {
779 780 781 782
      threads[0]->stats.Merge(threads[i]->stats);
    }
    threads[0]->stats.Report("Stress Test");

783
    for (unsigned int i = 0; i < n; i++) {
784
      delete threads[i];
785
      threads[i] = nullptr;
786
    }
787
    double now = FLAGS_env->NowMicros();
788 789 790 791
    if (!FLAGS_test_batches_snapshots) {
      fprintf(stdout, "%s Verification successful\n",
              FLAGS_env->TimeToString((uint64_t) now/1000000).c_str());
    }
792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810
    PrintStatistics();
  }

 private:

  static void ThreadBody(void* v) {
    ThreadState* thread = reinterpret_cast<ThreadState*>(v);
    SharedState* shared = thread->shared;

    {
      MutexLock l(shared->GetMutex());
      shared->IncInitialized();
      if (shared->AllInitialized()) {
        shared->GetCondVar()->SignalAll();
      }
      while (!shared->Started()) {
        shared->GetCondVar()->Wait();
      }
    }
A
amayank 已提交
811
    thread->shared->GetStressTest()->OperateDb(thread);
812 813 814

    {
      MutexLock l(shared->GetMutex());
A
amayank 已提交
815 816
      shared->IncOperated();
      if (shared->AllOperated()) {
817 818 819 820 821 822 823
        shared->GetCondVar()->SignalAll();
      }
      while (!shared->VerifyStarted()) {
        shared->GetCondVar()->Wait();
      }
    }

824
    if (!FLAGS_test_batches_snapshots) {
M
Mayank Agarwal 已提交
825
      thread->shared->GetStressTest()->VerifyDb(thread);
826
    }
827 828 829 830 831 832 833 834 835 836 837

    {
      MutexLock l(shared->GetMutex());
      shared->IncDone();
      if (shared->AllDone()) {
        shared->GetCondVar()->SignalAll();
      }
    }

  }

838 839 840
  // Given a key K and value V, this puts ("0"+K, "0"+V), ("1"+K, "1"+V), ...
  // ("9"+K, "9"+V) in DB atomically i.e in a single batch.
  // Also refer MultiGet.
I
Igor Canadi 已提交
841 842 843
  Status MultiPut(ThreadState* thread, const WriteOptions& writeoptions,
                  ColumnFamilyHandle* column_family, const Slice& key,
                  const Slice& value, size_t sz) {
844 845 846 847 848 849 850 851 852 853 854
    std::string keys[10] = {"9", "8", "7", "6", "5",
                            "4", "3", "2", "1", "0"};
    std::string values[10] = {"9", "8", "7", "6", "5",
                              "4", "3", "2", "1", "0"};
    Slice value_slices[10];
    WriteBatch batch;
    Status s;
    for (int i = 0; i < 10; i++) {
      keys[i] += key.ToString();
      values[i] += value.ToString();
      value_slices[i] = values[i];
855
      if (FLAGS_use_merge) {
I
Igor Canadi 已提交
856
        batch.Merge(column_family->GetID(), keys[i], value_slices[i]);
D
Deon Nicholas 已提交
857
      } else {
I
Igor Canadi 已提交
858
        batch.Put(column_family->GetID(), keys[i], value_slices[i]);
D
Deon Nicholas 已提交
859
      }
860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875
    }

    s = db_->Write(writeoptions, &batch);
    if (!s.ok()) {
      fprintf(stderr, "multiput error: %s\n", s.ToString().c_str());
      thread->stats.AddErrors(1);
    } else {
      // we did 10 writes each of size sz + 1
      thread->stats.AddBytesForWrites(10, (sz + 1) * 10);
    }

    return s;
  }

  // Given a key K, this deletes ("0"+K), ("1"+K),... ("9"+K)
  // in DB atomically i.e in a single batch. Also refer MultiGet.
I
Igor Canadi 已提交
876 877
  Status MultiDelete(ThreadState* thread, const WriteOptions& writeoptions,
                     ColumnFamilyHandle* column_family, const Slice& key) {
878 879 880 881 882 883 884
    std::string keys[10] = {"9", "7", "5", "3", "1",
                            "8", "6", "4", "2", "0"};

    WriteBatch batch;
    Status s;
    for (int i = 0; i < 10; i++) {
      keys[i] += key.ToString();
I
Igor Canadi 已提交
885
      batch.Delete(column_family->GetID(), keys[i]);
886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902
    }

    s = db_->Write(writeoptions, &batch);
    if (!s.ok()) {
      fprintf(stderr, "multidelete error: %s\n", s.ToString().c_str());
      thread->stats.AddErrors(1);
    } else {
      thread->stats.AddDeletes(10);
    }

    return s;
  }

  // Given a key K, this gets values for "0"+K, "1"+K,..."9"+K
  // in the same snapshot, and verifies that all the values are of the form
  // "0"+V, "1"+V,..."9"+V.
  // ASSUMES that MultiPut was used to put (K, V) into the DB.
I
Igor Canadi 已提交
903 904 905
  Status MultiGet(ThreadState* thread, const ReadOptions& readoptions,
                  ColumnFamilyHandle* column_family, const Slice& key,
                  std::string* value) {
906 907 908 909 910 911 912 913 914
    std::string keys[10] = {"0", "1", "2", "3", "4", "5", "6", "7", "8", "9"};
    Slice key_slices[10];
    std::string values[10];
    ReadOptions readoptionscopy = readoptions;
    readoptionscopy.snapshot = db_->GetSnapshot();
    Status s;
    for (int i = 0; i < 10; i++) {
      keys[i] += key.ToString();
      key_slices[i] = keys[i];
I
Igor Canadi 已提交
915
      s = db_->Get(readoptionscopy, column_family, key_slices[i], value);
916 917 918 919 920 921 922 923
      if (!s.ok() && !s.IsNotFound()) {
        fprintf(stderr, "get error: %s\n", s.ToString().c_str());
        values[i] = "";
        thread->stats.AddErrors(1);
        // we continue after error rather than exiting so that we can
        // find more errors if any
      } else if (s.IsNotFound()) {
        values[i] = "";
924
        thread->stats.AddGets(1, 0);
925 926 927 928 929 930
      } else {
        values[i] = *value;

        char expected_prefix = (keys[i])[0];
        char actual_prefix = (values[i])[0];
        if (actual_prefix != expected_prefix) {
931
          fprintf(stderr, "error expected prefix = %c actual = %c\n",
932 933 934
                  expected_prefix, actual_prefix);
        }
        (values[i])[0] = ' '; // blank out the differing character
935
        thread->stats.AddGets(1, 1);
936 937 938 939 940 941 942
      }
    }
    db_->ReleaseSnapshot(readoptionscopy.snapshot);

    // Now that we retrieved all values, check that they all match
    for (int i = 1; i < 10; i++) {
      if (values[i] != values[0]) {
943
        fprintf(stderr, "error : inconsistent values for key %s: %s, %s\n",
944 945 946 947 948 949 950 951 952 953
                key.ToString().c_str(), values[0].c_str(),
                values[i].c_str());
      // we continue after error rather than exiting so that we can
      // find more errors if any
      }
    }

    return s;
  }

954 955 956 957 958 959
  // Given a prefix P, this does prefix scans for "0"+P, "1"+P,..."9"+P
  // in the same snapshot.  Each of these 10 scans returns a series of
  // values; each series should be the same length, and it is verified
  // for each index i that all the i'th values are of the form "0"+V,
  // "1"+V,..."9"+V.
  // ASSUMES that MultiPut was used to put (K, V)
I
Igor Canadi 已提交
960 961
  Status MultiPrefixScan(ThreadState* thread, const ReadOptions& readoptions,
                         ColumnFamilyHandle* column_family,
962 963 964 965 966 967 968 969 970 971 972 973 974 975
                         const Slice& prefix) {
    std::string prefixes[10] = {"0", "1", "2", "3", "4",
                                "5", "6", "7", "8", "9"};
    Slice prefix_slices[10];
    ReadOptions readoptionscopy[10];
    const Snapshot* snapshot = db_->GetSnapshot();
    Iterator* iters[10];
    Status s = Status::OK();
    for (int i = 0; i < 10; i++) {
      prefixes[i] += prefix.ToString();
      prefix_slices[i] = prefixes[i];
      readoptionscopy[i] = readoptions;
      readoptionscopy[i].prefix = &prefix_slices[i];
      readoptionscopy[i].snapshot = snapshot;
I
Igor Canadi 已提交
976
      iters[i] = db_->NewIterator(readoptionscopy[i], column_family);
977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029
      iters[i]->SeekToFirst();
    }

    int count = 0;
    while (iters[0]->Valid()) {
      count++;
      std::string values[10];
      // get list of all values for this iteration
      for (int i = 0; i < 10; i++) {
        // no iterator should finish before the first one
        assert(iters[i]->Valid());
        values[i] = iters[i]->value().ToString();

        char expected_first = (prefixes[i])[0];
        char actual_first = (values[i])[0];

        if (actual_first != expected_first) {
          fprintf(stderr, "error expected first = %c actual = %c\n",
                  expected_first, actual_first);
        }
        (values[i])[0] = ' '; // blank out the differing character
      }
      // make sure all values are equivalent
      for (int i = 0; i < 10; i++) {
        if (values[i] != values[0]) {
          fprintf(stderr, "error : inconsistent values for prefix %s: %s, %s\n",
                  prefix.ToString().c_str(), values[0].c_str(),
                  values[i].c_str());
          // we continue after error rather than exiting so that we can
          // find more errors if any
        }
        iters[i]->Next();
      }
    }

    // cleanup iterators and snapshot
    for (int i = 0; i < 10; i++) {
      // if the first iterator finished, they should have all finished
      assert(!iters[i]->Valid());
      assert(iters[i]->status().ok());
      delete iters[i];
    }
    db_->ReleaseSnapshot(snapshot);

    if (s.ok()) {
      thread->stats.AddPrefixes(1, count);
    } else {
      thread->stats.AddErrors(1);
    }

    return s;
  }

1030 1031
  // Given a key K, this creates an iterator which scans to K and then
  // does a random sequence of Next/Prev operations.
I
Igor Canadi 已提交
1032 1033
  Status MultiIterate(ThreadState* thread, const ReadOptions& readoptions,
                      ColumnFamilyHandle* column_family, const Slice& key) {
1034 1035 1036 1037
    Status s;
    const Snapshot* snapshot = db_->GetSnapshot();
    ReadOptions readoptionscopy = readoptions;
    readoptionscopy.snapshot = snapshot;
I
Igor Canadi 已提交
1038
    unique_ptr<Iterator> iter(db_->NewIterator(readoptionscopy, column_family));
1039 1040

    iter->Seek(key);
1041
    for (uint64_t i = 0; i < FLAGS_num_iterations && iter->Valid(); i++) {
1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059
      if (thread->rand.OneIn(2)) {
        iter->Next();
      } else {
        iter->Prev();
      }
    }

    if (s.ok()) {
      thread->stats.AddIterations(1);
    } else {
      thread->stats.AddErrors(1);
    }

    db_->ReleaseSnapshot(snapshot);

    return s;
  }

A
amayank 已提交
1060
  void OperateDb(ThreadState* thread) {
1061 1062
    ReadOptions read_opts(FLAGS_verify_checksum, true);
    WriteOptions write_opts;
A
amayank 已提交
1063
    char value[100];
1064 1065 1066 1067 1068 1069
    long max_key = thread->shared->GetMaxKey();
    std::string from_db;
    if (FLAGS_sync) {
      write_opts.sync = true;
    }
    write_opts.disableWAL = FLAGS_disable_wal;
1070 1071 1072
    const int prefixBound = (int)FLAGS_readpercent + (int)FLAGS_prefixpercent;
    const int writeBound = prefixBound + (int)FLAGS_writepercent;
    const int delBound = writeBound + (int)FLAGS_delpercent;
1073 1074

    thread->stats.Start();
1075
    for (uint64_t i = 0; i < FLAGS_ops_per_thread; i++) {
1076 1077
      if(i != 0 && (i % (FLAGS_ops_per_thread / (FLAGS_reopen + 1))) == 0) {
        {
1078
          thread->stats.FinishedSingleOp();
1079 1080 1081 1082 1083 1084 1085 1086 1087
          MutexLock l(thread->shared->GetMutex());
          thread->shared->IncVotedReopen();
          if (thread->shared->AllVotedReopen()) {
            thread->shared->GetStressTest()->Reopen();
            thread->shared->GetCondVar()->SignalAll();
          }
          else {
            thread->shared->GetCondVar()->Wait();
          }
1088 1089
          // Commenting this out as we don't want to reset stats on each open.
          // thread->stats.Start();
1090 1091
        }
      }
1092

I
Igor Canadi 已提交
1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120
      if (!FLAGS_test_batches_snapshots &&
          FLAGS_clear_column_family_one_in != 0) {
        if (thread->rand.OneIn(FLAGS_clear_column_family_one_in)) {
          // drop column family and then create it again (can't drop default)
          int cf = thread->rand.Next() % (FLAGS_column_families - 1) + 1;
          std::string new_name =
              std::to_string(new_column_family_name_.fetch_add(1));
          {
            MutexLock l(thread->shared->GetMutex());
            fprintf(
                stdout,
                "[CF %d] Dropping and recreating column family. new name: %s\n",
                cf, new_name.c_str());
          }
          thread->shared->LockColumnFamily(cf);
          Status s __attribute__((unused));
          s = db_->DropColumnFamily(column_families_[cf]);
          delete column_families_[cf];
          assert(s.ok());
          s = db_->CreateColumnFamily(ColumnFamilyOptions(options_), new_name,
                                      &column_families_[cf]);
          column_family_names_[cf] = new_name;
          thread->shared->ClearColumnFamily(cf);
          assert(s.ok());
          thread->shared->UnlockColumnFamily(cf);
        }
      }

1121
      long rand_key = thread->rand.Next() % max_key;
I
Igor Canadi 已提交
1122
      int rand_column_family = thread->rand.Next() % FLAGS_column_families;
1123 1124 1125
      std::string keystr = Key(rand_key);
      Slice key = keystr;
      int prob_op = thread->rand.Uniform(100);
I
Igor Canadi 已提交
1126 1127 1128 1129 1130 1131
      std::unique_ptr<MutexLock> l;
      if (!FLAGS_test_batches_snapshots) {
        l.reset(new MutexLock(
            thread->shared->GetMutexForKey(rand_column_family, rand_key)));
      }
      auto column_family = column_families_[rand_column_family];
1132 1133

      if (prob_op >= 0 && prob_op < (int)FLAGS_readpercent) {
1134
        // OPERATION read
1135
        if (!FLAGS_test_batches_snapshots) {
I
Igor Canadi 已提交
1136
          Status s = db_->Get(read_opts, column_family, key, &from_db);
1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147
          if (s.ok()) {
            // found case
            thread->stats.AddGets(1, 1);
          } else if (s.IsNotFound()) {
            // not found case
            thread->stats.AddGets(1, 0);
          } else {
            // errors case
            thread->stats.AddErrors(1);
          }
        } else {
I
Igor Canadi 已提交
1148
          MultiGet(thread, read_opts, column_family, key, &from_db);
1149
        }
1150 1151
      } else if ((int)FLAGS_readpercent <= prob_op && prob_op < prefixBound) {
        // OPERATION prefix scan
1152 1153 1154 1155
        // keys are longs (e.g., 8 bytes), so we let prefixes be
        // everything except the last byte.  So there will be 2^8=256
        // keys per prefix.
        Slice prefix = Slice(key.data(), key.size() - 1);
1156
        if (!FLAGS_test_batches_snapshots) {
1157
          read_opts.prefix = &prefix;
I
Igor Canadi 已提交
1158
          Iterator* iter = db_->NewIterator(read_opts, column_family);
1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170
          int count = 0;
          for (iter->SeekToFirst(); iter->Valid(); iter->Next()) {
            assert(iter->key().starts_with(prefix));
            count++;
          }
          assert(count <= 256);
          if (iter->status().ok()) {
            thread->stats.AddPrefixes(1, count);
          } else {
            thread->stats.AddErrors(1);
          }
          delete iter;
1171
        } else {
I
Igor Canadi 已提交
1172
          MultiPrefixScan(thread, read_opts, column_family, prefix);
A
amayank 已提交
1173
        }
I
Igor Canadi 已提交
1174
        read_opts.prefix = nullptr;
1175 1176
      } else if (prefixBound <= prob_op && prob_op < writeBound) {
        // OPERATION write
1177 1178 1179
        uint32_t value_base = thread->rand.Next();
        size_t sz = GenerateValue(value_base, value, sizeof(value));
        Slice v(value, sz);
1180
        if (!FLAGS_test_batches_snapshots) {
1181
          if (FLAGS_verify_before_write) {
I
Igor Canadi 已提交
1182 1183
            std::string keystr2 = Key(rand_key);
            Slice k = keystr2;
I
Igor Canadi 已提交
1184 1185 1186
            Status s = db_->Get(read_opts, column_family, k, &from_db);
            VerifyValue(rand_column_family, rand_key, read_opts,
                        *(thread->shared), from_db, s, true);
1187
          }
I
Igor Canadi 已提交
1188
          thread->shared->Put(rand_column_family, rand_key, value_base);
1189
          if (FLAGS_use_merge) {
I
Igor Canadi 已提交
1190
            db_->Merge(write_opts, column_family, key, v);
D
Deon Nicholas 已提交
1191
          } else {
I
Igor Canadi 已提交
1192
            db_->Put(write_opts, column_family, key, v);
D
Deon Nicholas 已提交
1193
          }
1194 1195
          thread->stats.AddBytesForWrites(1, sz);
        } else {
I
Igor Canadi 已提交
1196
          MultiPut(thread, write_opts, column_family, key, v, sz);
1197
        }
I
Igor Canadi 已提交
1198
        PrintKeyValue(rand_column_family, rand_key, value, sz);
1199 1200
      } else if (writeBound <= prob_op && prob_op < delBound) {
        // OPERATION delete
1201
        if (!FLAGS_test_batches_snapshots) {
I
Igor Canadi 已提交
1202 1203
          thread->shared->Delete(rand_column_family, rand_key);
          db_->Delete(write_opts, column_family, key);
1204 1205
          thread->stats.AddDeletes(1);
        } else {
I
Igor Canadi 已提交
1206
          MultiDelete(thread, write_opts, column_family, key);
1207
        }
1208 1209
      } else {
        // OPERATION iterate
I
Igor Canadi 已提交
1210
        MultiIterate(thread, read_opts, column_family, key);
1211
      }
1212 1213
      thread->stats.FinishedSingleOp();
    }
1214

1215 1216 1217
    thread->stats.Stop();
  }

M
Mayank Agarwal 已提交
1218
  void VerifyDb(ThreadState* thread) const {
1219
    ReadOptions options(FLAGS_verify_checksum, true);
M
Mayank Agarwal 已提交
1220 1221
    const SharedState& shared = *(thread->shared);
    static const long max_key = shared.GetMaxKey();
1222
    static const long keys_per_thread = max_key / shared.GetNumThreads();
M
Mayank Agarwal 已提交
1223
    long start = keys_per_thread * thread->tid;
1224
    long end = start + keys_per_thread;
M
Mayank Agarwal 已提交
1225
    if (thread->tid == shared.GetNumThreads() - 1) {
1226 1227
      end = max_key;
    }
I
Igor Canadi 已提交
1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250
    for (size_t cf = 0; cf < column_families_.size(); ++cf) {
      if (!thread->rand.OneIn(2)) {
        // Use iterator to verify this range
        unique_ptr<Iterator> iter(
            db_->NewIterator(options, column_families_[cf]));
        iter->Seek(Key(start));
        for (long i = start; i < end; i++) {
          std::string from_db;
          std::string keystr = Key(i);
          Slice k = keystr;
          Status s = iter->status();
          if (iter->Valid()) {
            if (iter->key().compare(k) > 0) {
              s = Status::NotFound(Slice());
            } else if (iter->key().compare(k) == 0) {
              from_db = iter->value().ToString();
              iter->Next();
            } else if (iter->key().compare(k) < 0) {
              VerificationAbort("An out of range key was found", cf, i);
            }
          } else {
            // The iterator found no value for the key in question, so do not
            // move to the next item in the iterator
M
Mayank Agarwal 已提交
1251 1252
            s = Status::NotFound(Slice());
          }
I
Igor Canadi 已提交
1253 1254 1255 1256
          VerifyValue(cf, i, options, shared, from_db, s, true);
          if (from_db.length()) {
            PrintKeyValue(cf, i, from_db.data(), from_db.length());
          }
M
Mayank Agarwal 已提交
1257
        }
I
Igor Canadi 已提交
1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268
      } else {
        // Use Get to verify this range
        for (long i = start; i < end; i++) {
          std::string from_db;
          std::string keystr = Key(i);
          Slice k = keystr;
          Status s = db_->Get(options, column_families_[cf], k, &from_db);
          if (from_db.length()) {
            PrintKeyValue(cf, i, from_db.data(), from_db.length());
          }
          VerifyValue(cf, i, options, shared, from_db, s, true);
M
Mayank Agarwal 已提交
1269
        }
1270 1271 1272 1273
      }
    }
  }

I
Igor Canadi 已提交
1274 1275 1276
  void VerificationAbort(std::string msg, int cf, long key) const {
    fprintf(stderr, "Verification failed for column family %d key %ld: %s\n",
            cf, key, msg.c_str());
1277 1278 1279
    exit(1);
  }

I
Igor Canadi 已提交
1280 1281 1282
  void VerifyValue(int cf, long key, const ReadOptions& opts,
                   const SharedState& shared, const std::string& value_from_db,
                   Status s, bool strict = false) const {
1283
    // compare value_from_db with the value in the shared state
A
amayank 已提交
1284
    char value[100];
I
Igor Canadi 已提交
1285
    uint32_t value_base = shared.Get(cf, key);
1286 1287 1288 1289
    if (value_base == SharedState::SENTINEL && !strict) {
      return;
    }

1290
    if (s.ok()) {
1291
      if (value_base == SharedState::SENTINEL) {
I
Igor Canadi 已提交
1292
        VerificationAbort("Unexpected value found", cf, key);
1293
      }
A
amayank 已提交
1294
      size_t sz = GenerateValue(value_base, value, sizeof(value));
1295
      if (value_from_db.length() != sz) {
I
Igor Canadi 已提交
1296
        VerificationAbort("Length of value read is not equal", cf, key);
1297
      }
1298
      if (memcmp(value_from_db.data(), value, sz) != 0) {
I
Igor Canadi 已提交
1299
        VerificationAbort("Contents of value read don't match", cf, key);
1300 1301 1302
      }
    } else {
      if (value_base != SharedState::SENTINEL) {
I
Igor Canadi 已提交
1303
        VerificationAbort("Value not found", cf, key);
1304 1305 1306 1307
      }
    }
  }

I
Igor Canadi 已提交
1308 1309 1310 1311 1312 1313 1314
  static void PrintKeyValue(int cf, uint32_t key, const char* value,
                            size_t sz) {
    if (!FLAGS_verbose) {
      return;
    }
    fprintf(stdout, "[CF %d] %u ==> (%u) ", cf, key, (unsigned int)sz);
    for (size_t i = 0; i < sz; i++) {
1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326
      fprintf(stdout, "%X", value[i]);
    }
    fprintf(stdout, "\n");
  }

  static size_t GenerateValue(uint32_t rand, char *v, size_t max_sz) {
    size_t value_sz = ((rand % 3) + 1) * FLAGS_value_size_mult;
    assert(value_sz <= max_sz && value_sz >= sizeof(uint32_t));
    *((uint32_t*)v) = rand;
    for (size_t i=sizeof(uint32_t); i < value_sz; i++) {
      v[i] = (char)(rand ^ i);
    }
1327
    v[value_sz] = '\0';
1328 1329 1330 1331
    return value_sz; // the size of the value set.
  }

  void PrintEnv() const {
I
Igor Canadi 已提交
1332 1333 1334 1335 1336 1337 1338
    fprintf(stdout, "RocksDB version     : %d.%d\n", kMajorVersion,
            kMinorVersion);
    fprintf(stdout, "Column families     : %d\n", FLAGS_column_families);
    if (!FLAGS_test_batches_snapshots) {
      fprintf(stdout, "Clear CFs one in    : %d\n",
              FLAGS_clear_column_family_one_in);
    }
1339
    fprintf(stdout, "Number of threads   : %d\n", FLAGS_threads);
K
kailiu 已提交
1340 1341 1342
    fprintf(stdout,
            "Ops per thread      : %lu\n",
            (unsigned long)FLAGS_ops_per_thread);
1343 1344 1345 1346 1347
    std::string ttl_state("unused");
    if (FLAGS_ttl > 0) {
      ttl_state = NumberToString(FLAGS_ttl);
    }
    fprintf(stdout, "Time to live(sec)   : %s\n", ttl_state.c_str());
K
Kai Liu 已提交
1348 1349 1350 1351 1352
    fprintf(stdout, "Read percentage     : %d%%\n", FLAGS_readpercent);
    fprintf(stdout, "Prefix percentage   : %d%%\n", FLAGS_prefixpercent);
    fprintf(stdout, "Write percentage    : %d%%\n", FLAGS_writepercent);
    fprintf(stdout, "Delete percentage   : %d%%\n", FLAGS_delpercent);
    fprintf(stdout, "Iterate percentage  : %d%%\n", FLAGS_iterpercent);
1353
    fprintf(stdout, "Write-buffer-size   : %d\n", FLAGS_write_buffer_size);
K
kailiu 已提交
1354 1355 1356 1357 1358 1359
    fprintf(stdout,
            "Iterations          : %lu\n",
            (unsigned long)FLAGS_num_iterations);
    fprintf(stdout,
            "Max key             : %lu\n",
            (unsigned long)FLAGS_max_key);
X
Xing Jin 已提交
1360 1361
    fprintf(stdout, "Ratio #ops/#keys    : %f\n",
            (1.0 * FLAGS_ops_per_thread * FLAGS_threads)/FLAGS_max_key);
1362
    fprintf(stdout, "Num times DB reopens: %d\n", FLAGS_reopen);
1363 1364
    fprintf(stdout, "Batches/snapshots   : %d\n",
            FLAGS_test_batches_snapshots);
X
Xing Jin 已提交
1365
    fprintf(stdout, "Purge redundant %%   : %d\n",
1366
            FLAGS_purge_redundant_percent);
1367
    fprintf(stdout, "Deletes use filter  : %d\n",
1368
            FLAGS_filter_deletes);
1369
    fprintf(stdout, "Num keys per lock   : %d\n",
1370 1371
            1 << FLAGS_log2_keys_per_lock);

1372
    const char* compression = "";
1373
    switch (FLAGS_compression_type_e) {
1374
      case rocksdb::kNoCompression:
1375
        compression = "none";
1376
        break;
1377
      case rocksdb::kSnappyCompression:
1378
        compression = "snappy";
1379
        break;
1380
      case rocksdb::kZlibCompression:
1381
        compression = "zlib";
1382
        break;
1383
      case rocksdb::kBZip2Compression:
1384
        compression = "bzip2";
1385
        break;
A
Albert Strasheim 已提交
1386 1387 1388 1389 1390 1391
      case rocksdb::kLZ4Compression:
        compression = "lz4";
      case rocksdb::kLZ4HCCompression:
        compression = "lz4hc";
        break;
      }
1392 1393

    fprintf(stdout, "Compression         : %s\n", compression);
J
Jim Paton 已提交
1394 1395 1396 1397 1398 1399

    const char* memtablerep = "";
    switch (FLAGS_rep_factory) {
      case kSkipList:
        memtablerep = "skip_list";
        break;
I
Igor Canadi 已提交
1400
      case kHashSkipList:
J
Jim Paton 已提交
1401 1402 1403 1404 1405 1406 1407 1408 1409
        memtablerep = "prefix_hash";
        break;
      case kVectorRep:
        memtablerep = "vector";
        break;
    }

    fprintf(stdout, "Memtablerep         : %s\n", memtablerep);

1410 1411 1412 1413
    fprintf(stdout, "------------------------------------------------\n");
  }

  void Open() {
1414
    assert(db_ == nullptr);
I
Igor Canadi 已提交
1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433
    options_.block_cache = cache_;
    options_.block_cache_compressed = compressed_cache_;
    options_.write_buffer_size = FLAGS_write_buffer_size;
    options_.max_write_buffer_number = FLAGS_max_write_buffer_number;
    options_.min_write_buffer_number_to_merge =
        FLAGS_min_write_buffer_number_to_merge;
    options_.max_background_compactions = FLAGS_max_background_compactions;
    options_.max_background_flushes = FLAGS_max_background_flushes;
    options_.compaction_style =
        static_cast<rocksdb::CompactionStyle>(FLAGS_compaction_style);
    options_.block_size = FLAGS_block_size;
    options_.filter_policy = filter_policy_;
    options_.prefix_extractor.reset(NewFixedPrefixTransform(FLAGS_prefix_size));
    options_.max_open_files = FLAGS_open_files;
    options_.statistics = dbstats;
    options_.env = FLAGS_env;
    options_.disableDataSync = FLAGS_disable_data_sync;
    options_.use_fsync = FLAGS_use_fsync;
    options_.allow_mmap_reads = FLAGS_mmap_read;
1434
    rocksdb_kill_odds = FLAGS_kill_random_test;
I
Igor Canadi 已提交
1435 1436 1437 1438
    options_.target_file_size_base = FLAGS_target_file_size_base;
    options_.target_file_size_multiplier = FLAGS_target_file_size_multiplier;
    options_.max_bytes_for_level_base = FLAGS_max_bytes_for_level_base;
    options_.max_bytes_for_level_multiplier =
1439
        FLAGS_max_bytes_for_level_multiplier;
I
Igor Canadi 已提交
1440 1441 1442 1443 1444 1445 1446 1447 1448 1449
    options_.level0_stop_writes_trigger = FLAGS_level0_stop_writes_trigger;
    options_.level0_slowdown_writes_trigger =
        FLAGS_level0_slowdown_writes_trigger;
    options_.level0_file_num_compaction_trigger =
        FLAGS_level0_file_num_compaction_trigger;
    options_.compression = FLAGS_compression_type_e;
    options_.create_if_missing = true;
    options_.disable_seek_compaction = FLAGS_disable_seek_compaction;
    options_.max_manifest_file_size = 10 * 1024;
    options_.filter_deletes = FLAGS_filter_deletes;
I
Igor Canadi 已提交
1450
    if ((FLAGS_prefix_size == 0) == (FLAGS_rep_factory == kHashSkipList)) {
J
Jim Paton 已提交
1451 1452 1453 1454 1455
      fprintf(stderr,
            "prefix_size should be non-zero iff memtablerep == prefix_hash\n");
      exit(1);
    }
    switch (FLAGS_rep_factory) {
I
Igor Canadi 已提交
1456
      case kHashSkipList:
I
Igor Canadi 已提交
1457
        options_.memtable_factory.reset(NewHashSkipListRepFactory());
J
Jim Paton 已提交
1458 1459 1460 1461 1462
        break;
      case kSkipList:
        // no need to do anything
        break;
      case kVectorRep:
I
Igor Canadi 已提交
1463
        options_.memtable_factory.reset(new VectorRepFactory());
J
Jim Paton 已提交
1464 1465
        break;
    }
1466
    static Random purge_percent(1000); // no benefit from non-determinism here
1467 1468
    if (static_cast<int32_t>(purge_percent.Uniform(100)) <
        FLAGS_purge_redundant_percent - 1) {
I
Igor Canadi 已提交
1469
      options_.purge_redundant_kvs_while_flush = false;
1470
    }
1471

1472
    if (FLAGS_use_merge) {
I
Igor Canadi 已提交
1473
      options_.merge_operator = MergeOperators::CreatePutOperator();
D
Deon Nicholas 已提交
1474 1475
    }

1476 1477
    // set universal style compaction configurations, if applicable
    if (FLAGS_universal_size_ratio != 0) {
I
Igor Canadi 已提交
1478 1479
      options_.compaction_options_universal.size_ratio =
          FLAGS_universal_size_ratio;
1480 1481
    }
    if (FLAGS_universal_min_merge_width != 0) {
I
Igor Canadi 已提交
1482 1483
      options_.compaction_options_universal.min_merge_width =
          FLAGS_universal_min_merge_width;
1484 1485
    }
    if (FLAGS_universal_max_merge_width != 0) {
I
Igor Canadi 已提交
1486 1487
      options_.compaction_options_universal.max_merge_width =
          FLAGS_universal_max_merge_width;
1488 1489
    }
    if (FLAGS_universal_max_size_amplification_percent != 0) {
I
Igor Canadi 已提交
1490 1491
      options_.compaction_options_universal.max_size_amplification_percent =
          FLAGS_universal_max_size_amplification_percent;
1492 1493
    }

1494
    fprintf(stdout, "DB path: [%s]\n", FLAGS_db.c_str());
1495

1496 1497
    Status s;
    if (FLAGS_ttl == -1) {
I
Igor Canadi 已提交
1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553
      std::vector<std::string> existing_column_families;
      s = DB::ListColumnFamilies(DBOptions(options_), FLAGS_db,
                                 &existing_column_families);  // ignore errors
      if (!s.ok()) {
        // DB doesn't exist
        assert(existing_column_families.empty());
        assert(column_family_names_.empty());
        column_family_names_.push_back(default_column_family_name);
      } else if (column_family_names_.empty()) {
        // this is the first call to the function Open()
        column_family_names_ = existing_column_families;
      } else {
        // this is a reopen. just assert that existing column_family_names are
        // equivalent to what we remember
        auto sorted_cfn = column_family_names_;
        sort(sorted_cfn.begin(), sorted_cfn.end());
        sort(existing_column_families.begin(), existing_column_families.end());
        if (sorted_cfn != existing_column_families) {
          fprintf(stderr,
                  "Expected column families differ from the existing:\n");
          printf("Expected: {");
          for (auto cf : sorted_cfn) {
            printf("%s ", cf.c_str());
          }
          printf("}\n");
          printf("Existing: {");
          for (auto cf : existing_column_families) {
            printf("%s ", cf.c_str());
          }
          printf("}\n");
        }
        assert(sorted_cfn == existing_column_families);
      }
      std::vector<ColumnFamilyDescriptor> cf_descriptors;
      for (auto name : column_family_names_) {
        if (name != default_column_family_name) {
          new_column_family_name_ =
              std::max(new_column_family_name_.load(), std::stoi(name) + 1);
        }
        cf_descriptors.emplace_back(name, ColumnFamilyOptions(options_));
      }
      s = DB::Open(DBOptions(options_), FLAGS_db, cf_descriptors,
                   &column_families_, &db_);
      if (s.ok()) {
        while (s.ok() &&
               column_families_.size() < (size_t)FLAGS_column_families) {
          ColumnFamilyHandle* cf = nullptr;
          std::string name = std::to_string(new_column_family_name_.load());
          new_column_family_name_++;
          s = db_->CreateColumnFamily(ColumnFamilyOptions(options_), name, &cf);
          column_families_.push_back(cf);
          column_family_names_.push_back(name);
        }
      }
      assert(!s.ok() || column_families_.size() ==
                            static_cast<size_t>(FLAGS_column_families));
1554
    } else {
I
Igor Canadi 已提交
1555 1556 1557
      StackableDB* sdb;
      s = UtilityDB::OpenTtlDB(options_, FLAGS_db, &sdb, FLAGS_ttl);
      db_ = sdb;
1558
    }
1559 1560 1561 1562 1563 1564
    if (!s.ok()) {
      fprintf(stderr, "open error: %s\n", s.ToString().c_str());
      exit(1);
    }
  }

1565
  void Reopen() {
I
Igor Canadi 已提交
1566 1567
    for (auto cf : column_families_) {
      delete cf;
1568
    }
I
Igor Canadi 已提交
1569 1570
    column_families_.clear();
    delete db_;
1571
    db_ = nullptr;
1572 1573 1574 1575 1576 1577

    num_times_reopened_++;
    double now = FLAGS_env->NowMicros();
    fprintf(stdout, "%s Reopening database for the %dth time\n",
            FLAGS_env->TimeToString((uint64_t) now/1000000).c_str(),
            num_times_reopened_);
1578 1579 1580
    Open();
  }

1581 1582
  void PrintStatistics() {
    if (dbstats) {
1583
      fprintf(stdout, "STATISTICS:\n%s\n", dbstats->ToString().c_str());
1584 1585 1586 1587
    }
  }

 private:
1588
  shared_ptr<Cache> cache_;
1589
  shared_ptr<Cache> compressed_cache_;
1590 1591
  const FilterPolicy* filter_policy_;
  DB* db_;
I
Igor Canadi 已提交
1592 1593 1594 1595
  Options options_;
  std::vector<ColumnFamilyHandle*> column_families_;
  std::vector<std::string> column_family_names_;
  std::atomic<int> new_column_family_name_;
1596
  int num_times_reopened_;
1597 1598
};

1599
}  // namespace rocksdb
1600 1601

int main(int argc, char** argv) {
I
Igor Canadi 已提交
1602 1603
  google::SetUsageMessage(std::string("\nUSAGE:\n") + std::string(argv[0]) +
                          " [OPTIONS]...");
1604 1605 1606 1607 1608 1609 1610 1611 1612
  google::ParseCommandLineFlags(&argc, &argv, true);

  if (FLAGS_statistics) {
    dbstats = rocksdb::CreateDBStatistics();
  }
  FLAGS_compression_type_e =
    StringToCompressionType(FLAGS_compression_type.c_str());
  if (!FLAGS_hdfs.empty()) {
    FLAGS_env  = new rocksdb::HdfsEnv(FLAGS_hdfs);
1613
  }
1614
  FLAGS_rep_factory = StringToRepFactory(FLAGS_memtablerep.c_str());
1615

1616 1617 1618 1619
  // The number of background threads should be at least as much the
  // max number of concurrent compactions.
  FLAGS_env->SetBackgroundThreads(FLAGS_max_background_compactions);

1620
  if ((FLAGS_readpercent + FLAGS_prefixpercent +
1621 1622 1623
       FLAGS_writepercent + FLAGS_delpercent + FLAGS_iterpercent) != 100) {
      fprintf(stderr,
              "Error: Read+Prefix+Write+Delete+Iterate percents != 100!\n");
A
amayank 已提交
1624 1625
      exit(1);
  }
1626 1627 1628 1629
  if (FLAGS_disable_wal == 1 && FLAGS_reopen > 0) {
      fprintf(stderr, "Error: Db cannot reopen safely with disable_wal set!\n");
      exit(1);
  }
1630
  if ((unsigned)FLAGS_reopen >= FLAGS_ops_per_thread) {
K
kailiu 已提交
1631 1632 1633 1634 1635
      fprintf(stderr,
              "Error: #DB-reopens should be < ops_per_thread\n"
              "Provided reopens = %d and ops_per_thread = %lu\n",
              FLAGS_reopen,
              (unsigned long)FLAGS_ops_per_thread);
1636 1637 1638
      exit(1);
  }

1639
  // Choose a location for the test database if none given with --db=<path>
1640 1641
  if (FLAGS_db.empty()) {
      std::string default_db_path;
1642
      rocksdb::Env::Default()->GetTestDirectory(&default_db_path);
1643
      default_db_path += "/dbstress";
1644
      FLAGS_db = default_db_path;
1645 1646
  }

1647
  rocksdb::StressTest stress;
1648 1649 1650
  stress.Run();
  return 0;
}