2016-03-03 20:20:25 +01:00
|
|
|
// Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
|
2017-07-16 01:03:42 +02:00
|
|
|
// This source code is licensed under both the GPLv2 (found in the
|
|
|
|
// COPYING file in the root directory) and Apache 2.0 License
|
|
|
|
// (found in the LICENSE.Apache file in the root directory).
|
2016-03-03 20:20:25 +01:00
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#ifndef ROCKSDB_LITE
|
|
|
|
|
|
|
|
#include "rocksdb/options.h"
|
2016-03-15 18:57:33 +01:00
|
|
|
#include "port/port.h"
|
2016-03-03 20:20:25 +01:00
|
|
|
#include "rocksdb/utilities/optimistic_transaction_db.h"
|
|
|
|
#include "rocksdb/utilities/transaction_db.h"
|
|
|
|
|
2020-02-20 21:07:53 +01:00
|
|
|
namespace ROCKSDB_NAMESPACE {
|
2016-03-03 20:20:25 +01:00
|
|
|
|
|
|
|
class DB;
|
|
|
|
class Random64;
|
|
|
|
|
|
|
|
// Utility class for stress testing transactions. Can be used to write many
|
|
|
|
// transactions in parallel and then validate that the data written is logically
|
|
|
|
// consistent. This class assumes the input DB is initially empty.
|
|
|
|
//
|
|
|
|
// Each call to TransactionDBInsert()/OptimisticTransactionDBInsert() will
|
|
|
|
// increment the value of a key in #num_sets sets of keys. Regardless of
|
|
|
|
// whether the transaction succeeds, the total sum of values of keys in each
|
|
|
|
// set is an invariant that should remain equal.
|
|
|
|
//
|
|
|
|
// After calling TransactionDBInsert()/OptimisticTransactionDBInsert() many
|
|
|
|
// times, Verify() can be called to validate that the invariant holds.
|
|
|
|
//
|
|
|
|
// To test writing Transaction in parallel, multiple threads can create a
|
|
|
|
// RandomTransactionInserter with similar arguments using the same DB.
|
|
|
|
class RandomTransactionInserter {
|
|
|
|
public:
|
|
|
|
// num_keys is the number of keys in each set.
|
|
|
|
// num_sets is the number of sets of keys.
|
2019-02-12 00:59:30 +01:00
|
|
|
// cmt_delay_ms is the delay between prepare (if there is any) and commit
|
|
|
|
// first_id is the id of the first transaction
|
2016-03-03 20:20:25 +01:00
|
|
|
explicit RandomTransactionInserter(
|
|
|
|
Random64* rand, const WriteOptions& write_options = WriteOptions(),
|
|
|
|
const ReadOptions& read_options = ReadOptions(), uint64_t num_keys = 1000,
|
2019-02-12 00:59:30 +01:00
|
|
|
uint16_t num_sets = 3, const uint64_t cmt_delay_ms = 0,
|
|
|
|
const uint64_t first_id = 0);
|
2016-03-03 20:20:25 +01:00
|
|
|
|
|
|
|
~RandomTransactionInserter();
|
|
|
|
|
|
|
|
// Increment a key in each set using a Transaction on a TransactionDB.
|
|
|
|
//
|
|
|
|
// Returns true if the transaction succeeded OR if any error encountered was
|
|
|
|
// expected (eg a write-conflict). Error status may be obtained by calling
|
|
|
|
// GetLastStatus();
|
|
|
|
bool TransactionDBInsert(
|
|
|
|
TransactionDB* db,
|
|
|
|
const TransactionOptions& txn_options = TransactionOptions());
|
|
|
|
|
|
|
|
// Increment a key in each set using a Transaction on an
|
|
|
|
// OptimisticTransactionDB
|
|
|
|
//
|
|
|
|
// Returns true if the transaction succeeded OR if any error encountered was
|
|
|
|
// expected (eg a write-conflict). Error status may be obtained by calling
|
|
|
|
// GetLastStatus();
|
|
|
|
bool OptimisticTransactionDBInsert(
|
|
|
|
OptimisticTransactionDB* db,
|
|
|
|
const OptimisticTransactionOptions& txn_options =
|
|
|
|
OptimisticTransactionOptions());
|
|
|
|
// Increment a key in each set without using a transaction. If this function
|
|
|
|
// is called in parallel, then Verify() may fail.
|
|
|
|
//
|
|
|
|
// Returns true if the write succeeds.
|
|
|
|
// Error status may be obtained by calling GetLastStatus().
|
|
|
|
bool DBInsert(DB* db);
|
|
|
|
|
2017-12-06 18:32:09 +01:00
|
|
|
// Get the ikey'th key from set set_i
|
|
|
|
static Status DBGet(DB* db, Transaction* txn, ReadOptions& read_options,
|
|
|
|
uint16_t set_i, uint64_t ikey, bool get_for_update,
|
|
|
|
uint64_t* int_value, std::string* full_key,
|
|
|
|
bool* unexpected_error);
|
|
|
|
|
2016-03-03 20:20:25 +01:00
|
|
|
// Returns OK if Invariant is true.
|
2017-12-06 18:32:09 +01:00
|
|
|
static Status Verify(DB* db, uint16_t num_sets, uint64_t num_keys_per_set = 0,
|
2019-02-12 00:59:30 +01:00
|
|
|
bool take_snapshot = false, Random64* rand = nullptr,
|
|
|
|
uint64_t delay_ms = 0);
|
2016-03-03 20:20:25 +01:00
|
|
|
|
|
|
|
// Returns the status of the previous Insert operation
|
|
|
|
Status GetLastStatus() { return last_status_; }
|
|
|
|
|
|
|
|
// Returns the number of successfully written calls to
|
|
|
|
// TransactionDBInsert/OptimisticTransactionDBInsert/DBInsert
|
|
|
|
uint64_t GetSuccessCount() { return success_count_; }
|
|
|
|
|
|
|
|
// Returns the number of calls to
|
|
|
|
// TransactionDBInsert/OptimisticTransactionDBInsert/DBInsert that did not
|
|
|
|
// write any data.
|
|
|
|
uint64_t GetFailureCount() { return failure_count_; }
|
|
|
|
|
2017-10-17 03:29:50 +02:00
|
|
|
// Returns the sum of user keys/values Put() to the DB.
|
|
|
|
size_t GetBytesInserted() { return bytes_inserted_; }
|
|
|
|
|
2016-03-03 20:20:25 +01:00
|
|
|
private:
|
|
|
|
// Input options
|
|
|
|
Random64* rand_;
|
|
|
|
const WriteOptions write_options_;
|
2017-12-06 18:32:09 +01:00
|
|
|
ReadOptions read_options_;
|
2016-03-03 20:20:25 +01:00
|
|
|
const uint64_t num_keys_;
|
|
|
|
const uint16_t num_sets_;
|
|
|
|
|
|
|
|
// Number of successful insert batches performed
|
|
|
|
uint64_t success_count_ = 0;
|
|
|
|
|
|
|
|
// Number of failed insert batches attempted
|
|
|
|
uint64_t failure_count_ = 0;
|
|
|
|
|
2017-10-17 03:29:50 +02:00
|
|
|
size_t bytes_inserted_ = 0;
|
|
|
|
|
2016-03-03 20:20:25 +01:00
|
|
|
// Status returned by most recent insert operation
|
|
|
|
Status last_status_;
|
|
|
|
|
|
|
|
// optimization: re-use allocated transaction objects.
|
|
|
|
Transaction* txn_ = nullptr;
|
|
|
|
Transaction* optimistic_txn_ = nullptr;
|
|
|
|
|
2019-02-12 00:59:30 +01:00
|
|
|
uint64_t txn_id_;
|
|
|
|
// The delay between ::Prepare and ::Commit
|
|
|
|
const uint64_t cmt_delay_ms_;
|
2017-06-24 23:06:43 +02:00
|
|
|
|
2016-03-03 20:20:25 +01:00
|
|
|
bool DoInsert(DB* db, Transaction* txn, bool is_optimistic);
|
|
|
|
};
|
|
|
|
|
2020-02-20 21:07:53 +01:00
|
|
|
} // namespace ROCKSDB_NAMESPACE
|
2016-03-03 20:20:25 +01:00
|
|
|
|
|
|
|
#endif // ROCKSDB_LITE
|