db_impl.cc 138.7 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.
//
J
jorlow@chromium.org 已提交
6 7 8 9 10 11
// 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.

#include "db/db_impl.h"

I
Igor Canadi 已提交
12 13 14
#define __STDC_FORMAT_MACROS

#include <inttypes.h>
J
jorlow@chromium.org 已提交
15
#include <algorithm>
16 17
#include <climits>
#include <cstdio>
J
jorlow@chromium.org 已提交
18
#include <set>
19
#include <stdexcept>
20 21
#include <stdint.h>
#include <string>
22
#include <unordered_set>
23
#include <unordered_map>
T
Tomislav Novak 已提交
24
#include <utility>
25
#include <vector>
26

J
jorlow@chromium.org 已提交
27
#include "db/builder.h"
28
#include "db/db_iter.h"
K
kailiu 已提交
29
#include "db/dbformat.h"
J
jorlow@chromium.org 已提交
30 31 32 33
#include "db/filename.h"
#include "db/log_reader.h"
#include "db/log_writer.h"
#include "db/memtable.h"
K
kailiu 已提交
34
#include "db/memtable_list.h"
35
#include "db/merge_context.h"
36
#include "db/merge_helper.h"
T
Tyler Harter 已提交
37
#include "db/prefix_filter_iterator.h"
J
jorlow@chromium.org 已提交
38
#include "db/table_cache.h"
K
kailiu 已提交
39
#include "db/table_properties_collector.h"
T
Tomislav Novak 已提交
40
#include "db/tailing_iter.h"
41
#include "db/transaction_log_impl.h"
J
jorlow@chromium.org 已提交
42 43
#include "db/version_set.h"
#include "db/write_batch_internal.h"
44
#include "port/port.h"
I
Igor Canadi 已提交
45
#include "rocksdb/cache.h"
46 47 48 49 50 51
#include "rocksdb/compaction_filter.h"
#include "rocksdb/db.h"
#include "rocksdb/env.h"
#include "rocksdb/merge_operator.h"
#include "rocksdb/statistics.h"
#include "rocksdb/status.h"
S
Siying Dong 已提交
52
#include "rocksdb/table.h"
J
jorlow@chromium.org 已提交
53
#include "table/block.h"
54
#include "table/block_based_table_factory.h"
J
jorlow@chromium.org 已提交
55
#include "table/merger.h"
K
kailiu 已提交
56
#include "table/table_builder.h"
J
jorlow@chromium.org 已提交
57
#include "table/two_level_iterator.h"
58
#include "util/auto_roll_logger.h"
K
kailiu 已提交
59
#include "util/autovector.h"
60
#include "util/build_version.h"
J
jorlow@chromium.org 已提交
61
#include "util/coding.h"
I
Igor Canadi 已提交
62
#include "util/hash_skiplist_rep.h"
J
jorlow@chromium.org 已提交
63 64
#include "util/logging.h"
#include "util/mutexlock.h"
65
#include "util/perf_context_imp.h"
66
#include "util/stop_watch.h"
J
jorlow@chromium.org 已提交
67

68
namespace rocksdb {
J
jorlow@chromium.org 已提交
69

70
const std::string default_column_family_name("default");
71

K
kailiu 已提交
72
void DumpLeveldbBuildVersion(Logger * log);
73

74 75 76 77 78
// Information kept for every waiting writer
struct DBImpl::Writer {
  Status status;
  WriteBatch* batch;
  bool sync;
H
heyongqiang 已提交
79
  bool disableWAL;
80 81 82 83 84 85
  bool done;
  port::CondVar cv;

  explicit Writer(port::Mutex* mu) : cv(mu) { }
};

J
jorlow@chromium.org 已提交
86 87 88
struct DBImpl::CompactionState {
  Compaction* const compaction;

89 90 91 92 93
  // If there were two snapshots with seq numbers s1 and
  // s2 and s1 < s2, and if we find two instances of a key k1 then lies
  // entirely within s1 and s2, then the earlier version of k1 can be safely
  // deleted because that version is not visible in any snapshot.
  std::vector<SequenceNumber> existing_snapshots;
J
jorlow@chromium.org 已提交
94 95 96 97 98 99

  // Files produced by compaction
  struct Output {
    uint64_t number;
    uint64_t file_size;
    InternalKey smallest, largest;
100
    SequenceNumber smallest_seqno, largest_seqno;
J
jorlow@chromium.org 已提交
101 102
  };
  std::vector<Output> outputs;
103
  std::list<uint64_t> allocated_file_numbers;
J
jorlow@chromium.org 已提交
104 105

  // State kept for output being generated
106 107
  unique_ptr<WritableFile> outfile;
  unique_ptr<TableBuilder> builder;
J
jorlow@chromium.org 已提交
108 109 110 111 112 113 114 115 116

  uint64_t total_bytes;

  Output* current_output() { return &outputs[outputs.size()-1]; }

  explicit CompactionState(Compaction* c)
      : compaction(c),
        total_bytes(0) {
  }
117 118 119 120 121

  // Create a client visible context of this compaction
  CompactionFilter::Context GetFilterContext() {
    CompactionFilter::Context context;
    context.is_full_compaction = compaction->IsFullCompaction();
122
    context.is_manual_compaction = compaction->IsManualCompaction();
123 124
    return context;
  }
J
jorlow@chromium.org 已提交
125 126
};

127
namespace {
J
jorlow@chromium.org 已提交
128
// Fix user-supplied options to be reasonable
129
template <class T, class V>
J
jorlow@chromium.org 已提交
130
static void ClipToRange(T* ptr, V minvalue, V maxvalue) {
D
dgrogan@chromium.org 已提交
131 132
  if (static_cast<V>(*ptr) > maxvalue) *ptr = maxvalue;
  if (static_cast<V>(*ptr) < minvalue) *ptr = minvalue;
J
jorlow@chromium.org 已提交
133
}
134 135
}  // anonymous namespace

J
jorlow@chromium.org 已提交
136 137
Options SanitizeOptions(const std::string& dbname,
                        const InternalKeyComparator* icmp,
S
Sanjay Ghemawat 已提交
138
                        const InternalFilterPolicy* ipolicy,
J
jorlow@chromium.org 已提交
139
                        const Options& src) {
140 141 142 143 144 145 146
  auto db_options = SanitizeOptions(dbname, DBOptions(src));
  auto cf_options = SanitizeOptions(icmp, ipolicy, ColumnFamilyOptions(src));
  return Options(db_options, cf_options);
}

DBOptions SanitizeOptions(const std::string& dbname, const DBOptions& src) {
  DBOptions result = src;
147 148
  // result.max_open_files means an "infinite" open files.
  if (result.max_open_files != -1) {
149
    ClipToRange(&result.max_open_files, 20, 1000000);
150
  }
151 152 153
  if (result.max_background_flushes == 0) {
    result.max_background_flushes = 1;
  }
154

155
  if (result.info_log == nullptr) {
K
Kai Liu 已提交
156 157
    Status s = CreateLoggerFromOptions(dbname, result.db_log_dir, src.env,
                                       result, &result.info_log);
J
jorlow@chromium.org 已提交
158 159
    if (!s.ok()) {
      // No place suitable for logging
160
      result.info_log = nullptr;
J
jorlow@chromium.org 已提交
161 162
    }
  }
163 164 165 166 167

  if (result.wal_dir.empty()) {
    // Use dbname as default
    result.wal_dir = dbname;
  }
168

J
jorlow@chromium.org 已提交
169 170 171
  return result;
}

S
Siying Dong 已提交
172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192
CompressionType GetCompressionType(const Options& options, int level,
                                   const bool enable_compression) {
  if (!enable_compression) {
    // disable compression
    return kNoCompression;
  }
  // If the use has specified a different compression level for each level,
  // then pick the compresison for that level.
  if (!options.compression_per_level.empty()) {
    const int n = options.compression_per_level.size() - 1;
    // It is possible for level_ to be -1; in that case, we use level
    // 0's compression.  This occurs mostly in backwards compatibility
    // situations when the builder doesn't know what level the file
    // belongs to.  Likewise, if level_ is beyond the end of the
    // specified compression levels, use the last value.
    return options.compression_per_level[std::max(0, std::min(level, n))];
  } else {
    return options.compression;
  }
}

193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214
CompressionType GetCompressionFlush(const Options& options) {
  // Compressing memtable flushes might not help unless the sequential load
  // optimization is used for leveled compaction. Otherwise the CPU and
  // latency overhead is not offset by saving much space.

  bool can_compress;

  if  (options.compaction_style == kCompactionStyleUniversal) {
    can_compress =
        (options.compaction_options_universal.compression_size_percent < 0);
  } else {
    // For leveled compress when min_level_to_compress == 0.
    can_compress = (GetCompressionType(options, 0, true) != kNoCompression);
  }

  if (can_compress) {
    return options.compression;
  } else {
    return kNoCompression;
  }
}

I
Igor Canadi 已提交
215
DBImpl::DBImpl(const DBOptions& options, const std::string& dbname)
J
jorlow@chromium.org 已提交
216
    : env_(options.env),
H
heyongqiang 已提交
217
      dbname_(dbname),
I
Igor Canadi 已提交
218
      options_(SanitizeOptions(dbname, options)),
219
      db_lock_(nullptr),
H
Haobo Xu 已提交
220
      mutex_(options.use_adaptive_mutex),
221
      shutting_down_(nullptr),
J
jorlow@chromium.org 已提交
222
      bg_cv_(&mutex_),
223
      logfile_number_(0),
224
      default_cf_handle_(nullptr),
225
      tmp_batch_(),
226
      bg_compaction_scheduled_(0),
227
      bg_manual_only_(0),
228
      bg_flush_scheduled_(0),
229
      bg_logstats_scheduled_(false),
230 231
      manual_compaction_(nullptr),
      logger_(nullptr),
232
      disable_delete_obsolete_files_(0),
I
Igor Canadi 已提交
233
      delete_obsolete_files_last_run_(options.env->NowMicros()),
234
      purge_wal_files_last_run_(0),
235
      last_stats_dump_time_microsec_(0),
236
      default_interval_to_delete_obsolete_WAL_(600),
237
      flush_on_destroy_(false),
238
      delayed_writes_(0),
239 240 241
      storage_options_(options),
      bg_work_gate_closed_(false),
      refitting_level_(false) {
242

H
heyongqiang 已提交
243
  env_->GetAbsolutePath(dbname, &db_absolute_path_);
244

J
jorlow@chromium.org 已提交
245
  // Reserve ten files or so for other uses and give the rest to TableCache.
246 247
  // Give a large number for setting of "infinite" open files.
  const int table_cache_size =
248 249 250 251 252 253
      (options_.max_open_files == -1) ? 4194304 : options_.max_open_files - 10;
  // Reserve ten files or so for other uses and give the rest to TableCache.
  table_cache_ =
      NewLRUCache(table_cache_size, options_.table_cache_numshardbits,
                  options_.table_cache_remove_scan_count_limit);

I
Igor Canadi 已提交
254 255
  versions_.reset(
      new VersionSet(dbname_, &options_, storage_options_, table_cache_.get()));
256 257
  column_family_memtables_.reset(
      new ColumnFamilyMemTablesImpl(versions_->GetColumnFamilySet()));
258

K
kailiu 已提交
259
  DumpLeveldbBuildVersion(options_.info_log.get());
260
  options_.Dump(options_.info_log.get());
261

262
  char name[100];
K
kailiu 已提交
263 264
  Status s = env_->GetHostName(name, 100L);
  if (s.ok()) {
265 266 267 268 269 270
    host_name_ = name;
  } else {
    Log(options_.info_log, "Can't get hostname, use localhost as host name.");
    host_name_ = "localhost";
  }
  last_log_ts = 0;
271

I
Igor Canadi 已提交
272
  LogFlush(options_.info_log);
J
jorlow@chromium.org 已提交
273 274 275 276
}

DBImpl::~DBImpl() {
  // Wait for background work to finish
277
  mutex_.Lock();
278
  if (flush_on_destroy_) {
279
    autovector<ColumnFamilyData*> to_delete;
280 281
    for (auto cfd : *versions_->GetColumnFamilySet()) {
      if (cfd->mem()->GetFirstSequenceNumber() != 0) {
282 283
        cfd->Ref();
        mutex_.Unlock();
284
        FlushMemTable(cfd, FlushOptions());
285 286 287 288
        mutex_.Lock();
        if (cfd->Unref()) {
          to_delete.push_back(cfd);
        }
289 290
      }
    }
291 292 293
    for (auto cfd : to_delete) {
      delete cfd;
    }
294
  }
295
  shutting_down_.Release_Store(this);  // Any non-nullptr value is ok
296 297 298
  while (bg_compaction_scheduled_ ||
         bg_flush_scheduled_ ||
         bg_logstats_scheduled_) {
H
hans@chromium.org 已提交
299
    bg_cv_.Wait();
J
jorlow@chromium.org 已提交
300 301
  }
  mutex_.Unlock();
302 303 304 305
  if (default_cf_handle_ != nullptr) {
    // we need to delete handle outside of lock because it does its own locking
    delete default_cf_handle_;
  }
J
jorlow@chromium.org 已提交
306

307
  if (db_lock_ != nullptr) {
J
jorlow@chromium.org 已提交
308 309 310
    env_->UnlockFile(db_lock_);
  }

311
  // versions need to be destroyed before table_cache since it can hold
312 313
  // references to table_cache.
  versions_.reset();
314

I
Igor Canadi 已提交
315
  LogFlush(options_.info_log);
J
jorlow@chromium.org 已提交
316 317
}

A
Abhishek Kona 已提交
318
// Do not flush and close database elegantly. Simulate a crash.
319 320 321 322 323 324
void DBImpl::TEST_Destroy_DBImpl() {
  // ensure that no new memtable flushes can occur
  flush_on_destroy_ = false;

  // wait till all background compactions are done.
  mutex_.Lock();
325 326 327
  while (bg_compaction_scheduled_ ||
         bg_flush_scheduled_ ||
         bg_logstats_scheduled_) {
328 329 330 331
    bg_cv_.Wait();
  }

  // Prevent new compactions from occuring.
332
  bg_work_gate_closed_ = true;
333 334
  const int LargeNumber = 10000000;
  bg_compaction_scheduled_ += LargeNumber;
335

336
  mutex_.Unlock();
I
Igor Canadi 已提交
337
  LogFlush(options_.info_log);
338 339

  // force release the lock file.
340
  if (db_lock_ != nullptr) {
341 342
    env_->UnlockFile(db_lock_);
  }
343 344 345 346

  log_.reset();
  versions_.reset();
  table_cache_.reset();
347 348
}

A
Abhishek Kona 已提交
349 350 351
uint64_t DBImpl::TEST_Current_Manifest_FileNo() {
  return versions_->ManifestFileNumber();
}
352

J
jorlow@chromium.org 已提交
353
Status DBImpl::NewDB() {
354
  VersionEdit new_db;
355
  new_db.SetLogNumber(0);
J
jorlow@chromium.org 已提交
356 357 358 359
  new_db.SetNextFile(2);
  new_db.SetLastSequence(0);

  const std::string manifest = DescriptorFileName(dbname_, 1);
360
  unique_ptr<WritableFile> file;
361
  Status s = env_->NewWritableFile(manifest, &file, storage_options_);
J
jorlow@chromium.org 已提交
362 363 364
  if (!s.ok()) {
    return s;
  }
365
  file->SetPreallocationBlockSize(options_.manifest_preallocation_size);
J
jorlow@chromium.org 已提交
366
  {
367
    log::Writer log(std::move(file));
J
jorlow@chromium.org 已提交
368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384
    std::string record;
    new_db.EncodeTo(&record);
    s = log.AddRecord(record);
  }
  if (s.ok()) {
    // Make "CURRENT" file that points to the new manifest file.
    s = SetCurrentFile(env_, dbname_, 1);
  } else {
    env_->DeleteFile(manifest);
  }
  return s;
}

void DBImpl::MaybeIgnoreError(Status* s) const {
  if (s->ok() || options_.paranoid_checks) {
    // No change needed
  } else {
385
    Log(options_.info_log, "Ignoring error %s", s->ToString().c_str());
J
jorlow@chromium.org 已提交
386 387 388 389
    *s = Status::OK();
  }
}

390
const Status DBImpl::CreateArchivalDirectory() {
391
  if (options_.WAL_ttl_seconds > 0 || options_.WAL_size_limit_MB > 0) {
392
    std::string archivalPath = ArchivalDirectory(options_.wal_dir);
393 394 395 396 397
    return env_->CreateDirIfMissing(archivalPath);
  }
  return Status::OK();
}

398
void DBImpl::PrintStatistics() {
399
  auto dbstats = options_.statistics.get();
400 401
  if (dbstats) {
    Log(options_.info_log,
402 403
        "STATISTCS:\n %s",
        dbstats->ToString().c_str());
404 405 406
  }
}

407
void DBImpl::MaybeDumpStats() {
H
Haobo Xu 已提交
408 409 410 411 412 413 414 415 416 417 418 419 420
  if (options_.stats_dump_period_sec == 0) return;

  const uint64_t now_micros = env_->NowMicros();

  if (last_stats_dump_time_microsec_ +
      options_.stats_dump_period_sec * 1000000
      <= now_micros) {
    // Multiple threads could race in here simultaneously.
    // However, the last one will update last_stats_dump_time_microsec_
    // atomically. We could see more than one dump during one dump
    // period in rare cases.
    last_stats_dump_time_microsec_ = now_micros;
    std::string stats;
421
    GetProperty("rocksdb.stats", &stats);
H
Haobo Xu 已提交
422
    Log(options_.info_log, "%s", stats.c_str());
423
    PrintStatistics();
424 425 426
  }
}

427
// Returns the list of live files in 'sst_live' and the list
K
kailiu 已提交
428
// of all files in the filesystem in 'candidate_files'.
I
Igor Canadi 已提交
429 430 431 432 433 434 435
// no_full_scan = true -- never do the full scan using GetChildren()
// force = false -- don't force the full scan, except every
//  options_.delete_obsolete_files_period_micros
// force = true -- force the full scan
void DBImpl::FindObsoleteFiles(DeletionState& deletion_state,
                               bool force,
                               bool no_full_scan) {
D
Dhruba Borthakur 已提交
436 437
  mutex_.AssertHeld();

438
  // if deletion is disabled, do nothing
439
  if (disable_delete_obsolete_files_ > 0) {
440 441 442
    return;
  }

443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458
  bool doing_the_full_scan = false;

  // logic for figurint out if we're doing the full scan
  if (no_full_scan) {
    doing_the_full_scan = false;
  } else if (force || options_.delete_obsolete_files_period_micros == 0) {
    doing_the_full_scan = true;
  } else {
    const uint64_t now_micros = env_->NowMicros();
    if (delete_obsolete_files_last_run_ +
        options_.delete_obsolete_files_period_micros < now_micros) {
      doing_the_full_scan = true;
      delete_obsolete_files_last_run_ = now_micros;
    }
  }

I
Igor Canadi 已提交
459 460 461
  // get obsolete files
  versions_->GetObsoleteFiles(&deletion_state.sst_delete_files);

I
Igor Canadi 已提交
462 463
  // store the current filenum, lognum, etc
  deletion_state.manifest_file_number = versions_->ManifestFileNumber();
464
  deletion_state.log_number = versions_->MinLogNumber();
I
Igor Canadi 已提交
465 466
  deletion_state.prev_log_number = versions_->PrevLogNumber();

467 468 469 470 471 472 473 474
  if (!doing_the_full_scan && !deletion_state.HaveSomethingToDelete()) {
    // avoid filling up sst_live if we're sure that we
    // are not going to do the full scan and that we don't have
    // anything to delete at the moment
    return;
  }

  // don't delete live files
I
Igor Canadi 已提交
475 476 477 478
  deletion_state.sst_live.assign(pending_outputs_.begin(),
                                 pending_outputs_.end());
  versions_->AddLiveFiles(&deletion_state.sst_live);

479
  if (doing_the_full_scan) {
K
kailiu 已提交
480 481 482 483 484
    // set of all files in the directory. We'll exclude files that are still
    // alive in the subsequent processings.
    env_->GetChildren(
        dbname_, &deletion_state.candidate_files
    ); // Ignore errors
485 486 487 488 489

    //Add log files in wal_dir
    if (options_.wal_dir != dbname_) {
      std::vector<std::string> log_files;
      env_->GetChildren(options_.wal_dir, &log_files); // Ignore errors
K
kailiu 已提交
490 491
      deletion_state.candidate_files.insert(
        deletion_state.candidate_files.end(),
492 493 494
        log_files.begin(),
        log_files.end()
      );
495
    }
496
  }
497 498
}

D
Dhruba Borthakur 已提交
499
// Diffs the files listed in filenames and those that do not
I
Igor Canadi 已提交
500
// belong to live files are posibly removed. Also, removes all the
501
// files in sst_delete_files and log_delete_files.
502
// It is not necessary to hold the mutex when invoking this method.
D
Dhruba Borthakur 已提交
503
void DBImpl::PurgeObsoleteFiles(DeletionState& state) {
504
  // check if there is anything to do
K
kailiu 已提交
505 506 507
  if (state.candidate_files.empty() &&
      state.sst_delete_files.empty() &&
      state.log_delete_files.empty()) {
508 509 510
    return;
  }

I
Igor Canadi 已提交
511 512 513 514
  // this checks if FindObsoleteFiles() was run before. If not, don't do
  // PurgeObsoleteFiles(). If FindObsoleteFiles() was run, we need to also
  // run PurgeObsoleteFiles(), even if disable_delete_obsolete_files_ is true
  if (state.manifest_file_number == 0) {
I
Igor Canadi 已提交
515 516
    return;
  }
H
heyongqiang 已提交
517
  std::vector<std::string> old_log_files;
518

519 520
  // Now, convert live list to an unordered set, WITHOUT mutex held;
  // set is slow.
K
kailiu 已提交
521 522 523
  std::unordered_set<uint64_t> sst_live(
      state.sst_live.begin(), state.sst_live.end()
  );
I
Igor Canadi 已提交
524

K
kailiu 已提交
525 526 527 528 529 530 531
  auto& candidate_files = state.candidate_files;
  candidate_files.reserve(
      candidate_files.size() +
      state.sst_delete_files.size() +
      state.log_delete_files.size());
  // We may ignore the dbname when generating the file names.
  const char* kDumbDbName = "";
532
  for (auto file : state.sst_delete_files) {
K
kailiu 已提交
533 534 535
    candidate_files.push_back(
        TableFileName(kDumbDbName, file->number).substr(1)
    );
536
    delete file;
I
Igor Canadi 已提交
537 538
  }

K
kailiu 已提交
539 540 541 542 543
  for (auto file_num : state.log_delete_files) {
    if (file_num > 0) {
      candidate_files.push_back(
          LogFileName(kDumbDbName, file_num).substr(1)
      );
I
Igor Canadi 已提交
544 545
    }
  }
546

K
kailiu 已提交
547
  // dedup state.candidate_files so we don't try to delete the same
I
Igor Canadi 已提交
548
  // file twice
K
kailiu 已提交
549 550 551 552 553
  sort(candidate_files.begin(), candidate_files.end());
  candidate_files.erase(
      unique(candidate_files.begin(), candidate_files.end()),
      candidate_files.end()
  );
J
jorlow@chromium.org 已提交
554

K
kailiu 已提交
555 556 557 558 559 560 561
  for (const auto& to_delete : candidate_files) {
    uint64_t number;
    FileType type;
    // Ignore file if we cannot recognize it.
    if (!ParseFileName(to_delete, &number, &type)) {
      continue;
    }
J
jorlow@chromium.org 已提交
562

K
kailiu 已提交
563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585
    bool keep = true;
    switch (type) {
      case kLogFile:
        keep = ((number >= state.log_number) ||
                (number == state.prev_log_number));
        break;
      case kDescriptorFile:
        // Keep my manifest file, and any newer incarnations'
        // (in case there is a race that allows other incarnations)
        keep = (number >= state.manifest_file_number);
        break;
      case kTableFile:
        keep = (sst_live.find(number) != sst_live.end());
        break;
      case kTempFile:
        // Any temp files that are currently being written to must
        // be recorded in pending_outputs_, which is inserted into "live"
        keep = (sst_live.find(number) != sst_live.end());
        break;
      case kInfoLogFile:
        keep = true;
        if (number != 0) {
          old_log_files.push_back(to_delete);
J
jorlow@chromium.org 已提交
586
        }
K
kailiu 已提交
587 588 589 590 591 592 593 594 595 596 597 598 599 600 601
        break;
      case kCurrentFile:
      case kDBLockFile:
      case kIdentityFile:
      case kMetaDatabase:
        keep = true;
        break;
    }

    if (keep) {
      continue;
    }

    if (type == kTableFile) {
      // evict from cache
602
      TableCache::Evict(table_cache_.get(), number);
K
kailiu 已提交
603 604 605 606 607 608 609 610 611 612 613 614 615
    }
    std::string fname = ((type == kLogFile) ? options_.wal_dir : dbname_) +
        "/" + to_delete;
    Log(options_.info_log,
        "Delete type=%d #%lu",
        int(type),
        (unsigned long)number);

    if (type == kLogFile &&
        (options_.WAL_ttl_seconds > 0 || options_.WAL_size_limit_MB > 0)) {
      Status s = env_->RenameFile(fname,
          ArchivedLogFileName(options_.wal_dir, number));
      if (!s.ok()) {
K
Kai Liu 已提交
616
        Log(options_.info_log,
K
kailiu 已提交
617 618 619 620 621 622 623 624
            "RenameFile logfile #%lu FAILED -- %s\n",
            (unsigned long)number, s.ToString().c_str());
      }
    } else {
      Status s = env_->DeleteFile(fname);
      if (!s.ok()) {
        Log(options_.info_log, "Delete type=%d #%lu FAILED -- %s\n",
            int(type), (unsigned long)number, s.ToString().c_str());
J
jorlow@chromium.org 已提交
625 626 627
      }
    }
  }
H
heyongqiang 已提交
628

629
  // Delete old info log files.
K
Kai Liu 已提交
630 631 632 633 634
  size_t old_log_file_count = old_log_files.size();
  // NOTE: Currently we only support log purge when options_.db_log_dir is
  // located in `dbname` directory.
  if (old_log_file_count >= options_.keep_log_file_num &&
      options_.db_log_dir.empty()) {
H
heyongqiang 已提交
635
    std::sort(old_log_files.begin(), old_log_files.end());
K
Kai Liu 已提交
636
    size_t end = old_log_file_count - options_.keep_log_file_num;
637
    for (unsigned int i = 0; i <= end; i++) {
H
heyongqiang 已提交
638
      std::string& to_delete = old_log_files.at(i);
D
Dhruba Borthakur 已提交
639 640
      // Log(options_.info_log, "Delete type=%d %s\n",
      //     int(kInfoLogFile), to_delete.c_str());
H
heyongqiang 已提交
641 642 643
      env_->DeleteFile(dbname_ + "/" + to_delete);
    }
  }
644
  PurgeObsoleteWALFiles();
I
Igor Canadi 已提交
645
  LogFlush(options_.info_log);
D
Dhruba Borthakur 已提交
646 647 648 649 650
}

void DBImpl::DeleteObsoleteFiles() {
  mutex_.AssertHeld();
  DeletionState deletion_state;
I
Igor Canadi 已提交
651
  FindObsoleteFiles(deletion_state, true);
D
Dhruba Borthakur 已提交
652
  PurgeObsoleteFiles(deletion_state);
653 654
}

655 656 657 658 659 660 661 662
// 1. Go through all archived files and
//    a. if ttl is enabled, delete outdated files
//    b. if archive size limit is enabled, delete empty files,
//        compute file number and size.
// 2. If size limit is enabled:
//    a. compute how many files should be deleted
//    b. get sorted non-empty archived logs
//    c. delete what should be deleted
663
void DBImpl::PurgeObsoleteWALFiles() {
664 665 666 667 668 669
  bool const ttl_enabled = options_.WAL_ttl_seconds > 0;
  bool const size_limit_enabled =  options_.WAL_size_limit_MB > 0;
  if (!ttl_enabled && !size_limit_enabled) {
    return;
  }

670 671
  int64_t current_time;
  Status s = env_->GetCurrentTime(&current_time);
672 673 674 675 676 677 678 679
  if (!s.ok()) {
    Log(options_.info_log, "Can't get current time: %s", s.ToString().c_str());
    assert(false);
    return;
  }
  uint64_t const now_seconds = static_cast<uint64_t>(current_time);
  uint64_t const time_to_check = (ttl_enabled && !size_limit_enabled) ?
    options_.WAL_ttl_seconds / 2 : default_interval_to_delete_obsolete_WAL_;
680

681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720
  if (purge_wal_files_last_run_ + time_to_check > now_seconds) {
    return;
  }

  purge_wal_files_last_run_ = now_seconds;

  std::string archival_dir = ArchivalDirectory(options_.wal_dir);
  std::vector<std::string> files;
  s = env_->GetChildren(archival_dir, &files);
  if (!s.ok()) {
    Log(options_.info_log, "Can't get archive files: %s", s.ToString().c_str());
    assert(false);
    return;
  }

  size_t log_files_num = 0;
  uint64_t log_file_size = 0;

  for (auto& f : files) {
    uint64_t number;
    FileType type;
    if (ParseFileName(f, &number, &type) && type == kLogFile) {
      std::string const file_path = archival_dir + "/" + f;
      if (ttl_enabled) {
        uint64_t file_m_time;
        Status const s = env_->GetFileModificationTime(file_path,
          &file_m_time);
        if (!s.ok()) {
          Log(options_.info_log, "Can't get file mod time: %s: %s",
              file_path.c_str(), s.ToString().c_str());
          continue;
        }
        if (now_seconds - file_m_time > options_.WAL_ttl_seconds) {
          Status const s = env_->DeleteFile(file_path);
          if (!s.ok()) {
            Log(options_.info_log, "Can't delete file: %s: %s",
                file_path.c_str(), s.ToString().c_str());
            continue;
          }
          continue;
721
        }
722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774
      }

      if (size_limit_enabled) {
        uint64_t file_size;
        Status const s = env_->GetFileSize(file_path, &file_size);
        if (!s.ok()) {
          Log(options_.info_log, "Can't get file size: %s: %s",
              file_path.c_str(), s.ToString().c_str());
          return;
        } else {
          if (file_size > 0) {
            log_file_size = std::max(log_file_size, file_size);
            ++log_files_num;
          } else {
            Status s = env_->DeleteFile(file_path);
            if (!s.ok()) {
              Log(options_.info_log, "Can't delete file: %s: %s",
                  file_path.c_str(), s.ToString().c_str());
              continue;
            }
          }
        }
      }
    }
  }

  if (0 == log_files_num || !size_limit_enabled) {
    return;
  }

  size_t const files_keep_num = options_.WAL_size_limit_MB *
    1024 * 1024 / log_file_size;
  if (log_files_num <= files_keep_num) {
    return;
  }

  size_t files_del_num = log_files_num - files_keep_num;
  VectorLogPtr archived_logs;
  AppendSortedWalsOfType(archival_dir, archived_logs, kArchivedLogFile);

  if (files_del_num > archived_logs.size()) {
    Log(options_.info_log, "Trying to delete more archived log files than "
        "exist. Deleting all");
    files_del_num = archived_logs.size();
  }

  for (size_t i = 0; i < files_del_num; ++i) {
    std::string const file_path = archived_logs[i]->PathName();
    Status const s = DeleteFile(file_path);
    if (!s.ok()) {
      Log(options_.info_log, "Can't delete file: %s: %s",
          file_path.c_str(), s.ToString().c_str());
      continue;
775 776
    }
  }
D
Dhruba Borthakur 已提交
777 778
}

779
Status DBImpl::Recover(
780 781
    const std::vector<ColumnFamilyDescriptor>& column_families, bool read_only,
    bool error_if_log_file_exist) {
J
jorlow@chromium.org 已提交
782 783
  mutex_.AssertHeld();

784
  assert(db_lock_ == nullptr);
I
Igor Canadi 已提交
785
  if (!read_only) {
786 787 788 789 790 791 792 793 794 795 796 797
    // We call CreateDirIfMissing() as the directory may already exist (if we
    // are reopening a DB), when this happens we don't want creating the
    // directory to cause an error. However, we need to check if creating the
    // directory fails or else we may get an obscure message about the lock
    // file not existing. One real-world example of this occurring is if
    // env->CreateDirIfMissing() doesn't create intermediate directories, e.g.
    // when dbname_ is "dir/db" but when "dir" doesn't exist.
    Status s = env_->CreateDirIfMissing(dbname_);
    if (!s.ok()) {
      return s;
    }

798 799 800 801 802
    s = env_->NewDirectory(dbname_, &db_directory_);
    if (!s.ok()) {
      return s;
    }

803
    s = env_->LockFile(LockFileName(dbname_), &db_lock_);
804 805 806
    if (!s.ok()) {
      return s;
    }
J
jorlow@chromium.org 已提交
807

808 809
    if (!env_->FileExists(CurrentFileName(dbname_))) {
      if (options_.create_if_missing) {
810
        // TODO: add merge_operator name check
811 812 813 814 815 816 817
        s = NewDB();
        if (!s.ok()) {
          return s;
        }
      } else {
        return Status::InvalidArgument(
            dbname_, "does not exist (create_if_missing is false)");
J
jorlow@chromium.org 已提交
818 819
      }
    } else {
820 821 822 823
      if (options_.error_if_exists) {
        return Status::InvalidArgument(
            dbname_, "exists (error_if_exists is true)");
      }
J
jorlow@chromium.org 已提交
824
    }
M
Mayank Agarwal 已提交
825 826 827 828 829 830 831
    // Check for the IDENTITY file and create it if not there
    if (!env_->FileExists(IdentityFileName(dbname_))) {
      s = SetIdentityFile(env_, dbname_);
      if (!s.ok()) {
        return s;
      }
    }
J
jorlow@chromium.org 已提交
832 833
  }

I
Igor Canadi 已提交
834
  Status s = versions_->Recover(column_families);
J
jorlow@chromium.org 已提交
835 836
  if (s.ok()) {
    SequenceNumber max_sequence(0);
837 838
    default_cf_handle_ = new ColumnFamilyHandleImpl(
        versions_->GetColumnFamilySet()->GetDefault(), this, &mutex_);
839 840 841 842 843 844 845

    // Recover from all newer log files than the ones named in the
    // descriptor (new log files may have been added by the previous
    // incarnation without registering them in the descriptor).
    //
    // Note that PrevLogNumber() is no longer used, but we pay
    // attention to it in case we are recovering a database
846
    // produced by an older version of rocksdb.
847
    const uint64_t min_log = versions_->MinLogNumber();
848 849
    const uint64_t prev_log = versions_->PrevLogNumber();
    std::vector<std::string> filenames;
850
    s = env_->GetChildren(options_.wal_dir, &filenames);
851 852
    if (!s.ok()) {
      return s;
853
    }
K
kailiu 已提交
854

855 856
    std::vector<uint64_t> logs;
    for (size_t i = 0; i < filenames.size(); i++) {
K
kailiu 已提交
857 858
      uint64_t number;
      FileType type;
859 860 861 862 863
      if (ParseFileName(filenames[i], &number, &type)
          && type == kLogFile
          && ((number >= min_log) || (number == prev_log))) {
        logs.push_back(number);
      }
J
jorlow@chromium.org 已提交
864
    }
865

H
heyongqiang 已提交
866 867 868 869 870 871
    if (logs.size() > 0 && error_if_log_file_exist) {
      return Status::Corruption(""
          "The db was opened in readonly mode with error_if_log_file_exist"
          "flag but a log file already exists");
    }

872 873
    // Recover in the order in which the logs were generated
    std::sort(logs.begin(), logs.end());
K
kailiu 已提交
874
    for (const auto& log : logs) {
875 876 877
      // The previous incarnation may not have written any MANIFEST
      // records after allocating this log number.  So we manually
      // update the file number allocation counter in VersionSet.
K
kailiu 已提交
878
      versions_->MarkFileNumberUsed(log);
K
Kai Liu 已提交
879
      s = RecoverLogFile(log, &max_sequence, read_only);
880 881
    }

J
jorlow@chromium.org 已提交
882
    if (s.ok()) {
883 884 885
      if (versions_->LastSequence() < max_sequence) {
        versions_->SetLastSequence(max_sequence);
      }
886
      SetTickerCount(options_.statistics.get(), SEQUENCE_NUMBER,
887
                     versions_->LastSequence());
J
jorlow@chromium.org 已提交
888 889 890 891 892 893
    }
  }

  return s;
}

I
Igor Canadi 已提交
894 895
Status DBImpl::RecoverLogFile(uint64_t log_number, SequenceNumber* max_sequence,
                              bool read_only) {
J
jorlow@chromium.org 已提交
896 897
  struct LogReporter : public log::Reader::Reporter {
    Env* env;
898
    Logger* info_log;
J
jorlow@chromium.org 已提交
899
    const char* fname;
900 901
    Status* status;  // nullptr if options_.paranoid_checks==false or
                     //            options_.skip_log_error_on_recovery==true
J
jorlow@chromium.org 已提交
902
    virtual void Corruption(size_t bytes, const Status& s) {
903
      Log(info_log, "%s%s: dropping %d bytes; %s",
904
          (this->status == nullptr ? "(ignoring error) " : ""),
J
jorlow@chromium.org 已提交
905
          fname, static_cast<int>(bytes), s.ToString().c_str());
906
      if (this->status != nullptr && this->status->ok()) *this->status = s;
J
jorlow@chromium.org 已提交
907 908 909 910 911
    }
  };

  mutex_.AssertHeld();

912
  std::unordered_map<int, VersionEdit> version_edits;
913
  // no need to refcount because iteration is under mutex
914 915
  for (auto cfd : *versions_->GetColumnFamilySet()) {
    VersionEdit edit;
916 917
    edit.SetColumnFamily(cfd->GetID());
    version_edits.insert({cfd->GetID(), edit});
918
  }
I
Igor Canadi 已提交
919

J
jorlow@chromium.org 已提交
920
  // Open the log file
921
  std::string fname = LogFileName(options_.wal_dir, log_number);
922
  unique_ptr<SequentialFile> file;
923
  Status status = env_->NewSequentialFile(fname, &file, storage_options_);
J
jorlow@chromium.org 已提交
924 925 926 927 928 929 930 931
  if (!status.ok()) {
    MaybeIgnoreError(&status);
    return status;
  }

  // Create the log reader.
  LogReporter reporter;
  reporter.env = env_;
932
  reporter.info_log = options_.info_log.get();
J
jorlow@chromium.org 已提交
933
  reporter.fname = fname.c_str();
934 935
  reporter.status = (options_.paranoid_checks &&
                     !options_.skip_log_error_on_recovery ? &status : nullptr);
J
jorlow@chromium.org 已提交
936 937 938 939
  // We intentially make log::Reader do checksumming even if
  // paranoid_checks==false so that corruptions cause entire commits
  // to be skipped instead of propagating bad information (like overly
  // large sequence numbers).
940
  log::Reader reader(std::move(file), &reporter, true/*checksum*/,
941
                     0/*initial_offset*/);
K
Kai Liu 已提交
942 943
  Log(options_.info_log, "Recovering log #%lu",
      (unsigned long) log_number);
J
jorlow@chromium.org 已提交
944 945 946 947 948

  // Read all the records and add to a memtable
  std::string scratch;
  Slice record;
  WriteBatch batch;
I
Igor Canadi 已提交
949
  while (reader.ReadRecord(&record, &scratch)) {
J
jorlow@chromium.org 已提交
950 951 952 953 954 955 956
    if (record.size() < 12) {
      reporter.Corruption(
          record.size(), Status::Corruption("log record too small"));
      continue;
    }
    WriteBatchInternal::SetContents(&batch, record);

957
    status = WriteBatchInternal::InsertInto(
I
Igor Canadi 已提交
958
        &batch, column_family_memtables_.get(), true, log_number);
959

J
jorlow@chromium.org 已提交
960 961
    MaybeIgnoreError(&status);
    if (!status.ok()) {
I
Igor Canadi 已提交
962
      return status;
J
jorlow@chromium.org 已提交
963 964 965 966 967 968 969 970
    }
    const SequenceNumber last_seq =
        WriteBatchInternal::Sequence(&batch) +
        WriteBatchInternal::Count(&batch) - 1;
    if (last_seq > *max_sequence) {
      *max_sequence = last_seq;
    }

971
    if (!read_only) {
972 973
      // no need to refcount since client still doesn't have access
      // to the DB and can not drop column families while we iterate
974
      for (auto cfd : *versions_->GetColumnFamilySet()) {
975 976
        if (cfd->mem()->ApproximateMemoryUsage() >
            cfd->options()->write_buffer_size) {
977
          // If this asserts, it means that InsertInto failed in
978 979
          // filtering updates to already-flushed column families
          assert(cfd->GetLogNumber() <= log_number);
980
          auto iter = version_edits.find(cfd->GetID());
981 982
          assert(iter != version_edits.end());
          VersionEdit* edit = &iter->second;
983
          status = WriteLevel0TableForRecovery(cfd, cfd->mem(), edit);
984 985 986 987 988 989 990 991
          // we still want to clear the memtable, even if the recovery failed
          cfd->CreateNewMemtable();
          if (!status.ok()) {
            // Reflect errors immediately so that conditions like full
            // file-systems cause the DB::Open() to fail.
            return status;
          }
        }
J
jorlow@chromium.org 已提交
992 993 994 995
      }
    }
  }

996
  if (!read_only) {
997 998
    // no need to refcount since client still doesn't have access
    // to the DB and can not drop column families while we iterate
999
    for (auto cfd : *versions_->GetColumnFamilySet()) {
1000
      auto iter = version_edits.find(cfd->GetID());
1001 1002 1003
      assert(iter != version_edits.end());
      VersionEdit* edit = &iter->second;

1004 1005 1006 1007
      if (cfd->GetLogNumber() > log_number) {
        // Column family cfd has already flushed the data
        // from log_number. Memtable has to be empty because
        // we filter the updates based on log_number
1008
        // (in WriteBatch::InsertInto)
1009 1010 1011 1012 1013 1014 1015
        assert(cfd->mem()->GetFirstSequenceNumber() == 0);
        assert(edit->NumEntries() == 0);
        continue;
      }

      // flush the final memtable (if non-empty)
      if (cfd->mem()->GetFirstSequenceNumber() != 0) {
1016
        status = WriteLevel0TableForRecovery(cfd, cfd->mem(), edit);
1017
      }
1018 1019 1020 1021 1022
      // we still want to clear the memtable, even if the recovery failed
      cfd->CreateNewMemtable();
      if (!status.ok()) {
        return status;
      }
J
jorlow@chromium.org 已提交
1023

1024 1025 1026 1027 1028 1029 1030
      // write MANIFEST with update
      // writing log number in the manifest means that any log file
      // with number strongly less than (log_number + 1) is already
      // recovered and should be ignored on next reincarnation.
      // Since we already recovered log_number, we want all logs
      // with numbers `<= log_number` (includes this one) to be ignored
      edit->SetLogNumber(log_number + 1);
1031 1032 1033 1034 1035 1036
      // we must mark the next log number as used, even though it's
      // not actually used. that is because VersionSet assumes
      // VersionSet::next_file_number_ always to be strictly greater than any
      // log
      // number
      versions_->MarkFileNumberUsed(log_number + 1);
1037 1038 1039 1040 1041
      status = versions_->LogAndApply(cfd, edit, &mutex_);
      if (!status.ok()) {
        return status;
      }
    }
1042
  }
I
Igor Canadi 已提交
1043

J
jorlow@chromium.org 已提交
1044 1045 1046
  return status;
}

1047 1048
Status DBImpl::WriteLevel0TableForRecovery(ColumnFamilyData* cfd, MemTable* mem,
                                           VersionEdit* edit) {
J
jorlow@chromium.org 已提交
1049
  mutex_.AssertHeld();
1050
  const uint64_t start_micros = env_->NowMicros();
J
jorlow@chromium.org 已提交
1051 1052 1053 1054
  FileMetaData meta;
  meta.number = versions_->NewFileNumber();
  pending_outputs_.insert(meta.number);
  Iterator* iter = mem->NewIterator();
1055 1056 1057
  const SequenceNumber newest_snapshot = snapshots_.GetNewest();
  const SequenceNumber earliest_seqno_in_memtable =
    mem->GetFirstSequenceNumber();
K
Kai Liu 已提交
1058 1059
  Log(options_.info_log, "Level-0 table #%lu: started",
      (unsigned long) meta.number);
1060 1061 1062 1063

  Status s;
  {
    mutex_.Unlock();
I
Igor Canadi 已提交
1064
    s = BuildTable(dbname_, env_, *cfd->full_options(), storage_options_,
1065
                   cfd->table_cache(), iter, &meta, cfd->internal_comparator(),
1066
                   newest_snapshot, earliest_seqno_in_memtable,
I
Igor Canadi 已提交
1067
                   GetCompressionFlush(*cfd->full_options()));
I
Igor Canadi 已提交
1068
    LogFlush(options_.info_log);
1069 1070 1071
    mutex_.Lock();
  }

K
Kai Liu 已提交
1072 1073 1074
  Log(options_.info_log, "Level-0 table #%lu: %lu bytes %s",
      (unsigned long) meta.number,
      (unsigned long) meta.file_size,
J
jorlow@chromium.org 已提交
1075 1076
      s.ToString().c_str());
  delete iter;
1077

1078
  pending_outputs_.erase(meta.number);
1079 1080 1081 1082 1083 1084

  // Note that if file_size is zero, the file has been deleted and
  // should not be added to the manifest.
  int level = 0;
  if (s.ok() && meta.file_size > 0) {
    edit->AddFile(level, meta.number, meta.file_size,
1085 1086
                  meta.smallest, meta.largest,
                  meta.smallest_seqno, meta.largest_seqno);
1087 1088
  }

I
Igor Canadi 已提交
1089
  InternalStats::CompactionStats stats;
1090 1091
  stats.micros = env_->NowMicros() - start_micros;
  stats.bytes_written = meta.file_size;
M
Mark Callaghan 已提交
1092
  stats.files_out_levelnp1 = 1;
1093
  cfd->internal_stats()->AddCompactionStats(level, stats);
1094
  RecordTick(options_.statistics.get(), COMPACT_WRITE_BYTES, meta.file_size);
J
jorlow@chromium.org 已提交
1095 1096 1097
  return s;
}

1098
Status DBImpl::WriteLevel0Table(ColumnFamilyData* cfd,
1099
                                autovector<MemTable*>& mems, VersionEdit* edit,
1100
                                uint64_t* filenumber) {
J
jorlow@chromium.org 已提交
1101
  mutex_.AssertHeld();
1102 1103 1104 1105 1106
  const uint64_t start_micros = env_->NowMicros();
  FileMetaData meta;
  meta.number = versions_->NewFileNumber();
  *filenumber = meta.number;
  pending_outputs_.insert(meta.number);
1107

1108 1109
  const SequenceNumber newest_snapshot = snapshots_.GetNewest();
  const SequenceNumber earliest_seqno_in_memtable =
1110
    mems[0]->GetFirstSequenceNumber();
1111
  Version* base = cfd->current();
1112
  base->Ref();          // it is likely that we do not need this reference
1113 1114 1115
  Status s;
  {
    mutex_.Unlock();
K
Kai Liu 已提交
1116
    std::vector<Iterator*> memtables;
1117
    for (MemTable* m : mems) {
1118 1119
      Log(options_.info_log,
          "[CF %u] Flushing memtable with next log file: %lu\n", cfd->GetID(),
1120
          (unsigned long)m->GetNextLogNumber());
K
Kai Liu 已提交
1121
      memtables.push_back(m->NewIterator());
1122
    }
1123 1124 1125
    Iterator* iter = NewMergingIterator(env_, &cfd->internal_comparator(),
                                        &memtables[0], memtables.size());
    Log(options_.info_log, "Level-0 flush table #%lu: started",
1126
        (unsigned long)meta.number);
1127

I
Igor Canadi 已提交
1128
    s = BuildTable(dbname_, env_, *cfd->full_options(), storage_options_,
1129
                   cfd->table_cache(), iter, &meta, cfd->internal_comparator(),
1130
                   newest_snapshot, earliest_seqno_in_memtable,
I
Igor Canadi 已提交
1131
                   GetCompressionFlush(*cfd->full_options()));
I
Igor Canadi 已提交
1132
    LogFlush(options_.info_log);
1133 1134 1135 1136 1137
    delete iter;
    Log(options_.info_log, "Level-0 flush table #%lu: %lu bytes %s",
        (unsigned long) meta.number,
        (unsigned long) meta.file_size,
        s.ToString().c_str());
1138 1139 1140
    if (!options_.disableDataSync) {
      db_directory_->Fsync();
    }
1141 1142
    mutex_.Lock();
  }
1143 1144
  base->Unref();

1145
  // re-acquire the most current version
1146
  base = cfd->current();
1147 1148 1149 1150 1151 1152

  // There could be multiple threads writing to its own level-0 file.
  // The pending_outputs cannot be cleared here, otherwise this newly
  // created file might not be considered as a live-file by another
  // compaction thread that is concurrently deleting obselete files.
  // The pending_outputs can be cleared only after the new version is
A
Abhishek Kona 已提交
1153
  // committed so that other threads can recognize this file as a
1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166
  // valid one.
  // pending_outputs_.erase(meta.number);

  // Note that if file_size is zero, the file has been deleted and
  // should not be added to the manifest.
  int level = 0;
  if (s.ok() && meta.file_size > 0) {
    const Slice min_user_key = meta.smallest.user_key();
    const Slice max_user_key = meta.largest.user_key();
    // if we have more than 1 background thread, then we cannot
    // insert files directly into higher levels because some other
    // threads could be concurrently producing compacted files for
    // that key range.
1167
    if (base != nullptr && options_.max_background_compactions <= 1 &&
1168
        cfd->options()->compaction_style == kCompactionStyleLevel) {
1169 1170 1171
      level = base->PickLevelForMemTableOutput(min_user_key, max_user_key);
    }
    edit->AddFile(level, meta.number, meta.file_size,
1172 1173
                  meta.smallest, meta.largest,
                  meta.smallest_seqno, meta.largest_seqno);
1174 1175
  }

I
Igor Canadi 已提交
1176
  InternalStats::CompactionStats stats;
1177 1178
  stats.micros = env_->NowMicros() - start_micros;
  stats.bytes_written = meta.file_size;
1179
  cfd->internal_stats()->AddCompactionStats(level, stats);
1180
  RecordTick(options_.statistics.get(), COMPACT_WRITE_BYTES, meta.file_size);
1181 1182 1183
  return s;
}

1184 1185
Status DBImpl::FlushMemTableToOutputFile(ColumnFamilyData* cfd,
                                         bool* madeProgress,
I
Igor Canadi 已提交
1186
                                         DeletionState& deletion_state) {
1187
  mutex_.AssertHeld();
1188
  assert(cfd->imm()->size() != 0);
1189
  assert(cfd->imm()->IsFlushPending());
1190 1191 1192

  // Save the contents of the earliest memtable as a new Table
  uint64_t file_number;
K
Kai Liu 已提交
1193
  autovector<MemTable*> mems;
1194
  cfd->imm()->PickMemtablesToFlush(&mems);
1195
  if (mems.empty()) {
1196
    Log(options_.info_log, "Nothing in memstore to flush");
L
Lei Jin 已提交
1197
    return Status::OK();
1198 1199 1200
  }

  // record the logfile_number_ before we release the mutex
1201 1202 1203
  // entries mems are (implicitly) sorted in ascending order by their created
  // time. We will use the first memtable's `edit` to keep the meta info for
  // this flush.
1204
  MemTable* m = mems[0];
1205 1206
  VersionEdit* edit = m->GetEdits();
  edit->SetPrevLogNumber(0);
1207 1208
  // SetLogNumber(log_num) indicates logs with number smaller than log_num
  // will no longer be picked up for recovery.
1209 1210
  edit->SetLogNumber(mems.back()->GetNextLogNumber());
  edit->SetColumnFamily(cfd->GetID());
1211

1212
  // This will release and re-acquire the mutex.
1213
  Status s = WriteLevel0Table(cfd, mems, edit, &file_number);
1214

1215
  if (s.ok() && shutting_down_.Acquire_Load() && cfd->IsDropped()) {
L
Lei Jin 已提交
1216
    s = Status::ShutdownInProgress(
1217
        "Column family closed during memtable flush");
1218
  }
J
jorlow@chromium.org 已提交
1219

L
Lei Jin 已提交
1220
  if (!s.ok()) {
1221
    cfd->imm()->RollbackMemtableFlush(mems, file_number, &pending_outputs_);
L
Lei Jin 已提交
1222
    return s;
1223
  }
J
jorlow@chromium.org 已提交
1224

1225
  // Replace immutable memtable with the generated Table
1226
  s = cfd->imm()->InstallMemtableFlushResults(
1227
      cfd, mems, versions_.get(), &mutex_, options_.info_log.get(), file_number,
1228
      pending_outputs_, &deletion_state.memtables_to_free, db_directory_.get());
J
jorlow@chromium.org 已提交
1229 1230

  if (s.ok()) {
1231
    InstallSuperVersion(cfd, deletion_state);
1232 1233 1234
    if (madeProgress) {
      *madeProgress = 1;
    }
1235

1236
    MaybeScheduleLogDBDeployStats();
I
Igor Canadi 已提交
1237

1238
    if (disable_delete_obsolete_files_ == 0) {
I
Igor Canadi 已提交
1239
      // add to deletion state
1240 1241 1242 1243 1244
      while (alive_log_files_.size() &&
             *alive_log_files_.begin() < versions_->MinLogNumber()) {
        deletion_state.log_delete_files.push_back(*alive_log_files_.begin());
        alive_log_files_.pop_front();
      }
1245
    }
J
jorlow@chromium.org 已提交
1246 1247 1248 1249
  }
  return s;
}

1250
Status DBImpl::CompactRange(ColumnFamilyHandle* column_family,
1251 1252
                            const Slice* begin, const Slice* end,
                            bool reduce_level, int target_level) {
1253 1254
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
I
Igor Canadi 已提交
1255 1256

  Status s = FlushMemTable(cfd, FlushOptions());
L
Lei Jin 已提交
1257 1258 1259 1260 1261
  if (!s.ok()) {
    LogFlush(options_.info_log);
    return s;
  }

G
Gabor Cselle 已提交
1262 1263 1264
  int max_level_with_files = 1;
  {
    MutexLock l(&mutex_);
I
Igor Canadi 已提交
1265 1266
    Version* base = cfd->current();
    for (int level = 1; level < cfd->NumberLevels(); level++) {
G
Gabor Cselle 已提交
1267 1268 1269 1270 1271
      if (base->OverlapInLevel(level, begin, end)) {
        max_level_with_files = level;
      }
    }
  }
1272 1273 1274
  for (int level = 0; level <= max_level_with_files; level++) {
    // in case the compaction is unversal or if we're compacting the
    // bottom-most level, the output level will be the same as input one
I
Igor Canadi 已提交
1275
    if (cfd->options()->compaction_style == kCompactionStyleUniversal ||
1276
        level == max_level_with_files) {
I
Igor Canadi 已提交
1277
      s = RunManualCompaction(cfd, level, level, begin, end);
1278
    } else {
I
Igor Canadi 已提交
1279
      s = RunManualCompaction(cfd, level, level + 1, begin, end);
L
Lei Jin 已提交
1280 1281 1282 1283
    }
    if (!s.ok()) {
      LogFlush(options_.info_log);
      return s;
1284
    }
G
Gabor Cselle 已提交
1285
  }
1286 1287

  if (reduce_level) {
I
Igor Canadi 已提交
1288
    s = ReFitLevel(cfd, max_level_with_files, target_level);
1289
  }
I
Igor Canadi 已提交
1290
  LogFlush(options_.info_log);
L
Lei Jin 已提交
1291 1292

  return s;
1293 1294 1295
}

// return the same level if it cannot be moved
I
Igor Canadi 已提交
1296
int DBImpl::FindMinimumEmptyLevelFitting(ColumnFamilyData* cfd, int level) {
1297
  mutex_.AssertHeld();
I
Igor Canadi 已提交
1298
  Version* current = cfd->current();
1299
  int minimum_level = level;
1300
  for (int i = level - 1; i > 0; --i) {
1301
    // stop if level i is not empty
1302
    if (current->NumLevelFiles(i) > 0) break;
1303
    // stop if level i is too small (cannot fit the level files)
I
Igor Canadi 已提交
1304
    if (cfd->compaction_picker()->MaxBytesForLevel(i) <
1305 1306 1307
        current->NumLevelBytes(level)) {
      break;
    }
1308 1309 1310 1311 1312 1313

    minimum_level = i;
  }
  return minimum_level;
}

I
Igor Canadi 已提交
1314 1315
Status DBImpl::ReFitLevel(ColumnFamilyData* cfd, int level, int target_level) {
  assert(level < cfd->NumberLevels());
1316

I
Igor Canadi 已提交
1317
  SuperVersion* superversion_to_free = nullptr;
1318
  SuperVersion* new_superversion = new SuperVersion();
I
Igor Canadi 已提交
1319 1320

  mutex_.Lock();
1321 1322 1323

  // only allow one thread refitting
  if (refitting_level_) {
I
Igor Canadi 已提交
1324
    mutex_.Unlock();
1325
    Log(options_.info_log, "ReFitLevel: another thread is refitting");
I
Igor Canadi 已提交
1326
    delete new_superversion;
L
Lei Jin 已提交
1327
    return Status::NotSupported("another thread is refitting");
1328 1329 1330 1331 1332
  }
  refitting_level_ = true;

  // wait for all background threads to stop
  bg_work_gate_closed_ = true;
1333
  while (bg_compaction_scheduled_ > 0 || bg_flush_scheduled_) {
1334
    Log(options_.info_log,
1335 1336
        "RefitLevel: waiting for background threads to stop: %d %d",
        bg_compaction_scheduled_, bg_flush_scheduled_);
1337 1338 1339 1340
    bg_cv_.Wait();
  }

  // move to a smaller level
1341 1342
  int to_level = target_level;
  if (target_level < 0) {
I
Igor Canadi 已提交
1343
    to_level = FindMinimumEmptyLevelFitting(cfd, level);
1344
  }
1345 1346 1347

  assert(to_level <= level);

L
Lei Jin 已提交
1348
  Status status;
1349 1350
  if (to_level < level) {
    Log(options_.info_log, "Before refitting:\n%s",
I
Igor Canadi 已提交
1351
        cfd->current()->DebugString().data());
1352

1353
    VersionEdit edit;
I
Igor Canadi 已提交
1354 1355
    edit.SetColumnFamily(cfd->GetID());
    for (const auto& f : cfd->current()->files_[level]) {
1356
      edit.DeleteFile(level, f->number);
1357 1358
      edit.AddFile(to_level, f->number, f->file_size, f->smallest, f->largest,
                   f->smallest_seqno, f->largest_seqno);
1359 1360 1361 1362
    }
    Log(options_.info_log, "Apply version edit:\n%s",
        edit.DebugString().data());

I
Igor Canadi 已提交
1363 1364
    status = versions_->LogAndApply(cfd, &edit, &mutex_, db_directory_.get());
    superversion_to_free = cfd->InstallSuperVersion(new_superversion);
I
Igor Canadi 已提交
1365
    new_superversion = nullptr;
1366 1367 1368 1369 1370

    Log(options_.info_log, "LogAndApply: %s\n", status.ToString().data());

    if (status.ok()) {
      Log(options_.info_log, "After refitting:\n%s",
I
Igor Canadi 已提交
1371
          cfd->current()->DebugString().data());
1372 1373 1374 1375 1376
    }
  }

  refitting_level_ = false;
  bg_work_gate_closed_ = false;
I
Igor Canadi 已提交
1377 1378 1379 1380

  mutex_.Unlock();
  delete superversion_to_free;
  delete new_superversion;
L
Lei Jin 已提交
1381
  return status;
G
Gabor Cselle 已提交
1382 1383
}

1384 1385 1386
int DBImpl::NumberLevels(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  return cfh->cfd()->NumberLevels();
1387 1388
}

1389 1390 1391
int DBImpl::MaxMemCompactionLevel(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  return cfh->cfd()->options()->max_mem_compaction_level;
1392 1393
}

1394 1395 1396
int DBImpl::Level0StopWriteTrigger(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  return cfh->cfd()->options()->level0_stop_writes_trigger;
1397 1398
}

1399
Status DBImpl::Flush(const FlushOptions& options,
1400 1401 1402
                     ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  return FlushMemTable(cfh->cfd(), options);
H
heyongqiang 已提交
1403 1404
}

1405
SequenceNumber DBImpl::GetLatestSequenceNumber() const {
1406 1407 1408
  return versions_->LastSequence();
}

1409
Status DBImpl::GetUpdatesSince(SequenceNumber seq,
1410
                               unique_ptr<TransactionLogIterator>* iter) {
1411

1412
  RecordTick(options_.statistics.get(), GET_UPDATES_SINCE_CALLS);
1413
  if (seq > versions_->LastSequence()) {
L
Lei Jin 已提交
1414 1415
    return Status::NotFound(
        "Requested sequence not yet written in the db");
1416 1417
  }
  //  Get all sorted Wal Files.
1418 1419
  //  Do binary search and open files and find the seq number.

1420 1421
  std::unique_ptr<VectorLogPtr> wal_files(new VectorLogPtr);
  Status s = GetSortedWalFiles(*wal_files);
1422 1423 1424 1425
  if (!s.ok()) {
    return s;
  }

1426
  s = RetainProbableWalFiles(*wal_files, seq);
1427 1428
  if (!s.ok()) {
    return s;
1429
  }
1430
  iter->reset(
1431
    new TransactionLogIteratorImpl(options_.wal_dir,
1432
                                   &options_,
1433
                                   storage_options_,
1434
                                   seq,
1435
                                   std::move(wal_files),
1436
                                   this));
1437
  return (*iter)->status();
1438 1439
}

1440 1441
Status DBImpl::RetainProbableWalFiles(VectorLogPtr& all_logs,
                                      const SequenceNumber target) {
1442
  long start = 0; // signed to avoid overflow when target is < first file.
1443
  long end = static_cast<long>(all_logs.size()) - 1;
1444
  // Binary Search. avoid opening all files.
1445 1446
  while (end >= start) {
    long mid = start + (end - start) / 2;  // Avoid overflow.
1447 1448
    SequenceNumber current_seq_num = all_logs.at(mid)->StartSequence();
    if (current_seq_num == target) {
1449
      end = mid;
1450
      break;
1451
    } else if (current_seq_num < target) {
1452
      start = mid + 1;
1453
    } else {
1454
      end = mid - 1;
1455 1456
    }
  }
1457 1458 1459
  size_t start_index = std::max(0l, end); // end could be -ve.
  // The last wal file is always included
  all_logs.erase(all_logs.begin(), all_logs.begin() + start_index);
1460 1461 1462
  return Status::OK();
}

1463 1464 1465
bool DBImpl::CheckWalFileExistsAndEmpty(const WalFileType type,
                                        const uint64_t number) {
  const std::string fname = (type == kAliveLogFile) ?
1466 1467
    LogFileName(options_.wal_dir, number) :
    ArchivedLogFileName(options_.wal_dir, number);
1468 1469
  uint64_t file_size;
  Status s = env_->GetFileSize(fname, &file_size);
1470
  return (s.ok() && (file_size == 0));
1471 1472
}

1473 1474
Status DBImpl::ReadFirstRecord(const WalFileType type, const uint64_t number,
                               WriteBatch* const result) {
1475

1476
  if (type == kAliveLogFile) {
1477
    std::string fname = LogFileName(options_.wal_dir, number);
1478
    Status status = ReadFirstLine(fname, result);
L
Lei Jin 已提交
1479 1480 1481
    if (status.ok() || env_->FileExists(fname)) {
      // return OK or any error that is not caused non-existing file
      return status;
1482
    }
L
Lei Jin 已提交
1483 1484 1485 1486 1487 1488 1489 1490 1491

    //  check if the file got moved to archive.
    std::string archived_file =
      ArchivedLogFileName(options_.wal_dir, number);
    Status s = ReadFirstLine(archived_file, result);
    if (s.ok() || env_->FileExists(archived_file)) {
      return s;
    }
    return Status::NotFound("Log File has been deleted: " + archived_file);
1492
  } else if (type == kArchivedLogFile) {
1493
    std::string fname = ArchivedLogFileName(options_.wal_dir, number);
1494 1495 1496
    Status status = ReadFirstLine(fname, result);
    return status;
  }
1497
  return Status::NotSupported("File Type Not Known: " + std::to_string(type));
1498 1499 1500 1501 1502 1503 1504 1505
}

Status DBImpl::ReadFirstLine(const std::string& fname,
                             WriteBatch* const batch) {
  struct LogReporter : public log::Reader::Reporter {
    Env* env;
    Logger* info_log;
    const char* fname;
L
Lei Jin 已提交
1506 1507 1508

    Status* status;
    bool ignore_error;  // true if options_.paranoid_checks==false
1509 1510
    virtual void Corruption(size_t bytes, const Status& s) {
      Log(info_log, "%s%s: dropping %d bytes; %s",
L
Lei Jin 已提交
1511
          (this->ignore_error ? "(ignoring error) " : ""),
1512
          fname, static_cast<int>(bytes), s.ToString().c_str());
L
Lei Jin 已提交
1513 1514 1515 1516
      if (this->status->ok()) {
        // only keep the first error
        *this->status = s;
      }
1517 1518 1519
    }
  };

1520
  unique_ptr<SequentialFile> file;
1521
  Status status = env_->NewSequentialFile(fname, &file, storage_options_);
1522 1523 1524 1525 1526 1527 1528 1529

  if (!status.ok()) {
    return status;
  }


  LogReporter reporter;
  reporter.env = env_;
1530
  reporter.info_log = options_.info_log.get();
1531
  reporter.fname = fname.c_str();
L
Lei Jin 已提交
1532 1533
  reporter.status = &status;
  reporter.ignore_error = !options_.paranoid_checks;
1534
  log::Reader reader(std::move(file), &reporter, true/*checksum*/,
1535 1536 1537
                     0/*initial_offset*/);
  std::string scratch;
  Slice record;
1538

L
Lei Jin 已提交
1539 1540
  if (reader.ReadRecord(&record, &scratch) &&
      (status.ok() || !options_.paranoid_checks)) {
1541 1542 1543 1544
    if (record.size() < 12) {
      reporter.Corruption(
          record.size(), Status::Corruption("log record too small"));
      //  TODO read record's till the first no corrupt entry?
L
Lei Jin 已提交
1545 1546 1547
    } else {
      WriteBatchInternal::SetContents(batch, record);
      return Status::OK();
1548 1549
    }
  }
L
Lei Jin 已提交
1550 1551 1552 1553 1554 1555

  // ReadRecord returns false on EOF, which is deemed as OK() by Reader
  if (status.ok()) {
    status = Status::Corruption("eof reached");
  }
  return status;
1556 1557
}

1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570
struct CompareLogByPointer {
  bool operator() (const unique_ptr<LogFile>& a,
                   const unique_ptr<LogFile>& b) {
    LogFileImpl* a_impl = dynamic_cast<LogFileImpl*>(a.get());
    LogFileImpl* b_impl = dynamic_cast<LogFileImpl*>(b.get());
    return *a_impl < *b_impl;
  }
};

Status DBImpl::AppendSortedWalsOfType(const std::string& path,
    VectorLogPtr& log_files, WalFileType log_type) {
  std::vector<std::string> all_files;
  const Status status = env_->GetChildren(path, &all_files);
1571 1572 1573
  if (!status.ok()) {
    return status;
  }
1574
  log_files.reserve(log_files.size() + all_files.size());
1575 1576 1577 1578 1579 1580
  VectorLogPtr::iterator pos_start;
  if (!log_files.empty()) {
    pos_start = log_files.end() - 1;
  } else {
    pos_start = log_files.begin();
  }
1581
  for (const auto& f : all_files) {
1582 1583
    uint64_t number;
    FileType type;
1584
    if (ParseFileName(f, &number, &type) && type == kLogFile){
1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602

      WriteBatch batch;
      Status s = ReadFirstRecord(log_type, number, &batch);
      if (!s.ok()) {
        if (CheckWalFileExistsAndEmpty(log_type, number)) {
          continue;
        }
        return s;
      }

      uint64_t size_bytes;
      s = env_->GetFileSize(LogFileName(path, number), &size_bytes);
      if (!s.ok()) {
        return s;
      }

      log_files.push_back(std::move(unique_ptr<LogFile>(new LogFileImpl(
        number, log_type, WriteBatchInternal::Sequence(&batch), size_bytes))));
1603 1604
    }
  }
1605
  CompareLogByPointer compare_log_files;
1606
  std::sort(pos_start, log_files.end(), compare_log_files);
1607 1608 1609
  return status;
}

I
Igor Canadi 已提交
1610 1611
Status DBImpl::RunManualCompaction(ColumnFamilyData* cfd, int input_level,
                                   int output_level, const Slice* begin,
L
Lei Jin 已提交
1612
                                   const Slice* end) {
1613
  assert(input_level >= 0);
1614

G
Gabor Cselle 已提交
1615 1616
  InternalKey begin_storage, end_storage;

H
hans@chromium.org 已提交
1617
  ManualCompaction manual;
I
Igor Canadi 已提交
1618
  manual.cfd = cfd;
1619 1620
  manual.input_level = input_level;
  manual.output_level = output_level;
G
Gabor Cselle 已提交
1621
  manual.done = false;
1622
  manual.in_progress = false;
1623 1624 1625
  // For universal compaction, we enforce every manual compaction to compact
  // all files.
  if (begin == nullptr ||
I
Igor Canadi 已提交
1626
      cfd->options()->compaction_style == kCompactionStyleUniversal) {
1627
    manual.begin = nullptr;
G
Gabor Cselle 已提交
1628 1629 1630 1631
  } else {
    begin_storage = InternalKey(*begin, kMaxSequenceNumber, kValueTypeForSeek);
    manual.begin = &begin_storage;
  }
1632
  if (end == nullptr ||
I
Igor Canadi 已提交
1633
      cfd->options()->compaction_style == kCompactionStyleUniversal) {
1634
    manual.end = nullptr;
G
Gabor Cselle 已提交
1635 1636 1637 1638 1639 1640
  } else {
    end_storage = InternalKey(*end, 0, static_cast<ValueType>(0));
    manual.end = &end_storage;
  }

  MutexLock l(&mutex_);
1641

1642 1643 1644 1645 1646 1647
  // When a manual compaction arrives, temporarily disable scheduling of
  // non-manual compactions and wait until the number of scheduled compaction
  // jobs drops to zero. This is needed to ensure that this manual compaction
  // can compact any range of keys/files.
  //
  // bg_manual_only_ is non-zero when at least one thread is inside
1648
  // RunManualCompaction(), i.e. during that time no other compaction will
1649 1650 1651
  // get scheduled (see MaybeScheduleFlushOrCompaction).
  //
  // Note that the following loop doesn't stop more that one thread calling
1652
  // RunManualCompaction() from getting to the second while loop below.
1653 1654 1655 1656 1657 1658 1659 1660
  // However, only one of them will actually schedule compaction, while
  // others will wait on a condition variable until it completes.

  ++bg_manual_only_;
  while (bg_compaction_scheduled_ > 0) {
    Log(options_.info_log,
        "Manual compaction waiting for all other scheduled background "
        "compactions to finish");
1661 1662
    bg_cv_.Wait();
  }
1663

1664 1665
  Log(options_.info_log, "Manual compaction starting");

1666 1667 1668 1669
  while (!manual.done && !shutting_down_.Acquire_Load() && bg_error_.ok()) {
    assert(bg_manual_only_ > 0);
    if (manual_compaction_ != nullptr) {
      // Running either this or some other manual compaction
G
Gabor Cselle 已提交
1670
      bg_cv_.Wait();
1671 1672 1673
    } else {
      manual_compaction_ = &manual;
      MaybeScheduleFlushOrCompaction();
G
Gabor Cselle 已提交
1674
    }
H
hans@chromium.org 已提交
1675
  }
1676

1677 1678 1679
  assert(!manual.in_progress);
  assert(bg_manual_only_ > 0);
  --bg_manual_only_;
L
Lei Jin 已提交
1680
  return manual.status;
J
jorlow@chromium.org 已提交
1681 1682
}

1683 1684 1685 1686 1687 1688 1689 1690 1691 1692
Status DBImpl::TEST_CompactRange(int level, const Slice* begin,
                                 const Slice* end,
                                 ColumnFamilyHandle* column_family) {
  ColumnFamilyData* cfd;
  if (column_family == nullptr) {
    cfd = default_cf_handle_->cfd();
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    cfd = cfh->cfd();
  }
I
Igor Canadi 已提交
1693
  int output_level =
1694
      (cfd->options()->compaction_style == kCompactionStyleUniversal)
I
Igor Canadi 已提交
1695 1696
          ? level
          : level + 1;
1697
  return RunManualCompaction(cfd, level, output_level, begin, end);
1698 1699
}

1700 1701
Status DBImpl::FlushMemTable(ColumnFamilyData* cfd,
                             const FlushOptions& options) {
1702 1703
  // nullptr batch means just wait for earlier writes to be done
  Status s = Write(WriteOptions(), nullptr);
H
heyongqiang 已提交
1704
  if (s.ok() && options.wait) {
1705
    // Wait until the compaction completes
1706
    s = WaitForFlushMemTable(cfd);
1707 1708
  }
  return s;
J
jorlow@chromium.org 已提交
1709 1710
}

1711
Status DBImpl::WaitForFlushMemTable(ColumnFamilyData* cfd) {
1712 1713 1714
  Status s;
  // Wait until the compaction completes
  MutexLock l(&mutex_);
1715
  while (cfd->imm()->size() > 0 && bg_error_.ok()) {
1716 1717
    bg_cv_.Wait();
  }
1718
  if (!bg_error_.ok()) {
1719 1720 1721
    s = bg_error_;
  }
  return s;
H
heyongqiang 已提交
1722 1723
}

1724
Status DBImpl::TEST_FlushMemTable() {
1725
  return FlushMemTable(default_cf_handle_->cfd(), FlushOptions());
H
heyongqiang 已提交
1726 1727
}

1728 1729 1730 1731 1732 1733 1734 1735 1736
Status DBImpl::TEST_WaitForFlushMemTable(ColumnFamilyHandle* column_family) {
  ColumnFamilyData* cfd;
  if (column_family == nullptr) {
    cfd = default_cf_handle_->cfd();
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    cfd = cfh->cfd();
  }
  return WaitForFlushMemTable(cfd);
1737 1738 1739
}

Status DBImpl::TEST_WaitForCompact() {
1740
  // Wait until the compaction completes
1741 1742 1743 1744 1745

  // TODO: a bug here. This function actually does not necessarily
  // wait for compact. It actually waits for scheduled compaction
  // OR flush to finish.

1746
  MutexLock l(&mutex_);
1747 1748
  while ((bg_compaction_scheduled_ || bg_flush_scheduled_) &&
         bg_error_.ok()) {
1749 1750 1751
    bg_cv_.Wait();
  }
  return bg_error_;
1752 1753
}

1754
void DBImpl::MaybeScheduleFlushOrCompaction() {
J
jorlow@chromium.org 已提交
1755
  mutex_.AssertHeld();
1756 1757
  if (bg_work_gate_closed_) {
    // gate closed for backgrond work
J
jorlow@chromium.org 已提交
1758 1759 1760
  } else if (shutting_down_.Acquire_Load()) {
    // DB is being deleted; no more background compactions
  } else {
1761
    bool is_flush_pending = false;
1762
    // no need to refcount since we're under a mutex
1763 1764 1765 1766 1767
    for (auto cfd : *versions_->GetColumnFamilySet()) {
      if (cfd->imm()->IsFlushPending()) {
        is_flush_pending = true;
      }
    }
1768
    if (is_flush_pending) {
1769
      // memtable flush needed
1770 1771 1772 1773 1774 1775 1776
      // max_background_compactions should not be 0, because that means
      // flush will never get executed
      assert(options_.max_background_flushes != 0);
      if (bg_flush_scheduled_ < options_.max_background_flushes) {
        bg_flush_scheduled_++;
        env_->Schedule(&DBImpl::BGWorkFlush, this, Env::Priority::HIGH);
      }
1777
    }
1778
    bool is_compaction_needed = false;
1779
    // no need to refcount since we're under a mutex
1780 1781 1782 1783 1784 1785
    for (auto cfd : *versions_->GetColumnFamilySet()) {
      if (cfd->current()->NeedsCompaction()) {
        is_compaction_needed = true;
        break;
      }
    }
1786

1787 1788
    // Schedule BGWorkCompaction if there's a compaction pending
    // Do it only if max_background_compactions hasn't been reached and, in case
1789
    // bg_manual_only_ > 0, if it's a manual compaction.
1790
    if ((manual_compaction_ || is_compaction_needed) &&
1791 1792 1793
        bg_compaction_scheduled_ < options_.max_background_compactions &&
        (!bg_manual_only_ || manual_compaction_)) {

1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807
      bg_compaction_scheduled_++;
      env_->Schedule(&DBImpl::BGWorkCompaction, this, Env::Priority::LOW);
    }
  }
}

void DBImpl::BGWorkFlush(void* db) {
  reinterpret_cast<DBImpl*>(db)->BackgroundCallFlush();
}

void DBImpl::BGWorkCompaction(void* db) {
  reinterpret_cast<DBImpl*>(db)->BackgroundCallCompaction();
}

I
Igor Canadi 已提交
1808 1809
Status DBImpl::BackgroundFlush(bool* madeProgress,
                               DeletionState& deletion_state) {
1810 1811 1812 1813 1814 1815 1816
  mutex_.AssertHeld();
  // call_status is failure if at least one flush was a failure. even if
  // flushing one column family reports a failure, we will continue flushing
  // other column families. however, call_status will be a failure in that case.
  Status call_status;
  autovector<ColumnFamilyData*> to_delete;
  // refcounting in iteration
1817
  for (auto cfd : *versions_->GetColumnFamilySet()) {
1818 1819 1820 1821 1822 1823
    if (cfd->IsDropped()) {
      continue;
    }
    cfd->Ref();
    Status flush_status;
    while (flush_status.ok() && cfd->imm()->IsFlushPending()) {
1824 1825 1826 1827
      Log(options_.info_log,
          "BackgroundCallFlush doing FlushMemTableToOutputFile with column "
          "family %u, flush slots available %d",
          cfd->GetID(), options_.max_background_flushes - bg_flush_scheduled_);
1828 1829 1830 1831 1832
      flush_status =
          FlushMemTableToOutputFile(cfd, madeProgress, deletion_state);
    }
    if (call_status.ok() && !flush_status.ok()) {
      call_status = flush_status;
1833
    }
1834 1835 1836 1837 1838 1839
    if (cfd->Unref()) {
      to_delete.push_back(cfd);
    }
  }
  for (auto cfd : to_delete) {
    delete cfd;
J
jorlow@chromium.org 已提交
1840
  }
1841
  return call_status;
J
jorlow@chromium.org 已提交
1842 1843
}

1844
void DBImpl::BackgroundCallFlush() {
1845
  bool madeProgress = false;
K
Kai Liu 已提交
1846
  DeletionState deletion_state(true);
1847 1848 1849
  assert(bg_flush_scheduled_);
  MutexLock l(&mutex_);

I
Igor Canadi 已提交
1850
  Status s;
1851
  if (!shutting_down_.Acquire_Load()) {
I
Igor Canadi 已提交
1852
    s = BackgroundFlush(&madeProgress, deletion_state);
1853 1854 1855 1856 1857 1858 1859 1860 1861
    if (!s.ok()) {
      // Wait a little bit before retrying background compaction in
      // case this is an environmental problem and we do not want to
      // chew up resources for failed compactions for the duration of
      // the problem.
      bg_cv_.SignalAll();  // In case a waiter can proceed despite the error
      Log(options_.info_log, "Waiting after background flush error: %s",
          s.ToString().c_str());
      mutex_.Unlock();
I
Igor Canadi 已提交
1862
      LogFlush(options_.info_log);
1863 1864 1865 1866 1867
      env_->SleepForMicroseconds(1000000);
      mutex_.Lock();
    }
  }

I
Igor Canadi 已提交
1868 1869 1870
  // If !s.ok(), this means that Flush failed. In that case, we want
  // to delete all obsolete files and we force FindObsoleteFiles()
  FindObsoleteFiles(deletion_state, !s.ok());
I
Igor Canadi 已提交
1871
  // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
1872 1873 1874 1875 1876 1877
  if (deletion_state.HaveSomethingToDelete()) {
    mutex_.Unlock();
    PurgeObsoleteFiles(deletion_state);
    mutex_.Lock();
  }

1878
  bg_flush_scheduled_--;
1879 1880 1881
  if (madeProgress) {
    MaybeScheduleFlushOrCompaction();
  }
1882
  bg_cv_.SignalAll();
J
jorlow@chromium.org 已提交
1883 1884
}

1885

1886 1887 1888 1889
void DBImpl::TEST_PurgeObsoleteteWAL() {
  PurgeObsoleteWALFiles();
}

1890 1891
uint64_t DBImpl::TEST_GetLevel0TotalSize() {
  MutexLock l(&mutex_);
1892
  return default_cf_handle_->cfd()->current()->NumLevelBytes(0);
1893 1894
}

1895
void DBImpl::BackgroundCallCompaction() {
1896
  bool madeProgress = false;
K
Kai Liu 已提交
1897
  DeletionState deletion_state(true);
H
Haobo Xu 已提交
1898 1899 1900

  MaybeDumpStats();

J
jorlow@chromium.org 已提交
1901
  MutexLock l(&mutex_);
1902
  // Log(options_.info_log, "XXX BG Thread %llx process new work item", pthread_self());
J
jorlow@chromium.org 已提交
1903
  assert(bg_compaction_scheduled_);
I
Igor Canadi 已提交
1904
  Status s;
H
hans@chromium.org 已提交
1905
  if (!shutting_down_.Acquire_Load()) {
I
Igor Canadi 已提交
1906
    s = BackgroundCompaction(&madeProgress, deletion_state);
1907 1908 1909 1910 1911 1912 1913 1914 1915
    if (!s.ok()) {
      // Wait a little bit before retrying background compaction in
      // case this is an environmental problem and we do not want to
      // chew up resources for failed compactions for the duration of
      // the problem.
      bg_cv_.SignalAll();  // In case a waiter can proceed despite the error
      Log(options_.info_log, "Waiting after background compaction error: %s",
          s.ToString().c_str());
      mutex_.Unlock();
I
Igor Canadi 已提交
1916
      LogFlush(options_.info_log);
1917 1918 1919
      env_->SleepForMicroseconds(1000000);
      mutex_.Lock();
    }
J
jorlow@chromium.org 已提交
1920
  }
1921

I
Igor Canadi 已提交
1922 1923 1924 1925 1926
  // If !s.ok(), this means that Compaction failed. In that case, we want
  // to delete all obsolete files we might have created and we force
  // FindObsoleteFiles(). This is because deletion_state does not catch
  // all created files if compaction failed.
  FindObsoleteFiles(deletion_state, !s.ok());
1927

I
Igor Canadi 已提交
1928
  // delete unnecessary files if any, this is done outside the mutex
I
Igor Canadi 已提交
1929
  if (deletion_state.HaveSomethingToDelete()) {
D
Dhruba Borthakur 已提交
1930 1931
    mutex_.Unlock();
    PurgeObsoleteFiles(deletion_state);
1932
    mutex_.Lock();
D
Dhruba Borthakur 已提交
1933 1934
  }

1935
  bg_compaction_scheduled_--;
J
jorlow@chromium.org 已提交
1936

1937 1938
  MaybeScheduleLogDBDeployStats();

J
jorlow@chromium.org 已提交
1939
  // Previous compaction may have produced too many files in a level,
A
Abhishek Kona 已提交
1940
  // So reschedule another compaction if we made progress in the
1941 1942
  // last compaction.
  if (madeProgress) {
1943
    MaybeScheduleFlushOrCompaction();
1944
  }
H
hans@chromium.org 已提交
1945
  bg_cv_.SignalAll();
1946

J
jorlow@chromium.org 已提交
1947 1948
}

A
Abhishek Kona 已提交
1949
Status DBImpl::BackgroundCompaction(bool* madeProgress,
I
Igor Canadi 已提交
1950
                                    DeletionState& deletion_state) {
1951
  *madeProgress = false;
J
jorlow@chromium.org 已提交
1952
  mutex_.AssertHeld();
1953

1954
  unique_ptr<Compaction> c;
1955 1956
  bool is_manual = (manual_compaction_ != nullptr) &&
                   (manual_compaction_->in_progress == false);
1957 1958
  InternalKey manual_end_storage;
  InternalKey* manual_end = &manual_end_storage;
H
hans@chromium.org 已提交
1959
  if (is_manual) {
G
Gabor Cselle 已提交
1960
    ManualCompaction* m = manual_compaction_;
1961
    m->in_progress = true;
I
Igor Canadi 已提交
1962 1963
    c.reset(m->cfd->CompactRange(m->input_level, m->output_level, m->begin,
                                 m->end, &manual_end));
1964
    if (!c) {
1965
      m->done = true;
G
Gabor Cselle 已提交
1966 1967
    }
    Log(options_.info_log,
1968 1969 1970 1971
        "Manual compaction from level-%d to level-%d from %s .. %s; will stop "
        "at %s\n",
        m->input_level,
        m->output_level,
G
Gabor Cselle 已提交
1972 1973
        (m->begin ? m->begin->DebugString().c_str() : "(begin)"),
        (m->end ? m->end->DebugString().c_str() : "(end)"),
1974 1975 1976
        ((m->done || manual_end == nullptr)
             ? "(end)"
             : manual_end->DebugString().c_str()));
I
Igor Canadi 已提交
1977
  } else {
1978
    // no need to refcount in iteration since it's always under a mutex
I
Igor Canadi 已提交
1979
    for (auto cfd : *versions_->GetColumnFamilySet()) {
1980
      if (!cfd->options()->disable_auto_compactions && !cfd->IsDropped()) {
I
Igor Canadi 已提交
1981 1982 1983 1984 1985 1986 1987
        c.reset(cfd->PickCompaction());
        if (c != nullptr) {
          // update statistics
          MeasureTime(options_.statistics.get(), NUM_FILES_IN_SINGLE_COMPACTION,
                      c->inputs(0)->size());
          break;
        }
I
Igor Canadi 已提交
1988 1989
      }
    }
J
jorlow@chromium.org 已提交
1990 1991 1992
  }

  Status status;
1993
  if (!c) {
H
hans@chromium.org 已提交
1994
    // Nothing to do
1995
    Log(options_.info_log, "Compaction nothing to do");
H
hans@chromium.org 已提交
1996
  } else if (!is_manual && c->IsTrivialMove()) {
J
jorlow@chromium.org 已提交
1997
    // Move file to next level
1998
    assert(c->num_input_files(0) == 1);
J
jorlow@chromium.org 已提交
1999 2000 2001
    FileMetaData* f = c->input(0, 0);
    c->edit()->DeleteFile(c->level(), f->number);
    c->edit()->AddFile(c->level() + 1, f->number, f->file_size,
2002 2003
                       f->smallest, f->largest,
                       f->smallest_seqno, f->largest_seqno);
I
Igor Canadi 已提交
2004
    status = versions_->LogAndApply(c->column_family_data(), c->edit(), &mutex_,
2005
                                    db_directory_.get());
I
Igor Canadi 已提交
2006
    InstallSuperVersion(c->column_family_data(), deletion_state);
2007

2008
    Version::LevelSummaryStorage tmp;
2009
    Log(options_.info_log, "Moved #%lld to level-%d %lld bytes %s: %s\n",
2010
        static_cast<unsigned long long>(f->number), c->level() + 1,
J
jorlow@chromium.org 已提交
2011
        static_cast<unsigned long long>(f->file_size),
I
Igor Canadi 已提交
2012 2013
        status.ToString().c_str(), c->input_version()->LevelSummary(&tmp));
    c->ReleaseCompactionFiles(status);
2014
    *madeProgress = true;
J
jorlow@chromium.org 已提交
2015
  } else {
2016
    MaybeScheduleFlushOrCompaction(); // do more compaction work in parallel.
2017
    CompactionState* compact = new CompactionState(c.get());
I
Igor Canadi 已提交
2018
    status = DoCompactionWork(compact, deletion_state);
2019
    CleanupCompaction(compact, status);
I
Igor Canadi 已提交
2020
    c->ReleaseCompactionFiles(status);
2021
    c->ReleaseInputs();
2022
    *madeProgress = true;
J
jorlow@chromium.org 已提交
2023
  }
2024
  c.reset();
J
jorlow@chromium.org 已提交
2025 2026 2027 2028 2029 2030

  if (status.ok()) {
    // Done
  } else if (shutting_down_.Acquire_Load()) {
    // Ignore compaction errors found during shutting down
  } else {
2031
    Log(options_.info_log,
J
jorlow@chromium.org 已提交
2032 2033 2034 2035 2036
        "Compaction error: %s", status.ToString().c_str());
    if (options_.paranoid_checks && bg_error_.ok()) {
      bg_error_ = status;
    }
  }
H
hans@chromium.org 已提交
2037 2038

  if (is_manual) {
G
Gabor Cselle 已提交
2039
    ManualCompaction* m = manual_compaction_;
2040
    if (!status.ok()) {
L
Lei Jin 已提交
2041
      m->status = status;
2042 2043
      m->done = true;
    }
2044 2045 2046 2047 2048 2049 2050 2051 2052
    // For universal compaction:
    //   Because universal compaction always happens at level 0, so one
    //   compaction will pick up all overlapped files. No files will be
    //   filtered out due to size limit and left for a successive compaction.
    //   So we can safely conclude the current compaction.
    //
    //   Also note that, if we don't stop here, then the current compaction
    //   writes a new file back to level 0, which will be used in successive
    //   compaction. Hence the manual compaction will never finish.
2053 2054 2055 2056 2057
    //
    // Stop the compaction if manual_end points to nullptr -- this means
    // that we compacted the whole range. manual_end should always point
    // to nullptr in case of universal compaction
    if (manual_end == nullptr) {
2058 2059
      m->done = true;
    }
G
Gabor Cselle 已提交
2060 2061 2062
    if (!m->done) {
      // We only compacted part of the requested range.  Update *m
      // to the range that is left to be compacted.
2063
      // Universal compaction should always compact the whole range
I
Igor Canadi 已提交
2064
      assert(m->cfd->options()->compaction_style != kCompactionStyleUniversal);
2065
      m->tmp_storage = *manual_end;
G
Gabor Cselle 已提交
2066 2067
      m->begin = &m->tmp_storage;
    }
2068
    m->in_progress = false; // not being processed anymore
2069
    manual_compaction_ = nullptr;
H
hans@chromium.org 已提交
2070
  }
2071
  return status;
J
jorlow@chromium.org 已提交
2072 2073
}

2074
void DBImpl::CleanupCompaction(CompactionState* compact, Status status) {
J
jorlow@chromium.org 已提交
2075
  mutex_.AssertHeld();
2076
  if (compact->builder != nullptr) {
J
jorlow@chromium.org 已提交
2077 2078
    // May happen if we get a shutdown call in the middle of compaction
    compact->builder->Abandon();
2079
    compact->builder.reset();
J
jorlow@chromium.org 已提交
2080
  } else {
2081
    assert(compact->outfile == nullptr);
J
jorlow@chromium.org 已提交
2082
  }
D
dgrogan@chromium.org 已提交
2083
  for (size_t i = 0; i < compact->outputs.size(); i++) {
J
jorlow@chromium.org 已提交
2084 2085
    const CompactionState::Output& out = compact->outputs[i];
    pending_outputs_.erase(out.number);
2086 2087 2088 2089

    // If this file was inserted into the table cache then remove
    // them here because this compaction was not committed.
    if (!status.ok()) {
I
Igor Canadi 已提交
2090
      TableCache::Evict(table_cache_.get(), out.number);
2091
    }
J
jorlow@chromium.org 已提交
2092 2093 2094 2095
  }
  delete compact;
}

2096
// Allocate the file numbers for the output file. We allocate as
2097
// many output file numbers as there are files in level+1 (at least one)
2098 2099 2100
// Insert them into pending_outputs so that they do not get deleted.
void DBImpl::AllocateCompactionOutputFileNumbers(CompactionState* compact) {
  mutex_.AssertHeld();
2101 2102
  assert(compact != nullptr);
  assert(compact->builder == nullptr);
2103
  int filesNeeded = compact->compaction->num_input_files(1);
2104
  for (int i = 0; i < std::max(filesNeeded, 1); i++) {
2105 2106 2107 2108 2109 2110 2111 2112 2113
    uint64_t file_number = versions_->NewFileNumber();
    pending_outputs_.insert(file_number);
    compact->allocated_file_numbers.push_back(file_number);
  }
}

// Frees up unused file number.
void DBImpl::ReleaseCompactionUnusedFileNumbers(CompactionState* compact) {
  mutex_.AssertHeld();
2114
  for (const auto file_number : compact->allocated_file_numbers) {
2115 2116 2117 2118 2119
    pending_outputs_.erase(file_number);
    // Log(options_.info_log, "XXX releasing unused file num %d", file_number);
  }
}

J
jorlow@chromium.org 已提交
2120
Status DBImpl::OpenCompactionOutputFile(CompactionState* compact) {
2121 2122
  assert(compact != nullptr);
  assert(compact->builder == nullptr);
J
jorlow@chromium.org 已提交
2123
  uint64_t file_number;
2124 2125 2126 2127 2128 2129 2130
  // If we have not yet exhausted the pre-allocated file numbers,
  // then use the one from the front. Otherwise, we have to acquire
  // the heavyweight lock and allocate a new file number.
  if (!compact->allocated_file_numbers.empty()) {
    file_number = compact->allocated_file_numbers.front();
    compact->allocated_file_numbers.pop_front();
  } else {
J
jorlow@chromium.org 已提交
2131 2132 2133 2134 2135
    mutex_.Lock();
    file_number = versions_->NewFileNumber();
    pending_outputs_.insert(file_number);
    mutex_.Unlock();
  }
2136 2137 2138 2139
  CompactionState::Output out;
  out.number = file_number;
  out.smallest.Clear();
  out.largest.Clear();
2140
  out.smallest_seqno = out.largest_seqno = 0;
2141
  compact->outputs.push_back(out);
J
jorlow@chromium.org 已提交
2142 2143 2144

  // Make the output file
  std::string fname = TableFileName(dbname_, file_number);
2145
  Status s = env_->NewWritableFile(fname, &compact->outfile, storage_options_);
2146

J
jorlow@chromium.org 已提交
2147
  if (s.ok()) {
2148 2149
    // Over-estimate slightly so we don't end up just barely crossing
    // the threshold.
I
Igor Canadi 已提交
2150
    ColumnFamilyData* cfd = compact->compaction->column_family_data();
2151
    compact->outfile->SetPreallocationBlockSize(
I
Igor Canadi 已提交
2152
        1.1 * cfd->compaction_picker()->MaxFileSizeForLevel(
2153
                  compact->compaction->output_level()));
2154

S
Siying Dong 已提交
2155
    CompressionType compression_type = GetCompressionType(
I
Igor Canadi 已提交
2156
        *cfd->full_options(), compact->compaction->output_level(),
S
Siying Dong 已提交
2157 2158
        compact->compaction->enable_compression());

2159 2160 2161
    compact->builder.reset(
        NewTableBuilder(*cfd->full_options(), cfd->internal_comparator(),
                        compact->outfile.get(), compression_type));
J
jorlow@chromium.org 已提交
2162
  }
I
Igor Canadi 已提交
2163
  LogFlush(options_.info_log);
J
jorlow@chromium.org 已提交
2164 2165 2166 2167 2168
  return s;
}

Status DBImpl::FinishCompactionOutputFile(CompactionState* compact,
                                          Iterator* input) {
2169
  assert(compact != nullptr);
2170
  assert(compact->outfile);
2171
  assert(compact->builder != nullptr);
J
jorlow@chromium.org 已提交
2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186

  const uint64_t output_number = compact->current_output()->number;
  assert(output_number != 0);

  // Check for iterator errors
  Status s = input->status();
  const uint64_t current_entries = compact->builder->NumEntries();
  if (s.ok()) {
    s = compact->builder->Finish();
  } else {
    compact->builder->Abandon();
  }
  const uint64_t current_bytes = compact->builder->FileSize();
  compact->current_output()->file_size = current_bytes;
  compact->total_bytes += current_bytes;
2187
  compact->builder.reset();
J
jorlow@chromium.org 已提交
2188 2189

  // Finish and check for file errors
2190
  if (s.ok() && !options_.disableDataSync) {
2191
    if (options_.use_fsync) {
2192
      StopWatch sw(env_, options_.statistics.get(),
2193
                   COMPACTION_OUTFILE_SYNC_MICROS, false);
2194 2195
      s = compact->outfile->Fsync();
    } else {
2196
      StopWatch sw(env_, options_.statistics.get(),
2197
                   COMPACTION_OUTFILE_SYNC_MICROS, false);
2198 2199
      s = compact->outfile->Sync();
    }
J
jorlow@chromium.org 已提交
2200 2201 2202 2203
  }
  if (s.ok()) {
    s = compact->outfile->Close();
  }
2204
  compact->outfile.reset();
J
jorlow@chromium.org 已提交
2205 2206 2207

  if (s.ok() && current_entries > 0) {
    // Verify that the table is usable
I
Igor Canadi 已提交
2208
    ColumnFamilyData* cfd = compact->compaction->column_family_data();
2209
    FileMetaData meta(output_number, current_bytes);
I
Igor Canadi 已提交
2210
    Iterator* iter = cfd->table_cache()->NewIterator(
2211
        ReadOptions(), storage_options_, cfd->internal_comparator(), meta);
J
jorlow@chromium.org 已提交
2212 2213 2214
    s = iter->status();
    delete iter;
    if (s.ok()) {
2215
      Log(options_.info_log,
K
Kai Liu 已提交
2216 2217 2218 2219
          "Generated table #%lu: %lu keys, %lu bytes",
          (unsigned long) output_number,
          (unsigned long) current_entries,
          (unsigned long) current_bytes);
J
jorlow@chromium.org 已提交
2220 2221 2222 2223 2224 2225 2226 2227
    }
  }
  return s;
}


Status DBImpl::InstallCompactionResults(CompactionState* compact) {
  mutex_.AssertHeld();
2228 2229 2230 2231 2232

  // paranoia: verify that the files that we started with
  // still exist in the current version and in the same original level.
  // This ensures that a concurrent compaction did not erroneously
  // pick the same files to compact.
2233
  if (!versions_->VerifyCompactionFileConsistency(compact->compaction)) {
2234 2235 2236 2237
    Log(options_.info_log,  "Compaction %d@%d + %d@%d files aborted",
      compact->compaction->num_input_files(0),
      compact->compaction->level(),
      compact->compaction->num_input_files(1),
I
Igor Canadi 已提交
2238
      compact->compaction->output_level());
L
Lei Jin 已提交
2239
    return Status::Corruption("Compaction input files inconsistent");
2240 2241
  }

2242
  Log(options_.info_log,  "Compacted %d@%d + %d@%d files => %lld bytes",
J
jorlow@chromium.org 已提交
2243 2244 2245
      compact->compaction->num_input_files(0),
      compact->compaction->level(),
      compact->compaction->num_input_files(1),
I
Igor Canadi 已提交
2246
      compact->compaction->output_level(),
J
jorlow@chromium.org 已提交
2247 2248 2249 2250
      static_cast<long long>(compact->total_bytes));

  // Add compaction outputs
  compact->compaction->AddInputDeletions(compact->compaction->edit());
D
dgrogan@chromium.org 已提交
2251
  for (size_t i = 0; i < compact->outputs.size(); i++) {
J
jorlow@chromium.org 已提交
2252 2253
    const CompactionState::Output& out = compact->outputs[i];
    compact->compaction->edit()->AddFile(
2254 2255
        compact->compaction->output_level(), out.number, out.file_size,
        out.smallest, out.largest, out.smallest_seqno, out.largest_seqno);
J
jorlow@chromium.org 已提交
2256
  }
I
Igor Canadi 已提交
2257 2258 2259
  return versions_->LogAndApply(compact->compaction->column_family_data(),
                                compact->compaction->edit(), &mutex_,
                                db_directory_.get());
J
jorlow@chromium.org 已提交
2260 2261
}

2262 2263 2264 2265 2266 2267 2268 2269
//
// Given a sequence number, return the sequence number of the
// earliest snapshot that this sequence number is visible in.
// The snapshots themselves are arranged in ascending order of
// sequence numbers.
// Employ a sequential search because the total number of
// snapshots are typically small.
inline SequenceNumber DBImpl::findEarliestVisibleSnapshot(
2270 2271
  SequenceNumber in, std::vector<SequenceNumber>& snapshots,
  SequenceNumber* prev_snapshot) {
2272
  SequenceNumber prev __attribute__((unused)) = 0;
2273 2274 2275
  for (const auto cur : snapshots) {
    assert(prev <= cur);
    if (cur >= in) {
2276
      *prev_snapshot = prev;
2277
      return cur;
2278
    }
2279 2280
    prev = cur; // assignment
    assert(prev);
2281 2282
  }
  Log(options_.info_log,
K
Kai Liu 已提交
2283 2284 2285
      "Looking for seqid %lu but maxseqid is %lu",
      (unsigned long)in,
      (unsigned long)snapshots[snapshots.size()-1]);
2286 2287 2288 2289
  assert(0);
  return 0;
}

I
Igor Canadi 已提交
2290 2291
Status DBImpl::DoCompactionWork(CompactionState* compact,
                                DeletionState& deletion_state) {
2292
  assert(compact);
2293
  int64_t imm_micros = 0;  // Micros spent doing imm_ compactions
I
Igor Canadi 已提交
2294
  ColumnFamilyData* cfd = compact->compaction->column_family_data();
A
Abhishek Kona 已提交
2295
  Log(options_.info_log,
I
Igor Canadi 已提交
2296 2297 2298 2299
      "[CF %u] Compacting %d@%d + %d@%d files, score %.2f slots available %d",
      cfd->GetID(), compact->compaction->num_input_files(0),
      compact->compaction->level(), compact->compaction->num_input_files(1),
      compact->compaction->output_level(), compact->compaction->score(),
2300
      options_.max_background_compactions - bg_compaction_scheduled_);
2301 2302
  char scratch[256];
  compact->compaction->Summary(scratch, sizeof(scratch));
H
heyongqiang 已提交
2303
  Log(options_.info_log, "Compaction start summary: %s\n", scratch);
J
jorlow@chromium.org 已提交
2304

2305 2306
  assert(compact->compaction->input_version()->NumLevelFiles(
             compact->compaction->level()) > 0);
2307
  assert(compact->builder == nullptr);
2308
  assert(!compact->outfile);
2309 2310 2311

  SequenceNumber visible_at_tip = 0;
  SequenceNumber earliest_snapshot;
H
Haobo Xu 已提交
2312
  SequenceNumber latest_snapshot = 0;
2313 2314 2315 2316 2317
  snapshots_.getAll(compact->existing_snapshots);
  if (compact->existing_snapshots.size() == 0) {
    // optimize for fast path if there are no snapshots
    visible_at_tip = versions_->LastSequence();
    earliest_snapshot = visible_at_tip;
J
jorlow@chromium.org 已提交
2318
  } else {
H
Haobo Xu 已提交
2319
    latest_snapshot = compact->existing_snapshots.back();
2320 2321 2322 2323
    // Add the current seqno as the 'latest' virtual
    // snapshot to the end of this list.
    compact->existing_snapshots.push_back(versions_->LastSequence());
    earliest_snapshot = compact->existing_snapshots[0];
J
jorlow@chromium.org 已提交
2324 2325
  }

2326
  // Is this compaction producing files at the bottommost level?
2327
  bool bottommost_level = compact->compaction->BottomMostLevel();
2328

2329 2330 2331
  // Allocate the output file numbers before we release the lock
  AllocateCompactionOutputFileNumbers(compact);

J
jorlow@chromium.org 已提交
2332 2333 2334
  // Release mutex while we're actually doing the compaction work
  mutex_.Unlock();

2335
  const uint64_t start_micros = env_->NowMicros();
2336
  unique_ptr<Iterator> input(versions_->MakeInputIterator(compact->compaction));
J
jorlow@chromium.org 已提交
2337 2338 2339 2340 2341
  input->SeekToFirst();
  Status status;
  ParsedInternalKey ikey;
  std::string current_user_key;
  bool has_current_user_key = false;
2342 2343
  SequenceNumber last_sequence_for_key __attribute__((unused)) =
    kMaxSequenceNumber;
2344
  SequenceNumber visible_in_snapshot = kMaxSequenceNumber;
H
Haobo Xu 已提交
2345
  std::string compaction_filter_value;
H
Haobo Xu 已提交
2346
  std::vector<char> delete_key; // for compaction filter
I
Igor Canadi 已提交
2347 2348 2349
  MergeHelper merge(
      cfd->user_comparator(), cfd->options()->merge_operator.get(),
      options_.info_log.get(), false /* internal key corruption is expected */);
I
Igor Canadi 已提交
2350
  auto compaction_filter = cfd->options()->compaction_filter;
2351 2352
  std::unique_ptr<CompactionFilter> compaction_filter_from_factory = nullptr;
  if (!compaction_filter) {
2353 2354
    auto context = compact->GetFilterContext();
    compaction_filter_from_factory =
I
Igor Canadi 已提交
2355 2356
        cfd->options()->compaction_filter_factory->CreateCompactionFilter(
            context);
2357 2358
    compaction_filter = compaction_filter_from_factory.get();
  }
2359

2360 2361
  while (input->Valid() && !shutting_down_.Acquire_Load() &&
         !cfd->IsDropped()) {
J
jorlow@chromium.org 已提交
2362
    Slice key = input->key();
2363
    Slice value = input->value();
H
Haobo Xu 已提交
2364

2365
    if (compact->compaction->ShouldStopBefore(key) &&
2366
        compact->builder != nullptr) {
2367
      status = FinishCompactionOutputFile(compact, input.get());
2368 2369 2370 2371 2372 2373
      if (!status.ok()) {
        break;
      }
    }

    // Handle key/value, add to state, etc.
J
jorlow@chromium.org 已提交
2374
    bool drop = false;
2375
    bool current_entry_is_merging = false;
J
jorlow@chromium.org 已提交
2376 2377
    if (!ParseInternalKey(key, &ikey)) {
      // Do not hide error keys
2378 2379
      // TODO: error key stays in db forever? Figure out the intention/rationale
      // v10 error v8 : we cannot hide v8 even though it's pretty obvious.
J
jorlow@chromium.org 已提交
2380 2381 2382
      current_user_key.clear();
      has_current_user_key = false;
      last_sequence_for_key = kMaxSequenceNumber;
2383
      visible_in_snapshot = kMaxSequenceNumber;
J
jorlow@chromium.org 已提交
2384 2385
    } else {
      if (!has_current_user_key ||
2386 2387
          cfd->user_comparator()->Compare(ikey.user_key,
                                          Slice(current_user_key)) != 0) {
J
jorlow@chromium.org 已提交
2388 2389 2390 2391
        // First occurrence of this user key
        current_user_key.assign(ikey.user_key.data(), ikey.user_key.size());
        has_current_user_key = true;
        last_sequence_for_key = kMaxSequenceNumber;
2392
        visible_in_snapshot = kMaxSequenceNumber;
H
Haobo Xu 已提交
2393 2394

        // apply the compaction filter to the first occurrence of the user key
2395
        if (compaction_filter &&
H
Haobo Xu 已提交
2396 2397 2398 2399 2400 2401 2402 2403 2404
            ikey.type == kTypeValue &&
            (visible_at_tip || ikey.sequence > latest_snapshot)) {
          // If the user has specified a compaction filter and the sequence
          // number is greater than any external snapshot, then invoke the
          // filter.
          // If the return value of the compaction filter is true, replace
          // the entry with a delete marker.
          bool value_changed = false;
          compaction_filter_value.clear();
I
Igor Canadi 已提交
2405 2406 2407
          bool to_delete = compaction_filter->Filter(
              compact->compaction->level(), ikey.user_key, value,
              &compaction_filter_value, &value_changed);
H
Haobo Xu 已提交
2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419
          if (to_delete) {
            // make a copy of the original key
            delete_key.assign(key.data(), key.data() + key.size());
            // convert it to a delete
            UpdateInternalKey(&delete_key[0], delete_key.size(),
                              ikey.sequence, kTypeDeletion);
            // anchor the key again
            key = Slice(&delete_key[0], delete_key.size());
            // needed because ikey is backed by key
            ParseInternalKey(key, &ikey);
            // no value associated with delete
            value.clear();
2420
            RecordTick(options_.statistics.get(), COMPACTION_KEY_DROP_USER);
H
Haobo Xu 已提交
2421 2422 2423 2424
          } else if (value_changed) {
            value = compaction_filter_value;
          }
        }
J
jorlow@chromium.org 已提交
2425 2426
      }

2427 2428 2429
      // If there are no snapshots, then this kv affect visibility at tip.
      // Otherwise, search though all existing snapshots to find
      // the earlist snapshot that is affected by this kv.
2430 2431 2432 2433 2434 2435
      SequenceNumber prev_snapshot = 0; // 0 means no previous snapshot
      SequenceNumber visible = visible_at_tip ?
        visible_at_tip :
        findEarliestVisibleSnapshot(ikey.sequence,
                                    compact->existing_snapshots,
                                    &prev_snapshot);
2436 2437 2438 2439 2440

      if (visible_in_snapshot == visible) {
        // If the earliest snapshot is which this key is visible in
        // is the same as the visibily of a previous instance of the
        // same key, then this kv is not visible in any snapshot.
J
jorlow@chromium.org 已提交
2441
        // Hidden by an newer entry for same user key
2442
        // TODO: why not > ?
2443
        assert(last_sequence_for_key >= ikey.sequence);
J
jorlow@chromium.org 已提交
2444
        drop = true;    // (A)
2445
        RecordTick(options_.statistics.get(), COMPACTION_KEY_DROP_NEWER_ENTRY);
J
jorlow@chromium.org 已提交
2446
      } else if (ikey.type == kTypeDeletion &&
2447
                 ikey.sequence <= earliest_snapshot &&
J
jorlow@chromium.org 已提交
2448 2449 2450 2451 2452 2453 2454 2455 2456
                 compact->compaction->IsBaseLevelForKey(ikey.user_key)) {
        // For this user key:
        // (1) there is no data in higher levels
        // (2) data in lower levels will have larger sequence numbers
        // (3) data in layers that are being compacted here and have
        //     smaller sequence numbers will be dropped in the next
        //     few iterations of this loop (by rule (A) above).
        // Therefore this deletion marker is obsolete and can be dropped.
        drop = true;
2457
        RecordTick(options_.statistics.get(), COMPACTION_KEY_DROP_OBSOLETE);
2458 2459 2460 2461 2462 2463 2464
      } else if (ikey.type == kTypeMerge) {
        // We know the merge type entry is not hidden, otherwise we would
        // have hit (A)
        // We encapsulate the merge related state machine in a different
        // object to minimize change to the existing flow. Turn out this
        // logic could also be nicely re-used for memtable flush purge
        // optimization in BuildTable.
M
Mayank Agarwal 已提交
2465
        merge.MergeUntil(input.get(), prev_snapshot, bottommost_level,
2466
                         options_.statistics.get());
2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484
        current_entry_is_merging = true;
        if (merge.IsSuccess()) {
          // Successfully found Put/Delete/(end-of-key-range) while merging
          // Get the merge result
          key = merge.key();
          ParseInternalKey(key, &ikey);
          value = merge.value();
        } else {
          // Did not find a Put/Delete/(end-of-key-range) while merging
          // We now have some stack of merge operands to write out.
          // NOTE: key,value, and ikey are now referring to old entries.
          //       These will be correctly set below.
          assert(!merge.keys().empty());
          assert(merge.keys().size() == merge.values().size());

          // Hack to make sure last_sequence_for_key is correct
          ParseInternalKey(merge.keys().front(), &ikey);
        }
J
jorlow@chromium.org 已提交
2485 2486 2487
      }

      last_sequence_for_key = ikey.sequence;
2488
      visible_in_snapshot = visible;
J
jorlow@chromium.org 已提交
2489 2490
    }
#if 0
2491
    Log(options_.info_log,
J
jorlow@chromium.org 已提交
2492
        "  Compact: %s, seq %d, type: %d %d, drop: %d, is_base: %d, "
2493
        "%d smallest_snapshot: %d level: %d bottommost %d",
J
jorlow@chromium.org 已提交
2494
        ikey.user_key.ToString().c_str(),
D
dgrogan@chromium.org 已提交
2495
        (int)ikey.sequence, ikey.type, kTypeValue, drop,
J
jorlow@chromium.org 已提交
2496
        compact->compaction->IsBaseLevelForKey(ikey.user_key),
2497 2498
        (int)last_sequence_for_key, (int)earliest_snapshot,
        compact->compaction->level(), bottommost_level);
J
jorlow@chromium.org 已提交
2499 2500 2501
#endif

    if (!drop) {
2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517
      // We may write a single key (e.g.: for Put/Delete or successful merge).
      // Or we may instead have to write a sequence/list of keys.
      // We have to write a sequence iff we have an unsuccessful merge
      bool has_merge_list = current_entry_is_merging && !merge.IsSuccess();
      const std::deque<std::string>* keys = nullptr;
      const std::deque<std::string>* values = nullptr;
      std::deque<std::string>::const_reverse_iterator key_iter;
      std::deque<std::string>::const_reverse_iterator value_iter;
      if (has_merge_list) {
        keys = &merge.keys();
        values = &merge.values();
        key_iter = keys->rbegin();    // The back (*rbegin()) is the first key
        value_iter = values->rbegin();

        key = Slice(*key_iter);
        value = Slice(*value_iter);
2518
      }
2519

2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530
      // If we have a list of keys to write, traverse the list.
      // If we have a single key to write, simply write that key.
      while (true) {
        // Invariant: key,value,ikey will always be the next entry to write
        char* kptr = (char*)key.data();
        std::string kstr;

        // Zeroing out the sequence number leads to better compression.
        // If this is the bottommost level (no files in lower levels)
        // and the earliest snapshot is larger than this seqno
        // then we can squash the seqno to zero.
2531
        if (bottommost_level && ikey.sequence < earliest_snapshot &&
2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542
            ikey.type != kTypeMerge) {
          assert(ikey.type != kTypeDeletion);
          // make a copy because updating in place would cause problems
          // with the priority queue that is managing the input key iterator
          kstr.assign(key.data(), key.size());
          kptr = (char *)kstr.c_str();
          UpdateInternalKey(kptr, key.size(), (uint64_t)0, ikey.type);
        }

        Slice newkey(kptr, key.size());
        assert((key.clear(), 1)); // we do not need 'key' anymore
2543

2544 2545 2546 2547 2548 2549 2550
        // Open output file if necessary
        if (compact->builder == nullptr) {
          status = OpenCompactionOutputFile(compact);
          if (!status.ok()) {
            break;
          }
        }
2551 2552

        SequenceNumber seqno = GetInternalKeySeqno(newkey);
2553 2554
        if (compact->builder->NumEntries() == 0) {
          compact->current_output()->smallest.DecodeFrom(newkey);
2555 2556 2557 2558
          compact->current_output()->smallest_seqno = seqno;
        } else {
          compact->current_output()->smallest_seqno =
            std::min(compact->current_output()->smallest_seqno, seqno);
2559 2560 2561
        }
        compact->current_output()->largest.DecodeFrom(newkey);
        compact->builder->Add(newkey, value);
2562 2563
        compact->current_output()->largest_seqno =
          std::max(compact->current_output()->largest_seqno, seqno);
2564 2565 2566 2567 2568 2569 2570 2571

        // Close output file if it is big enough
        if (compact->builder->FileSize() >=
            compact->compaction->MaxOutputFileSize()) {
          status = FinishCompactionOutputFile(compact, input.get());
          if (!status.ok()) {
            break;
          }
J
jorlow@chromium.org 已提交
2572 2573
        }

2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593
        // If we have a list of entries, move to next element
        // If we only had one entry, then break the loop.
        if (has_merge_list) {
          ++key_iter;
          ++value_iter;

          // If at end of list
          if (key_iter == keys->rend() || value_iter == values->rend()) {
            // Sanity Check: if one ends, then both end
            assert(key_iter == keys->rend() && value_iter == values->rend());
            break;
          }

          // Otherwise not at end of list. Update key, value, and ikey.
          key = Slice(*key_iter);
          value = Slice(*value_iter);
          ParseInternalKey(key, &ikey);

        } else{
          // Only had one item to begin with (Put/Delete)
J
jorlow@chromium.org 已提交
2594 2595 2596 2597 2598
          break;
        }
      }
    }

2599
    // MergeUntil has moved input to the next entry
2600
    if (!current_entry_is_merging) {
2601 2602
      input->Next();
    }
J
jorlow@chromium.org 已提交
2603 2604
  }

2605
  if (status.ok() && (shutting_down_.Acquire_Load() || cfd->IsDropped())) {
L
Lei Jin 已提交
2606 2607
    status = Status::ShutdownInProgress(
        "Database shutdown started during compaction");
J
jorlow@chromium.org 已提交
2608
  }
2609
  if (status.ok() && compact->builder != nullptr) {
2610
    status = FinishCompactionOutputFile(compact, input.get());
J
jorlow@chromium.org 已提交
2611 2612 2613 2614
  }
  if (status.ok()) {
    status = input->status();
  }
2615
  input.reset();
J
jorlow@chromium.org 已提交
2616

2617 2618 2619
  if (!options_.disableDataSync) {
    db_directory_->Fsync();
  }
I
Igor Canadi 已提交
2620 2621

  InternalStats::CompactionStats stats;
2622
  stats.micros = env_->NowMicros() - start_micros - imm_micros;
I
Igor Canadi 已提交
2623
  MeasureTime(options_.statistics.get(), COMPACTION_TIME, stats.micros);
M
Mark Callaghan 已提交
2624 2625
  stats.files_in_leveln = compact->compaction->num_input_files(0);
  stats.files_in_levelnp1 = compact->compaction->num_input_files(1);
2626 2627

  int num_output_files = compact->outputs.size();
2628
  if (compact->builder != nullptr) {
P
Pascal Borreli 已提交
2629
    // An error occurred so ignore the last output.
2630 2631 2632 2633
    assert(num_output_files > 0);
    --num_output_files;
  }
  stats.files_out_levelnp1 = num_output_files;
M
Mark Callaghan 已提交
2634

2635
  for (int i = 0; i < compact->compaction->num_input_files(0); i++) {
M
Mark Callaghan 已提交
2636
    stats.bytes_readn += compact->compaction->input(0, i)->file_size;
2637 2638 2639
    RecordTick(options_.statistics.get(), COMPACT_READ_BYTES,
               compact->compaction->input(0, i)->file_size);
  }
M
Mark Callaghan 已提交
2640

2641
  for (int i = 0; i < compact->compaction->num_input_files(1); i++) {
M
Mark Callaghan 已提交
2642
    stats.bytes_readnp1 += compact->compaction->input(1, i)->file_size;
2643 2644 2645
    RecordTick(options_.statistics.get(), COMPACT_READ_BYTES,
               compact->compaction->input(1, i)->file_size);
  }
M
Mark Callaghan 已提交
2646

2647
  for (int i = 0; i < num_output_files; i++) {
2648
    stats.bytes_written += compact->outputs[i].file_size;
2649 2650
    RecordTick(options_.statistics.get(), COMPACT_WRITE_BYTES,
               compact->outputs[i].file_size);
2651 2652
  }

I
Igor Canadi 已提交
2653
  LogFlush(options_.info_log);
J
jorlow@chromium.org 已提交
2654
  mutex_.Lock();
2655 2656
  cfd->internal_stats()->AddCompactionStats(compact->compaction->output_level(),
                                            stats);
J
jorlow@chromium.org 已提交
2657

2658 2659 2660 2661
  // if there were any unused file number (mostly in case of
  // compaction error), free up the entry from pending_putputs
  ReleaseCompactionUnusedFileNumbers(compact);

J
jorlow@chromium.org 已提交
2662 2663
  if (status.ok()) {
    status = InstallCompactionResults(compact);
I
Igor Canadi 已提交
2664
    InstallSuperVersion(cfd, deletion_state);
J
jorlow@chromium.org 已提交
2665
  }
2666
  Version::LevelSummaryStorage tmp;
2667
  Log(options_.info_log,
M
Mark Callaghan 已提交
2668
      "compacted to: %s, %.1f MB/sec, level %d, files in(%d, %d) out(%d) "
2669 2670
      "MB in(%.1f, %.1f) out(%.1f), read-write-amplify(%.1f) "
      "write-amplify(%.1f) %s\n",
2671
      cfd->current()->LevelSummary(&tmp),
M
Mark Callaghan 已提交
2672
      (stats.bytes_readn + stats.bytes_readnp1 + stats.bytes_written) /
2673 2674 2675 2676
          (double)stats.micros,
      compact->compaction->output_level(), stats.files_in_leveln,
      stats.files_in_levelnp1, stats.files_out_levelnp1,
      stats.bytes_readn / 1048576.0, stats.bytes_readnp1 / 1048576.0,
M
Mark Callaghan 已提交
2677
      stats.bytes_written / 1048576.0,
2678
      (stats.bytes_written + stats.bytes_readnp1 + stats.bytes_readn) /
2679 2680
          (double)stats.bytes_readn,
      stats.bytes_written / (double)stats.bytes_readn,
2681
      status.ToString().c_str());
M
Mark Callaghan 已提交
2682

J
jorlow@chromium.org 已提交
2683 2684 2685
  return status;
}

2686 2687
namespace {
struct IterState {
2688 2689
  IterState(DBImpl* db, port::Mutex* mu, SuperVersion* super_version)
      : db(db), mu(mu), super_version(super_version) {}
2690 2691

  DBImpl* db;
2692
  port::Mutex* mu;
2693
  SuperVersion* super_version;
2694 2695 2696 2697
};

static void CleanupIteratorState(void* arg1, void* arg2) {
  IterState* state = reinterpret_cast<IterState*>(arg1);
2698
  DBImpl::DeletionState deletion_state;
2699 2700 2701 2702 2703 2704 2705 2706 2707 2708

  bool need_cleanup = state->super_version->Unref();
  if (need_cleanup) {
    state->mu->Lock();
    state->super_version->Cleanup();
    state->db->FindObsoleteFiles(deletion_state, false, true);
    state->mu->Unlock();

    delete state->super_version;
    state->db->PurgeObsoleteFiles(deletion_state);
I
Igor Canadi 已提交
2709
  }
T
Tomislav Novak 已提交
2710

2711 2712
  delete state;
}
H
Hans Wennborg 已提交
2713
}  // namespace
2714

J
jorlow@chromium.org 已提交
2715
Iterator* DBImpl::NewInternalIterator(const ReadOptions& options,
2716 2717
                                      ColumnFamilyData* cfd,
                                      SuperVersion* super_version) {
I
Igor Canadi 已提交
2718
  std::vector<Iterator*> iterator_list;
2719 2720
  // Collect iterator for mutable mem
  iterator_list.push_back(super_version->mem->NewIterator(options));
T
Tomislav Novak 已提交
2721
  // Collect all needed child iterators for immutable memtables
2722
  super_version->imm->AddIterators(options, &iterator_list);
T
Tomislav Novak 已提交
2723
  // Collect iterators for files in L0 - Ln
2724 2725
  super_version->current->AddIterators(options, storage_options_,
                                       &iterator_list);
2726 2727 2728
  Iterator* internal_iter =
      NewMergingIterator(env_, &cfd->internal_comparator(), &iterator_list[0],
                         iterator_list.size());
2729 2730

  IterState* cleanup = new IterState(this, &mutex_, super_version);
2731
  internal_iter->RegisterCleanup(CleanupIteratorState, cleanup, nullptr);
J
jorlow@chromium.org 已提交
2732 2733 2734 2735

  return internal_iter;
}

2736 2737 2738 2739
ColumnFamilyHandle* DBImpl::DefaultColumnFamily() const {
  return default_cf_handle_;
}

2740 2741 2742 2743 2744 2745 2746 2747 2748
Iterator* DBImpl::TEST_NewInternalIterator(ColumnFamilyHandle* column_family) {
  ColumnFamilyData* cfd;
  if (column_family == nullptr) {
    cfd = default_cf_handle_->cfd();
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    cfd = cfh->cfd();
  }

2749
  mutex_.Lock();
2750
  SuperVersion* super_version = cfd->GetSuperVersion()->Ref();
2751
  mutex_.Unlock();
I
Igor Canadi 已提交
2752 2753 2754
  ReadOptions roptions;
  roptions.prefix_seek = true;
  return NewInternalIterator(roptions, cfd, super_version);
J
jorlow@chromium.org 已提交
2755 2756
}

T
Tomislav Novak 已提交
2757
std::pair<Iterator*, Iterator*> DBImpl::GetTailingIteratorPair(
2758
    const ReadOptions& options, ColumnFamilyData* cfd,
T
Tomislav Novak 已提交
2759 2760 2761
    uint64_t* superversion_number) {

  mutex_.Lock();
2762
  SuperVersion* super_version = cfd->GetSuperVersion()->Ref();
T
Tomislav Novak 已提交
2763
  if (superversion_number != nullptr) {
2764
    *superversion_number = cfd->GetSuperVersionNumber();
T
Tomislav Novak 已提交
2765 2766 2767
  }
  mutex_.Unlock();

2768
  Iterator* mutable_iter = super_version->mem->NewIterator(options);
T
Tomislav Novak 已提交
2769
  // create a DBIter that only uses memtable content; see NewIterator()
I
Igor Canadi 已提交
2770 2771 2772
  mutable_iter =
      NewDBIterator(&dbname_, env_, *cfd->full_options(),
                    cfd->user_comparator(), mutable_iter, kMaxSequenceNumber);
T
Tomislav Novak 已提交
2773 2774

  std::vector<Iterator*> list;
2775 2776
  super_version->imm->AddIterators(options, &list);
  super_version->current->AddIterators(options, storage_options_, &list);
2777 2778
  Iterator* immutable_iter = NewMergingIterator(
      env_, &cfd->internal_comparator(), &list[0], list.size());
T
Tomislav Novak 已提交
2779 2780

  // create a DBIter that only uses memtable content; see NewIterator()
2781
  immutable_iter =
I
Igor Canadi 已提交
2782 2783
      NewDBIterator(&dbname_, env_, *cfd->full_options(),
                    cfd->user_comparator(), immutable_iter, kMaxSequenceNumber);
T
Tomislav Novak 已提交
2784

2785 2786 2787 2788 2789 2790 2791 2792
  // register cleanups
  mutable_iter->RegisterCleanup(CleanupIteratorState,
    new IterState(this, &mutex_, super_version), nullptr);

  // bump the ref one more time since it will be Unref'ed twice
  immutable_iter->RegisterCleanup(CleanupIteratorState,
    new IterState(this, &mutex_, super_version->Ref()), nullptr);

T
Tomislav Novak 已提交
2793 2794 2795
  return std::make_pair(mutable_iter, immutable_iter);
}

2796 2797 2798 2799 2800 2801 2802 2803 2804
int64_t DBImpl::TEST_MaxNextLevelOverlappingBytes(
    ColumnFamilyHandle* column_family) {
  ColumnFamilyData* cfd;
  if (column_family == nullptr) {
    cfd = default_cf_handle_->cfd();
  } else {
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
    cfd = cfh->cfd();
  }
2805
  MutexLock l(&mutex_);
2806
  return cfd->current()->MaxNextLevelOverlappingBytes();
2807 2808
}

J
jorlow@chromium.org 已提交
2809
Status DBImpl::Get(const ReadOptions& options,
2810
                   ColumnFamilyHandle* column_family, const Slice& key,
J
jorlow@chromium.org 已提交
2811
                   std::string* value) {
2812
  return GetImpl(options, column_family, key, value);
2813 2814
}

I
Igor Canadi 已提交
2815 2816 2817 2818 2819 2820 2821 2822 2823 2824
// DeletionState gets created and destructed outside of the lock -- we
// use this convinently to:
// * malloc one SuperVersion() outside of the lock -- new_superversion
// * delete one SuperVersion() outside of the lock -- superversion_to_free
//
// However, if InstallSuperVersion() gets called twice with the same,
// deletion_state, we can't reuse the SuperVersion() that got malloced because
// first call already used it. In that rare case, we take a hit and create a
// new SuperVersion() inside of the mutex. We do similar thing
// for superversion_to_free
2825 2826
void DBImpl::InstallSuperVersion(ColumnFamilyData* cfd,
                                 DeletionState& deletion_state) {
2827
  mutex_.AssertHeld();
I
Igor Canadi 已提交
2828 2829 2830 2831
  // if new_superversion == nullptr, it means somebody already used it
  SuperVersion* new_superversion =
    (deletion_state.new_superversion != nullptr) ?
    deletion_state.new_superversion : new SuperVersion();
2832
  SuperVersion* old_superversion = cfd->InstallSuperVersion(new_superversion);
I
Igor Canadi 已提交
2833 2834 2835 2836 2837 2838 2839 2840 2841
  deletion_state.new_superversion = nullptr;
  if (deletion_state.superversion_to_free != nullptr) {
    // somebody already put it there
    delete old_superversion;
  } else {
    deletion_state.superversion_to_free = old_superversion;
  }
}

2842
Status DBImpl::GetImpl(const ReadOptions& options,
2843 2844
                       ColumnFamilyHandle* column_family, const Slice& key,
                       std::string* value, bool* value_found) {
2845
  StopWatch sw(env_, options_.statistics.get(), DB_GET, false);
2846 2847
  StopWatchNano snapshot_timer(env_, false);
  StartPerfTimer(&snapshot_timer);
2848

2849 2850 2851
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

2852
  mutex_.Lock();
2853
  SuperVersion* get_version = cfd->GetSuperVersion()->Ref();
2854 2855
  mutex_.Unlock();

2856
  SequenceNumber snapshot;
2857
  if (options.snapshot != nullptr) {
2858 2859 2860
    snapshot = reinterpret_cast<const SnapshotImpl*>(options.snapshot)->number_;
  } else {
    snapshot = versions_->LastSequence();
J
jorlow@chromium.org 已提交
2861
  }
2862

2863
  bool have_stat_update = false;
2864
  Version::GetStats stats;
2865

2866
  // Prepare to store a list of merge operations if merge occurs.
2867
  MergeContext merge_context;
2868

2869
  Status s;
2870
  // First look in the memtable, then in the immutable memtable (if any).
2871
  // s is both in/out. When in, s could either be OK or MergeInProgress.
2872
  // merge_operands will contain the sequence of merges in the latter case.
2873
  LookupKey lkey(key, snapshot);
2874
  BumpPerfTime(&perf_context.get_snapshot_time, &snapshot_timer);
I
Igor Canadi 已提交
2875 2876
  if (get_version->mem->Get(lkey, value, &s, merge_context,
                            *cfd->full_options())) {
2877
    // Done
2878
    RecordTick(options_.statistics.get(), MEMTABLE_HIT);
I
Igor Canadi 已提交
2879 2880
  } else if (get_version->imm->Get(lkey, value, &s, merge_context,
                                   *cfd->full_options())) {
2881
    // Done
2882
    RecordTick(options_.statistics.get(), MEMTABLE_HIT);
2883
  } else {
2884
    // Done
2885 2886 2887
    StopWatchNano from_files_timer(env_, false);
    StartPerfTimer(&from_files_timer);

I
Igor Canadi 已提交
2888
    get_version->current->Get(options, lkey, value, &s, &merge_context, &stats,
I
Igor Canadi 已提交
2889
                              *cfd->full_options(), value_found);
2890
    have_stat_update = true;
2891
    BumpPerfTime(&perf_context.get_from_output_files_time, &from_files_timer);
2892
    RecordTick(options_.statistics.get(), MEMTABLE_MISS);
2893
  }
2894

2895 2896
  StopWatchNano post_process_timer(env_, false);
  StartPerfTimer(&post_process_timer);
2897

I
Igor Canadi 已提交
2898
  bool delete_get_version = false;
I
Igor Canadi 已提交
2899
  if (!cfd->options()->disable_seek_compaction && have_stat_update) {
I
Igor Canadi 已提交
2900 2901 2902 2903 2904 2905 2906 2907 2908 2909 2910 2911 2912 2913 2914 2915 2916 2917 2918
    mutex_.Lock();
    if (get_version->current->UpdateStats(stats)) {
      MaybeScheduleFlushOrCompaction();
    }
    if (get_version->Unref()) {
      get_version->Cleanup();
      delete_get_version = true;
    }
    mutex_.Unlock();
  } else {
    if (get_version->Unref()) {
      mutex_.Lock();
      get_version->Cleanup();
      mutex_.Unlock();
      delete_get_version = true;
    }
  }
  if (delete_get_version) {
    delete get_version;
2919
  }
2920

2921
  // Note, tickers are atomic now - no lock protection needed any more.
2922

2923 2924
  RecordTick(options_.statistics.get(), NUMBER_KEYS_READ);
  RecordTick(options_.statistics.get(), BYTES_READ, value->size());
K
Kai Liu 已提交
2925
  BumpPerfTime(&perf_context.get_post_process_time, &post_process_timer);
2926
  return s;
J
jorlow@chromium.org 已提交
2927 2928
}

2929 2930
std::vector<Status> DBImpl::MultiGet(
    const ReadOptions& options,
2931
    const std::vector<ColumnFamilyHandle*>& column_family,
2932
    const std::vector<Slice>& keys, std::vector<std::string>* values) {
2933

2934
  StopWatch sw(env_, options_.statistics.get(), DB_MULTIGET, false);
2935 2936
  StopWatchNano snapshot_timer(env_, false);
  StartPerfTimer(&snapshot_timer);
K
Kai Liu 已提交
2937

2938
  SequenceNumber snapshot;
2939

2940
  struct MultiGetColumnFamilyData {
I
Igor Canadi 已提交
2941
    ColumnFamilyData* cfd;
2942 2943 2944 2945 2946 2947 2948
    SuperVersion* super_version;
    Version::GetStats stats;
    bool have_stat_update = false;
  };
  std::unordered_map<uint32_t, MultiGetColumnFamilyData*> multiget_cf_data;
  // fill up and allocate outside of mutex
  for (auto cf : column_family) {
2949 2950 2951 2952 2953 2954
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(cf);
    auto cfd = cfh->cfd();
    if (multiget_cf_data.find(cfd->GetID()) == multiget_cf_data.end()) {
      auto mgcfd = new MultiGetColumnFamilyData();
      mgcfd->cfd = cfd;
      multiget_cf_data.insert({cfd->GetID(), mgcfd});
2955 2956 2957
    }
  }

2958
  mutex_.Lock();
2959 2960 2961 2962 2963
  if (options.snapshot != nullptr) {
    snapshot = reinterpret_cast<const SnapshotImpl*>(options.snapshot)->number_;
  } else {
    snapshot = versions_->LastSequence();
  }
2964
  for (auto mgd_iter : multiget_cf_data) {
2965 2966
    mgd_iter.second->super_version =
        mgd_iter.second->cfd->GetSuperVersion()->Ref();
2967
  }
2968
  mutex_.Unlock();
2969

2970 2971
  // Contain a list of merge operations if merge occurs.
  MergeContext merge_context;
2972

2973
  // Note: this always resizes the values array
2974 2975 2976
  size_t num_keys = keys.size();
  std::vector<Status> stat_list(num_keys);
  values->resize(num_keys);
2977 2978

  // Keep track of bytes that we read for statistics-recording later
2979
  uint64_t bytes_read = 0;
2980
  BumpPerfTime(&perf_context.get_snapshot_time, &snapshot_timer);
2981 2982 2983 2984

  // For each of the given keys, apply the entire "get" process as follows:
  // First look in the memtable, then in the immutable memtable (if any).
  // s is both in/out. When in, s could either be OK or MergeInProgress.
2985
  // merge_operands will contain the sequence of merges in the latter case.
2986
  for (size_t i = 0; i < num_keys; ++i) {
2987
    merge_context.Clear();
2988
    Status& s = stat_list[i];
2989 2990 2991
    std::string* value = &(*values)[i];

    LookupKey lkey(keys[i], snapshot);
2992 2993
    auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family[i]);
    auto mgd_iter = multiget_cf_data.find(cfh->cfd()->GetID());
2994 2995 2996
    assert(mgd_iter != multiget_cf_data.end());
    auto mgd = mgd_iter->second;
    auto super_version = mgd->super_version;
I
Igor Canadi 已提交
2997 2998 2999
    auto cfd = mgd->cfd;
    if (super_version->mem->Get(lkey, value, &s, merge_context,
                                *cfd->full_options())) {
3000
      // Done
3001
    } else if (super_version->imm->Get(lkey, value, &s, merge_context,
I
Igor Canadi 已提交
3002
                                       *cfd->full_options())) {
3003 3004
      // Done
    } else {
3005
      super_version->current->Get(options, lkey, value, &s, &merge_context,
I
Igor Canadi 已提交
3006
                                  &mgd->stats, *cfd->full_options());
3007
      mgd->have_stat_update = true;
3008 3009 3010
    }

    if (s.ok()) {
3011
      bytes_read += value->size();
3012 3013 3014 3015
    }
  }

  // Post processing (decrement reference counts and record statistics)
3016 3017
  StopWatchNano post_process_timer(env_, false);
  StartPerfTimer(&post_process_timer);
3018 3019 3020 3021 3022 3023
  autovector<SuperVersion*> superversions_to_delete;

  bool schedule_flush_or_compaction = false;
  mutex_.Lock();
  for (auto mgd_iter : multiget_cf_data) {
    auto mgd = mgd_iter.second;
I
Igor Canadi 已提交
3024 3025
    auto cfd = mgd->cfd;
    if (!cfd->options()->disable_seek_compaction && mgd->have_stat_update) {
3026 3027 3028
      if (mgd->super_version->current->UpdateStats(mgd->stats)) {
        schedule_flush_or_compaction = true;
      }
3029
    }
3030 3031 3032
    if (mgd->super_version->Unref()) {
      mgd->super_version->Cleanup();
      superversions_to_delete.push_back(mgd->super_version);
3033 3034
    }
  }
3035 3036 3037 3038 3039 3040 3041 3042 3043 3044
  if (schedule_flush_or_compaction) {
    MaybeScheduleFlushOrCompaction();
  }
  mutex_.Unlock();

  for (auto td : superversions_to_delete) {
    delete td;
  }
  for (auto mgd : multiget_cf_data) {
    delete mgd.second;
3045
  }
3046

3047
  RecordTick(options_.statistics.get(), NUMBER_MULTIGET_CALLS);
3048 3049
  RecordTick(options_.statistics.get(), NUMBER_MULTIGET_KEYS_READ, num_keys);
  RecordTick(options_.statistics.get(), NUMBER_MULTIGET_BYTES_READ, bytes_read);
3050
  BumpPerfTime(&perf_context.get_post_process_time, &post_process_timer);
3051

3052
  return stat_list;
3053 3054
}

3055
Status DBImpl::CreateColumnFamily(const ColumnFamilyOptions& options,
3056
                                  const std::string& column_family_name,
3057
                                  ColumnFamilyHandle** handle) {
I
Igor Canadi 已提交
3058 3059 3060
  *handle = nullptr;
  MutexLock l(&mutex_);

3061
  if (versions_->GetColumnFamilySet()->Exists(column_family_name)) {
I
Igor Canadi 已提交
3062 3063
    return Status::InvalidArgument("Column family already exists");
  }
3064
  VersionEdit edit;
3065
  edit.AddColumnFamily(column_family_name);
3066 3067
  uint32_t new_id = versions_->GetColumnFamilySet()->GetNextColumnFamilyID();
  edit.SetColumnFamily(new_id);
I
Igor Canadi 已提交
3068
  edit.SetLogNumber(logfile_number_);
I
Igor Canadi 已提交
3069
  edit.SetComparatorName(options.comparator->Name());
3070

3071 3072
  Status s = versions_->LogAndApply(nullptr, &edit, &mutex_,
                                    db_directory_.get(), false, &options);
3073
  if (s.ok()) {
3074 3075 3076
    auto cfd =
        versions_->GetColumnFamilySet()->GetColumnFamily(column_family_name);
    assert(cfd != nullptr);
3077
    *handle = new ColumnFamilyHandleImpl(cfd, this, &mutex_);
3078 3079 3080 3081 3082 3083
    Log(options_.info_log, "Created column family \"%s\" (ID %u)",
        column_family_name.c_str(), (unsigned)cfd->GetID());
  } else {
    Log(options_.info_log, "Creating column family \"%s\" FAILED -- %s",
        column_family_name.c_str(), s.ToString().c_str());
  }
3084
  return s;
3085 3086
}

3087 3088 3089 3090
Status DBImpl::DropColumnFamily(ColumnFamilyHandle* column_family) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
  if (cfd->GetID() == 0) {
3091 3092
    return Status::InvalidArgument("Can't drop default column family");
  }
3093

I
Igor Canadi 已提交
3094 3095
  VersionEdit edit;
  edit.DropColumnFamily();
3096 3097 3098
  edit.SetColumnFamily(cfd->GetID());

  MutexLock l(&mutex_);
3099
  Status s;
3100
  if (cfd->IsDropped()) {
3101 3102 3103 3104
    s = Status::InvalidArgument("Column family already dropped!\n");
  }
  if (s.ok()) {
    s = versions_->LogAndApply(cfd, &edit, &mutex_);
3105
  }
3106

3107 3108 3109 3110 3111 3112 3113
  if (s.ok()) {
    Log(options_.info_log, "Dropped column family with id %u\n", cfd->GetID());
  } else {
    Log(options_.info_log, "Dropping column family with id %u FAILED -- %s\n",
        cfd->GetID(), s.ToString().c_str());
  }

3114
  return s;
3115 3116
}

3117
bool DBImpl::KeyMayExist(const ReadOptions& options,
3118 3119
                         ColumnFamilyHandle* column_family, const Slice& key,
                         std::string* value, bool* value_found) {
3120
  if (value_found != nullptr) {
K
Kai Liu 已提交
3121 3122
    // falsify later if key-may-exist but can't fetch value
    *value_found = true;
3123
  }
3124 3125
  ReadOptions roptions = options;
  roptions.read_tier = kBlockCacheTier; // read from block cache only
3126
  auto s = GetImpl(roptions, column_family, key, value, value_found);
K
Kai Liu 已提交
3127 3128 3129 3130 3131

  // If options.block_cache != nullptr and the index block of the table didn't
  // not present in block_cache, the return value will be Status::Incomplete.
  // In this case, key may still exist in the table.
  return s.ok() || s.IsIncomplete();
3132 3133
}

3134
Iterator* DBImpl::NewIterator(const ReadOptions& options,
3135
                              ColumnFamilyHandle* column_family) {
3136 3137
  SequenceNumber latest_snapshot = 0;
  SuperVersion* super_version = nullptr;
3138 3139
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
3140 3141 3142 3143 3144 3145
  mutex_.Lock();
  if (!options.tailing) {
    super_version = cfd->GetSuperVersion()->Ref();
    latest_snapshot = versions_->LastSequence();
  }
  mutex_.Unlock();
T
Tomislav Novak 已提交
3146

3147
  Iterator* iter;
T
Tomislav Novak 已提交
3148
  if (options.tailing) {
3149
    iter = new TailingIterator(this, options, cfd);
T
Tomislav Novak 已提交
3150
  } else {
3151
    iter = NewInternalIterator(options, cfd, super_version);
T
Tomislav Novak 已提交
3152 3153

    iter = NewDBIterator(
I
Igor Canadi 已提交
3154
        &dbname_, env_, *cfd->full_options(), cfd->user_comparator(), iter,
3155 3156 3157
        (options.snapshot != nullptr
             ? reinterpret_cast<const SnapshotImpl*>(options.snapshot)->number_
             : latest_snapshot));
T
Tomislav Novak 已提交
3158 3159
  }

T
Tyler Harter 已提交
3160 3161 3162 3163
  if (options.prefix) {
    // use extra wrapper to exclude any keys from the results which
    // don't begin with the prefix
    iter = new PrefixFilterIterator(iter, *options.prefix,
I
Igor Canadi 已提交
3164
                                    cfd->options()->prefix_extractor);
T
Tyler Harter 已提交
3165 3166
  }
  return iter;
J
jorlow@chromium.org 已提交
3167 3168
}

3169 3170
Status DBImpl::NewIterators(
    const ReadOptions& options,
3171
    const std::vector<ColumnFamilyHandle*>& column_family,
3172
    std::vector<Iterator*>* iterators) {
I
Igor Canadi 已提交
3173
  // TODO(icanadi)
3174 3175 3176
  return Status::NotSupported("Not yet!");
}

J
jorlow@chromium.org 已提交
3177 3178
const Snapshot* DBImpl::GetSnapshot() {
  MutexLock l(&mutex_);
3179
  return snapshots_.New(versions_->LastSequence());
J
jorlow@chromium.org 已提交
3180 3181 3182 3183
}

void DBImpl::ReleaseSnapshot(const Snapshot* s) {
  MutexLock l(&mutex_);
3184
  snapshots_.Delete(reinterpret_cast<const SnapshotImpl*>(s));
J
jorlow@chromium.org 已提交
3185 3186 3187
}

// Convenience methods
3188 3189
Status DBImpl::Put(const WriteOptions& o, ColumnFamilyHandle* column_family,
                   const Slice& key, const Slice& val) {
3190
  return DB::Put(o, column_family, key, val);
J
jorlow@chromium.org 已提交
3191 3192
}

3193 3194 3195 3196
Status DBImpl::Merge(const WriteOptions& o, ColumnFamilyHandle* column_family,
                     const Slice& key, const Slice& val) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  if (!cfh->cfd()->options()->merge_operator) {
3197 3198
    return Status::NotSupported("Provide a merge_operator when opening DB");
  } else {
3199
    return DB::Merge(o, column_family, key, val);
3200 3201 3202
  }
}

3203
Status DBImpl::Delete(const WriteOptions& options,
3204
                      ColumnFamilyHandle* column_family, const Slice& key) {
3205
  return DB::Delete(options, column_family, key);
J
jorlow@chromium.org 已提交
3206 3207
}

3208
Status DBImpl::Write(const WriteOptions& options, WriteBatch* my_batch) {
3209 3210
  StopWatchNano pre_post_process_timer(env_, false);
  StartPerfTimer(&pre_post_process_timer);
3211 3212 3213
  Writer w(&mutex_);
  w.batch = my_batch;
  w.sync = options.sync;
H
heyongqiang 已提交
3214
  w.disableWAL = options.disableWAL;
3215
  w.done = false;
3216

3217
  StopWatch sw(env_, options_.statistics.get(), DB_WRITE, false);
I
Igor Canadi 已提交
3218
  mutex_.Lock();
3219 3220 3221 3222
  writers_.push_back(&w);
  while (!w.done && &w != writers_.front()) {
    w.cv.Wait();
  }
3223 3224 3225 3226 3227

  if (!options.disableWAL) {
    RecordTick(options_.statistics.get(), WRITE_WITH_WAL, 1);
  }

3228
  if (w.done) {
I
Igor Canadi 已提交
3229
    mutex_.Unlock();
3230
    RecordTick(options_.statistics.get(), WRITE_DONE_BY_OTHER, 1);
3231
    return w.status;
3232 3233
  } else {
    RecordTick(options_.statistics.get(), WRITE_DONE_BY_SELF, 1);
3234 3235
  }

3236
  Status status;
3237 3238
  autovector<ColumnFamilyData*> to_delete;
  // refcounting cfd in iteration
3239
  for (auto cfd : *versions_->GetColumnFamilySet()) {
3240
    cfd->Ref();
3241 3242
    // May temporarily unlock and wait.
    status = MakeRoomForWrite(cfd, my_batch == nullptr);
3243 3244 3245
    if (cfd->Unref()) {
      to_delete.push_back(cfd);
    }
3246 3247 3248 3249
    if (!status.ok()) {
      break;
    }
  }
3250 3251 3252
  for (auto cfd : to_delete) {
    delete cfd;
  }
D
dgrogan@chromium.org 已提交
3253
  uint64_t last_sequence = versions_->LastSequence();
3254
  Writer* last_writer = &w;
3255
  if (status.ok() && my_batch != nullptr) {  // nullptr batch is for compactions
3256 3257
    autovector<WriteBatch*> write_batch_group;
    BuildBatchGroup(&last_writer, &write_batch_group);
3258

3259 3260 3261
    // Add to log and apply to memtable.  We can release the lock
    // during this phase since &w is currently responsible for logging
    // and protects against concurrent loggers and concurrent writes
3262
    // into memtables
3263
    {
3264
      mutex_.Unlock();
3265 3266 3267 3268 3269 3270 3271 3272 3273 3274
      WriteBatch* updates = nullptr;
      if (write_batch_group.size() == 1) {
        updates = write_batch_group[0];
      } else {
        updates = &tmp_batch_;
        for (size_t i = 0; i < write_batch_group.size(); ++i) {
          WriteBatchInternal::Append(updates, write_batch_group[i]);
        }
      }

3275 3276 3277 3278 3279
      const SequenceNumber current_sequence = last_sequence + 1;
      WriteBatchInternal::SetSequence(updates, current_sequence);
      int my_batch_count = WriteBatchInternal::Count(updates);
      last_sequence += my_batch_count;
      // Record statistics
3280 3281 3282
      RecordTick(options_.statistics.get(),
                 NUMBER_KEYS_WRITTEN, my_batch_count);
      RecordTick(options_.statistics.get(),
3283 3284
                 BYTES_WRITTEN,
                 WriteBatchInternal::ByteSize(updates));
3285 3286
      if (options.disableWAL) {
        flush_on_destroy_ = true;
3287
      }
3288 3289
      BumpPerfTime(&perf_context.write_pre_and_post_process_time,
                   &pre_post_process_timer);
3290 3291

      if (!options.disableWAL) {
3292 3293
        StopWatchNano timer(env_);
        StartPerfTimer(&timer);
3294 3295 3296 3297
        Slice log_entry = WriteBatchInternal::Contents(updates);
        status = log_->AddRecord(log_entry);
        RecordTick(options_.statistics.get(), WAL_FILE_SYNCED, 1);
        RecordTick(options_.statistics.get(), WAL_FILE_BYTES, log_entry.size());
H
heyongqiang 已提交
3298
        if (status.ok() && options.sync) {
3299
          if (options_.use_fsync) {
3300
            StopWatch(env_, options_.statistics.get(), WAL_FILE_SYNC_MICROS);
3301
            status = log_->file()->Fsync();
3302
          } else {
3303
            StopWatch(env_, options_.statistics.get(), WAL_FILE_SYNC_MICROS);
3304
            status = log_->file()->Sync();
3305
          }
H
heyongqiang 已提交
3306
        }
3307
        BumpPerfTime(&perf_context.write_wal_time, &timer);
3308 3309
      }
      if (status.ok()) {
3310
        StopWatchNano write_memtable_timer(env_, false);
3311

3312
        StartPerfTimer(&write_memtable_timer);
3313
        status = WriteBatchInternal::InsertInto(
I
Igor Canadi 已提交
3314
            updates, column_family_memtables_.get(), false, 0, this, false);
3315
        BumpPerfTime(&perf_context.write_memtable_time, &write_memtable_timer);
3316

3317
        if (!status.ok()) {
3318 3319 3320
          // Iteration failed (either in-memory writebatch corruption (very
          // bad), or the client specified invalid column family). Return
          // failure.
3321 3322 3323
          // Note that existing logic was not sound. Any partial failure writing
          // into the memtable would result in a state that some write ops might
          // have succeeded in memtable but Status reports error for all writes.
3324
          return status;
3325
        }
I
Igor Canadi 已提交
3326 3327
        SetTickerCount(options_.statistics.get(), SEQUENCE_NUMBER,
                       last_sequence);
3328
      }
3329
      StartPerfTimer(&pre_post_process_timer);
3330
      if (updates == &tmp_batch_) tmp_batch_.Clear();
3331 3332
      mutex_.Lock();
      if (status.ok()) {
3333
        versions_->SetLastSequence(last_sequence);
3334
      }
J
jorlow@chromium.org 已提交
3335 3336
    }
  }
I
Igor Canadi 已提交
3337 3338 3339
  if (options_.paranoid_checks && !status.ok() && bg_error_.ok()) {
    bg_error_ = status; // stop compaction & fail any further writes
  }
3340

3341 3342 3343 3344 3345 3346 3347
  while (true) {
    Writer* ready = writers_.front();
    writers_.pop_front();
    if (ready != &w) {
      ready->status = status;
      ready->done = true;
      ready->cv.Signal();
3348
    }
3349 3350
    if (ready == last_writer) break;
  }
3351

3352 3353 3354
  // Notify new head of write queue
  if (!writers_.empty()) {
    writers_.front()->cv.Signal();
3355
  }
I
Igor Canadi 已提交
3356
  mutex_.Unlock();
3357 3358
  BumpPerfTime(&perf_context.write_pre_and_post_process_time,
               &pre_post_process_timer);
J
jorlow@chromium.org 已提交
3359 3360 3361
  return status;
}

3362
// REQUIRES: Writer list must be non-empty
3363
// REQUIRES: First writer must have a non-nullptr batch
3364 3365
void DBImpl::BuildBatchGroup(Writer** last_writer,
                             autovector<WriteBatch*>* write_batch_group) {
3366 3367
  assert(!writers_.empty());
  Writer* first = writers_.front();
3368
  assert(first->batch != nullptr);
3369 3370

  size_t size = WriteBatchInternal::ByteSize(first->batch);
3371
  write_batch_group->push_back(first->batch);
3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385 3386 3387 3388 3389 3390

  // Allow the group to grow up to a maximum size, but if the
  // original write is small, limit the growth so we do not slow
  // down the small write too much.
  size_t max_size = 1 << 20;
  if (size <= (128<<10)) {
    max_size = size + (128<<10);
  }

  *last_writer = first;
  std::deque<Writer*>::iterator iter = writers_.begin();
  ++iter;  // Advance past "first"
  for (; iter != writers_.end(); ++iter) {
    Writer* w = *iter;
    if (w->sync && !first->sync) {
      // Do not include a sync write into a batch handled by a non-sync write.
      break;
    }

H
heyongqiang 已提交
3391 3392 3393 3394 3395 3396
    if (!w->disableWAL && first->disableWAL) {
      // Do not include a write that needs WAL into a batch that has
      // WAL disabled.
      break;
    }

3397
    if (w->batch != nullptr) {
3398 3399 3400 3401 3402 3403
      size += WriteBatchInternal::ByteSize(w->batch);
      if (size > max_size) {
        // Do not make batch too big
        break;
      }

3404
      write_batch_group->push_back(w->batch);
3405 3406 3407 3408 3409
    }
    *last_writer = w;
  }
}

3410 3411 3412
// This function computes the amount of time in microseconds by which a write
// should be delayed based on the number of level-0 files according to the
// following formula:
J
Jim Paton 已提交
3413 3414 3415 3416
// if n < bottom, return 0;
// if n >= top, return 1000;
// otherwise, let r = (n - bottom) /
//                    (top - bottom)
3417 3418 3419 3420
//  and return r^2 * 1000.
// The goal of this formula is to gradually increase the rate at which writes
// are slowed. We also tried linear delay (r * 1000), but it seemed to do
// slightly worse. There is no other particular reason for choosing quadratic.
M
Mark Callaghan 已提交
3421
uint64_t DBImpl::SlowdownAmount(int n, double bottom, double top) {
3422
  uint64_t delay;
J
Jim Paton 已提交
3423
  if (n >= top) {
3424 3425
    delay = 1000;
  }
J
Jim Paton 已提交
3426
  else if (n < bottom) {
3427 3428 3429 3430
    delay = 0;
  }
  else {
    // If we are here, we know that:
J
Jim Paton 已提交
3431
    //   level0_start_slowdown <= n < level0_slowdown
3432
    // since the previous two conditions are false.
M
Mark Callaghan 已提交
3433 3434
    double how_much =
      (double) (n - bottom) /
J
Jim Paton 已提交
3435
              (top - bottom);
M
Mark Callaghan 已提交
3436
    delay = std::max(how_much * how_much * 1000, 100.0);
3437 3438 3439 3440 3441
  }
  assert(delay <= 1000);
  return delay;
}

3442
// REQUIRES: mutex_ is held
3443
// REQUIRES: this thread is currently at the front of the writer queue
3444
Status DBImpl::MakeRoomForWrite(ColumnFamilyData* cfd, bool force) {
3445
  mutex_.AssertHeld();
3446
  assert(!writers_.empty());
3447
  bool allow_delay = !force;
J
Jim Paton 已提交
3448 3449
  bool allow_hard_rate_limit_delay = !force;
  bool allow_soft_rate_limit_delay = !force;
3450
  uint64_t rate_limit_delay_millis = 0;
3451
  Status s;
3452
  double score;
3453

3454 3455 3456 3457 3458
  while (true) {
    if (!bg_error_.ok()) {
      // Yield previous error
      s = bg_error_;
      break;
3459
    } else if (allow_delay && cfd->NeedSlowdownForNumLevel0Files()) {
3460 3461 3462
      // We are getting close to hitting a hard limit on the number of
      // L0 files.  Rather than delaying a single write by several
      // seconds when we hit the hard limit, start delaying each
3463
      // individual write by 0-1ms to reduce latency variance.  Also,
3464 3465
      // this delay hands over some CPU to the compaction thread in
      // case it is sharing the same core as the writer.
3466
      uint64_t slowdown =
3467 3468 3469
          SlowdownAmount(cfd->current()->NumLevelFiles(0),
                         cfd->options()->level0_slowdown_writes_trigger,
                         cfd->options()->level0_stop_writes_trigger);
3470
      mutex_.Unlock();
3471
      uint64_t delayed;
J
Jim Paton 已提交
3472
      {
3473
        StopWatch sw(env_, options_.statistics.get(), STALL_L0_SLOWDOWN_COUNT);
3474
        env_->SleepForMicroseconds(slowdown);
3475
        delayed = sw.ElapsedMicros();
J
Jim Paton 已提交
3476
      }
3477
      RecordTick(options_.statistics.get(), STALL_L0_SLOWDOWN_MICROS, delayed);
3478 3479
      cfd->internal_stats()->RecordWriteStall(InternalStats::LEVEL0_SLOWDOWN,
                                              delayed);
3480 3481
      allow_delay = false;  // Do not delay a single write more than once
      mutex_.Lock();
3482
      delayed_writes_++;
3483 3484
    } else if (!force && (cfd->mem()->ApproximateMemoryUsage() <=
                          cfd->options()->write_buffer_size)) {
3485
      // There is room in current memtable
3486 3487 3488
      if (allow_delay) {
        DelayLoggingAndReset();
      }
3489
      break;
3490 3491
    } else if (cfd->imm()->size() ==
               cfd->options()->max_write_buffer_number - 1) {
3492
      // We have filled up the current memtable, but the previous
3493
      // ones are still being flushed, so we wait.
3494
      DelayLoggingAndReset();
3495 3496
      Log(options_.info_log, "wait for memtable flush...\n");
      MaybeScheduleFlushOrCompaction();
3497
      uint64_t stall;
J
Jim Paton 已提交
3498
      {
3499
        StopWatch sw(env_, options_.statistics.get(),
3500
                     STALL_MEMTABLE_COMPACTION_COUNT);
J
Jim Paton 已提交
3501
        bg_cv_.Wait();
3502
        stall = sw.ElapsedMicros();
J
Jim Paton 已提交
3503
      }
3504 3505
      RecordTick(options_.statistics.get(),
                 STALL_MEMTABLE_COMPACTION_MICROS, stall);
3506 3507
      cfd->internal_stats()->RecordWriteStall(
          InternalStats::MEMTABLE_COMPACTION, stall);
3508 3509
    } else if (cfd->current()->NumLevelFiles(0) >=
               cfd->options()->level0_stop_writes_trigger) {
3510
      // There are too many level-0 files.
3511 3512
      DelayLoggingAndReset();
      Log(options_.info_log, "wait for fewer level0 files...\n");
3513
      uint64_t stall;
J
Jim Paton 已提交
3514
      {
3515 3516
        StopWatch sw(env_, options_.statistics.get(),
                     STALL_L0_NUM_FILES_COUNT);
J
Jim Paton 已提交
3517
        bg_cv_.Wait();
3518
        stall = sw.ElapsedMicros();
J
Jim Paton 已提交
3519
      }
3520
      RecordTick(options_.statistics.get(), STALL_L0_NUM_FILES_MICROS, stall);
3521 3522
      cfd->internal_stats()->RecordWriteStall(InternalStats::LEVEL0_NUM_FILES,
                                              stall);
I
Igor Canadi 已提交
3523 3524
    } else if (allow_hard_rate_limit_delay &&
               cfd->options()->hard_rate_limit > 1.0 &&
3525 3526
               (score = cfd->current()->MaxCompactionScore()) >
                   cfd->options()->hard_rate_limit) {
3527
      // Delay a write when the compaction score for any level is too large.
3528
      int max_level = cfd->current()->MaxCompactionScoreLevel();
3529
      mutex_.Unlock();
3530
      uint64_t delayed;
J
Jim Paton 已提交
3531
      {
3532 3533
        StopWatch sw(env_, options_.statistics.get(),
                     HARD_RATE_LIMIT_DELAY_COUNT);
J
Jim Paton 已提交
3534
        env_->SleepForMicroseconds(1000);
3535
        delayed = sw.ElapsedMicros();
J
Jim Paton 已提交
3536
      }
3537
      cfd->internal_stats()->RecordLevelNSlowdown(max_level, delayed);
3538
      // Make sure the following value doesn't round to zero.
3539 3540
      uint64_t rate_limit = std::max((delayed / 1000), (uint64_t) 1);
      rate_limit_delay_millis += rate_limit;
3541 3542
      RecordTick(options_.statistics.get(),
                 RATE_LIMIT_DELAY_MILLIS, rate_limit);
3543
      if (cfd->options()->rate_limit_delay_max_milliseconds > 0 &&
J
Jim Paton 已提交
3544
          rate_limit_delay_millis >=
3545
              (unsigned)cfd->options()->rate_limit_delay_max_milliseconds) {
J
Jim Paton 已提交
3546
        allow_hard_rate_limit_delay = false;
3547
      }
3548
      mutex_.Lock();
3549 3550 3551 3552
    } else if (allow_soft_rate_limit_delay &&
               cfd->options()->soft_rate_limit > 0.0 &&
               (score = cfd->current()->MaxCompactionScore()) >
                   cfd->options()->soft_rate_limit) {
J
Jim Paton 已提交
3553 3554 3555
      // Delay a write when the compaction score for any level is too large.
      // TODO: add statistics
      mutex_.Unlock();
J
Jim Paton 已提交
3556
      {
3557 3558
        StopWatch sw(env_, options_.statistics.get(),
                     SOFT_RATE_LIMIT_DELAY_COUNT);
3559 3560 3561
        env_->SleepForMicroseconds(
            SlowdownAmount(score, cfd->options()->soft_rate_limit,
                           cfd->options()->hard_rate_limit));
J
Jim Paton 已提交
3562 3563
        rate_limit_delay_millis += sw.ElapsedMicros();
      }
J
Jim Paton 已提交
3564 3565
      allow_soft_rate_limit_delay = false;
      mutex_.Lock();
3566

3567
    } else {
3568
      unique_ptr<WritableFile> lfile;
K
kailiu 已提交
3569
      MemTable* new_mem = nullptr;
3570

3571
      // Attempt to switch to a new memtable and trigger flush of old.
3572
      // Do this without holding the dbmutex lock.
3573 3574
      assert(versions_->PrevLogNumber() == 0);
      uint64_t new_log_number = versions_->NewFileNumber();
I
Igor Canadi 已提交
3575
      SuperVersion* new_superversion = nullptr;
3576 3577 3578 3579 3580
      mutex_.Unlock();
      {
        EnvOptions soptions(storage_options_);
        soptions.use_mmap_writes = false;
        DelayLoggingAndReset();
3581 3582
        s = env_->NewWritableFile(LogFileName(options_.wal_dir, new_log_number),
                                  &lfile, soptions);
3583 3584 3585
        if (s.ok()) {
          // Our final size should be less than write_buffer_size
          // (compression, etc) but err on the side of caution.
3586 3587
          lfile->SetPreallocationBlockSize(1.1 *
                                           cfd->options()->write_buffer_size);
3588
          new_mem = new MemTable(cfd->internal_comparator(), *cfd->options());
3589
          new_superversion = new SuperVersion();
3590 3591 3592
        }
      }
      mutex_.Lock();
3593
      if (!s.ok()) {
H
heyongqiang 已提交
3594
        // Avoid chewing through file number space in a tight loop.
3595
        versions_->ReuseFileNumber(new_log_number);
3596
        assert(!new_mem);
3597 3598
        break;
      }
3599
      logfile_number_ = new_log_number;
3600
      log_.reset(new log::Writer(std::move(lfile)));
3601 3602
      cfd->mem()->SetNextLogNumber(logfile_number_);
      cfd->imm()->Add(cfd->mem());
3603
      if (force) {
3604
        cfd->imm()->FlushRequested();
3605
      }
3606
      new_mem->Ref();
3607
      alive_log_files_.push_back(logfile_number_);
3608 3609 3610 3611 3612 3613 3614 3615 3616 3617
      for (auto cfd : *versions_->GetColumnFamilySet()) {
        // all this is just optimization to delete logs that
        // are no longer needed -- if CF is empty, that means it
        // doesn't need that particular log to stay alive, so we just
        // advance the log number. no need to persist this in the manifest
        if (cfd->mem()->GetFirstSequenceNumber() == 0 &&
            cfd->imm()->size() == 0) {
          cfd->SetLogNumber(logfile_number_);
        }
      }
3618
      cfd->SetMemtable(new_mem);
I
Igor Canadi 已提交
3619 3620 3621
      Log(options_.info_log,
          "[CF %" PRIu32 "] New memtable created with log file: #%lu\n",
          cfd->GetID(), (unsigned long)logfile_number_);
3622
      force = false;  // Do not force another compaction if have room
3623
      MaybeScheduleFlushOrCompaction();
3624
      delete cfd->InstallSuperVersion(new_superversion);
3625 3626 3627 3628 3629
    }
  }
  return s;
}

I
Igor Canadi 已提交
3630 3631 3632 3633 3634
Status DBImpl::GetPropertiesOfAllTables(ColumnFamilyHandle* column_family,
                                        TablePropertiesCollection* props) {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();

3635 3636
  // Increment the ref count
  mutex_.Lock();
I
Igor Canadi 已提交
3637
  auto version = cfd->current();
3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650
  version->Ref();
  mutex_.Unlock();

  auto s = version->GetPropertiesOfAllTables(props);

  // Decrement the ref count
  mutex_.Lock();
  version->Unref();
  mutex_.Unlock();

  return s;
}

I
Igor Canadi 已提交
3651 3652 3653 3654
const std::string& DBImpl::GetName() const {
  return dbname_;
}

3655 3656 3657 3658
Env* DBImpl::GetEnv() const {
  return env_;
}

3659 3660 3661
const Options& DBImpl::GetOptions(ColumnFamilyHandle* column_family) const {
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  return *cfh->cfd()->full_options();
I
Igor Canadi 已提交
3662 3663
}

3664
bool DBImpl::GetProperty(ColumnFamilyHandle* column_family,
3665
                         const Slice& property, std::string* value) {
3666
  value->clear();
3667 3668
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
J
jorlow@chromium.org 已提交
3669
  MutexLock l(&mutex_);
3670
  return cfd->internal_stats()->GetProperty(property, value, cfd);
J
jorlow@chromium.org 已提交
3671 3672
}

3673
void DBImpl::GetApproximateSizes(ColumnFamilyHandle* column_family,
3674
                                 const Range* range, int n, uint64_t* sizes) {
J
jorlow@chromium.org 已提交
3675 3676
  // TODO(opt): better implementation
  Version* v;
3677 3678
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
J
jorlow@chromium.org 已提交
3679 3680
  {
    MutexLock l(&mutex_);
3681
    v = cfd->current();
3682
    v->Ref();
J
jorlow@chromium.org 已提交
3683 3684 3685 3686 3687 3688 3689 3690 3691 3692 3693 3694 3695 3696 3697 3698 3699
  }

  for (int i = 0; i < n; i++) {
    // Convert user_key into a corresponding internal key.
    InternalKey k1(range[i].start, kMaxSequenceNumber, kValueTypeForSeek);
    InternalKey k2(range[i].limit, kMaxSequenceNumber, kValueTypeForSeek);
    uint64_t start = versions_->ApproximateOffsetOf(v, k1);
    uint64_t limit = versions_->ApproximateOffsetOf(v, k2);
    sizes[i] = (limit >= start ? limit - start : 0);
  }

  {
    MutexLock l(&mutex_);
    v->Unref();
  }
}

3700 3701 3702 3703 3704 3705 3706
inline void DBImpl::DelayLoggingAndReset() {
  if (delayed_writes_ > 0) {
    Log(options_.info_log, "delayed %d write...\n", delayed_writes_ );
    delayed_writes_ = 0;
  }
}

3707 3708 3709
Status DBImpl::DeleteFile(std::string name) {
  uint64_t number;
  FileType type;
3710 3711 3712 3713
  WalFileType log_type;
  if (!ParseFileName(name, &number, &type, &log_type) ||
      (type != kTableFile && type != kLogFile)) {
    Log(options_.info_log, "DeleteFile %s failed.\n", name.c_str());
3714 3715 3716
    return Status::InvalidArgument("Invalid file name");
  }

3717 3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730
  Status status;
  if (type == kLogFile) {
    // Only allow deleting archived log files
    if (log_type != kArchivedLogFile) {
      Log(options_.info_log, "DeleteFile %s failed.\n", name.c_str());
      return Status::NotSupported("Delete only supported for archived logs");
    }
    status = env_->DeleteFile(options_.wal_dir + "/" + name.c_str());
    if (!status.ok()) {
      Log(options_.info_log, "DeleteFile %s failed.\n", name.c_str());
    }
    return status;
  }

3731
  int level;
3732
  FileMetaData *metadata;
3733
  ColumnFamilyData* cfd;
3734
  VersionEdit edit;
K
Kai Liu 已提交
3735
  DeletionState deletion_state(true);
D
Dhruba Borthakur 已提交
3736 3737
  {
    MutexLock l(&mutex_);
3738
    status = versions_->GetMetadataForFile(number, &level, &metadata, &cfd);
D
Dhruba Borthakur 已提交
3739
    if (!status.ok()) {
3740 3741
      Log(options_.info_log, "DeleteFile %s failed. File not found\n",
                             name.c_str());
D
Dhruba Borthakur 已提交
3742 3743
      return Status::InvalidArgument("File not found");
    }
I
Igor Canadi 已提交
3744
    assert((level > 0) && (level < cfd->NumberLevels()));
3745

D
Dhruba Borthakur 已提交
3746
    // If the file is being compacted no need to delete.
3747
    if (metadata->being_compacted) {
3748
      Log(options_.info_log,
3749
          "DeleteFile %s Skipped. File about to be compacted\n", name.c_str());
D
Dhruba Borthakur 已提交
3750
      return Status::OK();
3751 3752
    }

D
Dhruba Borthakur 已提交
3753 3754 3755
    // Only the files in the last level can be deleted externally.
    // This is to make sure that any deletion tombstones are not
    // lost. Check that the level passed is the last level.
I
Igor Canadi 已提交
3756
    for (int i = level + 1; i < cfd->NumberLevels(); i++) {
3757
      if (cfd->current()->NumLevelFiles(i) != 0) {
D
Dhruba Borthakur 已提交
3758
        Log(options_.info_log,
3759
            "DeleteFile %s FAILED. File not in last level\n", name.c_str());
D
Dhruba Borthakur 已提交
3760 3761 3762 3763
        return Status::InvalidArgument("File not in last level");
      }
    }
    edit.DeleteFile(level, number);
3764
    status = versions_->LogAndApply(cfd, &edit, &mutex_, db_directory_.get());
I
Igor Canadi 已提交
3765
    if (status.ok()) {
3766
      InstallSuperVersion(cfd, deletion_state);
I
Igor Canadi 已提交
3767
    }
I
Igor Canadi 已提交
3768
    FindObsoleteFiles(deletion_state, false);
D
Dhruba Borthakur 已提交
3769
  } // lock released here
I
Igor Canadi 已提交
3770
  LogFlush(options_.info_log);
I
Igor Canadi 已提交
3771 3772
  // remove files outside the db-lock
  PurgeObsoleteFiles(deletion_state);
3773 3774 3775 3776 3777 3778
  {
    MutexLock l(&mutex_);
    // schedule flush if file deletion means we freed the space for flushes to
    // continue
    MaybeScheduleFlushOrCompaction();
  }
3779 3780 3781
  return status;
}

3782
void DBImpl::GetLiveFilesMetaData(std::vector<LiveFileMetaData>* metadata) {
3783
  MutexLock l(&mutex_);
3784
  versions_->GetLiveFilesMetaData(metadata);
3785 3786
}

3787
void DBImpl::TEST_GetFilesMetaData(
3788
    ColumnFamilyHandle* column_family,
3789
    std::vector<std::vector<FileMetaData>>* metadata) {
3790 3791
  auto cfh = reinterpret_cast<ColumnFamilyHandleImpl*>(column_family);
  auto cfd = cfh->cfd();
3792 3793 3794
  MutexLock l(&mutex_);
  metadata->resize(NumberLevels());
  for (int level = 0; level < NumberLevels(); level++) {
3795
    const std::vector<FileMetaData*>& files = cfd->current()->files_[level];
3796 3797 3798 3799 3800 3801 3802 3803

    (*metadata)[level].clear();
    for (const auto& f : files) {
      (*metadata)[level].push_back(*f);
    }
  }
}

3804 3805 3806 3807 3808 3809 3810 3811 3812 3813 3814 3815 3816 3817 3818 3819 3820 3821 3822 3823 3824 3825 3826 3827 3828 3829 3830
Status DBImpl::GetDbIdentity(std::string& identity) {
  std::string idfilename = IdentityFileName(dbname_);
  unique_ptr<SequentialFile> idfile;
  const EnvOptions soptions;
  Status s = env_->NewSequentialFile(idfilename, &idfile, soptions);
  if (!s.ok()) {
    return s;
  }
  uint64_t file_size;
  s = env_->GetFileSize(idfilename, &file_size);
  if (!s.ok()) {
    return s;
  }
  char buffer[file_size];
  Slice id;
  s = idfile->Read(file_size, &id, buffer);
  if (!s.ok()) {
    return s;
  }
  identity.assign(id.ToString());
  // If last character is '\n' remove it from identity
  if (identity.size() > 0 && identity.back() == '\n') {
    identity.pop_back();
  }
  return s;
}

J
jorlow@chromium.org 已提交
3831 3832
// Default implementations of convenience methods that subclasses of DB
// can call if they wish
3833
Status DB::Put(const WriteOptions& opt, ColumnFamilyHandle* column_family,
3834
               const Slice& key, const Slice& value) {
3835 3836 3837 3838
  // Pre-allocate size of write batch conservatively.
  // 8 bytes are taken by header, 4 bytes for count, 1 byte for type,
  // and we allocate 11 extra bytes for key length, as well as value length.
  WriteBatch batch(key.size() + value.size() + 24);
3839
  batch.Put(column_family->GetID(), key, value);
J
jorlow@chromium.org 已提交
3840 3841 3842
  return Write(opt, &batch);
}

3843 3844
Status DB::Delete(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                  const Slice& key) {
J
jorlow@chromium.org 已提交
3845
  WriteBatch batch;
3846
  batch.Delete(column_family->GetID(), key);
J
jorlow@chromium.org 已提交
3847 3848 3849
  return Write(opt, &batch);
}

3850 3851
Status DB::Merge(const WriteOptions& opt, ColumnFamilyHandle* column_family,
                 const Slice& key, const Slice& value) {
3852
  WriteBatch batch;
3853
  batch.Merge(column_family->GetID(), key, value);
3854 3855 3856
  return Write(opt, &batch);
}

3857 3858
// Default implementation -- returns not supported status
Status DB::CreateColumnFamily(const ColumnFamilyOptions& options,
3859
                              const std::string& column_family_name,
3860
                              ColumnFamilyHandle** handle) {
3861
  return Status::NotSupported("");
3862
}
3863
Status DB::DropColumnFamily(ColumnFamilyHandle* column_family) {
3864
  return Status::NotSupported("");
3865 3866
}

J
jorlow@chromium.org 已提交
3867 3868
DB::~DB() { }

J
Jim Paton 已提交
3869
Status DB::Open(const Options& options, const std::string& dbname, DB** dbptr) {
3870 3871 3872 3873 3874
  DBOptions db_options(options);
  ColumnFamilyOptions cf_options(options);
  std::vector<ColumnFamilyDescriptor> column_families;
  column_families.push_back(
      ColumnFamilyDescriptor(default_column_family_name, cf_options));
3875 3876 3877 3878 3879 3880 3881 3882 3883
  std::vector<ColumnFamilyHandle*> handles;
  Status s = DB::Open(db_options, dbname, column_families, &handles, dbptr);
  if (s.ok()) {
    assert(handles.size() == 1);
    // i can delete the handle since DBImpl is always holding a reference to
    // default column family
    delete handles[0];
  }
  return s;
3884 3885
}

3886 3887
Status DB::Open(const DBOptions& db_options, const std::string& dbname,
                const std::vector<ColumnFamilyDescriptor>& column_families,
3888
                std::vector<ColumnFamilyHandle*>* handles, DB** dbptr) {
3889
  *dbptr = nullptr;
3890
  handles->clear();
3891
  EnvOptions soptions(db_options);
J
jorlow@chromium.org 已提交
3892

I
Igor Canadi 已提交
3893 3894 3895 3896 3897 3898 3899 3900
  size_t max_write_buffer_size = 0;
  for (auto cf : column_families) {
    max_write_buffer_size =
        std::max(max_write_buffer_size, cf.options.write_buffer_size);
    if (cf.options.block_cache != nullptr && cf.options.no_block_cache) {
      return Status::InvalidArgument(
          "no_block_cache is true while block_cache is not nullptr");
    }
3901
  }
3902

I
Igor Canadi 已提交
3903
  DBImpl* impl = new DBImpl(db_options, dbname);
3904 3905 3906 3907 3908 3909 3910
  Status s = impl->env_->CreateDirIfMissing(impl->options_.wal_dir);
  if (!s.ok()) {
    delete impl;
    return s;
  }

  s = impl->CreateArchivalDirectory();
3911 3912 3913 3914
  if (!s.ok()) {
    delete impl;
    return s;
  }
J
jorlow@chromium.org 已提交
3915
  impl->mutex_.Lock();
3916 3917
  // Handles create_if_missing, error_if_exists
  s = impl->Recover(column_families);
J
jorlow@chromium.org 已提交
3918
  if (s.ok()) {
3919
    uint64_t new_log_number = impl->versions_->NewFileNumber();
3920
    unique_ptr<WritableFile> lfile;
H
Haobo Xu 已提交
3921
    soptions.use_mmap_writes = false;
3922
    s = impl->options_.env->NewWritableFile(
3923 3924 3925 3926
      LogFileName(impl->options_.wal_dir, new_log_number),
      &lfile,
      soptions
    );
J
jorlow@chromium.org 已提交
3927
    if (s.ok()) {
3928
      lfile->SetPreallocationBlockSize(1.1 * max_write_buffer_size);
I
Igor Canadi 已提交
3929
      VersionEdit edit;
3930
      impl->logfile_number_ = new_log_number;
3931
      impl->log_.reset(new log::Writer(std::move(lfile)));
3932 3933 3934 3935
      // We use this LogAndApply just to store the next file number, the one
      // that we used by calling impl->versions_->NewFileNumber()
      // The used log number are already written to manifest in RecoverLogFile()
      // method
3936 3937
      s = impl->versions_->LogAndApply(impl->default_cf_handle_->cfd(), &edit,
                                       &impl->mutex_,
3938
                                       impl->db_directory_.get());
J
jorlow@chromium.org 已提交
3939 3940
    }
    if (s.ok()) {
3941 3942
      // set column family handles
      for (auto cf : column_families) {
I
Igor Canadi 已提交
3943 3944 3945 3946 3947
        if (!impl->versions_->GetColumnFamilySet()->Exists(cf.name)) {
          s = Status::InvalidArgument("Column family not found: ", cf.name);
          break;
        }
        uint32_t id = impl->versions_->GetColumnFamilySet()->GetID(cf.name);
3948 3949 3950 3951
        auto cfd = impl->versions_->GetColumnFamilySet()->GetColumnFamily(id);
        assert(cfd != nullptr);
        handles->push_back(
            new ColumnFamilyHandleImpl(cfd, impl, &impl->mutex_));
3952
      }
I
Igor Canadi 已提交
3953 3954
    }
    if (s.ok()) {
3955
      for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
3956
        delete cfd->InstallSuperVersion(new SuperVersion());
3957
        impl->alive_log_files_.push_back(impl->logfile_number_);
3958
      }
J
jorlow@chromium.org 已提交
3959
      impl->DeleteObsoleteFiles();
3960
      impl->MaybeScheduleFlushOrCompaction();
3961
      impl->MaybeScheduleLogDBDeployStats();
3962
      s = impl->db_directory_->Fsync();
J
jorlow@chromium.org 已提交
3963 3964
    }
  }
3965

I
Igor Canadi 已提交
3966 3967 3968 3969 3970 3971 3972 3973 3974 3975 3976 3977 3978 3979
  if (s.ok()) {
    for (auto cfd : *impl->versions_->GetColumnFamilySet()) {
      if (cfd->options()->compaction_style == kCompactionStyleUniversal) {
        Version* current = cfd->current();
        for (int i = 1; i < current->NumberLevels(); ++i) {
          int num_files = current->NumLevelFiles(i);
          if (num_files > 0) {
            s = Status::InvalidArgument("Not all files are at level 0. Cannot "
                "open with universal compaction style.");
            break;
          }
        }
      }
      if (!s.ok()) {
3980 3981 3982 3983 3984
        break;
      }
    }
  }

3985 3986
  impl->mutex_.Unlock();

J
jorlow@chromium.org 已提交
3987 3988 3989
  if (s.ok()) {
    *dbptr = impl;
  } else {
3990 3991 3992
    for (auto h : *handles) {
      delete h;
    }
3993
    handles->clear();
J
jorlow@chromium.org 已提交
3994 3995 3996 3997 3998
    delete impl;
  }
  return s;
}

3999 4000 4001
Status DB::ListColumnFamilies(const DBOptions& db_options,
                              const std::string& name,
                              std::vector<std::string>* column_families) {
I
Igor Canadi 已提交
4002
  return VersionSet::ListColumnFamilies(column_families, name, db_options.env);
4003 4004
}

4005 4006 4007
Snapshot::~Snapshot() {
}

J
jorlow@chromium.org 已提交
4008
Status DestroyDB(const std::string& dbname, const Options& options) {
4009 4010 4011 4012 4013
  const InternalKeyComparator comparator(options.comparator);
  const InternalFilterPolicy filter_policy(options.filter_policy);
  const Options& soptions(SanitizeOptions(
    dbname, &comparator, &filter_policy, options));
  Env* env = soptions.env;
J
jorlow@chromium.org 已提交
4014
  std::vector<std::string> filenames;
4015 4016
  std::vector<std::string> archiveFiles;

4017
  std::string archivedir = ArchivalDirectory(dbname);
J
jorlow@chromium.org 已提交
4018 4019
  // Ignore error in case directory does not exist
  env->GetChildren(dbname, &filenames);
4020 4021 4022 4023 4024 4025 4026

  if (dbname != soptions.wal_dir) {
    std::vector<std::string> logfilenames;
    env->GetChildren(soptions.wal_dir, &logfilenames);
    filenames.insert(filenames.end(), logfilenames.begin(), logfilenames.end());
    archivedir = ArchivalDirectory(soptions.wal_dir);
  }
4027

J
jorlow@chromium.org 已提交
4028 4029 4030 4031 4032
  if (filenames.empty()) {
    return Status::OK();
  }

  FileLock* lock;
4033 4034
  const std::string lockname = LockFileName(dbname);
  Status result = env->LockFile(lockname, &lock);
J
jorlow@chromium.org 已提交
4035 4036 4037
  if (result.ok()) {
    uint64_t number;
    FileType type;
D
dgrogan@chromium.org 已提交
4038
    for (size_t i = 0; i < filenames.size(); i++) {
4039
      if (ParseFileName(filenames[i], &number, &type) &&
4040
          type != kDBLockFile) {  // Lock file will be deleted at end
K
Kosie van der Merwe 已提交
4041 4042 4043
        Status del;
        if (type == kMetaDatabase) {
          del = DestroyDB(dbname + "/" + filenames[i], options);
4044 4045
        } else if (type == kLogFile) {
          del = env->DeleteFile(soptions.wal_dir + "/" + filenames[i]);
K
Kosie van der Merwe 已提交
4046 4047 4048
        } else {
          del = env->DeleteFile(dbname + "/" + filenames[i]);
        }
J
jorlow@chromium.org 已提交
4049 4050 4051 4052 4053
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
4054

4055
    env->GetChildren(archivedir, &archiveFiles);
4056 4057
    // Delete archival files.
    for (size_t i = 0; i < archiveFiles.size(); ++i) {
4058 4059
      if (ParseFileName(archiveFiles[i], &number, &type) &&
          type == kLogFile) {
4060
        Status del = env->DeleteFile(archivedir + "/" + archiveFiles[i]);
4061 4062 4063 4064 4065
        if (result.ok() && !del.ok()) {
          result = del;
        }
      }
    }
4066
    // ignore case where no archival directory is present.
4067
    env->DeleteDir(archivedir);
4068

J
jorlow@chromium.org 已提交
4069
    env->UnlockFile(lock);  // Ignore error since state is already gone
4070
    env->DeleteFile(lockname);
J
jorlow@chromium.org 已提交
4071
    env->DeleteDir(dbname);  // Ignore error in case dir contains other files
4072
    env->DeleteDir(soptions.wal_dir);
J
jorlow@chromium.org 已提交
4073 4074 4075 4076
  }
  return result;
}

4077 4078
//
// A global method that can dump out the build version
K
kailiu 已提交
4079
void DumpLeveldbBuildVersion(Logger * log) {
4080
  Log(log, "Git sha %s", rocksdb_build_git_sha);
4081
  Log(log, "Compile time %s %s",
4082
      rocksdb_build_compile_time, rocksdb_build_compile_date);
4083 4084
}

4085
}  // namespace rocksdb